( en | de | ru )

 

Disambiguierung von "de Alfaro, Luca"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
An Accelerated Algorithm for 3-Color Parity Games with an Application to Timed Games.

, und . CAV, Volume 4590 von Lecture Notes in Computer Science, Seite 108-120. Springer, (2007)

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

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)A content-driven reputation system for the wikipedia, und . WWW '07: Proceedings of the 16th international conference on World Wide Web, Seite 261--270. New York, NY, USA, ACM Press, (2007)Measuring Author Contribution to the Wikipedia, , , und . WikiSym 2008: International Symposium on Wikis, Porto, Portugal, ACM Press, (September 2008)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)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)Termination Criteria for Solving Concurrent Safety and Reachability Games, , und . CoRR, (2008)Visual Verification of Reactive Systems., , , und . TACAS, Volume 1217 von Lecture Notes in Computer Science, Seite 334-350. Springer, (1997)Model Checking the World Wide Web.. CAV, Volume 2102 von Lecture Notes in Computer Science, Seite 337-349. Springer, (2001)