Sergio Mera

15 papers B 1C 4Misc 1Journal 5Unranked 3
YearRankTypeTitle / Venue / Authors
2017 C conf
Performance improvement on legal model checking.
ICAIL
Carlos Faciano, Sergio Mera, Fernando Schapachnik, Ana Haydée Di Iorio, Bibiana Luz Clara, Verónica Uriarte, María Fernanda Giaccaglia, María Belén Ruffa, Cristian Marcos
2013 — ch.
Computational Models for Normative Multi-Agent Systems.
Normative Multi-Agent Systems
Natasha Alechina, Nick Bassiliades, Mehdi Dastani, Marina De Vos, Brian Logan, Sergio Mera, Andreasa Morris-Martin, Fernando Schapachnik
2012 J jnl
Completeness results for memory logics.
Ann. Pure Appl. Log.
Carlos Areces, Santiago Figueira, Sergio Mera
2011 — conf
A Software Tool for Legal Drafting
FLACOS
Daniel Gorín, Sergio Mera, Fernando Schapachnik
2011 C conf
Basic Model Theory for Memory Logics.
WoLLIC
Carlos Areces, Facundo Carreiro, Santiago Figueira, Sergio Mera
2011 J jnl
The Expressive Power of Memory Logics.
Rev. Symb. Log.
Carlos Areces, Diego Figueira, Santiago Figueira, Sergio Mera
2010 — conf
Alloy+HotCore: A Fast Approximation to Unsat Core.
ASM
Nicolás D'Ippolito, Marcelo F. Frias, Juan P. Galeotti, Esteban Lanzarotti, Sergio Mera
2010 — conf
DKAL and Z3: A Logic Embedding Experiment.
Fields of Logic and Computation
Sergio Mera, Nikolaj S. Bjørner
2010 C conf
Model Checking Legal Documents.
JURIX
Daniel Gorín, Sergio Mera, Fernando Schapachnik
2009 Misc conf
Completeness Results for Memory Logics.
LFCS
Carlos Areces, Santiago Figueira, Sergio Mera
2009 B conf
Tableaux and Model Checking for Memory Logics.
TABLEAUX
Carlos Areces, Diego Figueira, Daniel Gorín, Sergio Mera
2008 J jnl
Algorithms for finding clique-transversals of graphs.
Ann. Oper. Res.
Guillermo Durán, Min Chih Lin, Sergio Mera, Jayme Luiz Szwarcfiter
2008 C conf
Expressive Power and Decidability for Memory Logics.
WoLLIC
Carlos Areces, Diego Figueira, Santiago Figueira, Sergio Mera
2006 J jnl
Algorithms for clique-independent sets on subclasses of circular-arc graphs.
Discret. Appl. Math.
Guillermo Durán, Min Chih Lin, Sergio Mera, Jayme Luiz Szwarcfiter
2004 J jnl
Clique-independent sets of Helly circular-arc graphs.
Electron. Notes Discret. Math.
Guillermo Durán, Min Chih Lin, Sergio Mera, Jayme Luiz Szwarcfiter