Autor der Publikation

Memory-Efficient Algorithms for the Verification of Temporal Properties.

, , , und . Formal Methods in System Design, 1 (2/3): 275-288 (1992)

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

Smoothed complexity of local max-cut and binary max-CSP., , , , und . STOC, Seite 1052-1065. ACM, (2020)Recursive Markov Chains, Stochastic Grammars, and Monotone Systems of Nonlinear Equations., und . STACS, Volume 3404 von Lecture Notes in Computer Science, Seite 340-352. Springer, (2005)Efficient Qualitative Analysis of Classes of Recursive Markov Decision Processes and Simple Stochastic Games., und . STACS, Volume 3884 von Lecture Notes in Computer Science, Seite 634-645. Springer, (2006)The Complexity of Multiway Cuts (Extended Abstract), , , , und . STOC, Seite 241-251. ACM, (1992)Homa: An Efficient Topology and Route Management Approach in SD-WAN Overlays., , , und . INFOCOM, Seite 2351-2360. IEEE, (2020)Smoothed Complexity of SWAP in Local Graph Partitioning., , , und . CoRR, (2023)Searching a fixed graph, , und . Automata, Languages and Programming: 23rd International Colloquium, ICALP'96 Paderborn, Germany, July 8--12, 1996 Proceedings 23, Seite 280--289. Springer, (1996)The Complexity of Restricted Minimum Spanning Tree Problems (Extended Abstract)., und . ICALP, Volume 71 von Lecture Notes in Computer Science, Seite 460-470. Springer, (1979)Recursive Concurrent Stochastic Games., und . ICALP (2), Volume 4052 von Lecture Notes in Computer Science, Seite 324-335. Springer, (2006)Automata, Probability, and Recursion.. CIAA, Volume 5148 von Lecture Notes in Computer Science, Seite 23-32. Springer, (2008)