In: Shifting paradigms in software engineering. Proceedings of the 7th joint conference of the Austrian Computer Society and the John von Neumann Society for Computing Sciences. Klagenfurt, 1992.
Lessons of a first-year use of the automated reasoning tool
In: Computers in engineering 1994. Proceedings of the 1994 ASME international computers in engineering conference and exhibition. Minneapolis, 1994. Vol. 1..
Experiments with the integration of reasoning, optimization and generalization in process planning
In: 45th CIRP Conference on Manufacturing Systems, 16-18 May 2012 Athens, University of Patras. Proceedings, 2012-05-16 - 2012-05-18, Athen, Görögország.
Matching demand and system structure in reconfigurable assembly systems
In: DIISM '93. Proceedings of JSPE/IFIP TC5/WG5.3 workshop on the design of information infrastructure systems for manufacturing. Tokyo, 1993. (IFIP transactions B-14.).
Conflicts in manufacturing systems - a problem setting