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
In: International Conference on Delay Differential and Difference Equations and Applications, ICDDDEA 2013 Springer Proceedings in Mathematics and Statistics (94) Springer International Publishing, Switzerland, pp. 105-119. ISSN 2194-1009
Analysis of Qualitative Dynamic Properties of Positive Polynomial Systems Using Transformations
Some complexity problems on single input double output controllers. (BRICS report series of Department of Computer Science University of Aarhus, RS-01-18.)