REVISTA CIENCIA E INGENIERIA, 36 (1)., pp. 11-18. ISSN 1316-7081
Fault tolerant adaptive estimation of nonlinear processes: a case study of batch distillation (Estimación no lineal adaptativa con tolerancia a fallos: aplicación a la destilación por lotes)
In: Tools and Algorithms for the Construction and Analysis of Systems, Lecture Notes in Computer Science (9035) Springer, Berlin; Heidelberg, pp. 643-657.
Saturation-based incremental LTL model checking with inductive proofs
In: Proceedings of the Fifth International Conference on Digital Presentation and Preservation of Cultural and Scientific Heritage – DiPP2015, 2015.09.28-2015.09.30, Veliko Tarnovo.
BOOK@HAND BIDL: Mobile Exploring of the Bulgarian Iconography by Using Panorama Pictures
In: The Fifth International Conference Digital Presentation and Preservation of Cultural and Scientific Heritage—DiPP2015, 2015. szept. 28-30, Veliko Tarnovo, Bulgaria.
BOOK@HAND BIDL: Mobile Exploring of the Bulgarian Iconography by Using Panorama Pictures
In: The Fifth International Conference Digital Presentation and Preservation of Cultural and Scientific Heritage—DiPP2015, 2015. szept. 28-30, Veliko Tarnovo, Bulgaria.
INFO@HAND: Mobile Application for Conference Series
In: Proceedings of the Fifth International Conference on Digital Presentation and Preservation of Cultural and Scientific Heritage – DiPP2015, 2015.09.28-2015.09.30, Veliko Tarnovo.
INFO@HAND: Mobile Application for Conference Series