Sergio Mera

Publication Activity (10 Years)

Years Active: 2004-2017
Publications (10 Years): 1

Top Topics

Top Venues

Ann. Pure Appl. Log.

Publications

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
Performance improvement on legal model checking. ICAIL (2017)
Carlos Areces, Santiago Figueira, Sergio Mera
Completeness results for memory logics. Ann. Pure Appl. Log. 163 (7) (2012)
Carlos Areces, Facundo Carreiro, Santiago Figueira, Sergio Mera
Basic Model Theory for Memory Logics. WoLLIC (2011)
Carlos Areces, Diego Figueira, Santiago Figueira, Sergio Mera
The Expressive Power of Memory Logics. Rev. Symb. Log. 4 (2) (2011)
Daniel Gorín, Sergio Mera, Fernando Schapachnik
A Software Tool for Legal Drafting FLACOS (2011)
Nicolás D'Ippolito, Marcelo F. Frias, Juan P. Galeotti, Esteban Lanzarotti, Sergio Mera
Alloy+HotCore: A Fast Approximation to Unsat Core. ASM (2010)
Daniel Gorín, Sergio Mera, Fernando Schapachnik
Model Checking Legal Documents. JURIX (2010)
Sergio Mera, Nikolaj Bjørner
DKAL and Z3: A Logic Embedding Experiment. Fields of Logic and Computation (2010)
Carlos Areces, Diego Figueira, Daniel Gorín, Sergio Mera
Tableaux and Model Checking for Memory Logics. TABLEAUX (2009)
Carlos Areces, Santiago Figueira, Sergio Mera
Completeness Results for Memory Logics. LFCS (2009)
Guillermo Durán, Min Chih Lin, Sergio Mera, Jayme Luiz Szwarcfiter
Algorithms for finding clique-transversals of graphs. Ann. Oper. Res. 157 (1) (2008)
Carlos Areces, Diego Figueira, Santiago Figueira, Sergio Mera
Expressive Power and Decidability for Memory Logics. WoLLIC (2008)
Guillermo Durán, Min Chih Lin, Sergio Mera, Jayme Luiz Szwarcfiter
Algorithms for clique-independent sets on subclasses of circular-arc graphs. Discret. Appl. Math. 154 (13) (2006)
Guillermo Durán, Min Chih Lin, Sergio Mera, Jayme Luiz Szwarcfiter
Clique-independent sets of Helly circular-arc graphs. Electron. Notes Discret. Math. 18 (2004)