Anna Ingólfsdóttir

Author

Anna Ingólfsdóttir

Also Known As

A. Ingolfsdottir, A. Ingólfsdóttir, ANNA INGOLFSDOTTIR, ANNA INGÓLFSDÓTTIR, Anna Inglfsdttir, Anna Ingolfsdottir, Anna Ingólfsdóttir, Bacci, Giovanni, Igolfsdottir, Anna, Ingolfsdottir, Anna

284

Publications

2.7K

Citations

H-Index

Concepts

All Affiliations

Reykjavík University Aalborg University Danish National Research Foundation University of Malta Eindhoven University of Technology

About

Anna Ingólfsdóttir is an author at Reykjavík University specializing in engineering, formal methods, and computer science.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	18	33	909
2	Language Studies	4	4	78
3	Education	1	1	11
4	Management	1	1	74
5	Public Health	1	1	11

Anna Ingólfsdóttir

Publications

1.2K

Citations

H-Index

Page 1

	Year	Citations
Characteristic Formulas for Processes with Divergence Bernhard Steffen, Anna Ingólfsdóttir Information and Computation Dirichlet FormEngineeringEntropyIntegrable ProbabilityStochastic Calculus	1994	104
A Theory of Communicating Processes with Value Passing Matthew Hennessy, Anna Ingólfsdóttir Information and Computation Cognitive ScienceEngineeringAutomated ReasoningManagementFormal Methods	1993	74
Modelling and simulation of asynchronous real-time systems using Timed Rebeca Árni Hermann Reynisson, Marjan Sirjani, Luca Aceto, Science of Computer Programming Real-time SystemEngineeringReal-time OperationReal-time System DesignTimed Rebeca	2014	61
A Survey of Runtime Monitoring Instrumentation Techniques Ian Cassar, Adrian Francalanza, Luca Aceto, Electronic Proceedings in Theoretical Computer Science Software MaintenanceEngineeringVerificationComputer ArchitectureSoftware Engineering	2017	55
Axiomatizing Prefix Iteration with Silent Steps Luca Aceto, Rob van Glabbeek, Wan Fokkink, Information and Computation EngineeringAutomated ReasoningPrefix IterationFormal MethodsComputer Science	1996	54
Monitorability for the Hennessy–Milner logic with recursion Adrian Francalanza, Luca Aceto, Anna Ingólfsdóttir Formal Methods in System Design Computational LogicEngineeringAutomated ReasoningFormal MethodsComputer Science	2017	54
CCS with Hennessy's merge has no finite-equational axiomatization Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Theoretical Computer Science EngineeringAutomated ReasoningFormal MethodsModel TheoryFormal System	2004	43
Modelling and Simulation of Asynchronous Real-Time Systems using Timed Rebeca Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Electronic Proceedings in Theoretical Computer Science Event-driven ArchitectureEngineeringReal-time System DesignComputer ArchitectureSoftware Engineering	2011	37
A menagerie of non-finitely based process semantics over BPA* – from ready simulation to completed traces Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir Mathematical Structures in Computer Science EngineeringSimulation EquivalenceTrace SemanticsSemanticsFormal Verification	1998	36
The max-plus algebra of the natural numbers has no finite equational basis Luca Aceto, Zoltán Ésik, Anna Ingólfsdóttir Theoretical Computer Science Algebraic LogicAbstract AlgebraModern AlgebraMax-plus AlgebraNatural Numbers	2003	33

Page 1