Anna Ingolfsdottir - Citegraph

Author Info

Name	Affiliation	Papers
ANNA INGOLFSDOTTIR	Reykjavik Univ, Sch Sci & Engn, Dept Comp Sci, IS-103 Reykjavik, Iceland	10
Collaborators	Citations	PageRank
14	39	4.89
Referers	Referees	References
62	166	151

Search Limit

100166

Publications (10 rows)

Collaborators (14 rows)

Referers (62 rows)

Referees (100 rows)

Title	Citations	PageRank	Year
SOS rule formats for zero and unit elements	6	0.43	2011
Complete and ready simulation semantics are not finitely based over BCCSP, even with a singleton alphabet	2	0.37	2011
Characteristic formulae for fixed-point semantics: A general framework	10	0.68	2009
On the axiomatisability of priority	4	0.41	2008
On the expressibility of priority	1	0.36	2008
The saga of the axiomatization of parallel composition	0	0.34	2007
A finite equational base for CCS with left merge and communication merge	11	0.60	2006
Special Issue - Foundations Of Software Science And Computation Structures 2006 (Fossacs 2006) - Guest Editors' Foreword	0	0.34	2006
Genetic linkage analysis algorithms and their implementation	3	0.97	2005
Verification of the legOS Scheduler using Uppaal	2	0.40	2000

1