Andrew M. Pitts

5.5k total citations
83 papers, 2.3k citations indexed

About

Andrew M. Pitts is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Mathematical Physics. According to data from OpenAlex, Andrew M. Pitts has authored 83 papers receiving a total of 2.3k indexed citations (citations by other indexed papers that have themselves been cited), including 65 papers in Artificial Intelligence, 44 papers in Computational Theory and Mathematics and 14 papers in Mathematical Physics. Recurrent topics in Andrew M. Pitts's work include Logic, programming, and type systems (59 papers), Logic, Reasoning, and Knowledge (46 papers) and Advanced Algebra and Logic (16 papers). Andrew M. Pitts is often cited by papers focused on Logic, programming, and type systems (59 papers), Logic, Reasoning, and Knowledge (46 papers) and Advanced Algebra and Logic (16 papers). Andrew M. Pitts collaborates with scholars based in United Kingdom, South Sudan and Switzerland. Andrew M. Pitts's co-authors include Murdoch J. Gabbay, Andrew D. Gordon, Ian Stark, Peter Dybjer, Christian Urban, Peter Johnstone, Roy L. Crole, J. M. E. Hyland, Gavin Bierman and Michael Makkai and has published in prestigious journals such as SHILAP Revista de lepidopterología, Journal of the ACM and Transactions of the American Mathematical Society.

In The Last Decade

Andrew M. Pitts

76 papers receiving 2.1k citations

Peers — A (Enhanced Table)

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

Name	h						Papers	Cites
Andrew M. Pitts United Kingdom	22	2.1k	1.5k	233	155	143	83	2.3k
Glynn Winskel United Kingdom	23	1.5k 0.7×	1.7k 1.2×	604 2.6×	206 1.3×	125 0.9×	119	2.4k
J.J.M.M. Rutten Netherlands	17	1.1k 0.6×	1.0k 0.7×	202 0.9×	74 0.5×	197 1.4×	60	1.5k
Gérard Huet France	19	2.2k 1.0×	1.5k 1.0×	347 1.5×	229 1.5×	58 0.4×	45	2.4k
Eugenio Moggi Italy	15	1.6k 0.8×	940 0.6×	233 1.0×	182 1.2×	112 0.8×	39	1.7k
Thierry Coquand Sweden	18	1.3k 0.6×	1.0k 0.7×	146 0.6×	98 0.6×	218 1.5×	110	1.6k
Yves Lafont France	15	1.3k 0.6×	991 0.7×	160 0.7×	42 0.3×	127 0.9×	21	1.5k
Pierre-Louis Curien France	18	1.3k 0.6×	947 0.7×	131 0.6×	70 0.5×	79 0.6×	47	1.4k
Andre Scedrov United States	22	1.8k 0.9×	1.1k 0.7×	782 3.4×	487 3.1×	58 0.4×	116	2.1k
J. C. Shepherdson United Kingdom	21	1.0k 0.5×	1.1k 0.7×	114 0.5×	90 0.6×	62 0.4×	56	1.6k
Jean-Pierre Jouannaud France	18	1.5k 0.7×	1.1k 0.8×	218 0.9×	144 0.9×	20 0.1×	66	1.7k

Countries citing papers authored by Andrew M. Pitts

Since Specialization

Citations

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

Fields of papers citing papers by Andrew M. Pitts

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Andrew M. Pitts

This figure shows the co-authorship network connecting the top 25 collaborators of Andrew M. Pitts. A scholar is included among the top collaborators of Andrew M. Pitts 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 Andrew M. Pitts. Andrew M. Pitts 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:

20 of 20 papers shown

Bierman, Gavin, Matthew Parkinson, & Andrew M. Pitts. (2021). MJ: An imperative core calculus for Java and Java with effects. Clinical Rheumatology. 42(9). 2321–2334. 6 indexed citations

Pitts, Andrew M., et al.. (2019). Models of Type Theory Based on Moore Paths. SHILAP Revista de lepidopterología. 1 indexed citations

Pitts, Andrew M., et al.. (2018). Axioms for Modelling Cubical Type Theory in a Topos. Logical Methods in Computer Science. Volume 14, Issue 4. 8 indexed citations

Pitts, Andrew M.. (2016). Polinode: a web application for the collection and analysis of network data. 1422–1425. 1 indexed citations

Pitts, Andrew M., et al.. (2016). Axioms for Modelling Cubical Type Theory in a Topos. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics). 62. 19. 11 indexed citations

Pitts, Andrew M.. (2015). Foundations of Software Science and Computation Structures. Lecture notes in computer science. 8 indexed citations

Bojańczyk, Mikołaj, Bartek Klin, Alexander Kurz, & Andrew M. Pitts. (2014). Nominal Computation Theory (Dagstuhl Seminar 13422). DROPS (Schloss Dagstuhl – Leibniz Center for Informatics). 3(10). 58–71. 2 indexed citations

Czumaj, Artur, Kurt Mehlhorn, Andrew M. Pitts, & Roger Wattenhofer. (2012). Proceedings of the 39th international colloquium conference on Automata, Languages, and Programming - Volume Part II. International Colloquium on Automata, Languages and Programming. 4 indexed citations

Pitts, Andrew M.. (2010). Nominal system T. 159–170. 15 indexed citations

10.

Lakin, Matthew R. & Andrew M. Pitts. (2007). A Metalanguage for Structural Operational Semantics.. 19–35. 9 indexed citations

11.

Pitts, Andrew M., et al.. (2007). Generative unbinding of names. ACM SIGPLAN Notices. 42(1). 85–95. 3 indexed citations

12.

Pitts, Andrew M.. (2005). Alpha-Structural Recursion and Induction (Extended Abstract). 19(2). 306–8. 7 indexed citations

13.

Pitts, Andrew M., et al.. (2005). On a monadic semantics for freshness. Theoretical Computer Science. 342(1). 28–55. 28 indexed citations

14.

Pitts, Andrew M.. (2000). Operational Semantics and Program Equivalence. 8 indexed citations

15.

Pitts, Andrew M. & Ian Stark. (1999). Operational reasoning for functions with local state. Cambridge University Press eBooks. 227–274. 88 indexed citations

16.

Gordon, Andrew D. & Andrew M. Pitts. (1999). Higher order operational techniques in semantics. Cambridge University Press eBooks. 390–390. 106 indexed citations

17.

Pitts, Andrew M.. (1996). Relational Properties of Domains. Information and Computation. 127(2). 66–90. 115 indexed citations

18.

Crole, Roy L. & Andrew M. Pitts. (1992). New foundations for fixpoint computations: FIX-hyperdoctrines and the FIX-logic. Information and Computation. 98(2). 171–210. 36 indexed citations

19.

Pitts, Andrew M.. (1991). Review: Michael Barr, Charles Wells, Toposes, Triples and Theories. Journal of Symbolic Logic. 56(1). 340–341. 1 indexed citations

20.

Pitts, Andrew M.. (1983). An application of open maps to categorical logic. Journal of Pure and Applied Algebra. 29(3). 313–326. 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