Daniel Le Métayer

3.1k total citations
54 papers, 1.2k citations indexed

About

Daniel Le Métayer is a scholar working on Artificial Intelligence, Information Systems and Computational Theory and Mathematics. According to data from OpenAlex, Daniel Le Métayer has authored 54 papers receiving a total of 1.2k indexed citations (citations by other indexed papers that have themselves been cited), including 35 papers in Artificial Intelligence, 17 papers in Information Systems and 16 papers in Computational Theory and Mathematics. Recurrent topics in Daniel Le Métayer's work include Logic, programming, and type systems (19 papers), Software Engineering Research (13 papers) and Formal Methods in Verification (13 papers). Daniel Le Métayer is often cited by papers focused on Logic, programming, and type systems (19 papers), Software Engineering Research (13 papers) and Formal Methods in Verification (13 papers). Daniel Le Métayer collaborates with scholars based in France, United Kingdom and Germany. Daniel Le Métayer's co-authors include Jean-Pierre Banâtre, Pascal Fradet, Tommy Thorn, Thomas Wiben Jensen, Denis Butin, J. P. Banâtre, Chris Hankin, Frédéric Besson, Gregor Gößler and Sourya Joyee De and has published in prestigious journals such as Communications of the ACM, ACM Computing Surveys and IEEE Transactions on Software Engineering.

In The Last Decade

Daniel Le Métayer

53 papers receiving 1.1k citations

Peers — A (Enhanced Table)

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

Name	h						Papers	Cites
Daniel Le Métayer France	17	839	382	377	364	264	54	1.2k
Hana Chockler Israel	11	429 0.5×	102 0.3×	151 0.4×	227 0.6×	153 0.6×	45	810
Rosario Pugliese Italy	16	574 0.7×	525 1.4×	328 0.9×	201 0.6×	45 0.2×	65	881
Ralph E. Griswold United States	13	535 0.6×	222 0.6×	172 0.5×	157 0.4×	115 0.4×	66	795
Charles P. Pfleeger United States	7	279 0.3×	254 0.7×	365 1.0×	59 0.2×	54 0.2×	22	714
Barbara Sımons United States	20	258 0.3×	733 1.9×	96 0.3×	186 0.5×	26 0.1×	52	1.1k
Alan Hartman Israel	17	398 0.5×	113 0.3×	183 0.5×	178 0.5×	449 1.7×	51	1.1k
Stefan Szeider Austria	19	618 0.7×	431 1.1×	55 0.1×	879 2.4×	46 0.2×	139	1.3k
Marco Schaerf Italy	18	824 1.0×	200 0.5×	194 0.5×	305 0.8×	33 0.1×	67	1.1k
Gerhard Brewka Germany	25	2.2k 2.6×	304 0.8×	120 0.3×	319 0.9×	18 0.1×	84	2.3k
Jean Ε. Sammet United States	12	326 0.4×	115 0.3×	145 0.4×	136 0.4×	68 0.3×	59	659

Countries citing papers authored by Daniel Le Métayer

Since Specialization

Citations

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

Fields of papers citing papers by Daniel Le Métayer

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Daniel Le Métayer. 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 Daniel Le Métayer. The network helps show where Daniel Le Métayer may publish in the future.

Co-authorship network of co-authors of Daniel Le Métayer

This figure shows the co-authorship network connecting the top 25 collaborators of Daniel Le Métayer. A scholar is included among the top collaborators of Daniel Le Métayer 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 Daniel Le Métayer. Daniel Le Métayer 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

Christakis, Théodore, et al.. (2022). Mapping the Use of Facial Recognition in Public Spaces in Europe – Part 3: Facial Recognition for Authorisation Purposes. SSRN Electronic Journal. 2 indexed citations

Métayer, Daniel Le, et al.. (2021). A framework to contest and justify algorithmic decisions. AI and Ethics. 1(4). 463–476. 5 indexed citations

Cunche, Mathieu, et al.. (2020). ColoT. 334–336. 3 indexed citations

Métayer, Daniel Le, et al.. (2020). A Generic Framework for Black-box Explanations. 19. 3667–3676. 2 indexed citations

Métayer, Daniel Le & Sourya Joyee De. (2016). Privacy Risk Analysis. HAL (Le Centre pour la Communication Scientifique Directe). 4 indexed citations

Gößler, Gregor & Daniel Le Métayer. (2015). A general framework for blaming in component-based systems. Science of Computer Programming. 113. 223–235. 8 indexed citations

Métayer, Daniel Le. (2013). Privacy by design. 95–104. 13 indexed citations

Métayer, Daniel Le. (2002). Proceedings of the 11th European Symposium on Programming Languages and Systems. 10 indexed citations

Bryce, C., J. P. Banâtre, & Daniel Le Métayer. (2002). An approach to information security in distributed systems. 384–394. 6 indexed citations

10.

Jensen, Thomas Wiben, Daniel Le Métayer, & Tommy Thorn. (2002). Security and dynamic class loading in Java: a formalisation. 4–15. 16 indexed citations

11.

Besson, Frédéric, Thomas Wiben Jensen, Daniel Le Métayer, & Tommy Thorn. (2001). Model checking security properties of control flow graphs. Journal of Computer Security. 9(3). 217–250. 41 indexed citations

12.

Métayer, Daniel Le, et al.. (1999). Towards Designing SVM Coherence Protocols Using High-level Specifications and Aspect-oriented Translations. OpenGrey (Institut de l'Information Scientifique et Technique). 3 indexed citations

13.

Fradet, Pascal & Daniel Le Métayer. (1998). Structured Gamma. Science of Computer Programming. 31(2-3). 263–289. 27 indexed citations

14.

Hankin, Chris, Daniel Le Métayer, & David Sands. (1998). Refining multiset transformers. Theoretical Computer Science. 192(2). 233–258. 4 indexed citations

15.

Métayer, Daniel Le. (1996). Software architecture styles as graph grammars. ACM SIGSOFT Software Engineering Notes. 21(6). 15–23. 9 indexed citations

16.

Fradet, Pascal, et al.. (1996). An Inference Algorithm for the Static Verification of Pointer Manipulation. OpenGrey (Institut de l'Information Scientifique et Technique). 1 indexed citations

17.

Hankin, Chris & Daniel Le Métayer. (1994). Deriving algorithms from type inference systems. 202–212. 16 indexed citations

18.

Banâtre, Jean-Pierre & Daniel Le Métayer. (1990). The gamma model and its discipline of programming. Science of Computer Programming. 15(1). 55–77. 86 indexed citations

19.

Métayer, Daniel Le, et al.. (1990). Continuation-based parallel implementation of functional programming languages. 209–217. 1 indexed citations

20.

Banâtre, Jean-Pierre & Daniel Le Métayer. (1986). A new computational model and its discipline of programming. OpenGrey (Institut de l'Information Scientifique et Technique). 29 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