☰

Brigitte Pientka, Ph.D.

Affiliations: 
2003 Carnegie Mellon University, Pittsburgh, PA 
Area:
Computer Science, Robotics
Google:
"Brigitte Pientka"
Tree Publications Similar researchers PubMed Report error

Parents

Sign in to add mentor
Frank Pfenning grad student 2003 Carnegie Mellon
 (Tabled higher-order logic programming.)

Children

Sign in to add trainee

Collaborators

Sign in to add collaborator
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Momigliano A, Pientka B, Thibodeau D. (2019) A case study in programming coinductive proofs: Howe's method Mathematical Structures in Computer Science. 29: 1309-1343
Abel A, Allais G, Hameer A, et al. (2019) POPLMark reloaded: Mechanizing proofs by logical relations Journal of Functional Programming. 29: 1-43
Cave A, Pientka B. (2018) Mechanizing proofs with logical relations – Kripke-style Mathematical Structures in Computer Science. 28: 1606-1638
Felty AP, Momigliano A, Pientka B. (2017) Benchmarks for reasoning with syntax trees containing binders and contexts of assumptions Mathematical Structures in Computer Science. 28: 1507-1540
Felty A, Momigliano A, Pientka B. (2016) An open challenge problem repository for systems supporting binders Electronic Proceedings in Theoretical Computer Science, Eptcs. 185: 18-32
ABEL A, PIENTKA B. (2016) Well-founded recursion with copatterns and sized types Journal of Functional Programming
Belanger OS, Monnier S, Pientka B. (2015) Programming type-safe transformations using higher-order abstract syntax Journal of Formalized Reasoning. 8: 49-91
Pientka B, Abel A. (2015) Well-founded recursion over contextual objects Leibniz International Proceedings in Informatics, Lipics. 38: 273-287
Cave A, Pientka B. (2015) A case study on logical relations using contextual types Electronic Proceedings in Theoretical Computer Science, Eptcs. 185: 33-45
Felty AP, Momigliano A, Pientka B. (2015) The Next 700 Challenge Problems for Reasoning with Higher-Order Abstract Syntax Representations: Part 2—A Survey Journal of Automated Reasoning. 55: 307-372
See more...