Carsten Sinz
About
Carsten Sinz has authored 31 papers that have received a total of 263 indexed citations.
This includes 22 papers in Computational Theory and Mathematics, 18 papers in Artificial Intelligence and 16 papers in Software. The topics of these papers are Formal Methods in Verification (21 papers), Software Testing and Debugging Techniques (9 papers) and Model-Driven Software Engineering Techniques (7 papers). Carsten Sinz is often cited by papers focused on Formal Methods in Verification (21 papers), Software Testing and Debugging Techniques (9 papers) and Model-Driven Software Engineering Techniques (7 papers) and collaborates with scholars based in Germany, Austria and Ireland. Carsten Sinz's co-authors include Wolfgang Küchlin, Wolfgang Blochinger, F. Merz, Stephan Falke and Uwe Egly and has published in prestigious journals such as Scientific Reports, Artificial Intelligence and Lecture notes in computer science
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by Tatsuya Nishikawa Top authors papers by Fernando Mendonça are co-authored with Top authors papers by Bonnie N. Field are co-authored with Top countries impacted by papers by A. A. Ardentov Top authors papers by Kathleen C. Sitter are co-authored with Top fields papers by Javier Monforte are about Top journals papers by Pere Mercadé‐Melé are published in Top journals papers by Priscila Lima dos Santos are published in