Jan-Georg Smaus

According to our database, Jan-Georg Smaus authored at least 40 papers between 1997 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Proving the Existence of Stable Assignments in Democratic Forking Using Isabelle/HOL.

Jan-Georg Smaus

Proceedings of the 25th Italian Conference on Theoretical Computer Science, 2024

2017

An Existence Theorem of Nash Equilibrium in Coq and Isabelle.

Stéphane Le Roux, Érik Martin-Dorel, Jan-Georg Smaus

Proceedings of the Proceedings Eighth International Symposium on Games, 2017

2015

Abstracting an Operational Semantics to Finite Automata.

Nadezhda Baklanova, Wilmer Ricciotti, Jan-Georg Smaus, Martin Strecker

Proceedings of the Information and Communication Technologies in Education, Research, and Industrial Applications, 2015

Büchi Automata Optimisations Formalised in Isabelle/HOL.

Alexander Schimpf, Jan-Georg Smaus

Proceedings of the Logic and Its Applications - 6th Indian Conference, 2015

2014

A Fully Verified Executable LTL Model Checker.

Javier Esparza, Peter Lammich, René Neumann, Tobias Nipkow, Alexander Schimpf, Jan-Georg Smaus

Arch. Formal Proofs, 2014

2013

A Pretty Complete Combinatorial Algorithm for the Threshold Synthesis Problem.

Christian Schilling, Jan-Georg Smaus, Fabian Wenzelmann

Proceedings of the Combinatorial Algorithms - 24th International Workshop, 2013

2012

Implementations of two algorithms for the threshold synthesis problem.

Jan-Georg Smaus, Christian Schilling, Fabian Wenzelmann

Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2012

2010

Reports of the AAAI 2010 Conference Workshops.

David W. Aha, Mark S. Boddy, Vadim Bulitko, Artur S. d'Avila Garcez, Prashant Doshi, Stefan Edelkamp, Christopher W. Geib, Piotr J. Gmytrasiewicz, Robert P. Goldman, Pascal Hitzler, Charles L. Isbell Jr., Darsana P. Josyula, Leslie Pack Kaelbling, Kristian Kersting, Maithilee Kunda, Luís C. Lamb, Bhaskara Marthi, Keith McGreggor, Vivi Nastase, Gregory M. Provan, Anita Raja, Ashwin Ram, Mark O. Riedl, Stuart Russell, Ashish Sabharwal, Jan-Georg Smaus, Gita Sukthankar, Karl Tuyls, Ron van der Meyden, Alon Y. Halevy, Lilyana Mihalkova, Sriraam Natarajan

AI Mag., 2010

Automated Invariant Generation for the Verification of Real-Time Systems.

Bahareh Badban, Stefan Leue, Jan-Georg Smaus

Proceedings of the Second International Workshop on Invariant Generation, 2010

2009

Automated Predicate Abstraction for Real-Time Models

Bahareh Badban, Stefan Leue, Jan-Georg Smaus

Proceedings of the Proceedings International Workshop on Verification of Infinite-State Systems, 2009

Construction of Büchi Automata for LTL Model Checking Verified in Isabelle/HOL.

Alexander Schimpf, Stephan Merz, Jan-Georg Smaus

Proceedings of the Theorem Proving in Higher Order Logics, 22nd International Conference, 2009

Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate.

Stefan Ratschan, Jan-Georg Smaus

Proceedings of the Tests and Proofs - 3rd International Conference, 2009

2008

Relaxation Refinement: A New Method to Generate Heuristic Functions.

Jan-Georg Smaus, Jörg Hoffmann

Proceedings of the Model Checking and Artificial Intelligence, 5th International Workshop, 2008

2007

On Boolean Functions Encodable as a Single Linear Pseudo-Boolean Constraint.

Jan-Georg Smaus

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2007

2006

Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL.

Jörg Hoffmann, Jan-Georg Smaus, Andrey Rybalchenko, Sebastian Kupferschmid, Andreas Podelski

Proceedings of the Model Checking and Artificial Intelligence, 4th Workshop, 2006

Verification-Integrated Falsification of non-Deterministic Hybrid Systems.

Stefan Ratschan, Jan-Georg Smaus

Proceedings of the 2nd IFAC Conference on Analysis and Design of Hybrid Systems, 2006

2004

Termination of simply moded logic programs with dynamic scheduling.

