Sergio Mera
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2008–2017
Best venue rank
C
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | ICAIL | Performance improvement on legal model checking. | Carlos Faciano, Sergio Mera, Fernando Schapachnik, Ana Hayde Di Iorio, Bibiana Luz Clara, Vernica Uriarte, Mara Fernanda Giaccaglia, Mara Beln Ruffa, Cristian Marcos |
| 2011 | WoLLIC | Basic Model Theory for Memory Logics. | Carlos Areces, Facundo Carreiro, Santiago Figueira, Sergio Mera |
| 2010 | JURIX | Model Checking Legal Documents. | Daniel Gorn, Sergio Mera, Fernando Schapachnik |
| 2009 | LFCS | Completeness Results for Memory Logics. | Carlos Areces, Santiago Figueira, Sergio Mera |
| 2009 | TABLEAUX | Tableaux and Model Checking for Memory Logics. | Carlos Areces, Diego Figueira, Daniel Gorn, Sergio Mera |
| 2008 | WoLLIC | Expressive Power and Decidability for Memory Logics. | Carlos Areces, Diego Figueira, Santiago Figueira, Sergio Mera |