Author of the publication

Grey-Box Checking.

, , , and . FORTE, volume 4229 of Lecture Notes in Computer Science, page 420-435. Springer, (2006)

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

Egalitarian Deliberative Decision Making., , , and . CoRR, (2020)A Tractable and Expressive Class of Marginal Contribution Nets and Its Applications., , , and . Math. Log. Q., 55 (4): 362-376 (2009)On Commutativity Based Edge Lean Search., , , and . ICALP, volume 4596 of Lecture Notes in Computer Science, page 158-170. Springer, (2007)Group Activity Selection Problem., , , , , and . WINE, volume 7695 of Lecture Notes in Computer Science, page 156-169. Springer, (2012)Interleaving Cryptography and Mechanism Design: The Case of Online Auctions., and . Financial Cryptography, volume 3110 of Lecture Notes in Computer Science, page 117-131. Springer, (2004)Single-crossing Implementation., , and . CoRR, (2019)On the hardness of finding subsets with equal average., and . Inf. Process. Lett., 113 (13): 477-480 (2013)Structure in Dichotomous Preferences., and . IJCAI, page 2019-2025. AAAI Press, (2015)Arbitrators in overlapping coalition formation games., and . AAMAS, page 55-62. IFAAMAS, (2011)Properties of Multiwinner Voting Rules., , , and . CoRR, (2015)