Facundo Carreiro
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
2011–2015
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | LICS | PDL Is the Bisimulation-Invariant Fragment of Weak Chain Logic. | Facundo Carreiro |
| 2014 | AiML | PDL Inside the ?-calculus: A Syntactic and an Automata-theoretic Characterization. | Facundo Carreiro, Yde Venema |
| 2014 | CSL | Weak MSO: automata and expressiveness modulo bisimilarity. | Facundo Carreiro, Alessandro Facchini, Yde Venema, Fabio Zanasi |
| 2013 | ICALP | Coalgebraic Announcement Logics. | Facundo Carreiro, Daniel Gorn, Lutz Schrder |
| 2012 | AiML | Beyond Regularity for Presburger Modal Logic. | Facundo Carreiro, Stphane Demri |
| 2011 | ICTAC | On Characterization, Definability and ω-Saturated Models. | Facundo Carreiro |
| 2011 | WoLLIC | Basic Model Theory for Memory Logics. | Carlos Areces, Facundo Carreiro, Santiago Figueira, Sergio Mera |