Nicolas Halbwachs
About
Nicolas Halbwachs has authored 22 papers that have received a total of 2.4k indexed citations.
This includes 16 papers in Computational Theory and Mathematics, 11 papers in Hardware and Architecture and 10 papers in Software. The topics of these papers are Formal Methods in Verification (16 papers), Embedded Systems Design Techniques (8 papers) and Software Testing and Debugging Techniques (7 papers). Nicolas Halbwachs is often cited by papers focused on Formal Methods in Verification (16 papers), Embedded Systems Design Techniques (8 papers) and Software Testing and Debugging Techniques (7 papers) and collaborates with scholars based in France, United States and Greece. Nicolas Halbwachs's co-authors include Christophe Ratel, Pascal Raymond, P. Caspi, Paul Caspi and F. Lagnier and has published in prestigious journals such as Proceedings of the IEEE, IEEE Transactions on Software Engineering and Theoretical Computer Science
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by Diana Yu are co-authored with Top journals papers by Maureen Killackey are published in Top fields papers by Ettore Appella are about Top journals papers by Jeyong Yoon are published in Top fields papers by Alvin Lu are about Top authors papers by Dewi Astuti are co-authored with Top journals papers by Laura Prokuski are published in Top countries impacted by papers by Barrett T. Kitch