Roberto Segala
About
Roberto Segala has authored 27 papers that have received a total of 541 indexed citations.
This includes 19 papers in Computational Theory and Mathematics, 17 papers in Computer Networks and Communications and 11 papers in Artificial Intelligence. The topics of these papers are Formal Methods in Verification (17 papers), Distributed systems and fault tolerance (12 papers) and Petri Nets in System Modeling (10 papers). Roberto Segala is often cited by papers focused on Formal Methods in Verification (17 papers), Distributed systems and fault tolerance (12 papers) and Petri Nets in System Modeling (10 papers) and collaborates with scholars based in Italy, United States and The Netherlands. Roberto Segala's co-authors include Nancy Lynch, Frits Vaandrager, Ling Cheung, Ran Canetti and Olivier Pereira and has published in prestigious journals such as SIAM Journal on Computing, Journal of Computer and System Sciences and Theoretical Computer Science
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Jun Zeng are published in Top authors papers by Marty Chaplin are co-authored with Top fields papers by Bidisha Mandal are about Top fields papers by David Lewis are about Top authors papers by Rocío Díaz‐Chavez are co-authored with Top fields papers by Patrick Ciechanski are about Top fields papers by Raweewan Thiramanas are about Top countries impacted by papers by Rumi Kaida