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 Dennis J. Pyper are co-authored with Top fields papers by Penny Hawe are about Top authors papers by S.Ø. Nielsen are co-authored with Top journals papers by D. K. West are published in Top fields papers by Parthasarathi Satpathi are about Top countries impacted by papers by G. J. E. Hunter Top journals papers by Jason A Anderson are published in Top fields papers by T. Engert are about