- SI3D, page 208. ACM, (2011)
- LILOG-Report (1988)
- LILOG-Report (1987)
- LILOG-Report (1988)
- LILOG-Report (1986)
- CoRR (2007)
- ECEASST (2011)
- EuroSPI, volume 172 of Communications in Computer and Information Science, page 298-307. Springer, (2011)
- Cognitive Processing 12(1):53-65 (2011)
- Fundam. Inform. 74(1):135-166 (2006)
- Fundam. Inform. 74(1):1-29 (2006)
- Fundam. Inform. 26(3/4):287-313 (1996)
- IPDPS Workshops, page 1359-1366. IEEE, (2011)
- COSIT, volume 6899 of Lecture Notes in Computer Science, page 328-349. Springer, (2011)
- Theor. Comput. Sci. 110(1):145-168 (1993)
- Theor. Comput. Sci. (1987)
- Theor. Comput. Sci. 89(1):33-62 (1991)
- Sci. Comput. Program. 34(1):1-54 (1999)
- ICGT, volume 3256 of Lecture Notes in Computer Science, page 144-160. Springer, (2004)
- ICGT, volume 3256 of Lecture Notes in Computer Science, page 178-193. Springer, (2004)


author