Thomas Dillig
About
Thomas Dillig has authored 14 papers that have received a total of 292 indexed citations.
This includes 12 papers in Artificial Intelligence, 10 papers in Software and 8 papers in Information Systems. The topics of these papers are Logic, programming, and type systems (12 papers), Software Testing and Debugging Techniques (10 papers) and Formal Methods in Verification (7 papers). Thomas Dillig is often cited by papers focused on Logic, programming, and type systems (12 papers), Software Testing and Debugging Techniques (10 papers) and Formal Methods in Verification (7 papers) and collaborates with scholars based in United States, Israel and United Kingdom. Thomas Dillig's co-authors include Işıl Dillig, Alex Aiken, Mooly Sagiv, Ken McMillan and Boyang Li and has published in prestigious journals such as Communications of the ACM, ACM SIGPLAN Notices and International Journal on Software Tools for Technology Transfer
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Yohei Tanaka are about Top countries impacted by papers by Mohammad Javad Kaviani Top fields papers by Gretchen A. Gimpel are about Top journals papers by M Sato are published in Top countries impacted by papers by Nishani T. Hettiarachchi Top journals papers by Philipp A. Federspil are published in Top fields papers by Kaan Uzunca are about Top fields papers by Emanuele Rizzo are about