( en | de | ru )

 

Disambiguierung von "de Alfaro, Luca"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Game Refinement Relations and Metrics

, , , 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

The complexity of quantitative concurrent parity games., , und . SODA, Seite 678-687. ACM Press, (2006)Average Reward Timed Games., , und . FORMATS, Volume 3829 von Lecture Notes in Computer Science, Seite 65-80. Springer, (2005)Content-Driven Reputation for Collaborative Systems., und . TGC, Volume 8358 von Lecture Notes in Computer Science, Seite 3-13. Springer, (2013)Discounting the Future in Systems Theory., , und . ICALP, Volume 2719 von Lecture Notes in Computer Science, Seite 1022-1037. Springer, (2003)The Complexity of Stochastic Rabin and Streett Games'., , und . ICALP, Volume 3580 von Lecture Notes in Computer Science, Seite 878-890. Springer, (2005)Temporal Logics for the Specification of Performance and Reliability.. STACS, Volume 1200 von Lecture Notes in Computer Science, Seite 165-176. Springer, (1997)Interface Theories for Component-Based Design., und . EMSOFT, Volume 2211 von Lecture Notes in Computer Science, Seite 148-165. Springer, (2001)Attributing authorship of revisioned content., und . WWW, Seite 343-354. International World Wide Web Conferences Steering Committee / ACM, (2013)Automated Audience Segmentation Using Reputation Signals., , und . KDD, Seite 186-195. ACM, (2018)MCWEB: A Model-Checking Tool for Web Site Debugging., , und . WWW Posters, (2001)