Jeremy Jacob

16 papers and 152 indexed citations i.

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.