Jan Springintveld
About
Jan Springintveld has authored 7 papers that have received a total of 133 indexed citations.
This includes 6 papers in Computational Theory and Mathematics, 4 papers in Artificial Intelligence and 3 papers in Hardware and Architecture. The topics of these papers are Formal Methods in Verification (5 papers), VLSI and Analog Circuit Testing (2 papers) and Software Testing and Debugging Techniques (2 papers). Jan Springintveld is often cited by papers focused on Formal Methods in Verification (5 papers), VLSI and Analog Circuit Testing (2 papers) and Software Testing and Debugging Techniques (2 papers) and collaborates with scholars based in The Netherlands and France. Jan Springintveld's co-authors include Jan Friso Groote, Frits Vaandrager, Pedro R. D’Argenio and Marc Bezem and has published in prestigious journals such as Theoretical Computer Science, Journal of Functional Programming and Formal Aspects of Computing.
In The Last Decade
side by side view
Countries citing papers authored by Jan Springintveld
Since SpecializationCitations
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by Conor Cruise O’Brien Breakdown of academic impact, for papers by Harold H. Joachim Breakdown of academic impact, for papers by Daniel J. Hough Breakdown of academic impact, for papers by Seizo Onoe Breakdown of academic impact, for papers by M. Swain Breakdown of academic impact, for papers by Clay M. Thompson Breakdown of academic impact, for papers by Fuhui Long Breakdown of academic impact, for papers by Kristian Bisgaard Lassen