Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Cristian Gherghina
A Specialization Calculus for Pruning Disjunctive Predicates to Support Verification
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Controlling Polyvariance for Specialization-Based Verification
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Extending Pruning Techniques to Polymorphic Second Order Λ-Calculus
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Verification Condition Generation for Permission Logics With Abstract Predicates and Abstraction Functions
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Verification Support Environment
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Reducing Disjunctive to Non-Disjunctive Semantics by Shift-Operations
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
BProVe: Tool Support for Business Process Verification
Equivalences for Truth Predicates
Review of Symbolic Logic
Mathematics
Philosophy
Logic
Dag-Calculus: A Calculus for Parallel Computation
Inductive Verification of Hybrid Automata With Strongest Postcondition Calculus
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science