Jan L. A. Snepscheut

17 papers and 173 indexed citations i.

Jan L. A. Snepscheut has authored 17 papers that have received a total of 173 indexed citations. This includes 7 papers in Computational Theory and Mathematics, 5 papers in Artificial Intelligence and 5 papers in Computer Networks and Communications. The topics of these papers are Distributed systems and fault tolerance (4 papers), Algorithms and Data Compression (3 papers) and Formal Methods in Verification (3 papers). Jan L. A. Snepscheut is often cited by papers focused on Distributed systems and fault tolerance (4 papers), Algorithms and Data Compression (3 papers) and Formal Methods in Verification (3 papers) and collaborates with scholars based in The Netherlands and United States. Jan L. A. Snepscheut's co-authors include Alain J. Martin, Johan J. Lukkien, David Gries, Jan Tijmen Udding and H. Peter Hofstee and has published in prestigious journals such as Journal of the ACM, IEEE Transactions on Computers and Lecture notes in computer science