Brigitte Pientka

1.7k total citations
53 papers, 582 citations indexed

About

Brigitte Pientka is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Information Systems. According to data from OpenAlex, Brigitte Pientka has authored 53 papers receiving a total of 582 indexed citations (citations by other indexed papers that have themselves been cited), including 49 papers in Artificial Intelligence, 33 papers in Computational Theory and Mathematics and 11 papers in Information Systems. Recurrent topics in Brigitte Pientka's work include Logic, programming, and type systems (49 papers), Logic, Reasoning, and Knowledge (35 papers) and Formal Methods in Verification (30 papers). Brigitte Pientka is often cited by papers focused on Logic, programming, and type systems (49 papers), Logic, Reasoning, and Knowledge (35 papers) and Formal Methods in Verification (30 papers). Brigitte Pientka collaborates with scholars based in Canada, United States and Germany. Brigitte Pientka's co-authors include Frank Pfenning, Aleksandar Nanevski, Andreas Abel, Jana Dunfield, Anton Setzer, Alberto Momigliano, Amy Felty, Stefan Monnier, Prakash Panangaden and Christoph Kreitz and has published in prestigious journals such as SHILAP Revista de lepidopterología, ACM SIGPLAN Notices and Journal of Functional Programming.

In The Last Decade

Brigitte Pientka

47 papers receiving 558 citations

Peers — A (Enhanced Table)

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

Name h Career Trend Papers Cites
Brigitte Pientka Canada 12 558 359 104 65 57 53 582
Stuart F. Allen United States 6 552 1.0× 398 1.1× 67 0.6× 84 1.3× 67 1.2× 10 618
J. B. Wells United States 13 501 0.9× 311 0.9× 139 1.3× 44 0.7× 89 1.6× 45 528
Cezary Kaliszyk Austria 11 294 0.5× 175 0.5× 53 0.5× 29 0.4× 45 0.8× 48 343
W. R. Cleaveland United States 4 426 0.8× 316 0.9× 48 0.5× 60 0.9× 61 1.1× 6 481
Douglas J. Howe United States 8 673 1.2× 486 1.4× 64 0.6× 91 1.4× 74 1.3× 14 727
G. Huet France 5 458 0.8× 302 0.8× 56 0.5× 41 0.6× 32 0.6× 6 501
Janis Voigtländer Germany 12 318 0.6× 172 0.5× 88 0.8× 66 1.0× 52 0.9× 38 348
Varmo Vene Estonia 11 251 0.4× 177 0.5× 37 0.4× 51 0.8× 37 0.6× 27 294
N. P. Mendler United Kingdom 5 542 1.0× 408 1.1× 55 0.5× 66 1.0× 62 1.1× 6 594
James McKinna United Kingdom 11 439 0.8× 256 0.7× 95 0.9× 87 1.3× 54 0.9× 42 481

Countries citing papers authored by Brigitte Pientka

Since Specialization
Citations

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

Fields of papers citing papers by Brigitte Pientka

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Brigitte Pientka

This figure shows the co-authorship network connecting the top 25 collaborators of Brigitte Pientka. A scholar is included among the top collaborators of Brigitte Pientka 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 Brigitte Pientka. Brigitte Pientka 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.
Pientka, Brigitte, et al.. (2025). A Dependent Type Theory for Meta-programming with Intensional Analysis. Proceedings of the ACM on Programming Languages. 9(POPL). 416–445.
2.
Pientka, Brigitte, et al.. (2025). McTT: A Verified Kernel for a Proof Assistant. Proceedings of the ACM on Programming Languages. 9(ICFP). 190–221.
3.
Pientka, Brigitte, et al.. (2023). Semi-Automation of Meta-Theoretic Proofs in Beluga. Electronic Proceedings in Theoretical Computer Science. 396. 20–35. 1 indexed citations
4.
Pientka, Brigitte, et al.. (2023). Normalization by evaluation for modal dependent type theory. Journal of Functional Programming. 33. 3 indexed citations
5.
Pientka, Brigitte, et al.. (2023). A Categorical Normalization Proof for the Modal Lambda-Calculus. Volume 1 - Proceedings of.... 2 indexed citations
6.
Pientka, Brigitte, et al.. (2023). Mechanizing Session-Types using a Structural View: Enforcing Linearity without Linearity. Proceedings of the ACM on Programming Languages. 7(OOPSLA2). 374–399. 2 indexed citations
7.
Monnier, Stefan, et al.. (2022). Mœbius: metaprogramming using contextual types: the stage where system f can pattern match on itself. Proceedings of the ACM on Programming Languages. 6(POPL). 1–27. 13 indexed citations
8.
Abel, Andreas, et al.. (2019). POPLMark reloaded: Mechanizing proofs by logical relations. Journal of Functional Programming. 29. 12 indexed citations
9.
Pientka, Brigitte, et al.. (2019). Teaching the art of functional programming using automated grading (experience report). Proceedings of the ACM on Programming Languages. 3(ICFP). 1–15. 9 indexed citations
10.
Pientka, Brigitte & Frank Pfenning. (2018). Termination and Reduction Checking in the Logical Framework. Research Showcase @ Carnegie Mellon University (Carnegie Mellon University).
11.
Abel, Andreas & Brigitte Pientka. (2016). Well-founded recursion with copatterns and sized types. Journal of Functional Programming. 26. 17 indexed citations
12.
Pientka, Brigitte, et al.. (2016). Indexed codata types. 351–363. 2 indexed citations
13.
Panangaden, Prakash, et al.. (2014). Fair reactive programming. ACM SIGPLAN Notices. 49(1). 361–372. 2 indexed citations
14.
Abel, Andreas & Brigitte Pientka. (2013). Wellfounded recursion with copatterns. Chalmers Research (Chalmers University of Technology). 185–196. 29 indexed citations
15.
Pientka, Brigitte, et al.. (2012). Programming with binders and indexed data-types. 413–424. 18 indexed citations
16.
Abel, Andreas & Brigitte Pientka. (2010). Explicit Substitutions for Contextual Type Theory. SHILAP Revista de lepidopterología. 34. 5–20.
17.
Pientka, Brigitte. (2009). Higher-order term indexing using substitution trees. ACM Transactions on Computational Logic. 11(1). 1–40. 7 indexed citations
18.
Dunfield, Jana & Brigitte Pientka. (2009). Case Analysis of Higher-Order Data. Electronic Notes in Theoretical Computer Science. 228. 69–84. 9 indexed citations
19.
20.
Pientka, Brigitte. (2002). Memoization-Based Proof Search in LF. Electronic Notes in Theoretical Computer Science. 70(2). 110–123. 1 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 Stuart F. Allen Breakdown of academic impact, for papers by J. B. Wells Breakdown of academic impact, for papers by Cezary Kaliszyk Breakdown of academic impact, for papers by W. R. Cleaveland Breakdown of academic impact, for papers by Douglas J. Howe Breakdown of academic impact, for papers by G. Huet Breakdown of academic impact, for papers by Janis Voigtländer Breakdown of academic impact, for papers by Varmo Vene Breakdown of academic impact, for papers by N. P. Mendler Breakdown of academic impact, for papers by James McKinna
Rankless by CCL
2026