Dimitri Hendriks
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
8
Active years
2000–2015
Best venue rank
A*
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | LICS | Regularity Preserving but Not Reflecting Encodings. | Jrg Endrullis, Clemens Grabmayer, Dimitri Hendriks |
| 2014 | CSL | On periodically iterated morphisms. | Jrg Endrullis, Dimitri Hendriks |
| 2013 | ITP | Circular Coinduction in Coq Using Bisimulation-Up-To Techniques. | Jrg Endrullis, Dimitri Hendriks, Martin Bodin |
| 2013 | LATA | Mix-Automatic Sequences. | Jrg Endrullis, Clemens Grabmayer, Dimitri Hendriks |
| 2012 | ICFP | On the complexity of equivalence of specifications of infinite objects. | Jrg Endrullis, Dimitri Hendriks, Rena Bakhshi |
| 2012 | LICS | Automatic Sequences and Zip-Specifications. | Clemens Grabmayer, Jrg Endrullis, Dimitri Hendriks, Jan Willem Klop, Lawrence S. Moss |
| 2010 | LICS | Modular Construction of Fixed Point Combinators and Clocked Bohm Trees. | Jrg Endrullis, Dimitri Hendriks, Jan Willem Klop |
| 2009 | CADE | Complexity of Fractran and Productivity. | Jrg Endrullis, Clemens Grabmayer, Dimitri Hendriks |
| 2008 | LPAR | Data-Oblivious Stream Productivity. | Jrg Endrullis, Clemens Grabmayer, Dimitri Hendriks |
| 2007 | FCT | Productivity of Stream Definitions. | Jrg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Ariya Isihara, Jan Willem Klop |
| 2003 | CADE | adbmal | Dimitri Hendriks, Vincent van Oostrom |
| 2000 | CADE | Automated Proof Construction in Type Theory Using Resolution. | Marc Bezem, Dimitri Hendriks, Hans de Nivelle |