In: INCOM 2012. 14th IFAC Symposium on Information Control Problems in Manufacturing. Bucharest, 23-25 May, 2012, 2012-05-23 - 2012-05-25, Bucuresti, Amerikai Egyesült Államok.
Automatic simulation model generation supported by data stored in low level controllers
In: Principles and practice of constraint programming - CP 2001. 7th international conference. Proceedings. Paphos, 2001. (Lecture notes in computer science, 2239.).
A constraint engine for manufacturing process planning
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