( en | de | ru )

 

Disambiguierung von "Esparza, Javier"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Examples for submission to CONCUR'22.

, , und . (April 2022)

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.

Javier Esparza Technical University of Munich

Francisco Javier Esparza Estaun

Javier Manero

Javier Jáurequi

Javier Dreyer

 

Weitere Publikationen von Autoren mit dem selben Namen

Keeping a Crowd Safe: On the Complexity of Parameterized Verification (Corrected version).. CoRR, (2014)Compositional Synthesis of Live and Bounded Free Choice Petri Nets., und . CONCUR, Volume 527 von Lecture Notes in Computer Science, Seite 172-187. Springer, (1991)Top-down synthesis of live and bounded free choice nets., und . Applications and Theory of Petri Nets, Volume 524 von Lecture Notes in Computer Science, Seite 118-139. Springer, (1990)On the Complexity of Consistency and Complete State Coding for Signal Transition Graphs., , und . Fundam. Informaticae, 86 (3): 227-253 (2008)Parameterized Analysis of Immediate Observation Petri Nets., , und . Petri Nets, Volume 11522 von Lecture Notes in Computer Science, Seite 365-385. Springer, (2019)#conference.Reachability in Cyclic Extended Free-Choice Systems., und . Theor. Comput. Sci., 114 (1): 93-118 (1993)Derivation tree analysis for accelerated fixed-point computation., , und . Theor. Comput. Sci., 412 (28): 3226-3241 (2011)Verification of Safety Properties Using Integer Programming: Beyond the State Equation., und . Formal Methods Syst. Des., 16 (2): 159-189 (2000)TheoretiCS., und . Bull. EATCS, (2021)Lower Bounds on the State Complexity of Population Protocols., und . PODC, Seite 45-54. ACM, (2021)