Anna Ingolfsdottir

Cited by

	All	Since 2019
Citations	3506	1206
h-index	28	17
i10-index	75	29

280

140

210

199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202414 15 28 20 51 62 46 46 42 42 53 55 49 50 76 78 107 115 124 110 134 162 163 109 114 84 132 147 181 181 279 225 187 153

Public access

View all

55 articles

2 articles

available

not available

Based on funding mandates

Co-authors

Luca AcetoDepartment of Computer Science, Reykjavik University, and Gran Sasso Science Institute, L'AquilaVerified email at ru.is
Wan FokkinkProfessor of Computer Science, Vrije Universiteit AmsterdamVerified email at vu.nl
Kim G. LarsenDirector, Professor Aalborg UniversityVerified email at cs.aau.dk
Bas LuttikAssociate Professor of Computer Science, Eindhoven University of TechnologyVerified email at tue.nl
Mohammad Reza MousaviProfessor of Software Engineering, King's College LondonVerified email at kcl.ac.uk
Dario Della MonicaUniversity of Udine (Italy)Verified email at uniud.it
Daniel GudbjartssonStatistician, Decode GeneticsVerified email at decode.is
Ignacio FábregasAssociate Profesor of Computer Science at Universidad Complutense de MadridVerified email at ucm.es
matthew hennessyProfessor of Computer ScienceVerified email at cs.tcd.ie
Angelo MontanariProfessor of Computer Science, Univ. of UdineVerified email at uniud.it
Eugen-Ioan GoriacReykjavik UniversityVerified email at ru.is
Rob van GlabbeekUNSWVerified email at cs.stanford.edu
Marjan SirjaniMälardalen UniversityVerified email at mdh.se
Bernhard SteffenProfessor für Informatik, TU DortmundVerified email at cs.uni-dortmund.de
Taolue ChenSchool of Computing and Mathematical Sciences, Birkbeck, University of LondonVerified email at bbk.ac.uk
Magnús M. HalldórssonProfessor of Computer Science, Reykjavik UniversityVerified email at ru.is
Arnar BirgissonGoogleVerified email at google.com
Andrea SchalkSchool of Computer Science, University of ManchesterVerified email at manchester.ac.uk
Paul Blain LevySenior Lecturer, University of BirminghamVerified email at cs.bham.ac.uk
Arnaud CarayolCNRS & Université Paris EstVerified email at univ-mlv.fr

Anna Ingolfsdottir

Professor of Computer Science, Reykjavík University

Verified email at ru.is

Semantics for concurrent and reactive systems


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Reactive systems: modelling, specification and verification L Aceto, A Ingólfsdóttir, KG Larsen, J Srba cambridge university press, 2007	426	2007
A domain equation for bisimulation S Abramsky Information and Computation 92 (2), 161-218, 1991	251	1991
Allegro version 2 DF Gudbjartsson, T Thorvaldsson, A Kong, G Gunnarsson, A Ingolfsdottir Nature genetics 37 (10), 1015-1016, 2005	230	2005
Characteristic formulas for processes with divergence B Steffen, A Ingolfsdottir Information and Computation 110 (1), 149-163, 1994	131	1994
Modelling and simulation of asynchronous real-time systems using Timed Rebeca AH Reynisson, M Sirjani, L Aceto, M Cimini, A Jafari, A Ingólfsdóttir, ... Science of Computer Programming 89, 41-68, 2014	98	2014
A theory of communicating processes with value passing M Hennessy, A Ingólfsdóttir Information and computation 107 (2), 202-236, 1993	97	1993
A survey of runtime monitoring instrumentation techniques I Cassar, A Francalanza, L Aceto, A Ingólfsdóttir arXiv preprint arXiv:1708.07229, 2017	79	2017
Monitorability for the Hennessy–Milner logic with recursion A Francalanza, L Aceto, A Ingólfsdóttir Formal Methods in System Design 51 (1), 87-116, 2017	77	2017
Adventures in monitorability: from branching to linear time and back again L Aceto, A Achilleos, A Francalanza, A Ingólfsdóttir, K Lehtinen Proceedings of the ACM on Programming Languages 3 (POPL), 1-29, 2019	74	2019
A foundation for runtime monitoring A Francalanza, L Aceto, A Achilleos, DP Attard, I Cassar, D Della Monica, ... International Conference on Runtime Verification, 8-29, 2017	73	2017
A symbolic approach to value-passing processes A Ingolfsdottir, H Lin Handbook of Process Algebra, 427-478, 2001	67	2001
Axiomatizing prefix iteration with silent steps L Aceto, R Van Glabbeek, W Fokkink, A Ingólfsdóttir Information and Computation 127 (1), 26-40, 1996	64	1996
Finite equational bases in process algebra: Results and open questions L Aceto, W Fokkink, A Ingólfsdóttir, B Luttik Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated …, 2005	57	2005
The algorithmics of bisimilarity. L Aceto, A Ingólfsdóttir, J Srba Advanced Topics in Bisimulation and Coinduction 52, 100-172, 2012	47	2012
On runtime enforcement via suppressions L Aceto, I Cassar, A Francalanza, A Ingólfsdóttir arXiv preprint arXiv:1807.01004, 2018	45	2018
A menagerie of non-finitely based process semantics over BPA*–from ready simulation to completed traces L Aceto, W Fokkink, A Ingolfsdottir Mathematical Structures in Computer Science 8 (3), 193-230, 1998	43	1998
A framework for parameterized monitorability A Ingólfsdóttir Foundations of Software Science and Computation Structures LNCS 10803, 203, 2018	39	2018
On verifying Hennessy-Milner logic with recursion at runtime A Francalanza, L Aceto, A Ingólfsdóttir Runtime Verification: 6th International Conference, RV 2015, Vienna, Austria …, 2015	38	2015
Communicating processes with value-passing and assignments M Hennessy, A Ingólfsdóttir Formal Aspects of Computing 5, 432-466, 1993	38	1993
An operational guide to monitorability L Aceto, A Achilleos, A Francalanza, A Ingólfsdóttir, K Lehtinen International Conference on Software Engineering and Formal Methods, 433-453, 2019	36	2019

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors