César Kunz
About
César Kunz has authored 4 papers that have received a total of 41 indexed citations.
This includes 2 papers in Artificial Intelligence, 2 papers in Computational Theory and Mathematics and 2 papers in Hardware and Architecture. The topics of these papers are Embedded Systems Design Techniques (2 papers), Software Testing and Debugging Techniques (2 papers) and Formal Methods in Verification (2 papers). César Kunz is often cited by papers focused on Embedded Systems Design Techniques (2 papers), Software Testing and Debugging Techniques (2 papers) and Formal Methods in Verification (2 papers) and collaborates with scholars based in Spain, United States and France. César Kunz's co-authors include Gilles Barthe, Juan Manuel Crespo, Mark Marron, Sumit Gulwani and Benjamin Grégoire and has published in prestigious journals such as ACM SIGPLAN Notices, ACM Transactions on Programming Languages and Systems and Journal of Logical and Algebraic Methods in Programming
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by Cynthia A. Young are co-authored with Top countries impacted by papers by M. Ughetto Top fields papers by R.G. Bartheld are about Top journals papers by Hubert Kogler are published in Top journals papers by Magali Romedenne are published in Top countries impacted by papers by Yunyue Zhu Top fields papers by Carina Cheng are about Top authors papers by Marion McDonald are co-authored with