Anna Ingolfsdottir (ICE-TCS

Identifiers

• name variant Anna Ingolfsdottir (ICE-TCS 0.60 · backfill

Papers (2)

1. Proceedings First Workshop on Pre- and Post-Deployment Verification Techniques cs.LO · 2016 · author #7
2. Meta SOS - A Maude Based SOS Meta-Theory Framework cs.LO · 2013 · author #9

Mentions

• 1307.7446 #9 · backfill · confidence 0.70 Anna Ingolfsdottir (ICE-TCS

Frequent Coauthors

• Luca Aceto (ICE-TCS 2 shared papers
• School of Computer Science 2 shared papers
• Adrian Francalanza (Computer Science 1 shared papers
• Eugen-Ioan Goriac (ICE-TCS 1 shared papers
• Faculty of Information & Communications Technology 1 shared papers
• Iceland) 1 shared papers
• Reykjavik University 1 shared papers
• Reykjavik University) 1 shared papers
• University of Malta) 1 shared papers