Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Christoph Haase

Foundations for Decision Problems in Separation Logic With General Inductive Predicates

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Branching-Time Model Checking of Parametric One-Counter Automata

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Related publications

Effective Entailment Checking for Separation Logic With Inductive Definitions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Biabduction (And Related Problems) in Array Separation Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

Foundations of Decision-Making Agents - Logic, Probability and Modality

2008English

Representing Biases for Inductive Logic Programming

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1994English

Minimum and Maximum Predicates in Logic Programming

1991English

Quantitative Pharmacophore Models With Inductive Logic Programming

Machine Learning
Artificial IntelligenceSoftware
2006English

Inductive Equivalence in Clausal Logic and Nonmonotonic Logic Programming

Machine Learning
Artificial IntelligenceSoftware
2010English

Opaque Predicates, Veiled Sets and Their Logic

Contemporary Mathematics
Mathematics
1999English

Automatic Parallelization With Separation Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy