Peter B. Ladkin

1.4k total citations
50 papers, 760 citations indexed

About

Peter B. Ladkin is a scholar working on Artificial Intelligence, Computer Networks and Communications and Computational Theory and Mathematics. According to data from OpenAlex, Peter B. Ladkin has authored 50 papers receiving a total of 760 indexed citations (citations by other indexed papers that have themselves been cited), including 21 papers in Artificial Intelligence, 16 papers in Computer Networks and Communications and 13 papers in Computational Theory and Mathematics. Recurrent topics in Peter B. Ladkin's work include Constraint Satisfaction and Optimization (11 papers), Formal Methods in Verification (11 papers) and Logic, Reasoning, and Knowledge (7 papers). Peter B. Ladkin is often cited by papers focused on Constraint Satisfaction and Optimization (11 papers), Formal Methods in Verification (11 papers) and Logic, Reasoning, and Knowledge (7 papers). Peter B. Ladkin collaborates with scholars based in Germany, United Kingdom and United States. Peter B. Ladkin's co-authors include Henry Kautz, Roger D. Maddux, Alexander Reinefeld, Stefan Leue, Ralph McKenzie, Harold Thimbleby, Bryan Olivier, Leslie Lamport, Barbara Sımons and Martyn Thomas and has published in prestigious journals such as Communications of the ACM, Artificial Intelligence and Journal of the ACM.

In The Last Decade

Peter B. Ladkin

43 papers receiving 643 citations

Peers — A (Enhanced Table)

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

Name h Career Trend Papers Cites
Peter B. Ladkin Germany 14 537 468 292 158 76 50 760
Fred J. Maryanski United States 9 381 0.7× 295 0.6× 159 0.5× 24 0.2× 154 2.0× 44 519
Jérǒme Simèon United States 18 1.2k 2.3× 1.0k 2.2× 693 2.4× 39 0.2× 407 5.4× 55 1.4k
Jean-Charles Régin France 12 773 1.4× 291 0.6× 362 1.2× 161 1.0× 12 0.2× 34 929
Shamim A. Naqvi United States 15 785 1.5× 838 1.8× 328 1.1× 133 0.8× 188 2.5× 28 1.1k
Michel Adiba France 10 671 1.2× 442 0.9× 411 1.4× 141 0.9× 151 2.0× 30 858
Eric N. Hanson United States 16 950 1.8× 411 0.9× 468 1.6× 27 0.2× 403 5.3× 37 1.1k
Seung-won Hwang South Korea 14 313 0.6× 300 0.6× 272 0.9× 19 0.1× 342 4.5× 72 742
Giuseppe Pelagatti Italy 13 904 1.7× 358 0.8× 465 1.6× 39 0.2× 236 3.1× 52 1.0k
Edward L. Robertson United States 11 151 0.3× 196 0.4× 74 0.3× 211 1.3× 87 1.1× 45 516
Georges Gardarin France 14 624 1.2× 370 0.8× 354 1.2× 41 0.3× 175 2.3× 65 759

Countries citing papers authored by Peter B. Ladkin

Since Specialization
Citations

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

Fields of papers citing papers by Peter B. Ladkin

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Peter B. Ladkin

This figure shows the co-authorship network connecting the top 25 collaborators of Peter B. Ladkin. A scholar is included among the top collaborators of Peter B. Ladkin 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 Peter B. Ladkin. Peter B. Ladkin 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.
Ladkin, Peter B.. (2024). Functional Safety and Oracular Subsystems. 3(2).
2.
Ladkin, Peter B.. (2023). Involving LLMs in legal processes is risky. 40–46. 2 indexed citations
3.
4.
Ladkin, Peter B., et al.. (2016). A Lazy Caching Proof in TLA. Distributed Computing. 2(3). 151–174.
5.
Ladkin, Peter B., et al.. (2013). The Fukushima Dai-Ichi accident. Lit eBooks. 1 indexed citations
6.
Ladkin, Peter B., et al.. (2010). Ontological Hazard Analysis of a Communications Bus. 1 indexed citations
7.
Ladkin, Peter B.. (1997). Risks of technological remedy. Communications of the ACM. 40(11). 160. 2 indexed citations
8.
Thimbleby, Harold & Peter B. Ladkin. (1995). A Proper Explanation When You Need One.. 107–118. 7 indexed citations
9.
Ladkin, Peter B. & Stefan Leue. (1994). Four issues concerning the semantics of Message Flow Graphs.. KOPS (University of Konstanz). 355–369. 5 indexed citations
10.
Ladkin, Peter B. & Stefan Leue. (1993). What Do Message Sequence Charts Mean. KOPS (University of Konstanz). 301–316. 6 indexed citations
11.
Ladkin, Peter B. & Stefan Leue. (1993). On the semantics of message sequence charts. KOPS (University of Konstanz). 88–104. 2 indexed citations
12.
Kautz, Henry & Peter B. Ladkin. (1991). Integrating metric and qualitative temporal reasoning. National Conference on Artificial Intelligence. 241–246. 135 indexed citations
13.
Ladkin, Peter B.. (1988). Satisfying first-order constraints about time intervals. National Conference on Artificial Intelligence. 512–517. 16 indexed citations
14.
Ladkin, Peter B. & Roger D. Maddux. (1988). The Algebra of Binary Constraint Networks. 1 indexed citations
15.
Ladkin, Peter B.. (1987). Logical time pieces. 2(8). 58–68. 5 indexed citations
16.
Ladkin, Peter B.. (1987). The completeness of a natural system for reasoning with time intervals. International Joint Conference on Artificial Intelligence. 462–467. 33 indexed citations
17.
Ladkin, Peter B.. (1987). Specification of time dependencies and synthesis of concurrent processes. International Conference on Software Engineering. 106–115. 13 indexed citations
18.
Ladkin, Peter B.. (1987). Models of axioms for time intervals. National Conference on Artificial Intelligence. 234–239. 31 indexed citations
19.
Ladkin, Peter B.. (1986). Primitives and units for time specification. National Conference on Artificial Intelligence. 354–359. 49 indexed citations
20.
Ladkin, Peter B.. (1986). Time representation: a taxonomy of interval relations. National Conference on Artificial Intelligence. 360–366. 82 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 Fred J. Maryanski Breakdown of academic impact, for papers by Jérǒme Simèon Breakdown of academic impact, for papers by Jean-Charles Régin Breakdown of academic impact, for papers by Shamim A. Naqvi Breakdown of academic impact, for papers by Michel Adiba Breakdown of academic impact, for papers by Eric N. Hanson Breakdown of academic impact, for papers by Seung-won Hwang Breakdown of academic impact, for papers by Giuseppe Pelagatti Breakdown of academic impact, for papers by Edward L. Robertson Breakdown of academic impact, for papers by Georges Gardarin
Rankless by CCL
2026