Jan-Georg Smaus

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
An existence theorem of Nash equilibrium in Coq and Isabelle	2021-12-14	Paper
An existence theorem of Nash equilibrium in Coq and Isabelle (available as arXiv preprint)	2021-12-14	Paper
Termination of simply moded logic programs with dynamic scheduling ACM Transactions on Computational Logic	2017-07-12	Paper
Büchi automata optimisations formalised in Isabelle/HOL Logic and Its Applications	2015-01-09	Paper
A pretty complete combinatorial algorithm for the threshold synthesis problem Lecture Notes in Computer Science	2014-01-17	Paper
Analysis of polymorphically typed logic programs using ACI-unification Logic for Programming, Artificial Intelligence, and Reasoning	2011-05-06	Paper
Construction of Büchi Automata for LTL Model Checking Verified in Isabelle/HOL Lecture Notes in Computer Science	2009-10-20	Paper
Logic Programming Lecture Notes in Computer Science	2009-08-06	Paper
Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate Tests and Proofs	2009-07-07	Paper
On Boolean Functions Encodable as a Single Linear Pseudo-Boolean Constraint Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems	2009-03-10	Paper
Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL Model Checking and Artificial Intelligence	2007-11-01	Paper
Program Development in Computational Logic Lecture Notes in Computer Science	2005-12-23	Paper
Logic Programming Lecture Notes in Computer Science	2005-08-26	Paper
scientific article; zbMATH DE number 2080204 (Why is no real title available?)	2004-08-04	Paper
Classes of terminating logic programs Theory and Practice of Logic Programming	2004-03-01	Paper
Verifying termination and error-freedom of logic programs with block declarations Theory and Practice of Logic Programming	2004-03-01	Paper
scientific article; zbMATH DE number 1950451 (Why is no real title available?)	2003-07-17	Paper
scientific article; zbMATH DE number 1942464 (Why is no real title available?)	2003-06-30	Paper
scientific article; zbMATH DE number 1822447 (Why is no real title available?)	2002-11-03	Paper
scientific article; zbMATH DE number 1692902 (Why is no real title available?)	2002-01-21	Paper
scientific article; zbMATH DE number 1692954 (Why is no real title available?)	2002-01-21	Paper
scientific article; zbMATH DE number 1615253 (Why is no real title available?)	2001-07-08	Paper

Research outcomes over time

This page was built for person: Jan-Georg Smaus