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
Some complexity problems on single input double output controllers. (BRICS report series of Department of Computer Science University of Aarhus, RS-01-18.)
In: Computer-intensive methods in control and data processing. Can we beat the course of dimensionality? CPM'98. Preprints of the 3rdEuropean IEEE workshop. Prague, 1998..