Thomas Ellman
About
Thomas Ellman has authored 12 papers that have received a total of 161 indexed citations.
This includes 10 papers in Artificial Intelligence, 8 papers in Computational Theory and Mathematics and 3 papers in Software. The topics of these papers are AI-based Problem Solving and Planning (6 papers), Advanced Multi-Objective Optimization Algorithms (5 papers) and Formal Methods in Verification (3 papers). Thomas Ellman is often cited by papers focused on AI-based Problem Solving and Planning (6 papers), Advanced Multi-Objective Optimization Algorithms (5 papers) and Formal Methods in Verification (3 papers) and collaborates with scholars based in United States. Thomas Ellman's co-authors include Mark Schwabacher, Arunava Banerjee, Takahiro Murata and Haym Hirsh and has published in prestigious journals such as ACM Computing Surveys, Research in Engineering Design and Artificial intelligence for engineering design analysis and manufacturing
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Patricia Márquez are published in Top authors papers by Hans Christian Gulløv are co-authored with Top journals papers by Lars H. Holbech are published in Top fields papers by Beverley Collins are about Top countries impacted by papers by Jisha John Top fields papers by Nae‐Hee Lee are about Top authors papers by Daphne Townsend are co-authored with Top authors papers by Jeroen Onstenk are co-authored with