Jeremy Jacob
About
Jeremy Jacob has authored 16 papers that have received a total of 152 indexed citations.
This includes 10 papers in Artificial Intelligence, 7 papers in Computational Theory and Mathematics and 6 papers in Computer Networks and Communications. The topics of these papers are Formal Methods in Verification (7 papers), Advanced Authentication Protocols Security (4 papers) and Logic, programming, and type systems (4 papers). Jeremy Jacob is often cited by papers focused on Formal Methods in Verification (7 papers), Advanced Authentication Protocols Security (4 papers) and Logic, programming, and type systems (4 papers) and collaborates with scholars based in United Kingdom, India and United States. Jeremy Jacob's co-authors include John A. Clark, Susan Stepney, Phillip J. Brooke and Subhamoy Maitra and has published in prestigious journals such as Information and Software Technology, Information Processing Letters and Science of Computer Programming
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Gianfranco E. Modoni are published in Top authors papers by Á. Alonso Melgar are co-authored with Top fields papers by Yolanda Gyftodimou are about Top journals papers by Daniel Puig are published in Top fields papers by Björn Alpermann are about Top countries impacted by papers by Tejas Gokhale Top authors papers by Musarrat Jabeen are co-authored with Top journals papers by H A Claireaux are published in