Concepedia

Brigitte Pientka

BP

28

Publications

1.1K

Citations

17

H-Index

2003

Active since

Affiliations

McGill University(Current)

Carnegie Mellon University

University of Milan

Ludwig-Maximilians-Universität München

Swansea University

Brigitte Pientka is an author at McGill University specializing in automated reasoning, engineering, and formal methods.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationProgram AnalysisSemanticsVerificationLanguageLinguistics

Publications per year

2003–2023

28

Publications

28

Contextual modal type theory

Aleksandar Nanevski, Frank Pfenning, Brigitte Pientka · ACM Transactions on Computational Logic · 2008 · 257 citations

Non-classical Logic, Logical Frameworks, Engineering +13

A type-theoretic foundation for programming with higher-order abstract syntax and first-class substitutions

Brigitte Pientka · 2008 · 120 citations

Engineering, Type Theory, Semantics +23

Andreas Abel, Brigitte Pientka, David Thibodeau et al. · 2013 · 103 citations

Finite Data, Programming Language Theory, Declarative Programming +12

Programming with proofs and explicit contexts

Brigitte Pientka, Jana Dunfield · 2008 · 72 citations

Engineering, Operational Semantics, Automated Reasoning +15

Wellfounded recursion with copatterns

Andreas Abel, Brigitte Pientka · 2013 · 69 citations

Combinatorics On Word, Engineering, Automated Reasoning +12

Rows per page

1–5 of 28