 | 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) |
