Anna Ingolfsdottir

Cited by

	All	Since 2017
Citations	3100	1077
h-index	27	16
i10-index	70	28

300

150

225

1991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202212 15 25 22 57 63 40 43 42 43 54 49 50 48 75 78 106 121 126 108 142 162 168 112 116 80 142 152 187 176 284 136

Public access

View all

56 articles

0 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 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
matthew hennessyProfessor of Computer ScienceVerified email at cs.tcd.ie
Dario Della MonicaUniversity of Udine (Italy)Verified email at uniud.it
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
Magnús M. HalldórssonProfessor of Computer Science, Reykjavik UniversityVerified email at ru.is
Bernhard SteffenProfessor für Informatik, TU DortmundVerified email at cs.uni-dortmund.de
Taolue ChenDepartment of Computer Science, Birkbeck, University of LondonVerified email at bbk.ac.uk
Arnar BirgissonGoogleVerified email at google.com
Paul Blain LevySenior Lecturer, University of BirminghamVerified email at cs.bham.ac.uk
Hans HüttelAssociate Professor, Aalborg UniversityVerified email at cs.aau.dk

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	382	2007
A domain equation for bisimulation S Abramsky Information and Computation 92 (2), 161-218, 1991	243	1991
Allegro version 2 DF Gudbjartsson, T Thorvaldsson, A Kong, G Gunnarsson, A Ingolfsdottir Nature genetics 37 (10), 1015-1016, 2005	225	2005
Characteristic formulas for processes with divergence B Steffen, A Ingolfsdottir Information and Computation 110 (1), 149-163, 1994	121	1994
A theory of communicating processes with value passing M Hennessy, A Ingólfsdóttir Information and computation 107 (2), 202-236, 1993	92	1993
Monitorability for the Hennessy–Milner logic with recursion A Francalanza, L Aceto, A Ingolfsdottir Formal Methods in System Design 51 (1), 87-116, 2017	69	2017
A symbolic approach to value-passing processes A Ingolfsdottir, H Lin Handbook of Process Algebra, 427-478, 2001	61	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	60	1996
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	57	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	57	2014
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, 338-367, 2005	55	2005
A survey of runtime monitoring instrumentation techniques I Cassar, A Francalanza, L Aceto, A Ingólfsdóttir arXiv preprint arXiv:1708.07229, 2017	54	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	51	2019
The algorithmics of bisimilarity. L Aceto, A Ingolfsdottir, J Srba Advanced Topics in Bisimulation and Coinduction 52, 100-172, 2012	40	2012
On runtime enforcement via suppressions L Aceto, I Cassar, A Francalanza, A Ingólfsdóttir arXiv preprint arXiv:1807.01004, 2018	38	2018
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	37	2011
A framework for parameterized monitorability A Ingólfsdóttir Foundations of Software Science and Computation Structures LNCS 10803, 203, 2018	35	2018
Communicating processes with value-passing and assignments M Hennessy, A Ingólfsdóttir Formal Aspects of Computing 5 (5), 432-466, 1993	35	1993
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	34	1998
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	33	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