( en | de | ru )

 

Disambiguierung von "Raskin, Jean-François"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Minkowski Games.

, , und . STACS, Volume 66 von LIPIcs, Seite 50:1-50:13. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (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.

Jean-François Stumper

Jean-François Viaud

Jean-François Paillotin

Jean François Savoie

Jean-François Hren

 

Weitere Publikationen von Autoren mit dem selben Namen

On the Verification of Concurrent, Asynchronous Programs with Waiting Queues., , und . ACM Trans. Embed. Comput. Syst., 14 (3): 58:1-58:26 (2015)Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and Their Application to LTL Model Checking., , , , , und . IEEE Trans. Software Eng., 39 (8): 1069-1089 (2013)Optimizing Expectation with Guarantees in POMDPs., , , , und . AAAI, Seite 3725-3732. AAAI Press, (2017)Active Learning of Sequential Transducers with Side Information About the Domain., , , und . DLT, Volume 12811 von Lecture Notes in Computer Science, Seite 54-65. Springer, (2021)On the Efficient Computation of the Minimal Coverability Set for Petri Nets., , und . ATVA, Volume 4762 von Lecture Notes in Computer Science, Seite 98-113. Springer, (2007)Abstract Interpretation of Game Properties., , , und . SAS, Volume 1824 von Lecture Notes in Computer Science, Seite 220-239. Springer, (2000)A Game-Based Verification of Non-repudiation and Fair Exchange Protocols., und . CONCUR, Volume 2154 von Lecture Notes in Computer Science, Seite 551-565. Springer, (2001)Axioms for real-time logics., , und . Theor. Comput. Sci., 274 (1-2): 151-182 (2002)Secure equilibria in weighted games., , und . CSL-LICS, Seite 26:1-26:26. ACM, (2014)Algorithms for Omega-Regular Games with Imperfect Information, ., , , und . CSL, Volume 4207 von Lecture Notes in Computer Science, Seite 287-302. Springer, (2006)