Jacob M. Howe
About
Jacob M. Howe has authored 12 papers that have received a total of 42 indexed citations.
This includes 9 papers in Artificial Intelligence, 7 papers in Computational Theory and Mathematics and 3 papers in Computer Networks and Communications. The topics of these papers are Logic, programming, and type systems (7 papers), Formal Methods in Verification (6 papers) and Logic, Reasoning, and Knowledge (3 papers). Jacob M. Howe is often cited by papers focused on Logic, programming, and type systems (7 papers), Formal Methods in Verification (6 papers) and Logic, Reasoning, and Knowledge (3 papers) and collaborates with scholars based in United Kingdom, Saudi Arabia and Israel. Jacob M. Howe's co-authors include Andy King, Edward Robbins, Samir Genaim and Michael Codish and has published in prestigious journals such as Theoretical Computer Science, Information Processing Letters and Science of Computer Programming
In The Last Decade
Papers by
i Specialization
i since
published in
Jacob M. Howe
39 citations, 11 papers
Explore authors with similar magnitude of impact
Top fields papers by Teuku Rizky Noviandy are about Top countries impacted by papers by Friedrich Waismann Top authors papers by Trond Trosterud are co-authored with Top journals papers by Lincoln Choudhury are published in Top authors papers by Andrew Cardwell are co-authored with Top authors papers by Stephen Morey are co-authored with Top fields papers by Bruno Woltzenlogel Paleo are about Top journals papers by Mario Arroyo-Solórzano are published in