Marius Bozga
About
Marius Bozga has authored 68 papers that have received a total of 905 indexed citations.
This includes 45 papers in Computational Theory and Mathematics, 26 papers in Hardware and Architecture and 24 papers in Artificial Intelligence. The topics of these papers are Formal Methods in Verification (45 papers), Embedded Systems Design Techniques (18 papers) and Real-Time Systems Scheduling (16 papers). Marius Bozga is often cited by papers focused on Formal Methods in Verification (45 papers), Embedded Systems Design Techniques (18 papers) and Real-Time Systems Scheduling (16 papers) and collaborates with scholars based in France, Germany and Canada. Marius Bozga's co-authors include Saddek Bensalem, Joseph Sifakis, Radu Iosif, Oded Maler and Jean-Claude Fernandez and has published in prestigious journals such as IEEE Transactions on Industrial Informatics, Lecture notes in computer science and IEEE Software
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by Kei Terayama Top fields papers by Zhihua Xiong are about Top fields papers by P. K. Gogoi are about Top fields papers by Stéphane Serfaty are about Top journals papers by Huaijiang Sun are published in Top authors papers by Denis Duflot are co-authored with Top journals papers by Sara Finley are published in Top journals papers by Íris Ferrari are published in