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
Generating constrained random data with uniform distribution	2017-10-23	Paper
Quick specifications for the busy programmer	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
The Anatomy of Equinox – An Extensible Automated Reasoning Tool for First-Order Logic and Beyond	2011-07-29	Paper
Sort It Out with Monotonicity	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
Formal Methods in Computer-Aided Design	2006-10-20	Paper
Correct Hardware Design and Verification Methods	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Koen Claessen