Claude Marché

2.6k total citations
80 papers, 677 citations indexed

About

Claude Marché is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Civil and Structural Engineering. According to data from OpenAlex, Claude Marché has authored 80 papers receiving a total of 677 indexed citations (citations by other indexed papers that have themselves been cited), including 31 papers in Artificial Intelligence, 27 papers in Computational Theory and Mathematics and 26 papers in Civil and Structural Engineering. Recurrent topics in Claude Marché's work include Logic, programming, and type systems (26 papers), Formal Methods in Verification (22 papers) and Hydraulic flow and structures (18 papers). Claude Marché is often cited by papers focused on Logic, programming, and type systems (26 papers), Formal Methods in Verification (22 papers) and Hydraulic flow and structures (18 papers). Claude Marché collaborates with scholars based in France, Canada and Spain. Claude Marché's co-authors include Xavier Urbain, Salvador Lucas, François Brissette, Tew‐Fik Mahdi, José Meseguer, Yannick Moy, Christine Paulin-Mohring, Robert Leconte, Jean-Christophe Filliâtre and Francisco Durán and has published in prestigious journals such as Hydrological Processes, Advances in Water Resources and Journal of Hydraulic Engineering.

In The Last Decade

Claude Marché

72 papers receiving 594 citations

Peers — A (Enhanced Table)

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

Name h Career Trend Papers Cites
Claude Marché France 14 346 297 114 101 97 80 677
Janice L. Stolzy United States 6 64 0.2× 178 0.6× 42 0.4× 49 0.5× 149 1.5× 7 482
Stuart Frye United States 10 188 0.5× 14 0.0× 121 1.1× 42 0.4× 12 0.1× 44 666
Andrew Whitaker United States 19 270 0.8× 8 0.0× 124 1.1× 216 2.1× 40 0.4× 42 1.4k
Jinghui Fan China 14 134 0.4× 65 0.2× 26 0.2× 9 0.1× 12 0.1× 58 576
Kyle Brown United States 10 156 0.5× 5 0.0× 52 0.5× 17 0.2× 57 0.6× 26 439
Christian Sommer Germany 14 47 0.1× 109 0.4× 50 0.4× 36 0.4× 2 0.0× 38 850
S. Rangarajan United States 14 21 0.1× 15 0.1× 107 0.9× 31 0.3× 73 0.8× 55 604
Robert Cuykendall United States 9 153 0.4× 32 0.1× 231 2.0× 212 2.1× 17 707
Laura Toma United States 10 38 0.1× 37 0.1× 63 0.6× 79 0.8× 3 0.0× 21 308

Countries citing papers authored by Claude Marché

Since Specialization
Citations

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

Fields of papers citing papers by Claude Marché

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Claude Marché

This figure shows the co-authorship network connecting the top 25 collaborators of Claude Marché. A scholar is included among the top collaborators of Claude Marché 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 Claude Marché. Claude Marché 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.
Marché, Claude, et al.. (2022). The CoLiS platform for the analysis of maintainer scripts in Debian software packages. International Journal on Software Tools for Technology Transfer. 24(5). 717–733.
2.
Marché, Claude, et al.. (2019). Deductive verification with ghost monitors. Proceedings of the ACM on Programming Languages. 4(POPL). 1–26. 2 indexed citations
3.
Marché, Claude, et al.. (2018). Instrumenting a weakest precondition calculus for counterexample generation. Journal of Logical and Algebraic Methods in Programming. 99. 97–113. 7 indexed citations
4.
Filliâtre, Jean-Christophe, et al.. (2014). Formalizing Semantics with an Automatic Program Verifier. HAL (Le Centre pour la Communication Scientifique Directe). 1 indexed citations
5.
Marché, Claude. (2014). Verification of the functional behavior of a floating-point program: An industrial case study. Science of Computer Programming. 96. 279–296. 2 indexed citations
6.
Moy, Yannick & Claude Marché. (2010). Modular inference of subprogram contracts for safety checking. Journal of Symbolic Computation. 45(11). 1184–1211. 10 indexed citations
7.
Giorgetti, Alain, et al.. (2010). Specifying generic Java programs. 1–8. 1 indexed citations
8.
Marché, Claude & Hans Zantema. (2006). The termination competition 2006. Munich Personal RePEc Archive (Ludwig Maximilian University of Munich). 1(4). 32–38. 1 indexed citations
9.
Marché, Claude. (2005). Embankment Dam Overtopping And Collapse:An Innovative Approach To PredictThe Breach Outflow Hydrograph. WIT transactions on the built environment. 84. 3 indexed citations
10.
Marché, Claude, et al.. (2005). A case study of C source code verification: the Schorr-Waite algorithm. 190–199. 20 indexed citations
11.
Marché, Claude & Xavier Urbain. (2004). Modular and incremental proofs of AC-termination. Journal of Symbolic Computation. 38(1). 873–897. 11 indexed citations
12.
Seidou, Ousmane, Claude Marché, & Tew‐Fik Mahdi. (2004). Aspects aléatoires de l'érosion d'une digue : simulations de la brèche par des algorithmes génétiques. Canadian Journal of Civil Engineering. 31(6). 927–942. 2 indexed citations
13.
Marché, Claude, Christine Paulin-Mohring, & Xavier Urbain. (2003). The KRAKATOA tool for certificationof JAVA/JAVACARD programs annotated in JML. The Journal of Logic and Algebraic Programming. 58(1-2). 89–106. 61 indexed citations
14.
15.
Treinen, Ralf, et al.. (2001). Constraints in computational logics: theory and applications. Springer eBooks. 6 indexed citations
16.
Ohlebusch, Enno, et al.. (2000). TALP: A Tool for the Termination Analysis of Logic Programs. RePEc: Research Papers in Economics. 2 indexed citations
17.
Marché, Claude. (1996). Normalized Rewriting: an Alternative to Rewriting modulo a Set of Equations. Journal of Symbolic Computation. 21(3). 253–288. 29 indexed citations
18.
Marché, Claude, et al.. (1990). Rupture de barrage et cartographie des inondations, une analyse assistée par ordinateur. Canadian Journal of Civil Engineering. 17(2). 218–225. 1 indexed citations
19.
Marché, Claude, et al.. (1990). Kriging technique for river flood representation. Journal of Hydraulic Research. 28(5). 629–643. 11 indexed citations
20.
Camarero, R., Luc Granger, Claude Marché, M. Soulié, & René Tinawi. (1988). L'intégration en conception assistée par ordinateur pour les projets pluridisciplinaires de génie civil. Canadian Journal of Civil Engineering. 15(6). 990–1005. 1 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

Breakdown of academic impact, for papers by Janice L. Stolzy Breakdown of academic impact, for papers by Stuart Frye Breakdown of academic impact, for papers by Andrew Whitaker Breakdown of academic impact, for papers by Jinghui Fan Breakdown of academic impact, for papers by Kyle Brown Breakdown of academic impact, for papers by Christian Sommer Breakdown of academic impact, for papers by S. Rangarajan Breakdown of academic impact, for papers by Robert Cuykendall Breakdown of academic impact, for papers by Laura Toma
Rankless by CCL
2026