Anna Ingolfsdottir (Reykjavik University

Identifiers

• name variant Anna Ingolfsdottir (Reykjavik University 0.60 · backfill

Papers (2)

1. Axiomatizing GSOS with Predicates cs.LO · 2011 · author #7
2. Modelling and Simulation of Asynchronous Real-Time Systems using Timed Rebeca cs.SE · 2011 · author #5

Mentions

• 1108.3124 #7 · backfill · confidence 0.70 Anna Ingolfsdottir (Reykjavik University
• 1108.0228 #5 · backfill · confidence 0.70 Anna Ingolfsdottir (Reykjavik University

Frequent Coauthors

• Iceland) 2 shared papers
• Luca Aceto (Reykjavik University 2 shared papers
• Arni Hermann Reynisson (Reykjavik University 1 shared papers
• Eugen-Ioan Goriac (Reykjavik University 1 shared papers
• Georgiana Caltais (Reykjavik University 1 shared papers
• Marjan Sirjani (Reykjavik University 1 shared papers
• Matteo Cimini (Reykjavik University 1 shared papers
• Steinar Hugi Sigurdarson (Reykjavik University 1 shared papers