Joshua S. Hodas
About
Joshua S. Hodas has authored 8 papers that have received a total of 219 indexed citations.
This includes 8 papers in Artificial Intelligence, 5 papers in Computational Theory and Mathematics and 1 paper in Computer Networks and Communications. The topics of these papers are Logic, programming, and type systems (7 papers), Logic, Reasoning, and Knowledge (6 papers) and Formal Methods in Verification (5 papers). Joshua S. Hodas is often cited by papers focused on Logic, programming, and type systems (7 papers), Logic, Reasoning, and Knowledge (6 papers) and Formal Methods in Verification (5 papers) and collaborates with scholars based in United States, United Kingdom and Spain. Joshua S. Hodas's co-authors include Dale Miller, Frank Pfenning, Naoyuki Tamura, Iliano Cervesato and Ernesto Pimentel and has published in prestigious journals such as Theoretical Computer Science, Information and Computation and Electronic Notes in Theoretical Computer Science
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by C Boewer Top countries impacted by papers by Emily Knowles Top fields papers by Celeste M. Brody are about Top authors papers by Jacques‐Arnaud Seyrig are co-authored with Top fields papers by Mike Bond are about Top countries impacted by papers by Carrie L. Hill Top countries impacted by papers by Nguyễn Thị Thanh Nhàn Top authors papers by M. C. Sauerland are co-authored with