publication venue for
- Computing Longest Previous Factor in linear time and applications 2008
- On what exactly goes on when software is developed step-by-step, II: The sequel 2003
- Longest previous overlapping factor array. 168:106097-106097. 2021
- Multi-machine scheduling with general position-based deterioration to minimize total load revisited. 114:399-404. 2014
- Folded Hasse diagrams of combined traces. 114:208-216. 2014
- Periodic and Sturmian languages. 98:242-246. 2006
- Structured programming: A minor part of software engineering. 88:53-58. 2003
- A rely–guarantee discipline for open distributed systems design. 74:55-63. 2000
- On a generalized modularization theorem. 74:65-71. 2000
- On a geometric problem of zigzags. 62:1-4. 1997
- A correction to “An optimal algorithm to compute all the covers of a string”. 54:101-103. 1995
- On the Modularization Theorem for logical specifications. 53:287-293. 1995
- An optimal algorithm to compute all the covers of a string. 50:239-246. 1994
- A fast and effective heuristic for the feedback arc set problem. 47:319-323. 1993
- A general mechanism for avoiding starvation with distributed control. 7:156-158. 1978
- Information streams sharing a finite buffer: other solutions. 3:16-21. 1974