Anna Ingolfsdottir

Cited by

	All	Since 2018
Citations	3271	1092
h-index	28	16
i10-index	75	30

300

150

225

19911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202312 13 21 20 50 59 50 44 40 44 55 52 50 47 96 80 104 112 125 110 134 167 173 113 117 82 141 150 189 174 288 226 65

Public access

View all

49 articles

1 article

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 LuttikAssistant 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
Daniel GudbjartssonStatistician, Decode GeneticsVerified email at decode.is
Michel Reniersassociate professor, Mechanical Engineering, TU/eVerified email at tue.nl
Ignacio FábregasAssociate Profesor of Computer Science at Universidad Complutense de MadridVerified email at ucm.es
Dario Della MonicaUniversity of Udine (Italy)Verified email at uniud.it
matthew hennessyProfessor of Computer ScienceVerified email at cs.tcd.ie
Eugen-Ioan GoriacReykjavik UniversityVerified email at ru.is
Marjan SirjaniMälardalen UniversityVerified email at mdh.se
Angelo MontanariProfessor of Computer Science, Univ. of UdineVerified email at uniud.it
Rob van GlabbeekUNSWVerified email at cs.stanford.edu
Taolue ChenDepartment of Computer Science, Birkbeck, University of LondonVerified email at bbk.ac.uk
Bernhard SteffenProfessor für Informatik, TU DortmundVerified email at cs.uni-dortmund.de
Magnús M. HalldórssonProfessor of Computer Science, Reykjavik UniversityVerified email at ru.is
Arnar BirgissonGoogleVerified email at google.com
Paul Blain LevySenior Lecturer, University of BirminghamVerified email at cs.bham.ac.uk
Andrea SchalkSchool of Computer Science, University of ManchesterVerified email at manchester.ac.uk

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	396	2007
A domain equation for bisimulation S Abramsky Information and Computation 92 (2), 161-218, 1991	248	1991
Allegro version 2 DF Gudbjartsson, T Thorvaldsson, A Kong, G Gunnarsson, A Ingolfsdottir Nature genetics 37 (10), 1015-1016, 2005	227	2005
Characteristic formulas for processes with divergence B Steffen, A Ingolfsdottir Information and Computation 110 (1), 149-163, 1994	125	1994
A theory of communicating processes with value passing M Hennessy, A Ingólfsdóttir Information and computation 107 (2), 202-236, 1993	95	1993
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	71	2017
A symbolic approach to value-passing processes A Ingolfsdottir, H Lin Handbook of Process Algebra, 427-478, 2001	64	2001
A survey of runtime monitoring instrumentation techniques I Cassar, A Francalanza, L Aceto, A Ingólfsdóttir arXiv preprint arXiv:1708.07229, 2017	63	2017
A foundation for runtime monitoring A Francalanza, L Aceto, A Achilleos, DP Attard, I Cassar, D Della Monica, ... Runtime Verification: 17th International Conference, RV 2017, Seattle, WA …, 2017	61	2017
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	60	2014
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	60	1996
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	58	2019
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	56	2005
The algorithmics of bisimilarity. L Aceto, A Ingolfsdottir, J Srba Advanced Topics in Bisimulation and Coinduction 52, 100-172, 2012	45	2012
Modelling and simulation of asynchronous real-time systems using timed rebeca L Aceto, M Cimini, A Ingólfsdóttir, AH Reynisson, SH Sigurdarson, ... arXiv preprint arXiv:1108.0228, 2011	38	2011
On runtime enforcement via suppressions L Aceto, I Cassar, A Francalanza, A Ingólfsdóttir arXiv preprint arXiv:1807.01004, 2018	37	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	37	1998
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	36	2015
A framework for parameterized monitorability A Ingólfsdóttir Foundations of Software Science and Computation Structures LNCS 10803, 203, 2018	35	2018
Nested semantics over finite trees are equationally hard L Aceto, W Fokkink, R van Glabbeek, A Ingólfsdóttir Information and Computation 191 (2), 203-232, 2004	35	2004

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