Anna Ing\'olfsd\'ottir

Identifiers

• name variant Anna Ing\'olfsd\'ottir 0.60 · backfill

Papers (7)

1. An Operational Guide to Monitorability cs.LO · 2019 · author #4
2. The Cost of Monitoring Alone cs.LO · 2019 · author #4
3. Adventures in Monitorability: From Branching to Linear Time and Back Again cs.LO · 2019 · author #4
4. Determinizing Monitors for HML with Recursion cs.LO · 2016 · author #4
5. Algebraic Synchronization Trees and Processes cs.LO · 2016 · author #4
6. Characteristic Formulae for Relations with Nested Fixed Points cs.LO · 2012 · author #2
7. Graphical representation of covariant-contravariant modal formulae cs.LO · 2011 · author #4

Mentions

• 1202.3497 #2 · backfill · confidence 0.70 Anna Ing\'olfsd\'ottir
• 1108.4464 #4 · backfill · confidence 0.70 Anna Ing\'olfsd\'ottir

Frequent Coauthors

• Luca Aceto 7 shared papers
• Adrian Francalanza 4 shared papers
• Antonis Achilleos 4 shared papers
• Karoliina Lehtinen 3 shared papers
• Arnaud Carayol 1 shared papers
• David de Frutos-Escrig 1 shared papers
• Ignacio F\'abregas 1 shared papers
• Miguel Palomino 1 shared papers
• S{\ae}var \"Orn Kjartansson 1 shared papers
• Zolt\'an \'Esik 1 shared papers