Pascal Raymond

3.1k total citations · 1 hit paper
33 papers, 1.2k citations indexed

About

Pascal Raymond is a scholar working on Computational Theory and Mathematics, Hardware and Architecture and Software. According to data from OpenAlex, Pascal Raymond has authored 33 papers receiving a total of 1.2k indexed citations (citations by other indexed papers that have themselves been cited), including 23 papers in Computational Theory and Mathematics, 19 papers in Hardware and Architecture and 9 papers in Software. Recurrent topics in Pascal Raymond's work include Formal Methods in Verification (23 papers), Embedded Systems Design Techniques (18 papers) and Real-Time Systems Scheduling (11 papers). Pascal Raymond is often cited by papers focused on Formal Methods in Verification (23 papers), Embedded Systems Design Techniques (18 papers) and Real-Time Systems Scheduling (11 papers). Pascal Raymond collaborates with scholars based in France, Germany and Azerbaijan. Pascal Raymond's co-authors include Nicolas Halbwachs, P. Caspi, D. Pilaud, Christophe Ratel, Xavier Nicollin, Marc Pouzet, J. C. Fernandez, Ahmed Bouajjani, David Lesens and Florence Maraninchi and has published in prestigious journals such as SHILAP Revista de lepidopterología, Proceedings of the IEEE and The Holocene.

In The Last Decade

Pascal Raymond

27 papers receiving 1.1k citations

Hit Papers

The synchronous data flow programming language LUSTRE 1991 2026 2002 2014 1991 250 500 750
What are hit papers?

Hit papers significantly outperform the citation benchmark for their cohort. A paper qualifies if it has ≥500 total citations, achieves ≥1.5× the top-1% citation threshold for papers in the same subfield and year (this is the minimum needed to enter the top 1%, not the average within it), or reaches the top citation threshold in at least one of its specific research topics.

  1. The synchronous data flow programming language LUSTRE
    1991 826 citations Nicolas Halbwachs, P. Caspi et al. Proceedings of the IEEE profile →

Peers — A (Enhanced Table)

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

Name h Career Trend Papers Cites
Pascal Raymond France 12 746 660 322 209 199 33 1.2k
Nicholas J. Dingle United Kingdom 13 87 0.1× 202 0.3× 52 0.2× 187 0.9× 67 0.3× 31 491
William Clinger United States 13 394 0.5× 393 0.6× 118 0.4× 277 1.3× 737 3.7× 41 972
Karl Pettis United States 8 401 0.5× 56 0.1× 42 0.1× 281 1.3× 131 0.7× 9 602
Fernando Magno Quintão Pereira Brazil 15 404 0.5× 54 0.1× 135 0.4× 274 1.3× 321 1.6× 89 706
Kuldeep S. Meel Singapore 15 32 0.0× 95 0.1× 120 0.4× 107 0.5× 329 1.7× 64 514
Massimo Ancona Italy 10 90 0.1× 27 0.0× 61 0.2× 96 0.5× 148 0.7× 67 373
Michael Meisinger United States 11 37 0.0× 36 0.1× 151 0.5× 115 0.6× 193 1.0× 33 445
Berna L. Massingill United States 9 399 0.5× 23 0.0× 44 0.1× 421 2.0× 116 0.6× 25 657
Giorgio Delzanno Italy 11 27 0.0× 239 0.4× 111 0.3× 119 0.6× 200 1.0× 85 456
Ian Leslie United Kingdom 14 242 0.3× 53 0.1× 15 0.0× 710 3.4× 134 0.7× 50 929

Countries citing papers authored by Pascal Raymond

Since Specialization
Citations

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

Fields of papers citing papers by Pascal Raymond

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Pascal Raymond

