author- I. J. Humanoid Robotics 8(3):419-437 (2011)
- FPS, volume 6888 of Lecture Notes in Computer Science, page 148-163. Springer, (2011)
- LICS, page 270-277. IEEE Computer Society, (1990)
- LICS, page 366-374. IEEE Computer Society, (1995)
- IACR Cryptology ePrint Archive (2011)
- CLAWAR, page 1003-1010. Springer, (2005)
- Software Engineering Workshops, volume 184 of LNI, page 181-192. GI, (2011)
- IROS, page 2903-2909. IEEE, (2011)
- IROS, page 4134-4140. IEEE, (2011)
- ECCE, page 141-148. Universitätsdruckerei Rostock, Germany / ACM, (2011)
- CoRR (2001)
- CoRR (2006)
- CoRR (2011)
- CoRR (2009)
- CoRR (2005)
- CoRR (2010)
- J. Log. Program. 14(1&2):71-99 (1992)
- J. Log. Program. 12(3&4):257-279 (1992)
- IEEE Trans. Dependable Sec. Comput. 8(6):852-865 (2011)
- ETFA, page 1-5. IEEE, (2009)
