Marius Mikučionis
About
Marius Mikučionis has authored 19 papers that have received a total of 338 indexed citations.
This includes 17 papers in Computational Theory and Mathematics, 9 papers in Hardware and Architecture and 8 papers in Software. The topics of these papers are Formal Methods in Verification (16 papers), Embedded Systems Design Techniques (7 papers) and Software Testing and Debugging Techniques (6 papers). Marius Mikučionis is often cited by papers focused on Formal Methods in Verification (16 papers), Embedded Systems Design Techniques (7 papers) and Software Testing and Debugging Techniques (6 papers) and collaborates with scholars based in Denmark, France and China. Marius Mikučionis's co-authors include Kim G. Larsen, Alexandre David, Danny Bøgsted Poulsen, Axel Legay and Ulrik Nyman and has published in prestigious journals such as Science China Information Sciences, Science of Computer Programming and International Journal on Software Tools for Technology Transfer.
In The Last Decade
side by side view
Countries citing papers authored by Marius Mikučionis
Since SpecializationCitations
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by Fuping Zhang Breakdown of academic impact, for papers by Rangarajan Badri Narayanan Breakdown of academic impact, for papers by Susumu Nishikawa Breakdown of academic impact, for papers by A. V. LeBouton Breakdown of academic impact, for papers by Donald B. Price Breakdown of academic impact, for papers by Alessandro Tavares Breakdown of academic impact, for papers by Jinhui Li Breakdown of academic impact, for papers by C.G.E.M. van Beek