The following pages link to Jan-Georg Smaus (Q2723917):
Displayed 21 items.
- (Q2723918) (← links)
- (Q2763644) (← links)
- (Q2763687) (← links)
- A Pretty Complete Combinatorial Algorithm for the Threshold Synthesis Problem (Q2870060) (← links)
- Büchi Automata Optimisations Formalised in Isabelle/HOL (Q2937399) (← links)
- Analysis of Polymorphically Typed Logic Programs Using ACI-Unification (Q2996168) (← links)
- (Q3152951) (← links)
- Construction of Büchi Automata for LTL Model Checking Verified in Isabelle/HOL (Q3183543) (← links)
- (Q3384162) (← links)
- On Boolean Functions Encodable as a Single Linear Pseudo-Boolean Constraint (Q3612425) (← links)
- Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate (Q3637254) (← links)
- (Q4409166) (← links)
- (Q4413066) (← links)
- Classes of terminating logic programs (Q4452620) (← links)
- Verifying termination and error-freedom of logic programs with <i>block</i> declarations (Q4452637) (← links)
- (Q4472446) (← links)
- Logic Programming (Q5191496) (← links)
- Termination of simply moded logic programs with dynamic scheduling (Q5277705) (← links)
- Logic Programming (Q5313208) (← links)
- Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL (Q5423882) (← links)
- Program Development in Computational Logic (Q5712539) (← links)