J. W. de Bakker

2.6k total citations
53 papers, 1.1k citations indexed

About

J. W. de Bakker is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Computer Networks and Communications. According to data from OpenAlex, J. W. de Bakker has authored 53 papers receiving a total of 1.1k indexed citations (citations by other indexed papers that have themselves been cited), including 33 papers in Artificial Intelligence, 31 papers in Computational Theory and Mathematics and 9 papers in Computer Networks and Communications. Recurrent topics in J. W. de Bakker's work include Logic, programming, and type systems (28 papers), Logic, Reasoning, and Knowledge (18 papers) and Formal Methods in Verification (17 papers). J. W. de Bakker is often cited by papers focused on Logic, programming, and type systems (28 papers), Logic, Reasoning, and Knowledge (18 papers) and Formal Methods in Verification (17 papers). J. W. de Bakker collaborates with scholars based in Netherlands, United States and Germany. J. W. de Bakker's co-authors include Willem P. de Roever, J. I. Zucker, Grzegorz Rozenberg, E.P. de Vink, Lambert Meertens, John-Jules Meyer, J.-J.Ch. Meyer, G. Rozenberg, Ernst-Rüdiger Olderog and Joost N. Kok and has published in prestigious journals such as Annals of the New York Academy of Sciences, Future Generation Computer Systems and Theoretical Computer Science.

In The Last Decade

J. W. de Bakker

50 papers receiving 969 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name	h						Papers	Cites
J. W. de Bakker Netherlands	16	862	806	196	149	137	53	1.1k
Jean-Pierre Jouannaud France	18	1.1k 1.3×	1.5k 1.9×	218 1.1×	198 1.3×	95 0.7×	66	1.7k
J.J.M.M. Rutten Netherlands	17	1.0k 1.2×	1.1k 1.4×	202 1.0×	113 0.8×	82 0.6×	60	1.5k
Mariangiola Dezani-Ciancaglini Italy	17	1.1k 1.2×	1.5k 1.9×	331 1.7×	105 0.7×	113 0.8×	138	1.6k
Luca Aceto Iceland	19	1.1k 1.3×	974 1.2×	200 1.0×	242 1.6×	120 0.9×	154	1.4k
Radha Jagadeesan United States	18	682 0.8×	844 1.0×	242 1.2×	165 1.1×	170 1.2×	45	1.1k
Derek C. Oppen United States	12	720 0.8×	834 1.0×	270 1.4×	244 1.6×	109 0.8×	16	1.1k
Jesse B. Wright United States	16	1.2k 1.4×	1.2k 1.5×	155 0.8×	120 0.8×	69 0.5×	32	1.5k
Anna Ingólfsdóttir Iceland	15	625 0.7×	625 0.8×	107 0.5×	145 1.0×	73 0.5×	120	842
David A. Plaisted United States	19	728 0.8×	881 1.1×	218 1.1×	131 0.9×	54 0.4×	82	1.2k
Yves Bertot France	9	471 0.5×	611 0.8×	123 0.6×	138 0.9×	89 0.6×	33	784

Countries citing papers authored by J. W. de Bakker

Since Specialization

Citations

This map shows the geographic impact of J. W. de Bakker's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by J. W. de Bakker with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites J. W. de Bakker more than expected).

Fields of papers citing papers by J. W. de Bakker

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by J. W. de Bakker. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by J. W. de Bakker. The network helps show where J. W. de Bakker may publish in the future.

Co-authorship network of co-authors of J. W. de Bakker

This figure shows the co-authorship network connecting the top 25 collaborators of J. W. de Bakker. A scholar is included among the top collaborators of J. W. de Bakker based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with J. W. de Bakker. J. W. de Bakker is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

Bakker, J. W. de, Grzegorz Rozenberg, & Willem P. de Roever. (1993). Semantics: Foundations and Applications: Rex Workshop, Beekbergen, the Netherlands, June 1-4, 1992: Proceedings. Springer eBooks. 1 indexed citations

Bakker, J. W. de, Willem P. de Roever, & G. Rozenberg. (1991). Foundations of object-oriented languages : REX school/workshop, May 28 - June 1, 1990, Noordwijkerhout, The Netherlands. Lecture notes in computer science. 489. 7 indexed citations

Bakker, J. W. de, Willem P. de Roever, & Grzegorz Rozenberg. (1991). Foundations of Object-Oriented Languages: Rex School Workshop, Noordwijkerhout, the Netherlands, May 28-June 1, 1990 Proceedings. Springer eBooks. 1 indexed citations

Bakker, J. W. de, et al.. (1991). Four domains for concurrency. Theoretical Computer Science. 90(1). 127–149. 5 indexed citations

Bakker, J. W. de, Willem P. de Roever, & Grzegorz Rozenberg. (1990). Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness: REX Workshop, Mook, The Netherlands May 29- June 2, 1989 Proceedings. Lecture notes in computer science. 430. 12 indexed citations

Bakker, J. W. de. (1989). Languages for parallel architectures : design, semantics, implementation models. CERN Document Server (European Organization for Nuclear Research). 2 indexed citations

Bakker, J. W. de. (1989). Designing Concurrency Semantics.. IFIP Congress. 1–15. 2 indexed citations

Bakker, J. W. de & Joost N. Kok. (1988). Uniform Abstraction, Atomicity and Contractions in the Comparative Semantics of Concurrent Prolog.. Future Generation Computer Systems. 1–24. 9 indexed citations

Bakker, J. W. de & J-J.Ch. Meyer. (1987). Order and metric in the stream semantics of elemental concurrency. Acta Informatica. 24(5). 491–511. 6 indexed citations

10.

Bakker, J. W. de & Jan Van Leeuwen. (1983). Foundations of computer science IV, distributed systems. 10 indexed citations

11.

Bakker, J. W. de, et al.. (1981). Algorithmic languages : proceedings of the International Symposium on Algorithmic Languages. 1 indexed citations

12.

Bakker, J. W. de & Jan Van Leeuwen. (1980). Automata, languages and programming : seventh colloquium, Noordwijkerhout, the Netherlands, July 14-18, 1980. Springer eBooks. 3 indexed citations

13.

Bakker, J. W. de. (1980). Mathematical Theory of Program Correctness. Prentice-Hall, Inc eBooks. 190 indexed citations

14.

Bakker, J. W. de & Jan Van Leeuwen. (1979). Foundations of computer science II. 63(81). 1–149. 16 indexed citations

15.

Bakker, J. W. de. (1977). Semantics and the foundations of program proving. IFIP Congress. 279–284. 2 indexed citations

16.

Bakker, J. W. de. (1976). Least fixed points revisited. Theoretical Computer Science. 2(2). 155–181. 11 indexed citations

17.

Bakker, J. W. de. (1976). Semantics and Termination of Nondeterministic Recursive Programs.. International Colloquium on Automata, Languages and Programming. 435–477. 22 indexed citations

18.

Bakker, J. W. de & Lambert Meertens. (1975). On the completeness of the inductive assertion method. Journal of Computer and System Sciences. 11(3). 323–357. 40 indexed citations

19.

Bakker, J. W. de & Willem P. de Roever. (1972). A Calculus for Recursive Program Schemes.. International Colloquium on Automata, Languages and Programming. 167–196. 54 indexed citations

20.

Bakker, J. W. de. (1967). Formal definition of programming languages : with an application to the difinition of algol 60. 16. 1–207. 3 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact