PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Torre, Salvatore La"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Lazy-CSeq 2.0: Combining Lazy Sequentialization with Abstract Interpretation - (Competition Contribution).

, , , , und . TACAS (2), Volume 10206 von Lecture Notes in Computer Science, Seite 375-379. (2017)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Amelia Torres Pareja University of Stuttgart

Edgar Torres University of Stuttgart

Maria Valeria Torres Lopes Rauck University of Stuttgart

A. Laukemann

Jens Lachenmaier

 

Weitere Publikationen von Autoren mit dem selben Namen

Automata-based Representations for Infinite Graphs., und . ITA, 35 (4): 311-330 (2001)Parametric temporal logic for "model measuring"., , , und . ACM Trans. Comput. Log., 2 (3): 388-407 (2001)Optimal paths in weighted timed automata., , und . Theor. Comput. Sci., 318 (3): 297-322 (2004)Sequentializing Parameterized Programs, , und . FIT, Volume 87 von EPTCS, Seite 34-47. (2012)Reasoning About Co-Büchi Tree Automata., und . ICTAC, Volume 3407 von Lecture Notes in Computer Science, Seite 527-542. Springer, (2004)Parallel Word Substitution., , und . Fundam. Inform., 27 (1): 27-36 (1996)Games, Automata, Logic, and Formal Verification (GandALF 2011)., und . Theor. Comput. Sci., (2013)Finite automata on timed omega-trees., und . Theor. Comput. Sci., 293 (3): 479-505 (2003)The Firing Squad Synchronization Problem on Squares, Toruses and Rings., , und . Int. J. Found. Comput. Sci., 18 (3): 637-654 (2007)Parametric Metric Interval Temporal Logic., , und . LATA, Volume 6031 von Lecture Notes in Computer Science, Seite 249-260. Springer, (2010)