Bruno Pagano
About
Bruno Pagano has authored 8 papers that have received a total of 108 indexed citations.
This includes 7 papers in Computational Theory and Mathematics, 5 papers in Hardware and Architecture and 3 papers in Artificial Intelligence. The topics of these papers are Formal Methods in Verification (6 papers), Embedded Systems Design Techniques (5 papers) and Real-Time Systems Scheduling (4 papers). Bruno Pagano is often cited by papers focused on Formal Methods in Verification (6 papers), Embedded Systems Design Techniques (5 papers) and Real-Time Systems Scheduling (4 papers) and collaborates with scholars based in France and Burundi. Bruno Pagano's co-authors include Luc Maranget, Marc Pouzet, Thérèse Hardin, Jean-Louis Colaço and Timothy Bourke and has published in prestigious journals such as ACM SIGPLAN Notices, ACM Transactions on Embedded Computing Systems and Journal of Functional Programming
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Charlotte Prieu are published in Top journals papers by Yoshihiko Iwama are published in Top fields papers by Anouskha D. Comvalius are about Top authors papers by Christian Berdel are co-authored with Top fields papers by Manish Godse are about Top authors papers by Danielle Leek are co-authored with Top fields papers by Ajit George are about Top fields papers by Christian Scheder are about