Simon Bliudze
About
Simon Bliudze has authored 30 papers that have received a total of 226 indexed citations.
This includes 18 papers in Computational Theory and Mathematics, 13 papers in Artificial Intelligence and 11 papers in Hardware and Architecture. The topics of these papers are Formal Methods in Verification (15 papers), Advanced Software Engineering Methodologies (11 papers) and Embedded Systems Design Techniques (8 papers). Simon Bliudze is often cited by papers focused on Formal Methods in Verification (15 papers), Advanced Software Engineering Methodologies (11 papers) and Embedded Systems Design Techniques (8 papers) and collaborates with scholars based in Switzerland, France and Greece. Simon Bliudze's co-authors include Joseph Sifakis, Anastasia Mavridou, Jean‐Yves Le Boudec, Daniel Krob and Farhad Arbab and has published in prestigious journals such as IEEE Transactions on Industrial Informatics, IEEE Transactions on Computers and Lecture notes in computer science
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by K. Sato are about Top authors papers by Levente Kovács are co-authored with Top fields papers by William W. Jennings are about Top fields papers by Ahmad Munir are about Top authors papers by Jean N. Westenberg are co-authored with Top countries impacted by papers by M. Espino Hernández Top fields papers by Christopher Doss are about Top authors papers by Jon Sigurdson are co-authored with