Author of the publication

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

The Complexity of Coverage., , and . Int. J. Found. Comput. Sci., 24 (2): 165-186 (2013)Attributing authorship of revisioned content., and . WWW, page 343-354. International World Wide Web Conferences Steering Committee / ACM, (2013)MCWEB: A Model-Checking Tool for Web Site Debugging., , and . WWW Posters, (2001)Quantitative solution of omega-regular games., and . J. Comput. Syst. Sci., 68 (2): 374-397 (2004)Linear and Branching System Metrics., , and . IEEE Trans. Software Eng., 35 (2): 258-273 (2009)Model checking discounted temporal properties., , , , and . Theor. Comput. Sci., 345 (1): 139-170 (2005)Interface Theories for Component-Based Design., and . EMSOFT, volume 2211 of Lecture Notes in Computer Science, page 148-165. Springer, (2001)Strategy Improvement for Concurrent Safety Games, , and . CoRR, (2008)Qualitative Logics and Equivalences for Probabilistic Systems, , , and . Logical Methods in Computer Science, (2009)Neural Networks with Structural Resistance to Adversarial Attacks.. CoRR, (2018)