Joshua S. Hodas

8 papers and 219 indexed citations i.

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.