Rodolfo Gomez

From MaRDI portal
Person:736842

Available identifiers

zbMath Open gomez.rodolfoMaRDI QIDQ736842

List of research outcomes





PublicationDate of PublicationType
Analysing neurobiological models using communicating automata2016-08-05Paper
Model-checking timed automata with deadlines with Uppaal2013-03-22Paper
A compositional translation of timed automata with deadlines to Uppaal timed automata2009-12-01Paper
Efficient Detection of Zeno Runs in Timed Automata2008-07-03Paper
How to stop time stopping2006-12-20Paper
Concurrency theory. Calculi and automata for modelling untimed and timed cocurrent systems.2006-04-12Paper

Research outcomes over time

This page was built for person: Rodolfo Gomez

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:736842&oldid=10964078"
Powered by MediaWiki