This figure shows the co-authorship network connecting the top 25 collaborators of Pascal Raymond. A scholar is included among the top collaborators of Pascal Raymond 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 Pascal Raymond. Pascal Raymond is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
Devismes, Stéphane, et al.. (2019). Terminating Exploration Of A Grid By An Optimal Number Of Asynchronous Oblivious Robots. The Computer Journal. 64(1). 132–154. 10 indexed citations
2.
Raymond, Pascal, et al.. (2016). A Romanmiliariumfrom a private bath house in northern Gaul: from water technology to ritual offering. Antiquity. 90(354). 1562–1575.
3.
Raymond, Pascal, et al.. (2015). Timing analysis enhancement for synchronous program. Real-Time Systems. 51(2). 192–220. 4 indexed citations
4.
Lyonnet, Bertille, Farhad Guliyev, Michel Fontugne, et al.. (2015). Mentesh Tepe, an early settlement of the Shomu-Shulaveri Culture in Azerbaijan. Quaternary International. 395. 170–183. 30 indexed citations
5.
Raymond, Pascal. (2015). BDDC v2 A basic bdd-based logical calculator.
6.
Raymond, Pascal. (2014). A general approach for expressing infeasibility in implicit path enumeration technique. SPIRE - Sciences Po Institutional REpository. 1–9. 4 indexed citations
7.
Maïza, Claire, et al.. (2013). Program Semantics in Model-Based WCET Analysis: A State of the Art Perspective. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics). 32–41. 3 indexed citations
8.
Raymond, Pascal, et al.. (2012). L’acquisition 3D par photogrammétrie en archéologie. SHILAP Revista de lepidopterología. 34. 90–91. 1 indexed citations
9.
Pouzet, Marc & Pascal Raymond. (2010). Modular static scheduling of synchronous data-flow networks. Design Automation for Embedded Systems. 14(3). 165–192. 5 indexed citations
10.
Pouzet, Marc & Pascal Raymond. (2009). Modular static scheduling of synchronous data-flow networks. 215–224. 12 indexed citations
11.
Caspi, Paul, et al.. (2009). Synchronous objects with scheduling policies. 11–20. 11 indexed citations
12.
Raymond, Pascal, et al.. (2008). Specifying and Executing Reactive Scenarios With Lutin. Electronic Notes in Theoretical Computer Science. 203(4). 19–34. 4 indexed citations
13.
Halbwachs, Nicolas, et al.. (2008). Synchronous modeling and validation of schedulers dealing with shared resources 1. 1 indexed citations
14.
Behnia, S., et al.. (2008). Industrialising a proof-based verification approach of computerised interlocking systems. WIT transactions on the built environment. I. 143–152. 1 indexed citations
15.
Raymond, Pascal, et al.. (2004). The Lucky language Reference Manual. 6 indexed citations
16.
17.
Raymond, Pascal, et al.. (2002). Automatic testing of reactive systems. 200–209. 53 indexed citations
18.
Lesens, David, Nicolas Halbwachs, & Pascal Raymond. (2001). Automatic verification of parameterized networks of processes. Theoretical Computer Science. 256(1-2). 113–144. 7 indexed citations
19.
Bouajjani, Ahmed, J. C. Fernandez, Nicolas Halbwachs, Pascal Raymond, & Christophe Ratel. (1992). Minimal state graph generation. Science of Computer Programming. 18(3). 247–269. 50 indexed citations
20.
Halbwachs, Nicolas, P. Caspi, Pascal Raymond, & D. Pilaud. (1991). The synchronous data flow programming language LUSTRE. Proceedings of the IEEE. 79(9). 1305–1320. 826 indexed citations breakdown →

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

Breakdown of academic impact, for papers by Nicholas J. Dingle Breakdown of academic impact, for papers by William Clinger Breakdown of academic impact, for papers by Karl Pettis Breakdown of academic impact, for papers by Fernando Magno Quintão Pereira Breakdown of academic impact, for papers by Kuldeep S. Meel Breakdown of academic impact, for papers by Massimo Ancona Breakdown of academic impact, for papers by Michael Meisinger Breakdown of academic impact, for papers by Berna L. Massingill Breakdown of academic impact, for papers by Giorgio Delzanno Breakdown of academic impact, for papers by Ian Leslie
Rankless by CCL
2026