Dimitri Hendriks

According to our database, Dimitri Hendriks authored at least 40 papers between 2002 and 2020.

Collaborative distances:

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

2020

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

2018

Coinductive Foundations of Infinitary Rewriting and Infinitary Equational Logic.

Jörg Endrullis, Helle Hvid Hansen, Dimitri Hendriks, Andrew Polonsky, Alexandra Silva

Log. Methods Comput. Sci., 2018

2017

Clocked lambda calculus.

Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop, Andrew Polonsky

Math. Struct. Comput. Sci., 2017

Universality of Univariate Mixed Fractions in Divisive Meadows.

Jan A. Bergstra, Inge Bethke, Dimitri Hendriks

CoRR, 2017

2015

A Coinductive Framework for Infinitary Rewriting and Equational Reasoning (Extended Version).

Jörg Endrullis, Helle Hvid Hansen, Dimitri Hendriks, Andrew Polonsky, Alexandra Silva

CoRR, 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.

Jörg Endrullis, Helle Hvid Hansen, Dimitri Hendriks, Andrew Polonsky, Alexandra Silva

Proceedings of the 26th International Conference on Rewriting Techniques and Applications, 2015

Regularity Preserving but Not Reflecting Encodings.

Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks

Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015

The Degree of Squares is an Atom.

Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Hans Zantema

Proceedings of the Combinatorics on Words - 10th International Conference, 2015

2014

On the complexity of stream equality.

Jörg Endrullis, Dimitri Hendriks, Rena Bakhshi, Grigore Rosu

J. Funct. Program., 2014

Discriminating Lambda-Terms Using Clocked Boehm Trees

Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop, Andrew Polonsky

Log. Methods Comput. Sci., 2014

An Introduction to the Clocked Lambda Calculus.

Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop, Andrew Polonsky

CoRR, 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

On periodically iterated morphisms.

Jörg Endrullis, Dimitri Hendriks

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014

2013

Streams are Forever.

Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop

Bull. EATCS, 2013

A Coinductive Treatment of Infinitary Rewriting.

Jörg Endrullis, Helle Hvid Hansen, Dimitri Hendriks, Andrew Polonsky, Alexandra Silva

CoRR, 2013

Mix-Automatic Sequences.

Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks

Proceedings of the Language and Automata Theory and Applications, 2013

Circular Coinduction in Coq Using Bisimulation-Up-To Techniques.

Jörg Endrullis, Dimitri Hendriks, Martin Bodin

Proceedings of the Interactive Theorem Proving - 4th International Conference, 2013

Clocks for Functional Programs.

Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop, Andrew Polonsky

Proceedings of the Beauty of Functional Code, 2013

2012

Highlights in infinitary rewriting and lambda calculus.

Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop

Theor. Comput. Sci., 2012

Arithmetic Self-Similarity of Infinite Sequences.

Dimitri Hendriks, Frits Dannenberg, Jörg Endrullis, Mark Dow, Jan Willem Klop

CoRR, 2012

Automatic Sequences and Zip-Specifications.

Clemens Grabmayer, Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop, Lawrence S. Moss

Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, 2012

On the complexity of equivalence of specifications of infinite objects.

Jörg Endrullis, Dimitri Hendriks, Rena Bakhshi

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2012

2011

Lazy productivity via termination.

Jörg Endrullis, Dimitri Hendriks

Theor. Comput. Sci., 2011

Degrees of Streams.

Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop

Integers, 2011

2010

Productivity of stream definitions.

Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Ariya Isihara, Jan Willem Klop

Theor. Comput. Sci., 2010

Transforming Outermost into Context-Sensitive Rewriting

Jörg Endrullis, Dimitri Hendriks

Log. Methods Comput. Sci., 2010

Modular Construction of Fixed Point Combinators and Clocked Boehm Trees

Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop

CoRR, 2010

Unique Normal Forms in Infinitary Weakly Orthogonal Rewriting.

Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Jan Willem Klop, Vincent van Oostrom

Proceedings of the 21st International Conference on Rewriting Techniques and Applications, 2010

Modular Construction of Fixed Point Combinators and Clocked Bohm Trees.

Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop

Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, 2010

2009

Unique Normal Forms in Infinitary Weakly Orthogonal Term Rewriting

Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Jan Willem Klop

CoRR, 2009

Let's Make a Difference!

Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop

CoRR, 2009

From Outermost to Context-Sensitive Rewriting.

Jörg Endrullis, Dimitri Hendriks

Proceedings of the Rewriting Techniques and Applications, 20th International Conference, 2009

Complexity of Fractran and Productivity.

Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks

Proceedings of the Automated Deduction, 2009

2008

On the Mechanization of the Proof of Hessenberg's Theorem in Coherent Logic.

Marc Bezem, Dimitri Hendriks

J. Autom. Reason., 2008

Proving Infinitary Normalization.

Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Jan Willem Klop, Roel C. de Vrijer

Proceedings of the Types for Proofs and Programs, International Conference, 2008

Data-Oblivious Stream Productivity.

Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks

Proceedings of the Logic for Programming, 2008

2003

adbmal

Dimitri Hendriks, Vincent van Oostrom

Proceedings of the Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28, 2003

2002

Proof Reflection in Coq.

Dimitri Hendriks

J. Autom. Reason., 2002

Automated Proof Construction in Type Theory Using Resolution.

Marc Bezem, Dimitri Hendriks, Hans de Nivelle

J. Autom. Reason., 2002