Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Rodolfo Gómez 0001

Rodolfo Sabás Gómez

> Home > Persons

Person information

affiliation: Scivisum Ltd, Canterbury, Kent, UK
affiliation (former): University of Kent, Canterbury, UK

Other persons with the same name

see FAQ

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2014
[j6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/SuGB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/SuGB14
Li Su, Rodolfo Gómez, Howard Bowman:
Analysing neurobiological models using communicating automata. Formal Aspects Comput. 26(6): 1169-1204 (2014)
2013
[j5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/Gomez13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/Gomez13
Rodolfo Gómez:
Model-checking timed automata with deadlines with Uppaal. Formal Aspects Comput. 25(2): 289-318 (2013)

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/formats/Gomez09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/Gomez09
Rodolfo Gómez:
A Compositional Translation of Timed Automata with Deadlines to Uppaal Timed Automata. FORMATS 2009: 179-194
2007
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/formats/GomezB07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/GomezB07
Rodolfo Gómez, Howard Bowman:
Efficient Detection of Zeno Runs in Timed Automata. FORMATS 2007: 195-210
2006
[b2]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - books/daglib/0015140
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/0015140
Howard Bowman, Rodolfo Gómez:
Concurrency theory - calculi and automata for modelling untimed and timed concurrent systems. Springer 2006, ISBN 978-1-85233-895-4, pp. I-XXIV, 1-435
[b1]
- view
- export record
  dblp key:
  - phd/ethos/Gomez06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/ethos/Gomez06
Rodolfo Gómez:
Verification of real-time systems : improving tool support. University of Kent, UK, 2006
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/air/GomezA06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/air/GomezA06
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)
[j3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/BowmanG06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/BowmanG06
Howard Bowman, Rodolfo Gómez:
How to stop time stopping. Formal Aspects Comput. 18(4): 459-493 (2006)
2004
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/GomezB04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/GomezB04
Rodolfo Gómez, Howard Bowman:
PITL2MONA: Implementing a Decision Procedure for Propositional Interval Temporal Logic. J. Appl. Non Class. Logics 14(1-2): 105-148 (2004)
[c5]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/iceis/GomezA04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceis/GomezA04
Rodolfo Gómez, Juan Carlos Augusto:
Durative Events in Active Databases. ICEIS (1) 2004: 306-311
[c4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BowmanGS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BowmanGS05
Howard Bowman, Rodolfo Gómez, Li Su:
A Tool for the Syntactic Detection of Zeno-timelocks in Timed Automata. ARTS 2004: 25-47
2003
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/ijseke/AugustoG03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijseke/AugustoG03
Juan Carlos Augusto, Rodolfo Gómez:
A Procedure To Translate Paradigm Specifications To Propositional Linear Temporal Logic And Its Application To Verification. Int. J. Softw. Eng. Knowl. Eng. 13(6): 627-654 (2003)
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/forte/GomezB03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/GomezB03
Rodolfo Gómez, Howard Bowman:
Discrete Timed Automata and MONA: Description, Specification and Verification of a Multimedia Stream. FORTE 2003: 177-192
2002
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/seke/AugustoG02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/seke/AugustoG02
Juan Carlos Augusto, Rodolfo Gómez:
A temporal logic view of paradigm models. SEKE 2002: 497-503
2001
[c1]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/seke/GomezAG01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/seke/GomezAG01
Rodolfo Gómez, Juan Carlos Augusto, Antony Galton:
Testing an Event Specification Language. SEKE 2001: 341-345

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.