Autor der Publikation

Model Checking Logic WCTL with Multi Constrained Modalities on One Clock Priced Timed Automata.

, , und . FORMATS, Volume 5813 von Lecture Notes in Computer Science, Seite 88-102. Springer, (2009)

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

Polylogarithmic Bounds on the Competitiveness of Min-cost Perfect Matching with Delays., , und . SODA, Seite 1051-1061. SIAM, (2017)Nash Equilibrium in Weighted Concurrent Timed Games with Reachability Objectives., , und . ICDCIT, Volume 7154 von Lecture Notes in Computer Science, Seite 117-128. Springer, (2012)Factorial Lower Bounds for (Almost) Random Order Streams., , , und . FOCS, Seite 486-497. IEEE, (2022)Online Min-Max Paging., , , und . SODA, Seite 1545-1565. SIAM, (2023)DelayCheck: Scheduling voice over multi-hop multi-channel wireless mesh networks., , , und . COMSNETS, Seite 1-10. IEEE, (2011)Approximating the Regular Graphic TSP in Near Linear Time., und . FSTTCS, Volume 45 von LIPIcs, Seite 125-135. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)Set Cover with Delay - Clairvoyance Is Not Required., , , und . ESA, Volume 173 von LIPIcs, Seite 8:1-8:21. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Metrical Service Systems with Multiple Servers, und . CoRR, (2012)Prophet Inequality: Order selection beats random order., und . EC, Seite 302-336. ACM, (2023)Testing Graph Clusterability: Algorithms and Lower Bounds., , , , und . FOCS, Seite 497-508. IEEE Computer Society, (2018)