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 countries impacted by papers by G Mintz Top journals papers by G. J. Leusink are published in Top fields papers by Hildegard Klein are about Top authors papers by Saul Soloway are co-authored with Top authors papers by Erik Thoen are co-authored with Top authors papers by Andrew S. Lang are co-authored with Top countries impacted by papers by Leah Levac Top journals papers by Chad Davis are published in