The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Brigitte Pientka: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Brigitte Pientka, Christoph Kreitz
    Instantiation of Existentially Quantified Variables in Inductive Specification Proofs. [Citation Graph (0, 0)][DBLP]
    AISC, 1998, pp:247-258 [Conf]
  2. Christoph Kreitz, Jens Otten, Stephan Schmitt, Brigitte Pientka
    Matrix-based Constructive Theorem Proving. [Citation Graph (0, 0)][DBLP]
    Intellectics and Computational Logic, 2000, pp:189-205 [Conf]
  3. Brigitte Pientka
    Termination and Reduction Checking for Higher-Order Logic Programs. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2001, pp:401-415 [Conf]
  4. Brigitte Pientka
    Tabling for Higher-Order Logic Programming. [Citation Graph (0, 0)][DBLP]
    CADE, 2005, pp:54-68 [Conf]
  5. Brigitte Pientka
    Eliminating Redundancy in Higher-Order Unification: A Lightweight Approach. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2006, pp:362-376 [Conf]
  6. Brigitte Pientka, Frank Pfenning
    Optimizing Higher-Order Pattern Unification. [Citation Graph (0, 0)][DBLP]
    CADE, 2003, pp:473-487 [Conf]
  7. Aleksandar Nanevski, Brigitte Pientka, Frank Pfenning
    A modal foundation for meta-variables. [Citation Graph (0, 0)][DBLP]
    MERLIN, 2003, pp:- [Conf]
  8. Brigitte Pientka
    A Proof-Theoretic Foundation for Tabled Higher-Order Logic Programming. [Citation Graph (0, 0)][DBLP]
    ICLP, 2002, pp:271-286 [Conf]
  9. Brigitte Pientka
    Higher-Order Substitution Tree Indexing. [Citation Graph (0, 0)][DBLP]
    ICLP, 2003, pp:377-391 [Conf]
  10. Brigitte Pientka
    Overcoming Performance Barriers: Efficient Verification Techniques for Logical Frameworks. [Citation Graph (0, 0)][DBLP]
    ICLP, 2006, pp:3-10 [Conf]
  11. Susmit Sarkar, Brigitte Pientka, Karl Crary
    Small Proof Witnesses for LF. [Citation Graph (0, 0)][DBLP]
    ICLP, 2005, pp:387-401 [Conf]
  12. Stefan Gerberding, Brigitte Pientka
    Structured Incremental Proof Planning. [Citation Graph (0, 0)][DBLP]
    KI, 1997, pp:63-74 [Conf]
  13. Christoph Kreitz, Brigitte Pientka
    Matrix-Based Inductive Theorem Proving. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2000, pp:294-308 [Conf]
  14. Brigitte Pientka
    Memoization-Based Proof Search in LF - an Experimental Evaluation of a Prototype. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:2, pp:- [Journal]
  15. Alberto Momigliano, Brigitte Pientka
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:174, n:5, pp:1-2 [Journal]
  16. Brigitte Pientka, Christoph Kreitz
    Automating Inductive Specification Proofs. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1999, v:39, n:1-2, pp:189-209 [Journal]
  17. Brigitte Pientka
    Verifying Termination and Reduction Properties about Higher-Order Logic Programs. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2005, v:34, n:2, pp:179-207 [Journal]
  18. Christoph Kreitz, Brigitte Pientka
    Connection-Driven Inductive Theorem Proving. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2001, v:69, n:2, pp:293-326 [Journal]
  19. Samuli Heilala, Brigitte Pientka
    Bidirectional Decision Procedures for the Intuitionistic Propositional Modal Logic IS4. [Citation Graph (0, 0)][DBLP]
    CADE, 2007, pp:116-131 [Conf]
  20. Brigitte Pientka
    Proof Pearl: The Power of Higher-Order Encodings in the Logical Framework LF. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 2007, pp:246-261 [Conf]
  21. Brigitte Pientka
    Functional Programming With Higher-order Abstract Syntax and Explicit Substitutions. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:174, n:7, pp:41-60 [Journal]

  22. Beluga: A Framework for Programming and Reasoning with Deductive Systems (System Description). [Citation Graph (, )][DBLP]


  23. Beluga: Programming with Dependent Types, Contextual Data, and Contexts. [Citation Graph (, )][DBLP]


  24. A type-theoretic foundation for programming with higher-order abstract syntax and first-class substitutions. [Citation Graph (, )][DBLP]


  25. Programming with proofs and explicit contexts. [Citation Graph (, )][DBLP]


  26. Reasoning with Higher-Order Abstract Syntax and Contexts: A Comparison. [Citation Graph (, )][DBLP]


  27. Focusing the Inverse Method for LF: A Preliminary Report. [Citation Graph (, )][DBLP]


  28. Preface. [Citation Graph (, )][DBLP]


  29. Case Analysis of Higher-Order Data. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002