From post

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

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