Sergio Mera

	2012
12		Carlos Areces, Santiago Figueira, Sergio Mera: Completeness results for memory logics. Ann. Pure Appl. Logic 163(7): 961-972 (2012)
	2011
11		Daniel Gorín, Sergio Mera, Fernando Schapachnik: A Software Tool for Legal Drafting FLACOS 2011: 71-86
10		Carlos Areces, Facundo Carreiro, Santiago Figueira, Sergio Mera: Basic Model Theory for Memory Logics. WoLLIC 2011: 20-34
	2010
9		Nicolás D'Ippolito, Marcelo F. Frias, Juan P. Galeotti, Esteban Lanzarotti, Sergio Mera: Alloy+HotCore: A Fast Approximation to Unsat Core. ASM 2010: 160-173
8		Sergio Mera, Nikolaj Bjørner: DKAL and Z3: A Logic Embedding Experiment. Fields of Logic and Computation 2010: 504-528
7		Daniel Gorín, Sergio Mera, Fernando Schapachnik: Model Checking Legal Documents. JURIX 2010: 151-154
	2009
6		Carlos Areces, Santiago Figueira, Sergio Mera: Completeness Results for Memory Logics. LFCS 2009: 16-30
5		Carlos Areces, Diego Figueira, Daniel Gorín, Sergio Mera: Tableaux and Model Checking for Memory Logics. TABLEAUX 2009: 47-61
	2008
4		Carlos Areces, Diego Figueira, Santiago Figueira, Sergio Mera: Expressive Power and Decidability for Memory Logics. WoLLIC 2008: 56-68
3		Guillermo Durán, Min Chih Lin, Sergio Mera, Jayme Luiz Szwarcfiter: Algorithms for finding clique-transversals of graphs. Annals OR 157(1): 37-45 (2008)
	2006
2		Guillermo Durán, Min Chih Lin, Sergio Mera, Jayme Luiz Szwarcfiter: Algorithms for clique-independent sets on subclasses of circular-arc graphs. Discrete Applied Mathematics 154(13): 1783-1790 (2006)
	2004
1		Guillermo Durán, Min Chih Lin, Sergio Mera, Jayme Luiz Szwarcfiter: Clique-independent sets of Helly circular-arc graphs. Electronic Notes in Discrete Mathematics 18: 103-108 (2004)

Coauthor Index

1	Carlos Areces	[4] [5] [6] [10] [12]
2	Nikolaj Bjørner	[8]
3	Facundo Carreiro	[10]
4	Nicolás D'Ippolito	[9]
5	Guillermo Durán	[1] [2] [3]
6	Diego Figueira	[4] [5]
7	Santiago Figueira	[4] [6] [10] [12]
8	Marcelo F. Frias (Marcelo Fabiùn Frias)	[9]
9	Juan P. Galeotti	[9]
10	Daniel Gorín	[5] [7] [11]
11	Esteban Lanzarotti	[9]
12	Min Chih Lin	[1] [2] [3]
13	Fernando Schapachnik	[7] [11]
14	Jayme Luiz Szwarcfiter	[1] [2] [3]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page