Sergio Mera

According to our database, Sergio Mera authored at least 14 papers between 2004 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2017

Performance improvement on legal model checking.

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

Proceedings of the 16th edition of the International Conference on Artificial Intelligence and Law, 2017

2013

Computational Models for Normative Multi-Agent Systems.

Natasha Alechina, Nick Bassiliades, Mehdi Dastani, Marina De Vos, Brian Logan, Sergio Mera, Andreasa Morris-Martin, Fernando Schapachnik

Proceedings of the Normative Multi-Agent Systems, 2013

2012

Completeness results for memory logics.

Carlos Areces, Santiago Figueira, Sergio Mera

Ann. Pure Appl. Log., 2012

2011

The Expressive Power of Memory Logics.

Carlos Areces, Diego Figueira, Santiago Figueira, Sergio Mera

Rev. Symb. Log., 2011

A Software Tool for Legal Drafting

Daniel Gorín, Sergio Mera, Fernando Schapachnik

Proceedings of the Proceedings Fifth Workshop on Formal Languages and Analysis of Contract-Oriented Software, 2011

Basic Model Theory for Memory Logics.

Carlos Areces, Facundo Carreiro, Santiago Figueira, Sergio Mera

Proceedings of the Logic, Language, Information and Computation, 2011

2010

Model Checking Legal Documents.

Daniel Gorín, Sergio Mera, Fernando Schapachnik

Proceedings of the Legal Knowledge and Information Systems, 2010

DKAL and Z3: A Logic Embedding Experiment.

Sergio Mera, Nikolaj S. Bjørner

Proceedings of the Fields of Logic and Computation, 2010

Alloy+HotCore: A Fast Approximation to Unsat Core.

Nicolás D'Ippolito, Marcelo F. Frias, Juan P. Galeotti, Esteban Lanzarotti, Sergio Mera

Proceedings of the Abstract State Machines, 2010

2009

Tableaux and Model Checking for Memory Logics.

Carlos Areces, Diego Figueira, Daniel Gorín, Sergio Mera

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2009

2008

Algorithms for finding clique-transversals of graphs.

Guillermo Durán, Min Chih Lin, Sergio Mera, Jayme Luiz Szwarcfiter

Ann. Oper. Res., 2008

Expressive Power and Decidability for Memory Logics.

Carlos Areces, Diego Figueira, Santiago Figueira, Sergio Mera

Proceedings of the Logic, 2008

2006

Algorithms for clique-independent sets on subclasses of circular-arc graphs.

Guillermo Durán, Min Chih Lin, Sergio Mera, Jayme Luiz Szwarcfiter

Discret. Appl. Math., 2006

2004

Clique-independent sets of Helly circular-arc graphs.

Guillermo Durán, Min Chih Lin, Sergio Mera, Jayme Luiz Szwarcfiter

Electron. Notes Discret. Math., 2004