| 2006 |
|---|
| 8 | EE | Gabriel Aguilera,
Alfredo Burrieza,
Pablo Cordero,
Inmaculada Perez de Guzmán,
Emilio Muñoz-Velasco:
MAT Logic: A Temporal×Modal Logic with Non-deterministic Operators to Deal with Interactive Systems in Communication Technologies.
IBERAMIA-SBIA 2006: 602-611 |
| 2005 |
|---|
| 7 | EE | Javier Martínez,
Gloria Gutiérrez,
Inmaculada Perez de Guzmán,
Pablo Cordero:
Generalizations of lattices via non-deterministic operators.
Discrete Mathematics 295(1-3): 107-141 (2005) |
| 2004 |
|---|
| 6 | EE | Gabriel Aguilera,
Pablo Cordero,
Manuel Enciso,
Angel Mora,
Inmaculada Perez de Guzmán:
A Non-explosive Treatment of Functional Dependencies Using Rewriting Logic.
SBIA 2004: 31-40 |
| 5 | EE | Pablo Cordero,
Gloria Gutiérrez,
Javier Martínez,
Inmaculada Perez de Guzmán:
A New Algebraic Tool for Automatic Theorem Provers.
Ann. Math. Artif. Intell. 42(4): 369-398 (2004) |
| 4 | EE | Carlos Rossi,
Manuel Enciso,
Inmaculada Perez de Guzmán:
Formalization of UML state machines using temporal logic.
Software and System Modeling 3(1): 31-54 (2004) |
| 2003 |
|---|
| 3 | EE | Angel Mora,
Manuel Enciso,
Pablo Cordero,
Inmaculada Perez de Guzmán:
An Efficient Preprocessing Transformation for Functional Dependencies Sets Based on the Substitution Paradigm.
CAEPIA 2003: 136-146 |
| 2002 |
|---|
| 2 | EE | Pablo Cordero,
Manuel Enciso,
Inmaculada Perez de Guzmán:
From the Poset of Temporal Implicates/implicants to a Temporal Negative Form.
Reports on Mathematical Logic 36: 3-53 (2002) |
| 1995 |
|---|
| 1 | EE | Inmaculada Perez de Guzmán,
Carlos Rossi:
LNint: A Temporal Logic that Combines Points and Intervals and the Absolute and Relative Approaches.
Logic Journal of the IGPL 3(5): 745-764 (1995) |
