In: Engineering of intelligent systems. 14th international conference on industrial and engineering applications of artificial intelligence and expert systems, IEA/AIE. Proceedings. Budapest, 2001. (Lecture notes in artificial intelligence, 2070.).
Intelligent assumption retrieval from process models by model-based reasoning
COMPUTERS & CHEMICAL ENGINEERING, 18 (Suppl.)., pp. S565-S569.
Qualitative model based verification of operating procedures by high level Petri nets.( ESCAPE-3. European symposium on computer aided process engineering-3)
Some complexity problems on single input double output controllers. (BRICS report series of Department of Computer Science University of Aarhus, RS-01-18.)