Thomas Ströder
About
Thomas Ströder has authored 5 papers that have received a total of 56 indexed citations.
This includes 5 papers in Artificial Intelligence, 5 papers in Computational Theory and Mathematics and 2 papers in Software. The topics of these papers are Formal Methods in Verification (5 papers), Logic, programming, and type systems (5 papers) and Software Testing and Debugging Techniques (2 papers). Thomas Ströder is often cited by papers focused on Formal Methods in Verification (5 papers), Logic, programming, and type systems (5 papers) and Software Testing and Debugging Techniques (2 papers) and collaborates with scholars based in Germany, Denmark and United Kingdom. Thomas Ströder's co-authors include Jürgen Giesl, Florian Frohn, Cornelius Aschermann, Peter Schneider–Kamp and Carsten Fuhs and has published in prestigious journals such as Journal of Automated Reasoning, Theory and Practice of Logic Programming and Journal of Logical and Algebraic Methods in Programming
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Marco Macchetti are about Top fields papers by Yang Lin are about Top journals papers by Valentin Sander are published in Top authors papers by L. F. Secco are co-authored with Top fields papers by Daniel W. Pérez-Ramos are about Top fields papers by R. G. H. Siu are about Top fields papers by M. Mohd Rosli are about Top authors papers by Owen Harris are co-authored with