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 Melanie Harris are published in Top countries impacted by papers by Shonkor Kumar Das Top countries impacted by papers by G. A. Wade Top journals papers by Stefan E. Heiden are published in Top authors papers by R. Morand are co-authored with Top journals papers by Denis Murphy are published in Top countries impacted by papers by Curtis Ober Top journals papers by Michael W. Vandewege are published in