Kees Doets

638 total citations
13 papers, 215 citations indexed

About

Kees Doets is a scholar working on Computational Theory and Mathematics, Artificial Intelligence and Algebra and Number Theory. According to data from OpenAlex, Kees Doets has authored 13 papers receiving a total of 215 indexed citations (citations by other indexed papers that have themselves been cited), including 8 papers in Computational Theory and Mathematics, 5 papers in Artificial Intelligence and 2 papers in Algebra and Number Theory. Recurrent topics in Kees Doets's work include Advanced Algebra and Logic (5 papers), Logic, programming, and type systems (4 papers) and Logic, Reasoning, and Knowledge (4 papers). Kees Doets is often cited by papers focused on Advanced Algebra and Logic (5 papers), Logic, programming, and type systems (4 papers) and Logic, Reasoning, and Knowledge (4 papers). Kees Doets collaborates with scholars based in Netherlands, Italy and United States. Kees Doets's co-authors include Daniele Mundici, María Luisa Dalla Chiara, Johan van Benthem, Krzysztof R. Apt, Jan van Eijck, Anuj Dawar, Scott Weinstein and Kim B. Bruce and has published in prestigious journals such as Journal of Symbolic Logic, The Journal of Logic Programming and Journal of Logic and Computation.

In The Last Decade

Kees Doets

13 papers receiving 190 citations

Peers — A (Enhanced Table)

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

Name	h						Papers	Cites
Kees Doets Netherlands	7	121	83	28	18	12	13	215
Andrzej Wiśniewski Poland	10	178 1.5×	75 0.9×	22 0.8×	27 1.5×	3 0.3×	29	259
Lars Löfgren Sweden	10	48 0.4×	80 1.0×	39 1.4×	25 1.4×	30 2.5×	33	234
John N. Crossley Australia	10	81 0.7×	108 1.3×	59 2.1×	45 2.5×	8 0.7×	66	366
Pavel Materna Czechia	6	140 1.2×	87 1.0×	17 0.6×	76 4.2×	10 0.8×	36	210
Burton Dreben United States	8	81 0.7×	70 0.8×	24 0.9×	35 1.9×	3 0.3×	13	169
Richard L. Mendelsohn United States	6	195 1.6×	101 1.2×	28 1.0×	69 3.8×	5 0.4×	18	293
Mitsuhiro Okada Japan	12	227 1.9×	151 1.8×	11 0.4×	34 1.9×	6 0.5×	48	334
Jesús M. Larrazabal Spain	6	174 1.4×	54 0.7×	19 0.7×	45 2.5×	8 0.7×	10	265
Perry Smith United States	6	131 1.1×	118 1.4×	18 0.6×	45 2.5×	13 1.1×	11	304
D. van Dalen Netherlands	8	91 0.8×	98 1.2×	42 1.5×	38 2.1×	6 0.5×	25	224

Countries citing papers authored by Kees Doets

Since Specialization

Citations

This map shows the geographic impact of Kees Doets'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 Kees Doets with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Kees Doets more than expected).

Fields of papers citing papers by Kees Doets

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Kees Doets. 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 Kees Doets. The network helps show where Kees Doets may publish in the future.

Co-authorship network of co-authors of Kees Doets

This figure shows the co-authorship network connecting the top 25 collaborators of Kees Doets. A scholar is included among the top collaborators of Kees Doets 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 Kees Doets. Kees Doets 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:

13 of 13 papers shown

1.

Doets, Kees & Jan van Eijck. (2004). The Haskell road to logic, maths and programming. UvA-DARE (University of Amsterdam). 4. 17 indexed citations

2.

Doets, Kees. (1999). Relatives of the Russell Paradox. Mathematical logic quarterly. 45(1). 73–83. 3 indexed citations

3.

Dawar, Anuj, et al.. (1998). Elementary Properties of the Finite Ranks. Mathematical logic quarterly. 44(3). 349–353. 13 indexed citations

4.

Chiara, María Luisa Dalla, Kees Doets, Daniele Mundici, & Johan van Benthem. (1997). Logic and Scientific Methods. Research at the University of Copenhagen (University of Copenhagen). 58 indexed citations

5.

Chiara, María Luisa Dalla, Kees Doets, Daniele Mundici, & Johan van Benthem. (1997). Structures and Norms in Science. 36 indexed citations

6.

Doets, Kees. (1996). Basic Model Theory. 27 indexed citations

7.

Apt, Krzysztof R. & Kees Doets. (1994). A new definition of SLDNF-resolution. The Journal of Logic Programming. 18(2). 177–190. 21 indexed citations

8.

Doets, Kees. (1994). From Logic to Logic Programming. The MIT Press eBooks. 25 indexed citations

9.

Doets, Kees. (1993). Levationis Laus. Journal of Logic and Computation. 3(5). 487–516. 5 indexed citations

10.

Doets, Kees. (1991). Axiomatizing universal properties of quantifiers. Journal of Symbolic Logic. 56(3). 901–905. 1 indexed citations

11.

Doets, Kees. (1991). Axiomatizing Universal Properties of Quantifiers. Journal of Symbolic Logic. 56(3). 901–905. 2 indexed citations

12.

Doets, Kees. (1989). Monadic $\Pi^1_1$-theories of $\Pi_1^1$}-properties.. Notre Dame Journal of Formal Logic. 30(2). 5 indexed citations

13.

Bruce, Kim B., Johan van Benthem, & Kees Doets. (1989). Higher-order Logic.. Journal of Symbolic Logic. 54(3). 1090–1090. 2 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