The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Sergio Mera" ( http://dblp.L3S.de/Authors/Sergio_Mera )

  Author page on DBLP  Author page in RDF  Community of Sergio Mera in ASPL-2

Publication years (Num. hits)
2004-2017 (15)
Publication types (Num. hits)
article(5) incollection(1) inproceedings(9)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 2 occurrences of 2 keywords

Results
Found 16 publication records. Showing 15 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Carlos 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. Search on Bibsonomy ICAIL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Natasha Alechina, Nick Bassiliades, Mehdi Dastani, Marina De Vos, Brian Logan, Sergio Mera, Andreasa Morris-Martin, Fernando Schapachnik Computational Models for Normative Multi-Agent Systems. Search on Bibsonomy Normative Multi-Agent Systems The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Carlos Areces, Santiago Figueira, Sergio Mera Completeness results for memory logics. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Daniel Gorín, Sergio Mera, Fernando Schapachnik A Software Tool for Legal Drafting Search on Bibsonomy FLACOS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Carlos Areces, Diego Figueira, Santiago Figueira, Sergio Mera The Expressive Power of Memory Logics. Search on Bibsonomy Rev. Symb. Log. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Carlos Areces, Facundo Carreiro, Santiago Figueira, Sergio Mera Basic Model Theory for Memory Logics. Search on Bibsonomy WoLLIC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Daniel Gorín, Sergio Mera, Fernando Schapachnik Model Checking Legal Documents. Search on Bibsonomy JURIX The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Sergio Mera, Nikolaj Bjørner DKAL and Z3: A Logic Embedding Experiment. Search on Bibsonomy Fields of Logic and Computation The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Nicolás D'Ippolito, Marcelo F. Frias, Juan P. Galeotti, Esteban Lanzarotti, Sergio Mera Alloy+HotCore: A Fast Approximation to Unsat Core. Search on Bibsonomy ASM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Carlos Areces, Diego Figueira, Daniel Gorín, Sergio Mera Tableaux and Model Checking for Memory Logics. Search on Bibsonomy TABLEAUX The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Carlos Areces, Santiago Figueira, Sergio Mera Completeness Results for Memory Logics. Search on Bibsonomy LFCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Guillermo Durán, Min Chih Lin, Sergio Mera, Jayme Luiz Szwarcfiter Algorithms for finding clique-transversals of graphs. Search on Bibsonomy Annals OR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Clique-transversals, Helly circular-arc graphs, free circular-arc graphs, Algorithms, Circular-arc graphs
1Carlos Areces, Diego Figueira, Santiago Figueira, Sergio Mera Expressive Power and Decidability for Memory Logics. Search on Bibsonomy WoLLIC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Guillermo Durán, Min Chih Lin, Sergio Mera, Jayme Luiz Szwarcfiter Algorithms for clique-independent sets on subclasses of circular-arc graphs. Search on Bibsonomy Discrete Applied Mathematics The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Guillermo Durán, Min Chih Lin, Sergio Mera, Jayme Luiz Szwarcfiter Clique-independent sets of Helly circular-arc graphs. Search on Bibsonomy Electronic Notes in Discrete Mathematics The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #15 of 15 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license