Rodolfo Gómez

Rodolfo Sabás Gómez

University of Kent, UK

other persons with the same name:

• Rodolfo Gómez - Universidad Nacional de la Patagonia Austral, Santa Cruz, Argentina

	2009
11		Rodolfo Gómez: A Compositional Translation of Timed Automata with Deadlines to Uppaal Timed Automata. FORMATS 2009: 179-194
	2007
10		Rodolfo Gómez, Howard Bowman: Efficient Detection of Zeno Runs in Timed Automata. FORMATS 2007: 195-210
	2006
9		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		Howard Bowman, Rodolfo Gómez: How to stop time stopping. Formal Asp. Comput. 18(4): 459-493 (2006)
	2005
7		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		Rodolfo Gómez, Howard Bowman: Discrete Timed Automata and MONA: Description, Specification and Verification of a Multimedia Stream. FORTE 2003: 177-192
3		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		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

Coauthor Index

1	Juan Carlos Augusto	[1] [2] [3] [6] [9]
2	Howard Bowman	[4] [5] [7] [8] [10]
3	Antony Galton	[1]
4	Li Su	[7]

Colors in the list of coauthors