| Introducing information security concepts and standards in higher education D Orozova, K Kaloyanova, M Todorova TEM Journal 8 (3), 1017, 2019 | 14 | 2019 |
| Educational framework for verification of object-oriented programs M Todorova, K Kanev Proceedings of the 2012 Joint International Conference on Human-Centered …, 2012 | 13 | 2012 |
| GN IDE: implementation, improvements and algorithms N Angelova, M Todorova, K Atanassov Comptes rendus de l'Académie bulgare des Sciences 69 (4), 411-421, 2016 | 12 | 2016 |
| Construction of Correct Object-Orientated Programs via Building their Generalized Nets Models M Todorova Annual of “Informatics Section, Union of Scientists in Bulgaria 4, 1-28, 2011 | 12 | 2011 |
| Innovative Experience In Undergraduate Education Of Software Professionals-Project-Based Learning In Data Structure And Programming M Todorova, H Hristov, E Stefanova, N Nikolova, E Kovatcheva ICERI2010 Proceedings, 5141-5150, 2010 | 11 | 2010 |
| Generalized net model of the process of personalization and usage of an e-learning environment D Orozova, K Atanassov, M Todorova Proceedings of the Jangjeon Mathematical Society 19 (4), 615-624, 2016 | 10 | 2016 |
| Generalized net model of sequential programs M Todorova, D Orozova 2018 20th International Symposium on Electrical Apparatus and Technologies …, 2018 | 8 | 2018 |
| Verification of Procedural Programs via Building their Generalized Nets Models Верификация на процедурни програми чрез изграждане на техни обобщени мрежови модели M Todorova Union of Bulgarian Mathematicians 41 (1), 259-265, 2012 | 8 | 2012 |
| Ontology concept in courses on students D Orozova, M Todorova TEM Journal 7 (3), 693, 2018 | 6 | 2018 |
| Training Difficulties in Deductive Methods of Verification and Synthesis of Program M Todorova, D Orozova International Journal of Advanced Computer Science and Applications 9 (7), 2018 | 6 | 2018 |
| How to follow modern trends in courses in “databases”-introduction of data mining techniques by example D Orozova, M Todorova INTED2017 Proceedings, 8186-8194, 2017 | 6 | 2017 |
| How to Build up Contemporary Computer Science Specialists–Formal Methods of Verification and Synthesis of Programs in Introduction Courses on Programming M Todorova, D Orozova ICERI2016 Proceedings, 4249-4256, 2016 | 6 | 2016 |
| How to Build Up Contemporary Software Professionals Project-Based Learning in Data Structure and Programming M Todorova, H Hristov, E Stefanova, N Nikolova Demetra EOOD, 2010 | 6 | 2010 |
| Applying program verification methods in software specialists education M Todorova INTED2013 Proceedings, 6260-6270, 2013 | 5 | 2013 |
| Methodological aspects of an approach for verification of object-oriented programs M Todorova 2012 6th IEEE International Conference Intelligent Systems, 153-158, 2012 | 5 | 2012 |
| Grid framework for e-learning services M Todorova Fourth International Conference Information Systems & Grid Technologies, 153-163, 2010 | 5 | 2010 |
| Applying deductive verification to bachelor degree courses in programming M Todorova, D Orozova ICERI2017 Proceedings, 5055-5065, 2017 | 4 | 2017 |
| The predicate transformer and its application in introduction to programming courses M Todorova, D Orozova Бургаски свободен университет, 8000 Бургас, бул." Сан Стефано"№ 62, 2015 | 4 | 2015 |
| The Go Programming Language: Characteristics and Capabilities M Todorova, M Nisheva-Pavlova, G Penchev, T Trifonov, P Armyanov, ... Annual of “Informatics” Section Union of Scientists in Bulgaria 6, 76-85, 2013 | 4 | 2013 |
| Implementation of an Approach for Verification of Procedural Programs. MV Todorova GSTF Journal on Computing 2 (2), 2012 | 4 | 2012 |
