Koen Claessen

Available identifiers

zbMath Open claessen.koenDBLP74/2610WikidataQ83337657 ScholiaQ83337657MaRDI QIDQ438538

List of research outcomes

Publication	Date of Publication	Type
Handling transitive relations in first-order automated reasoning	2022-01-21	Paper
SAT modulo discrete event simulation applied to railway design capacity analysis	2021-12-08	Paper
Efficient encodings of first-order Horn formulas in equational logic	2018-10-18	Paper
Efficient parallel and incremental parsing of practical context-free languages	2017-10-23	Paper
Quick specifications for the busy programmer	2017-10-23	Paper
Generating constrained random data with uniform distribution	2017-10-23	Paper
Practical principled FRP: forget the past, change the future, FRPNow!	2017-05-10	Paper
SAT Modulo Intuitionistic Implications	2016-01-12	Paper
TIP: Tons of Inductive Problems	2015-11-20	Paper
Static contract checking for Haskell	2015-07-03	Paper
Efficient divide-and-conquer parsing of practical context-free languages	2015-03-30	Paper
Using circular programs for higher-order syntax	2015-03-30	Paper
HALO	2014-11-27	Paper
Hipster: Integrating Theory Exploration in a Proof Assistant	2014-08-07	Paper
Automating Inductive Proofs Using Theory Exploration	2013-06-14	Paper
Automated inference of finite unsatisfiability	2012-07-31	Paper
The TPTP Typed First-Order Form with Arithmetic	2012-06-15	Paper
Sort It Out with Monotonicity	2011-07-29	Paper
The Anatomy of Equinox – An Extensible Automated Reasoning Tool for First-Order Logic and Beyond	2011-07-29	Paper
Generating Counterexamples for Structural Inductions by Exploiting Nonstandard Models	2010-10-12	Paper
Testing Polymorphic Properties	2010-05-04	Paper
SAT-solving in practice, with a tutorial example from supervisory control	2010-01-18	Paper
Automated Inference of Finite Unsatisfiability	2009-07-28	Paper
A Faithful Semantics for Generalised Symbolic Trajectory Evaluation	2009-06-30	Paper
Using the TPTP Language for Writing Derivations and Finite Interpretations	2009-03-12	Paper
Finding Counter Examples in Induction Proofs	2008-04-24	Paper
Explaining Symbolic Trajectory Evaluation by Giving It a Faithful Semantics	2007-05-02	Paper
Formal Methods for Hardware Verification	2007-05-02	Paper
Correct Hardware Design and Verification Methods	2006-10-20	Paper
Formal Methods in Computer-Aided Design	2006-10-20	Paper
Correct Hardware Design and Verification Methods	2006-10-20	Paper
Formal Approaches to Software Testing	2005-12-02	Paper
FUNCTIONAL PEARL Parallel Parsing Processes	2005-03-21	Paper
https://portal.mardi4nfdi.de/entity/Q4787245	2003-01-09	Paper
A poor man's concurrency monad	2000-01-17	Paper

Research outcomes over time

This page was built for person: Koen Claessen