Dimitri Hendriks

Publication Activity (10 Years)

Years Active: 2000-2020
Publications (10 Years): 5

Top Topics

Lambda Calculus

Functional Programs

Top Venues

Log. Methods Comput. Sci.

The Beauty of Functional Code

Publications

Michiel Pezij, Denie C. M. Augustijn, Dimitri Hendriks, Suzanne Jacqueline Marie Hélène Hulscher
Applying transfer function-noise modelling to characterize soil moisture dynamics: a data-driven approach using remote sensing data. Environ. Model. Softw. 131 (2020)
Jörg Endrullis, Helle Hvid Hansen, Dimitri Hendriks, Andrew Polonsky, Alexandra Silva
Coinductive Foundations of Infinitary Rewriting and Infinitary Equational Logic. Log. Methods Comput. Sci. 14 (1) (2018)
Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop, Andrew Polonsky
Clocked lambda calculus. Math. Struct. Comput. Sci. 27 (5) (2017)
Jörg Endrullis, Helle Hvid Hansen, Dimitri Hendriks, Andrew Polonsky, Alexandra Silva
Coinductive Foundations of Infinitary Rewriting and Infinitary Equational Logic. CoRR (2017)
Jan A. Bergstra, Inge Bethke, Dimitri Hendriks
Universality of Univariate Mixed Fractions in Divisive Meadows. CoRR (2017)
Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks
Regularity Preserving but not Reflecting Encodings. CoRR (2015)
Jörg Endrullis, Helle Hvid Hansen, Dimitri Hendriks, Andrew Polonsky, Alexandra Silva
A Coinductive Framework for Infinitary Rewriting and Equational Reasoning. RTA (2015)
Jörg Endrullis, Helle Hvid Hansen, Dimitri Hendriks, Andrew Polonsky, Alexandra Silva
A Coinductive Framework for Infinitary Rewriting and Equational Reasoning (Extended Version). CoRR (2015)
Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks
Regularity Preserving but Not Reflecting Encodings. LICS (2015)
Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Hans Zantema
The Degree of Squares is an Atom (Extended Version). CoRR (2015)
Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Hans Zantema
The Degree of Squares is an Atom. WORDS (2015)
Jörg Endrullis, Dimitri Hendriks
On periodically iterated morphisms. CSL-LICS (2014)
Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop, Andrew Polonsky
An Introduction to the Clocked Lambda Calculus. CoRR (2014)
Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop, Andrew Polonsky
Discriminating Lambda-Terms Using Clocked Boehm Trees Log. Methods Comput. Sci. 10 (2) (2014)
Jörg Endrullis, Dimitri Hendriks, Rena Bakhshi, Grigore Rosu
On the complexity of stream equality. J. Funct. Program. 24 (2-3) (2014)
Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Jan Willem Klop, Vincent van Oostrom
Infinitary Term Rewriting for Weakly Orthogonal Systems: Properties and Counterexamples. Log. Methods Comput. Sci. 10 (2) (2014)
Jörg Endrullis, Helle Hvid Hansen, Dimitri Hendriks, Andrew Polonsky, Alexandra Silva
A Coinductive Treatment of Infinitary Rewriting. CoRR (2013)
Jörg Endrullis, Dimitri Hendriks, Martin Bodin
Circular Coinduction in Coq Using Bisimulation-Up-To Techniques. ITP (2013)
Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks
Mix-Automatic Sequences. LATA (2013)
Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop
Streams are Forever. Bull. EATCS 109 (2013)
Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop, Andrew Polonsky
Clocks for Functional Programs. The Beauty of Functional Code (2013)
Jörg Endrullis, Dimitri Hendriks, Rena Bakhshi
On the complexity of equivalence of specifications of infinite objects. ICFP (2012)
Jörg Endrullis, Dimitri Hendriks, Rena Bakhshi
On the Complexity of Equivalence of Specifications of Infinite Objects CoRR (2012)
Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop
Highlights in infinitary rewriting and lambda calculus. Theor. Comput. Sci. 464 (2012)
Clemens Grabmayer, Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop, Lawrence S. Moss
Automatic Sequences and Zip-Specifications CoRR (2012)
Dimitri Hendriks, Frits Dannenberg, Jörg Endrullis, Mark Dow, Jan Willem Klop
Arithmetic Self-Similarity of Infinite Sequences. CoRR (2012)
Clemens Grabmayer, Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop, Lawrence S. Moss
Automatic Sequences and Zip-Specifications. LICS (2012)
Jörg Endrullis, Dimitri Hendriks
On Periodically Iterated Morphisms CoRR (2012)
Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop
Degrees of Streams. Integers (2011)
Jörg Endrullis, Dimitri Hendriks
Lazy productivity via termination. Theor. Comput. Sci. 412 (28) (2011)
Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop
Modular Construction of Fixed Point Combinators and Clocked Bohm Trees. LICS (2010)
Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Jan Willem Klop, Vincent van Oostrom
Unique Normal Forms in Infinitary Weakly Orthogonal Rewriting. RTA (2010)
Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Ariya Isihara, Jan Willem Klop
Productivity of stream definitions. Theor. Comput. Sci. 411 (4-5) (2010)
Jörg Endrullis, Dimitri Hendriks
Transforming Outermost into Context-Sensitive Rewriting Log. Methods Comput. Sci. 6 (2) (2010)
Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop
Modular Construction of Fixed Point Combinators and Clocked Boehm Trees CoRR (2010)
Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop
Let's Make a Difference! CoRR (2009)
Jörg Endrullis, Dimitri Hendriks
From Outermost to Context-Sensitive Rewriting. RTA (2009)
Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks
Complexity of Fractran and Productivity. CADE (2009)
Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks
Complexity of Fractran and Productivity CoRR (2009)
Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Jan Willem Klop
Unique Normal Forms in Infinitary Weakly Orthogonal Term Rewriting CoRR (2009)
Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks
Data-Oblivious Stream Productivity. LPAR (2008)
Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks
Data-Oblivious Stream Productivity CoRR (2008)
Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Jan Willem Klop, Roel C. de Vrijer
Proving Infinitary Normalization. TYPES (2008)
Marc Bezem, Dimitri Hendriks
On the Mechanization of the Proof of Hessenberg's Theorem in Coherent Logic. J. Autom. Reason. 40 (1) (2008)
Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Ariya Isihara, Jan Willem Klop
Productivity of Stream Definitions. FCT (2007)
Dimitri Hendriks, Vincent van Oostrom
adbmal CADE (2003)
Marc Bezem, Dimitri Hendriks, Hans de Nivelle
Automated Proof Construction in Type Theory Using Resolution. J. Autom. Reason. 29 (3-4) (2002)
Dimitri Hendriks
Proof Reflection in Coq. J. Autom. Reason. 29 (3-4) (2002)
Marc Bezem, Dimitri Hendriks, Hans de Nivelle
Automated Proof Construction in Type Theory Using Resolution. CADE (2000)