Damien Doligez

904 total citations
15 papers, 163 citations indexed

About

Damien Doligez is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Computer Networks and Communications. According to data from OpenAlex, Damien Doligez has authored 15 papers receiving a total of 163 indexed citations (citations by other indexed papers that have themselves been cited), including 8 papers in Artificial Intelligence, 7 papers in Computational Theory and Mathematics and 4 papers in Computer Networks and Communications. Recurrent topics in Damien Doligez's work include Logic, programming, and type systems (7 papers), Formal Methods in Verification (7 papers) and Distributed systems and fault tolerance (4 papers). Damien Doligez is often cited by papers focused on Logic, programming, and type systems (7 papers), Formal Methods in Verification (7 papers) and Distributed systems and fault tolerance (4 papers). Damien Doligez collaborates with scholars based in France, United States and United Kingdom. Damien Doligez's co-authors include Georges Gonthier, Leslie Lamport, Stephan Merz, Pascal Cuoq, Virgile Prévosto, Julien Brunel, Julia L. Lawall, Jérôme Vouillon, Kaustuv Chaudhuri and René Rydhof Hansen and has published in prestigious journals such as SHILAP Revista de lepidopterología, ACM SIGPLAN Notices and Journal of Automated Reasoning.

In The Last Decade

Damien Doligez

14 papers receiving 144 citations

Peers — A (Enhanced Table)

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

Name	h						Papers	Cites
Damien Doligez France	6	102	99	87	34	25	15	163
S. Tucker Taft United States	8	115 1.1×	60 0.6×	78 0.9×	30 0.9×	32 1.3×	28	173
Hans Loidl United Kingdom	5	170 1.7×	94 0.9×	158 1.8×	38 1.1×	36 1.4×	10	230
Vassily Litvinov United States	5	81 0.8×	111 1.1×	51 0.6×	25 0.7×	55 2.2×	6	150
Sun Chan United States	6	200 2.0×	132 1.3×	99 1.1×	47 1.4×	24 1.0×	8	223
Jaroslav Ševčík United Kingdom	4	114 1.1×	136 1.4×	91 1.0×	46 1.4×	7 0.3×	6	179
Péter Szeredi Hungary	7	46 0.5×	108 1.1×	56 0.6×	35 1.0×	18 0.7×	18	138
Nicholas Ng United Kingdom	8	89 0.9×	127 1.3×	68 0.8×	93 2.7×	18 0.7×	15	181
Frederick Smith United States	5	80 0.8×	166 1.7×	71 0.8×	57 1.7×	38 1.5×	10	199
Puri Arenas Spain	7	81 0.8×	146 1.5×	58 0.7×	113 3.3×	41 1.6×	18	202
Alceste Scalas United Kingdom	7	54 0.5×	154 1.6×	79 0.9×	109 3.2×	18 0.7×	26	187

Countries citing papers authored by Damien Doligez

Since Specialization

Citations

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

Fields of papers citing papers by Damien Doligez

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Damien Doligez

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

15 of 15 papers shown

Delahaye, David, et al.. (2018). Automated Deduction in the B Set Theory using Typed Proof Search and Deduction Modulo. EPiC series in computing. 35. 42–24.

Doligez, Damien, et al.. (2018). Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics. EPiC series in computing. 33. 1. 1 indexed citations

Yallop, Jeremy & Damien Doligez. (2017). Proceedings ML Family / OCaml Users and Developers workshops. Electronic Proceedings in Theoretical Computer Science. 241. 1 indexed citations

Doligez, Damien, et al.. (2015). Avoiding Security Pitfalls with Functional Programming: A Report on the Development of a Secure XML Validator. 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering. 5667. 209–218. 2 indexed citations

Doligez, Damien, et al.. (2014). Experience in using a typed functional language for the development of a security application. SHILAP Revista de lepidopterología. 149. 58–63. 1 indexed citations

Leroy, Xavier, Damien Doligez, Alain Frisch, et al.. (2013). The OCaml system release 4.01: Documentation and user's manual. SPIRE - Sciences Po Institutional REpository. 1–726. 8 indexed citations

Doligez, Damien, et al.. (2012). TLA+ Proofs. Formal Methods. 7436. 147–154. 5 indexed citations

Brunel, Julien, Damien Doligez, René Rydhof Hansen, Julia L. Lawall, & Gilles Muller. (2009). A foundation for flow-based program matching. ACM SIGPLAN Notices. 44(1). 114–126. 8 indexed citations

Chaudhuri, Kaustuv, Damien Doligez, Leslie Lamport, & Stephan Merz. (2008). A TLA+ Proof System. ArXiv.org. 418. 17–37. 6 indexed citations

10.

Cuoq, Pascal & Damien Doligez. (2008). Hashconsing in an incrementally garbage-collected system. 13–22. 6 indexed citations

11.

Doligez, Damien, Alain Frisch, Jacques Garrigue, et al.. (2007). New Results - The Objective Caml system, tools, and extensions. 1 indexed citations

12.

Prévosto, Virgile & Damien Doligez. (2002). Algorithms and Proofs Inheritance in the FOC Language. Journal of Automated Reasoning. 29(3-4). 337–363. 3 indexed citations

13.

Leroy, Xavier, Jacques Garrigue, Damien Doligez, et al.. (2002). New Results - Implémentations de Caml. 3 indexed citations

14.

Doligez, Damien, et al.. (2000). TLA+ Verification of Cache-Coherence Protocols. 3 indexed citations

15.

Doligez, Damien & Georges Gonthier. (1994). Portable, unobtrusive garbage collection for multiprocessor systems. 70–83. 115 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