Anna Ingolfsdottir

Cited by

	All	Since 2020
Citations	3562	1072
h-index	28	16
i10-index	75	26

300

150

225

1991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202514 15 28 20 51 62 46 46 42 42 54 55 49 50 77 78 107 115 125 110 134 162 163 109 113 87 132 148 182 180 283 226 187 182 14

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
Marjan SirjaniMälardalen UniversityVerified email at mdh.se
Rob van GlabbeekUNSWVerified email at cs.stanford.edu
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	439	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	100	2014
A theory of communicating processes with value passing M Hennessy, A Ingólfsdóttir Information and computation 107 (2), 202-236, 1993	98	1993
A survey of runtime monitoring instrumentation techniques I Cassar, A Francalanza, L Aceto, A Ingólfsdóttir arXiv preprint arXiv:1708.07229, 2017	83	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	78	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	76	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	75	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	50	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
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	41	2015
A framework for parameterized monitorability A Ingólfsdóttir Foundations of Software Science and Computation Structures LNCS 10803, 203, 2018	39	2018
Communicating processes with value-passing and assignments M Hennessy, A Ingólfsdóttir Formal Aspects of Computing 5, 432-466, 1993	39	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	37	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