Gavin Bierman

3.2k total citations
47 papers, 1.1k citations indexed

About

Gavin Bierman is a scholar working on Artificial Intelligence, Computer Networks and Communications and Computational Theory and Mathematics. According to data from OpenAlex, Gavin Bierman has authored 47 papers receiving a total of 1.1k indexed citations (citations by other indexed papers that have themselves been cited), including 38 papers in Artificial Intelligence, 17 papers in Computer Networks and Communications and 15 papers in Computational Theory and Mathematics. Recurrent topics in Gavin Bierman's work include Logic, programming, and type systems (34 papers), Formal Methods in Verification (14 papers) and Advanced Database Systems and Queries (11 papers). Gavin Bierman is often cited by papers focused on Logic, programming, and type systems (34 papers), Formal Methods in Verification (14 papers) and Advanced Database Systems and Queries (11 papers). Gavin Bierman collaborates with scholars based in United Kingdom, United States and Germany. Gavin Bierman's co-authors include Matthew Parkinson, Erik Meijer, Brian Beckman, Valeria de Paiva, Michael Hicks, Peter Sewell, Gareth Stoyle, Iulian Neamtiu, Nikhil Swamy and Erik Meijer and has published in prestigious journals such as SHILAP Revista de lepidopterología, Communications of the ACM and Proceedings of the VLDB Endowment.

In The Last Decade

Gavin Bierman

42 papers receiving 1.0k citations

Peers — A (Enhanced Table)

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

Name	h						Papers	Cites
Gavin Bierman United Kingdom	17	902	446	396	307	206	47	1.1k
Ralf Hinze Germany	20	1.2k 1.4×	337 0.8×	656 1.7×	299 1.0×	395 1.9×	91	1.4k
Dimitrios Vytiniotis United Kingdom	20	1.2k 1.3×	368 0.8×	538 1.4×	475 1.5×	422 2.0×	72	1.4k
Daan Leijen United States	18	837 0.9×	504 1.1×	347 0.9×	419 1.4×	553 2.7×	68	1.3k
Giuseppe Castagna France	19	1.1k 1.2×	478 1.1×	469 1.2×	347 1.1×	153 0.7×	53	1.3k
Konstantinos Sagonas Sweden	19	705 0.8×	503 1.1×	329 0.8×	254 0.8×	383 1.9×	111	1.2k
Adam Chlipala United States	23	1.2k 1.4×	491 1.1×	590 1.5×	329 1.1×	388 1.9×	77	1.6k
Frank Yellin United Kingdom	6	817 0.9×	641 1.4×	221 0.6×	333 1.1×	653 3.2×	10	1.4k
Sophia Drossopoulou United Kingdom	17	710 0.8×	285 0.6×	218 0.6×	305 1.0×	201 1.0×	84	880
Andreas Rossberg Germany	14	559 0.6×	238 0.5×	198 0.5×	191 0.6×	180 0.9×	29	769
F.B. Schneider United States	16	771 0.9×	701 1.6×	292 0.7×	356 1.2×	218 1.1×	28	1.3k

Countries citing papers authored by Gavin Bierman

Since Specialization

Citations

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

Fields of papers citing papers by Gavin Bierman

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Gavin Bierman

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

1.

Benton, Nick, Gavin Bierman, & Valeria de Paiva. (2021). Term assignment for intuitionistic linear logic (preliminary report). CL Technical Reports.

2.

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

3.

Bierman, Gavin. (2021). Observations on a linear PCF (preliminary report). CL Technical Reports.

4.

Cifuentes, Cristina & Gavin Bierman. (2019). What is a Secure Programming Language?. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics). 15. 2 indexed citations

5.

Hicks, Michael, et al.. (2014). Polymonadic Programming. SHILAP Revista de lepidopterología. 153. 79–99. 5 indexed citations

6.

Swamy, Nikhil, Cédric Fournet, Aseem Rastogi, et al.. (2014). Gradual typing embedded securely in JavaScript. ACM SIGPLAN Notices. 49(1). 425–437. 4 indexed citations

7.

Swamy, Nikhil, Michael Hicks, & Gavin Bierman. (2009). A theory of typed coercions and its applications. 329–340. 15 indexed citations

8.

Tempero, Ewan, Gavin Bierman, James Noble, & Matthew Parkinson. (2008). From Java to UpgradeJ. 1–5. 9 indexed citations

9.

Parkinson, Matthew & Gavin Bierman. (2008). Separation logic, abstraction and inheritance. 75–86. 66 indexed citations

10.

Sewell, Peter, Gareth Stoyle, Michael Hicks, Gavin Bierman, & Keith Wansbrough. (2007). Dynamic rebinding for marshalling and update, via redex-time and destruct-time reduction. Journal of Functional Programming. 18(4). 437–502. 1 indexed citations

11.

Meijer, Erik, Brian Beckman, & Gavin Bierman. (2006). LINQ. 706–706. 221 indexed citations

12.

Bierman, Gavin, Michael Hicks, Peter Sewell, Gareth Stoyle, & Keith Wansbrough. (2003). Dynamic rebinding for marshalling and update, with destruct-time ?. 99–110. 27 indexed citations

13.

Bierman, Gavin. (2003). Formal semantics and analysis of object queries. 407–418. 5 indexed citations

14.

Bierman, Gavin, Erik Meijer, & Wolfram Schulte. (2002). The essence of data access in Cω -- The power is in the dot!.

15.

Urban, Christian & Gavin Bierman. (2001). Strong Normalisation of Cut-Elimination in Classical Logic. Fundamenta Informaticae. 45(1). 123–155. 15 indexed citations

16.

Bierman, Gavin, et al.. (2001). Operational Properties of Lily, a Polymorphic Linear Lambda Calculus with Recursion. Electronic Notes in Theoretical Computer Science. 41(3). 70–88. 35 indexed citations

17.

Bierman, Gavin. (2000). Using XML as an Object Interchange Format. 12. 409–12. 2 indexed citations

18.

Bierman, Gavin. (1999). A classical linear λ-calculus. Theoretical Computer Science. 227(1-2). 43–78. 5 indexed citations

19.

Bierman, Gavin, et al.. (1998). Computational types from a logical perspective. Journal of Functional Programming. 8(2). 177–193. 55 indexed citations

20.

Bierman, Gavin. (1996). Towards a Classical Linear λ-calculus (Preliminary Report). Electronic Notes in Theoretical Computer Science. 3. 15–27. 3 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