Jacques-Henri Jourdan

1.7k total citations
15 papers, 584 citations indexed

About

Jacques-Henri Jourdan is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Computer Networks and Communications. According to data from OpenAlex, Jacques-Henri Jourdan has authored 15 papers receiving a total of 584 indexed citations (citations by other indexed papers that have themselves been cited), including 13 papers in Artificial Intelligence, 10 papers in Computational Theory and Mathematics and 5 papers in Computer Networks and Communications. Recurrent topics in Jacques-Henri Jourdan's work include Logic, programming, and type systems (13 papers), Formal Methods in Verification (9 papers) and Security and Verification in Computing (5 papers). Jacques-Henri Jourdan is often cited by papers focused on Logic, programming, and type systems (13 papers), Formal Methods in Verification (9 papers) and Security and Verification in Computing (5 papers). Jacques-Henri Jourdan collaborates with scholars based in France, Germany and Netherlands. Jacques-Henri Jourdan's co-authors include Derek Dreyer, Ralf Jung, Robbert Krebbers, Aleš Bizjak, Lars Birkedal, François Pottier, Arthur Charguéraud, Joseph Tassarotti, Sarah Zohar and Amin Timany and has published in prestigious journals such as Communications of the ACM, Computer Methods and Programs in Biomedicine and ACM SIGPLAN Notices.

In The Last Decade

Jacques-Henri Jourdan

15 papers receiving 576 citations

Peers

Jacques-Henri Jourdan

CNC

CTM

SOFTW

Benjamin Rossman United States

Mark H. Liffiton United States

Lenore D. Zuck United States

Anna Ingólfsdóttir Iceland

Aaron Stump United States

John B. Kam United States

Jaco van de Pol Netherlands

Amal Ahmed United States

M. Blume United States

Ilya Sergey Singapore

Benjamin Rossman United States

Jacques-Henri Jourdan

215 ×0.5

115 ×0.5

CNC

250 ×1.3

CTM

24 ×0.2

47 ×0.6

SOFTW

Citations per year, relative to Jacques-Henri Jourdan Jacques-Henri Jourdan (= 1×) peers Benjamin Rossman

Countries citing papers authored by Jacques-Henri Jourdan

Since Specialization

Citations

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

Fields of papers citing papers by Jacques-Henri Jourdan

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Jacques-Henri Jourdan

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

Pottier, François, et al.. (2024). Thunks and Debits in Separation Logic with Time Credits. Proceedings of the ACM on Programming Languages. 8(POPL). 1482–1508. 5 indexed citations

Jung, Ralf, Jacques-Henri Jourdan, Robbert Krebbers, & Derek Dreyer. (2021). Safe systems programming in Rust. Communications of the ACM. 64(4). 144–152. 35 indexed citations

Jourdan, Jacques-Henri, et al.. (2021). Formal verification of a concurrent bounded queue in a weak memory model. Proceedings of the ACM on Programming Languages. 5(ICFP). 1–29. 10 indexed citations

Jung, Ralf, Jacques-Henri Jourdan, Robbert Krebbers, & Derek Dreyer. (2020). Safe Systems Programming in Rust: The Promise and the Challenge. Communications of the ACM. 7 indexed citations

Jourdan, Jacques-Henri, et al.. (2020). Cosmo: a concurrent separation logic for multicore OCaml. Proceedings of the ACM on Programming Languages. 4(ICFP). 1–29. 10 indexed citations

Jourdan, Jacques-Henri, et al.. (2019). RustBelt meets relaxed memory. Proceedings of the ACM on Programming Languages. 4(POPL). 1–29. 45 indexed citations

Pottier, François, et al.. (2019). Spy game: verifying a local generic solver in Iris. Proceedings of the ACM on Programming Languages. 4(POPL). 1–28. 2 indexed citations

Jung, Ralf, Robbert Krebbers, Jacques-Henri Jourdan, et al.. (2018). Iris from the ground up: A modular foundation for higher-order concurrent separation logic. Journal of Functional Programming. 28. 185 indexed citations

Krebbers, Robbert, Jacques-Henri Jourdan, Ralf Jung, et al.. (2018). MoSeL: a general, extensible modal framework for interactive proofs in separation logic. Proceedings of the ACM on Programming Languages. 2(ICFP). 1–30. 53 indexed citations

10.

Jung, Ralf, Jacques-Henri Jourdan, Robbert Krebbers, & Derek Dreyer. (2017). RustBelt: securing the foundations of the Rust programming language. Proceedings of the ACM on Programming Languages. 2(POPL). 1–34. 176 indexed citations

11.

Jourdan, Jacques-Henri & François Pottier. (2017). A Simple, Possibly Correct LR Parser for C11. ACM Transactions on Programming Languages and Systems. 39(4). 1–36. 5 indexed citations

12.

Yuan, Ying, et al.. (2016). Phase I/II dose-finding design for molecularly targeted agent: Plateau determination using adaptive randomization. Statistical Methods in Medical Research. 27(2). 466–479. 32 indexed citations

13.

Jourdan, Jacques-Henri, et al.. (2015). dfcomb: An R-package for phase I/II trials of drug combinations. Computer Methods and Programs in Biomedicine. 125. 117–133. 1 indexed citations

14.

Jourdan, Jacques-Henri, Vincent Laporte, Sandrine Blazy, Xavier Leroy, & David Pichardie. (2015). A Formally-Verified C Static Analyzer. ACM SIGPLAN Notices. 50(1). 247–259. 6 indexed citations

15.

Boldo, Sylvie, Jacques-Henri Jourdan, Xavier Leroy, & Guillaume Melquiond. (2014). Verified Compilation of Floating-Point Computations. Journal of Automated Reasoning. 54(2). 135–163. 12 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