- IACR Cryptology ePrint Archive (2000)
- IACR Cryptology ePrint Archive (2000)
- IACR Cryptology ePrint Archive (2000)
- IACR Cryptology ePrint Archive (2001)
- AMCIS, page 551. Association for Information Systems, (2004)
- (2009)
- DSN, page 637-646. IEEE Computer Society, (2002)
- DSN, page 545. IEEE Computer Society, (2002)
- Ann. Math. Artif. Intell. 62(1-2):79-101 (2011)
- CoRR (2010)
- Presence 7(4):396-409 (1998)
- Presence 11(5):508-524 (2002)
- Presence 11(5):493-507 (2002)
- CLIMA, volume 6245 of Lecture Notes in Computer Science, page 15-32. Springer, (2010)
- CLIMA, volume 6814 of Lecture Notes in Computer Science, page 29-40. Springer, (2011)
- CISS, page 919-924. IEEE, (2009)
- CSL, volume 12 of LIPIcs, page 443-457. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2011)
- Ann. Pure Appl. Logic 162(12):959-969 (2011)
- FORMATS/FTRTFT, volume 3253 of Lecture Notes in Computer Science, page 167-182. Springer, (2004)
- TPHOLs, volume 3223 of Lecture Notes in Computer Science, page 257-270. Springer, (2004)


author