Laboratoire d'Informatique de l'École Polytechnique
Impact in
-
- Formal Methods in Verification
Papers in
-
- Formal Methods in Verification 309
- Polynomial and algebraic computation 109
-
- Advanced Combinatorial Mathematics 106
- Top scholars
- Leo LibertiMichel FliessPatrick CousotCédric JoinRadhia CousotM. GuéronCatuscia PalamidessiCharles N. Baroud
- Journals
- Lecture notes in computer science (513 papers)Theoretical Computer Science (51 papers)Computer Graphics Forum (35 papers)Discrete Mathematics & Theoretical Computer Science (31 papers)Discrete Applied Mathematics (24 papers)
- Partner nations
- FranceUnited StatesUnited Kingdom
In The Last Decade
Laboratoire d'Informatique de l'École Polytechnique
2.9k papers receiving 63.0k citations
Peers
Comparison fields: 5 of 236
- Computational Theory and Mathematics 11.7k
- Computer Graphics and Computer-Aided Design 1.8k
- Artificial Intelligence 15.7k
- Computational Mathematics 266
- Software 1.6k
Countries citing scholars working at Laboratoire d'Informatique de l'École Polytechnique
This map shows the geographic impact of research produced by authors working at Laboratoire d'Informatique de l'École Polytechnique. 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 papers produced at Laboratoire d'Informatique de l'École Polytechnique with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Laboratoire d'Informatique de l'École Polytechnique more than expected).
Fields of papers published by authors at Laboratoire d'Informatique de l'École Polytechnique
This network shows the impact of papers affiliated with Laboratoire d'Informatique de l'École Polytechnique at the time of their publication. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers affiliated with Laboratoire d'Informatique de l'École Polytechnique at the time of their publication.
About Laboratoire d'Informatique de l'École Polytechnique
In recent decades, authors affiliated with Laboratoire d'Informatique de l'École Polytechnique have published 3.1k papers, which have received a total of 64.6k indexed citations . Scholars at this organization have produced 853 papers in Computational Theory and Mathematics, 129 papers in Discrete Mathematics and Combinatorics, 124 papers in Computer Graphics and Computer-Aided Design, 1.0k papers in Artificial Intelligence and 210 papers in Geometry and Topology on the topics of Logic, programming, and type systems (374 papers), Formal Methods in Verification (309 papers), Logic, Reasoning, and Knowledge (253 papers), Coding theory and cryptography (124 papers), Polynomial and algebraic computation (109 papers), Advanced Combinatorial Mathematics (106 papers), Cryptography and Residue Arithmetic (98 papers) and Cryptography and Data Security (94 papers). Their work is cited by papers focused on Computational Theory and Mathematics (11.7k citations), Computer Graphics and Computer-Aided Design (1.8k citations), Artificial Intelligence (15.7k citations), Computational Mathematics (266 citations) and Software (1.6k citations). Authors at Laboratoire d'Informatique de l'École Polytechnique collaborate with scholars in France, United States and United Kingdom and have published in prestigious journals including Lecture notes in computer science, Theoretical Computer Science, Computer Graphics Forum, Discrete Mathematics & Theoretical Computer Science and Discrete Applied Mathematics. Some of Laboratoire d'Informatique de l'École Polytechnique's most productive authors include Leo Liberti, Michel Fliess, Patrick Cousot, Cédric Join, Radhia Cousot, M. Guéron, Catuscia Palamidessi, Charles N. Baroud, Jean‐Louis Leroy and Benjamin Doerr.
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.