Annalisa Bossi, Sandro Etalle, Sabina Rossi, Jan-Georg Smaus

ACM Trans. Comput. Log., 2004

Characterisations of Termination in Logic Programming.

Dino Pedreschi, Salvatore Ruggieri, Jan-Georg Smaus

Proceedings of the Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development, 2004

Termination of Logic Programs Using Various Dynamic Selection Rules.

Jan-Georg Smaus

Proceedings of the Logic Programming, 20th International Conference, 2004

2003

Termination of Logic Programs for Various Dynamic Selection Rules.

Jan-Georg Smaus

Proceedings of the Logic Programming, 19th International Conference, 2003

Is There an Optimal Generic Semantics for First-Order Equations?.

Jan-Georg Smaus

Proceedings of the Logic Programming, 19th International Conference, 2003

2002

Classes of terminating logic programs.

Dino Pedreschi, Salvatore Ruggieri, Jan-Georg Smaus

Theory Pract. Log. Program., 2002

Subject Reduction of Logic Programs as Proof-Theoretic Property.

Pierre Deransart, Jan-Georg Smaus

J. Funct. Log. Program., 2002

MultiMedia Instruction in Safe and Secure Systems.

Bernd Krieg-Brückner, Dieter Hutter, Arne Lindow, Christoph Lüth, Achim Mahnke, Erica Melis, Philipp Meier, Arnd Poetzsch-Heffter, Markus Roggenbach, George Russell, Jan-Georg Smaus, Martin Wirsing

Proceedings of the Recent Trends in Algebraic Development Techniques, 2002

The Head Condition and Polymorphic Recursion.

Jan-Georg Smaus

Proceedings of the Functional and Logic Programming, 6th International Symposium, 2002

2001

Verifying Termination and Error-Freedom of Logic Programs with <tt>block</tt> Declarations.

Jan-Georg Smaus, Patricia M. Hill, Andy King

Theory Pract. Log. Program., 2001

Analysis of Polymorphically Typed Logic Programs Using ACI-Unification.

Jan-Georg Smaus

Proceedings of the Logic for Programming, 2001

Well-Typed Logic Programs Are not Wrong.

Pierre Deransart, Jan-Georg Smaus

Proceedings of the Functional and Logic Programming, 5th International Symposium, 2001

Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling.

Annalisa Bossi, Sandro Etalle, Sabina Rossi, Jan-Georg Smaus

Proceedings of the Programming Languages and Systems, 2001

2000

Verifying Termination and Error-Freedom of Logic Programs with block Declarations

Jan-Georg Smaus, Patricia M. Hill, Andy King

CoRR, 2000

Les programmes bien typés ont tout bon.

Pierre Deransart, Jan-Georg Smaus

Proceedings of the Programmation en logique avec contraintes, 2000

Using Modes to Ensure Subject Reduction for Typed Logic Programs with Subtyping.

Jan-Georg Smaus, François Fages, Pierre Deransart

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 2000

1999

Modes and types in logic programming.

Jan-Georg Smaus

PhD thesis, 1999

Preface - Workshop on Verification of Logic Programs.

Sandro Etalle, Jan-Georg Smaus

Proceedings of the Workshop on Verification of Logic Programs 1999, 1999

Mode Analysis Domains for Typed Logic Programs.

Jan-Georg Smaus, Patricia M. Hill, Andy King

Proceedings of the Logic Programming Synthesis and Transformation, 1999

Proving Termination of Input-Consuming Logic Programs.

Jan-Georg Smaus

Proceedings of the Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29, 1999

Quotienting <i>Share</i> for Dependency Analysis.

Andy King, Jan-Georg Smaus, Patricia M. Hill

Proceedings of the Programming Languages and Systems, 1999

1998

Termination of Logic Programs with block Declarations Running in Several Modes.

Jan-Georg Smaus, Patricia M. Hill, Andy King

Proceedings of the Principles of Declarative Programming, 10th International Symposium, 1998

Preventing Instantiation Errors and Loops for Logic Programs with Multiple Modes Using block Declarations.

Jan-Georg Smaus, Patricia M. Hill, Andy King

Proceedings of the Logic Programming Synthesis and Transformation, 1998

1997

Domain Construction for Mode Analysis of Typed Logic Programs.

Jan-Georg Smaus, Patricia M. Hill, Andy King

Proceedings of the Logic Programming, 1997