Travelled to:1 × Austria
1 × Brazil
1 × Canada
1 × Croatia
1 × Denmark
1 × Japan
1 × Poland
1 × Spain
2 × USA
2 × United Kingdom
Collaborated with:J.Endrullis C.Grabmayer J.W.Klop V.v.Oostrom R.Bakhshi M.Bezem H.d.Nivelle H.H.Hansen A.Polonsky A.Silva L.S.Moss
Talks about:rewrit (3) infinitari (2) construct (2) sequenc (2) complex (2) automat (2) specif (2) outermost (1) framework (1) orthogon (1)
Person: Dimitri Hendriks
DBLP: Hendriks:Dimitri
Contributed to:
2015
20152014
2013
2012201220102010
2009200920032000Wrote 12 papers:
- LICS-2015-EndrullisGH #encoding
- Regularity Preserving but Not Reflecting Encodings (JE, CG, DH), pp. 535–546.
- RTA-2015-EndrullisHHP0 #equation #framework #induction #reasoning
- A Coinductive Framework for Infinitary Rewriting and Equational Reasoning (JE, HHH, DH, AP, AS), pp. 143–159.
- LICS-CSL-2014-EndrullisH #morphism #on the
- On periodically iterated morphisms (JE, DH), p. 10.
- LATA-2013-EndrullisGH #sequence
- Mix-Automatic Sequences (JE, CG, DH), pp. 262–274.
- ICFP-2012-EndrullisHB #complexity #equivalence #infinity #on the #specification
- On the complexity of equivalence of specifications of infinite objects (JE, DH, RB), pp. 153–164.
- LICS-2012-GrabmayerEHKM #automation #sequence
- Automatic Sequences and Zip-Specifications (CG, JE, DH, JWK, LSM), pp. 335–344.
- LICS-2010-EndrullisHK #combinator #composition #fixpoint
- Modular Construction of Fixed Point Combinators and Clocked Bohm Trees (JE, DH, JWK), pp. 111–119.
- RTA-2010-EndrullisGHKO #normalisation #orthogonal
- Unique Normal Forms in Infinitary Weakly Orthogonal Rewriting (JE, CG, DH, JWK, VvO), pp. 85–102.
- CADE-2009-EndrullisGH #complexity
- Complexity of Fractran and Productivity (JE, CG, DH), pp. 371–387.
- RTA-2009-EndrullisH
- From Outermost to Context-Sensitive Rewriting (JE, DH), pp. 305–319.
- CADE-2003-HendriksO
- adbmal (DH, VvO), pp. 136–150.
- CADE-2000-BezemHN #automation #proving #type system #using
- Automated Proof Construction in Type Theory Using Resolution (MB, DH, HdN), pp. 148–163.