Jan-Georg Smaus

Available identifiers

Publication	Date of Publication	Type
An existence theorem of Nash equilibrium in Coq and Isabelle	2021-12-14	Paper
Termination of simply moded logic programs with dynamic scheduling	2017-07-12	Paper
Büchi automata optimisations formalised in Isabelle/HOL	2015-01-09	Paper
A pretty complete combinatorial algorithm for the threshold synthesis problem	2014-01-17	Paper
Analysis of polymorphically typed logic programs using ACI-unification	2011-05-06	Paper
Construction of Büchi Automata for LTL Model Checking Verified in Isabelle/HOL	2009-10-20	Paper
Logic Programming	2009-08-06	Paper
Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate	2009-07-07	Paper
On Boolean Functions Encodable as a Single Linear Pseudo-Boolean Constraint	2009-03-10	Paper
Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL	2007-11-01	Paper
Program Development in Computational Logic	2005-12-23	Paper
Logic Programming	2005-08-26	Paper
https://portal.mardi4nfdi.de/entity/Q4472446	2004-08-04	Paper
Classes of terminating logic programs	2004-03-01	Paper
Verifying termination and error-freedom of logic programs with block declarations	2004-03-01	Paper
https://portal.mardi4nfdi.de/entity/Q4413066	2003-07-17	Paper
https://portal.mardi4nfdi.de/entity/Q4409166	2003-06-30	Paper
https://portal.mardi4nfdi.de/entity/Q3152951	2002-11-03	Paper
https://portal.mardi4nfdi.de/entity/Q2763644	2002-01-21	Paper
https://portal.mardi4nfdi.de/entity/Q2763687	2002-01-21	Paper
https://portal.mardi4nfdi.de/entity/Q2723918	2001-07-08	Paper

This page was built for person: Jan-Georg Smaus