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: MITIP 2006. 8th international conference on the modern information technology in the innovation processes of the industrial enterprises. Budapest, 2006..
Configurable logistics platform to handle supply turbulences - a case study in a focal supply network
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