Corin Pitcher

439 total citations
11 papers, 132 citations indexed

About

Corin Pitcher is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Computer Networks and Communications. According to data from OpenAlex, Corin Pitcher has authored 11 papers receiving a total of 132 indexed citations (citations by other indexed papers that have themselves been cited), including 9 papers in Artificial Intelligence, 4 papers in Computational Theory and Mathematics and 3 papers in Computer Networks and Communications. Recurrent topics in Corin Pitcher's work include Logic, programming, and type systems (7 papers), Security and Verification in Computing (4 papers) and Formal Methods in Verification (4 papers). Corin Pitcher is often cited by papers focused on Logic, programming, and type systems (7 papers), Security and Verification in Computing (4 papers) and Formal Methods in Verification (4 papers). Corin Pitcher collaborates with scholars based in United States and United Kingdom. Corin Pitcher's co-authors include Radha Jagadeesan, James Riely, Bin Zhang, Ehab Al‐Shaer, Julian Rathke, Vijay Saraswat, Will Marrero, Søren B. Lassen, C.-H. Luke Ong and Lincoln Wallen and has published in prestigious journals such as Electronic Notes in Theoretical Computer Science, Mathematical Structures in Computer Science and Logical Methods in Computer Science.

In The Last Decade

Corin Pitcher

11 papers receiving 125 citations

Peers — A (Enhanced Table)

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

Name	h						Papers	Cites
Corin Pitcher United States	7	98	60	36	34	26	11	132
James J. Leifer France	8	162 1.7×	108 1.8×	34 0.9×	58 1.7×	17 0.7×	14	202
Pierre-Malo Deniélou United Kingdom	9	215 2.2×	132 2.2×	37 1.0×	104 3.1×	15 0.6×	10	251
Shin-ya Katsumata Japan	8	178 1.8×	25 0.4×	39 1.1×	91 2.7×	10 0.4×	28	192
Akihiko Tozawa Japan	8	152 1.6×	90 1.5×	27 0.8×	16 0.5×	75 2.9×	13	212
Andreas Lochbihler Switzerland	7	95 1.0×	40 0.7×	21 0.6×	27 0.8×	5 0.2×	27	122
Uwe Nestmann Germany	8	178 1.8×	103 1.7×	14 0.4×	146 4.3×	10 0.4×	43	239
Ernie Cohen United States	6	108 1.1×	71 1.2×	32 0.9×	66 1.9×	10 0.4×	13	144
Ben Moszkowski United Kingdom	7	139 1.4×	33 0.6×	17 0.5×	120 3.5×	23 0.9×	24	167
Giuliano Losa United States	8	48 0.5×	135 2.3×	30 0.8×	29 0.9×	10 0.4×	21	176
Frédéric Besson France	7	101 1.0×	27 0.5×	15 0.4×	40 1.2×	12 0.5×	13	119

Countries citing papers authored by Corin Pitcher

Since Specialization

Citations

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

Fields of papers citing papers by Corin Pitcher

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Corin Pitcher

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

11 of 11 papers shown

1.

Jagadeesan, Radha, et al.. (2015). An extensible approach to session polymorphism. Mathematical Structures in Computer Science. 26(3). 465–509. 9 indexed citations

2.

Jagadeesan, Radha, Corin Pitcher, Julian Rathke, & James Riely. (2011). Local Memory via Layout Randomization. ePrints Soton (University of Southampton). 161–174. 19 indexed citations

3.

Jagadeesan, Radha, et al.. (2008). TAPIDO: trust and authorization via provenance and integrity in distributed objects. 208–223. 6 indexed citations

4.

Jagadeesan, Radha, Alan Jeffrey, Corin Pitcher, & James Riely. (2008). Lambda-RBAC: Programming with Role-Based Access Control. Logical Methods in Computer Science. Volume 4, Issue 1. 2 indexed citations

5.

Zhang, Bin, Ehab Al‐Shaer, Radha Jagadeesan, James Riely, & Corin Pitcher. (2007). Specifications of a high-level conflict-free firewall policy language for multi-domain networks. 185–194. 43 indexed citations

6.

Jagadeesan, Radha, et al.. (2007). Do As I SaY! Programmatic Access Control with Explicit Identities. 16–30. 8 indexed citations

7.

Jagadeesan, Radha, Corin Pitcher, & James Riely. (2007). Open bisimulation for aspects. 107–120. 10 indexed citations

8.

Jagadeesan, Radha, Will Marrero, Corin Pitcher, & Vijay Saraswat. (2005). Timed constraint programming. 164–175. 14 indexed citations

9.

Pitcher, Corin. (2004). Visibly Pushdown Expression Effects for XML Stream Processing. 9 indexed citations

10.

Pitcher, Corin, C.-H. Luke Ong, & Lincoln Wallen. (2001). Functional Programming and Erratic Non-Determinism. 6 indexed citations

11.

Lassen, Søren B. & Corin Pitcher. (1998). Similarity and Bisimilarity for Countable Non-Determinism and Higher-Order Functions (Extended Abstract). Electronic Notes in Theoretical Computer Science. 10. 246–266. 6 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