Anna Ingolfsdottir (Reykjavik University)

Identifiers

• name variant Anna Ingolfsdottir (Reykjavik University) 0.60 · backfill

Papers (2)

1. A Bisimulation-based Method for Proving the Validity of Equations in GSOS Languages cs.LO · 2010 · author #3
2. Characteristic Formulae for Fixed-Point Semantics: A General Framework cs.LO · 2009 · author #2

Mentions

• 1002.2864 #3 · backfill · confidence 0.70 Anna Ingolfsdottir (Reykjavik University)
• 0911.1862 #2 · backfill · confidence 0.70 Anna Ingolfsdottir (Reykjavik University)

Frequent Coauthors

• Luca Aceto (Reykjavik University) 2 shared papers
• Joshua Sack (Reykjavik University) 1 shared papers
• Matteo Cimini (Reykjavik University) 1 shared papers