( en | de | ru )

 

Disambiguierung von "de Alfaro, Luca"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Termination Criteria for Solving Concurrent Safety and Reachability Games

, , und . CoRR, (2008)

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.

Alexander De Luca

Luca De Pascalis

Nina De Luca

Emanuela De Luca

Maria Teresa De Luca

 

Weitere Publikationen von Autoren mit dem selben Namen

Algorithms for Game Metrics., , , und . FSTTCS, Volume 2 von LIPIcs, Seite 107-118. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2008)Termination Criteria for Solving Concurrent Safety and Reachability Games, , und . CoRR, (2008)Some Like it Hoax: Automated Fake News Detection in Social Networks., , , , und . CoRR, (2017)Algorithms for Game Metrics (Full Version), , , und . Logical Methods in Computer Science, (2010)Model Checking of Probabilistic and Nondeterministic Systems, und . Foundations of Software Technology and Theoretical Computer Science, Volume 1026 von Lecture Notes in Computer Science, Seite 499-513. Springer, (1995)Toward a Social Graph Recommendation Algorithm: Do We Trust Our Friends in Movie Recommendations?, und . OTM Workshops, Volume 7567 von Lecture Notes in Computer Science, Seite 637-647. Springer, (2012)Adaptive Policy Tree Algorithm to Approach Collision-Free Transmissions in Slotted ALOHA., , , , , , , und . MASS, Seite 138-146. IEEE, (2020)Automating Modular Verification., , , und . CONCUR, Volume 1664 von Lecture Notes in Computer Science, Seite 82-97. Springer, (1999)Symbolic Algorithms for Infinite-State Games., , und . CONCUR, Volume 2154 von Lecture Notes in Computer Science, Seite 536-550. Springer, (2001)Compositional Methods for Probabilistic Systems., , und . CONCUR, Volume 2154 von Lecture Notes in Computer Science, Seite 351-365. Springer, (2001)