- Springer, 3rd edition edition, (January 2000)
- FOCS, page 101-110. IEEE Computer Society, (1992)
- DISKI Infix, (1996)
- Quality and Reliability Eng. Int. 27(5):719-729 (2011)
- Inf. Comput. 135(1):1-14 (1997)
- Comput. Geom. 9(3):159-180 (1998)
- J. Algorithms 21(1):1-25 (1996)
- SAGA, volume 2264 of Lecture Notes in Computer Science, page 107-116. Springer, (2001)
- Graph Drawing, volume 1190 of Lecture Notes in Computer Science, page 155-168. Springer, (1996)
- Electr. Notes Theor. Comput. Sci. 65(2):1 (2002)
- Computers & OR 39(2):249-258 (2012)
- Electronic Notes in Discrete Mathematics (2010)
- Correct System Design, volume 1710 of Lecture Notes in Computer Science, page 201-230. Springer, (1999)
- 4OR 9(2):189-209 (2011)
- ECI, volume 123 of Lecture Notes in Computer Science, page 173-199. Springer, (1981)
- Advanced Course: Software Engineering, volume 30 of Lecture Notes in Computer Science, page 385-394. Springer, (1972)
- Advanced Course: Software Engineering, volume 30 of Lecture Notes in Computer Science, page 47-69. Springer, (1972)
- Advanced Course: Software Engineering, volume 30 of Lecture Notes in Computer Science, page 29-46. Springer, (1972)
- Algorithmica 19(4):427-446 (1997)
- Algorithmica 16(1):4-32 (1996)


author