Autor der Publikation

Solving Fixed-Point Equations by Derivation Tree Analysis.

, und . CALCO, Volume 6859 von Lecture Notes in Computer Science, Seite 19-35. Springer, (2011)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

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)Keeping a Crowd Safe: On the Complexity of Parameterized Verification (Corrected version).. CoRR, (2014)On the Complexity of Consistency and Complete State Coding for Signal Transition Graphs., , und . Fundam. Informaticae, 86 (3): 227-253 (2008)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)Verification of Safety Properties Using Integer Programming: Beyond the State Equation., und . Formal Methods Syst. Des., 16 (2): 159-189 (2000)Derivation tree analysis for accelerated fixed-point computation., , und . Theor. Comput. Sci., 412 (28): 3226-3241 (2011)Reachability in Cyclic Extended Free-Choice Systems., und . Theor. Comput. Sci., 114 (1): 93-118 (1993)TheoretiCS., und . Bull. EATCS, (2021)Parameterized Analysis of Immediate Observation Petri Nets., , und . Petri Nets, Volume 11522 von Lecture Notes in Computer Science, Seite 365-385. Springer, (2019)#conference.Lower Bounds on the State Complexity of Population Protocols., und . PODC, Seite 45-54. ACM, (2021)