Automated Proof Construction in Type Theory Using Resolution. - Marc Bezem; Dimitri Hendriks; Hans de Nivelle (J. Autom. Reason., 2002)

Proof Reflection in Coq. - Dimitri Hendriks (J. Autom. Reason., 2002)

adbmal - Dimitri Hendriks; Vincent van Oostrom (CADE, 2003)

Data-Oblivious Stream Productivity. - Jörg Endrullis; Clemens Grabmayer; Dimitri Hendriks (LPAR, 2008)

Proving Infinitary Normalization. - Jörg Endrullis; Clemens Grabmayer; Dimitri Hendriks; Jan Willem Klop; Roel C. de Vrijer (TYPES, 2008)

On the Mechanization of the Proof of Hessenberg's Theorem in Coherent Logic. - Marc Bezem; Dimitri Hendriks (J. Autom. Reason., 2008)

Complexity of Fractran and Productivity. - Jörg Endrullis; Clemens Grabmayer; Dimitri Hendriks (CADE, 2009)

From Outermost to Context-Sensitive Rewriting. - Jörg Endrullis; Dimitri Hendriks (RTA, 2009)

Let's Make a Difference! - Jörg Endrullis; Dimitri Hendriks; Jan Willem Klop (CoRR, 2009)

Unique Normal Forms in Infinitary Weakly Orthogonal Term Rewriting - Jörg Endrullis; Clemens Grabmayer; Dimitri Hendriks; Jan Willem Klop (CoRR, 2009)

Modular Construction of Fixed Point Combinators and Clocked Bohm Trees. - Jörg Endrullis; Dimitri Hendriks; Jan Willem Klop (LICS, 2010)

Unique Normal Forms in Infinitary Weakly Orthogonal Rewriting. - Jörg Endrullis; Clemens Grabmayer; Dimitri Hendriks; Jan Willem Klop; Vincent van Oostrom (RTA, 2010)

Modular Construction of Fixed Point Combinators and Clocked Boehm Trees - Jörg Endrullis; Dimitri Hendriks; Jan Willem Klop (CoRR, 2010)

Transforming Outermost into Context-Sensitive Rewriting - Jörg Endrullis; Dimitri Hendriks (Log. Methods Comput. Sci., 2010)

Productivity of stream definitions. - Jörg Endrullis; Clemens Grabmayer; Dimitri Hendriks; Ariya Isihara; Jan Willem Klop (Theor. Comput. Sci., 2010)

Degrees of Streams. - Jörg Endrullis; Dimitri Hendriks; Jan Willem Klop (Integers, 2011)

Lazy productivity via termination. - Jörg Endrullis; Dimitri Hendriks (Theor. Comput. Sci., 2011)

On the complexity of equivalence of specifications of infinite objects. - Jörg Endrullis; Dimitri Hendriks; Rena Bakhshi (ICFP, 2012)

Automatic Sequences and Zip-Specifications. - Clemens Grabmayer; Jörg Endrullis; Dimitri Hendriks; Jan Willem Klop; Lawrence S. Moss (LICS, 2012)

Arithmetic Self-Similarity of Infinite Sequences. - Dimitri Hendriks; Frits Dannenberg; Jörg Endrullis; Mark Dow; Jan Willem Klop (CoRR, 2012)

Highlights in infinitary rewriting and lambda calculus. - Jörg Endrullis; Dimitri Hendriks; Jan Willem Klop (Theor. Comput. Sci., 2012)

Clocks for Functional Programs. - Jörg Endrullis; Dimitri Hendriks; Jan Willem Klop; Andrew Polonsky (The Beauty of Functional Code, 2013)

Circular Coinduction in Coq Using Bisimulation-Up-To Techniques. - Jörg Endrullis; Dimitri Hendriks; Martin Bodin (ITP, 2013)

Mix-Automatic Sequences. - Jörg Endrullis; Clemens Grabmayer; Dimitri Hendriks (LATA, 2013)

A Coinductive Treatment of Infinitary Rewriting. - Jörg Endrullis; Helle Hvid Hansen; Dimitri Hendriks; Andrew Polonsky; Alexandra Silva 001 (CoRR, 2013)

Streams are Forever. - Jörg Endrullis; Dimitri Hendriks; Jan Willem Klop (Bull. EATCS, 2013)

On periodically iterated morphisms. - Jörg Endrullis; Dimitri Hendriks (CSL-LICS, 2014)

Infinitary Term Rewriting for Weakly Orthogonal Systems: Properties and Counterexamples. - Jörg Endrullis; Clemens Grabmayer; Dimitri Hendriks; Jan Willem Klop; Vincent van Oostrom (Log. Methods Comput. Sci., 2014)

An Introduction to the Clocked Lambda Calculus. - Jörg Endrullis; Dimitri Hendriks; Jan Willem Klop; Andrew Polonsky (CoRR, 2014)

Discriminating Lambda-Terms Using Clocked Boehm Trees - Jörg Endrullis; Dimitri Hendriks; Jan Willem Klop; Andrew Polonsky (Log. Methods Comput. Sci., 2014)

On the complexity of stream equality. - Jörg Endrullis; Dimitri Hendriks; Rena Bakhshi; Grigore Rosu (J. Funct. Program., 2014)

The Degree of Squares is an Atom. - Jörg Endrullis; Clemens Grabmayer; Dimitri Hendriks; Hans Zantema (WORDS, 2015)

Regularity Preserving but Not Reflecting Encodings. - Jörg Endrullis; Clemens Grabmayer; Dimitri Hendriks (LICS, 2015)

A Coinductive Framework for Infinitary Rewriting and Equational Reasoning. - Jörg Endrullis; Helle Hvid Hansen; Dimitri Hendriks; Andrew Polonsky; Alexandra Silva 001 (RTA, 2015)

The Degree of Squares is an Atom (Extended Version). - Jörg Endrullis; Clemens Grabmayer; Dimitri Hendriks; Hans Zantema (CoRR, 2015)

A Coinductive Framework for Infinitary Rewriting and Equational Reasoning (Extended Version). - Jörg Endrullis; Helle Hvid Hansen; Dimitri Hendriks; Andrew Polonsky; Alexandra Silva 001 (CoRR, 2015)

Universality of Univariate Mixed Fractions in Divisive Meadows. - Jan A. Bergstra; Inge Bethke; Dimitri Hendriks (CoRR, 2017)

Clocked lambda calculus. - Jörg Endrullis; Dimitri Hendriks; Jan Willem Klop; Andrew Polonsky (Math. Struct. Comput. Sci., 2017)

Coinductive Foundations of Infinitary Rewriting and Infinitary Equational Logic. - Jörg Endrullis; Helle Hvid Hansen; Dimitri Hendriks; Andrew Polonsky; Alexandra Silva 001 (Log. Methods Comput. Sci., 2018)

Applying transfer function-noise modelling to characterize soil moisture dynamics: a data-driven approach using remote sensing data. - Michiel Pezij; Denie C. M. Augustijn; Dimitri Hendriks; Suzanne Jacqueline Marie Hélène Hulscher (Environ. Model. Softw., 2020)