J. W. de Bakker

39 papers and 860 indexed citations i.

J. W. de Bakker has authored 39 papers that have received a total of 860 indexed citations. This includes 29 papers in Artificial Intelligence, 22 papers in Computational Theory and Mathematics and 5 papers in Computer Networks and Communications. The topics of these papers are Logic, programming, and type systems (25 papers), Logic, Reasoning, and Knowledge (16 papers) and Formal Methods in Verification (13 papers). J. W. de Bakker is often cited by papers focused on Logic, programming, and type systems (25 papers), Logic, Reasoning, and Knowledge (16 papers) and Formal Methods in Verification (13 papers) and collaborates with scholars based in The Netherlands, United States and Germany. J. W. de Bakker's co-authors include Willem P. de Roever, J. I. Zucker, E.P. de Vink, J.-J.Ch. Meyer and Ernst-Rüdiger Olderog and has published in prestigious journals such as Annals of the New York Academy of Sciences, Future Generation Computer Systems and Journal of Computer and System Sciences