Dimitri Hendriks

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