Oded Maler
About
Oded Maler has authored 58 papers that have received a total of 1.1k indexed citations.
This includes 44 papers in Computational Theory and Mathematics, 22 papers in Hardware and Architecture and 17 papers in Artificial Intelligence. The topics of these papers are Formal Methods in Verification (34 papers), Embedded Systems Design Techniques (17 papers) and Petri Nets in System Modeling (12 papers). Oded Maler is often cited by papers focused on Formal Methods in Verification (34 papers), Embedded Systems Design Techniques (17 papers) and Petri Nets in System Modeling (12 papers) and collaborates with scholars based in France, Israel and United States. Oded Maler's co-authors include Eugène Asarin, Amir Pnueli, Thao Dang, Marius Bozga and Ahmed Bouajjani and has published in prestigious journals such as PLoS ONE, Proceedings of the IEEE and PLoS Computational Biology
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Fadi Shamoun are about Top authors papers by Fernando Pedrozo are co-authored with Top journals papers by J.B. Thomas are published in Top countries impacted by papers by Hisako Yamamura Top countries impacted by papers by P. Natalis Top journals papers by Şevki Arslan are published in Top fields papers by Zoubir Harrat are about Top fields papers by Thang T. Q. Lê are about