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

Synthesizing Protocols for Digital Contract Signing., and . VMCAI, volume 7148 of Lecture Notes in Computer Science, page 152-168. Springer, (2012)Measuring Author Contribution to the Wikipedia, , , and . WikiSym 2008: International Symposium on Wikis, Porto, Portugal, ACM Press, (September 2008)Algorithms for Game Metrics., , , and . FSTTCS, volume 2 of LIPIcs, page 107-118. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2008)Code aware resource management., , , , and . Formal Methods Syst. Des., 42 (2): 146-174 (2013)Algorithms for Game Metrics (Full Version), , , and . Logical Methods in Computer Science, (2010)Assigning trust to Wikipedia content., , , , , and . Int. Sym. Wikis, ACM, (2008)Measuring author contributions to the Wikipedia., , , and . Int. Sym. Wikis, ACM, (2008)Assume-guarantee synthesis for digital contract signing., and . Formal Aspects Comput., 26 (4): 825-859 (2014)Ticc: A Tool for Interface Compatibility and Composition., , , , , , and . CAV, volume 4144 of Lecture Notes in Computer Science, page 59-62. Springer, (2006)Assume-Guarantee Synthesis for Digital Contract Signing, and . CoRR, (2010)