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 authors papers by Zhuochuan Huang are co-authored with Top authors papers by Maximilian Dax are co-authored with Top authors papers by C. Horst are co-authored with Top journals papers by Ashkan Rasouli-Saravani are published in Top fields papers by K. Takase are about Top fields papers by Gary Conrad are about Top authors papers by K. Hicks are co-authored with Top fields papers by Anwar Ghuloum are about