| 2008 |
|---|
| 11 | EE | Enrique Sierra,
Daniel Lorenzetti,
Alejandro Hossian,
Hugo Moyano,
Horacio León,
Daniel Pandolfi,
Rodolfo Gómez,
Ramón García-Martínez:
Using Genetic Fuzzy Algorithms to Model the Evolution of Climate Variables at San Jorge Gulf Area.
MICAI 2008: 382-393 |
| 2007 |
|---|
| 10 | EE | Rodolfo Gómez,
Howard Bowman:
Efficient Detection of Zeno Runs in Timed Automata.
FORMATS 2007: 195-210 |
| 2006 |
|---|
| 9 | EE | Rodolfo Sabás Gómez,
Juan Carlos Augusto:
Expressiveness of temporal query languages: on the modelling of intervals, interval relationships and states.
Artif. Intell. Rev. 26(4): 269-289 (2006) |
| 8 | EE | Howard Bowman,
Rodolfo Gómez:
How to stop time stopping.
Formal Asp. Comput. 18(4): 459-493 (2006) |
| 2005 |
|---|
| 7 | EE | Howard Bowman,
Rodolfo Gómez,
Li Su:
A Tool for the Syntactic Detection of Zeno-timelocks in Timed Automata.
Electr. Notes Theor. Comput. Sci. 139(1): 25-47 (2005) |
| 2004 |
|---|
| 6 | | Rodolfo Gómez,
Juan Carlos Augusto:
Durative Events in Active Databases.
ICEIS (1) 2004: 306-311 |
| 5 | | Rodolfo Gómez,
Howard Bowman:
PITL2MONA: Implementing a Decision Procedure for Propositional Interval Temporal Logic.
Journal of Applied Non-Classical Logics 14(1-2): 105-148 (2004) |
| 2003 |
|---|
| 4 | EE | Rodolfo Gómez,
Howard Bowman:
Discrete Timed Automata and MONA: Description, Specification and Verification of a Multimedia Stream.
FORTE 2003: 177-192 |
| 3 | EE | Juan Carlos Augusto,
Rodolfo Gómez:
A Procedure To Translate Paradigm Specifications To Propositional Linear Temporal Logic And Its Application To Verification.
International Journal of Software Engineering and Knowledge Engineering 13(6): 627-654 (2003) |
| 2002 |
|---|
| 2 | EE | Juan Carlos Augusto,
Rodolfo Gómez:
A temporal logic view of paradigm models.
SEKE 2002: 497-503 |
| 2001 |
|---|
| 1 | | Rodolfo Gómez,
Juan Carlos Augusto,
Antony Galton:
Testing an Event Specification Language.
SEKE 2001: 341-345 |
