| 2011 | LPNMR | An Application of Clasp in the Study of Logics. | Mauricio Osorio, Jos Luis Carballido, Claudia Zepeda |
| 2010 | COMMA | CF2-extensions as Answer-set Models. | Mauricio Osorio, Juan Carlos Nieves, Ignasi Gmez-Sebasti |
| 2009 | LPNMR | The Logical Consequence Role in LPNMR: A Parameterized Computation Approach. | Mauricio Osorio, Simone Pascucci |
| 2009 | WoLLIC | Expressing Extension-Based Semantics Based on Stratified Minimal Models. | Juan Carlos Nieves, Mauricio Osorio, Claudia Zepeda |
| 2007 | LPNMR | Semantics for Possibilistic Disjunctive Programs. | Juan Carlos Nieves, Mauricio Osorio, Ulises Corts |
| 2006 | FlAIRS | Inexact Graph Matching: A Case of Study. | Ivn Olmos, Jesus A. Gonzalez, Mauricio Osorio |
| 2005 | CIS | Mining Common Patterns on Graphs. | Ivn Olmos, Jesus A. Gonzalez, Mauricio Osorio |
| 2005 | FlAIRS | Subgraph Isomorphism Detection Using a Code Based Representation. | Ivn Olmos, Jesus A. Gonzalez, Mauricio Osorio |
| 2002 | ICLP | Debugging in A-Prolog: A Logical Approach. | Mauricio Osorio, Juan Antonio Navarro Prez, Jos Arrazola |
| 2001 | AI | Stratified Partial-Order Logic Programming. | Mauricio Osorio, Juan Carlos Nieves |
| 2001 | LOPSTR | Equivalence in Answer Set Programming. | Mauricio Osorio, Juan Antonio Navarro Prez, Jos Arrazola |
| 1999 | ICLP | Declarative Pruning in a Functional Query Language. | Mauricio Osorio, Bharat Jayaraman, Juan Carlos Nieves |
| 1998 | JELIA | Semantics of Partial-Order Programs. | Mauricio Osorio |