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
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)