Jrg Endrullis
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
17
Venues
11
Active years
2006–2017
Best venue rank
A*
Where they publish
Papers
17 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | DLT | Undecidability and Finite Automata. | Jrg Endrullis, Jeffrey O. Shallit, Tim Smith |
| 2016 | DLT | Degrees of Infinite Words, Polynomials and Atoms. | Jrg Endrullis, Juhani Karhumki, Jan Willem Klop, Aleksi Saarela |
| 2015 | LICS | Regularity Preserving but Not Reflecting Encodings. | Jrg Endrullis, Clemens Grabmayer, Dimitri Hendriks |
| 2015 | WoLLIC | Syllogistic Logic with "Most". | Jrg Endrullis, Lawrence S. Moss |
| 2014 | CSL | On periodically iterated morphisms. | Jrg Endrullis, Dimitri Hendriks |
| 2014 | DLT | Eigenvalues and Transduction of Morphic Sequences. | David Sprunger, William Tune, Jrg Endrullis, Lawrence S. Moss |
| 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 |
| 2010 | PODC | Brief announcement: asynchronous bounded expected delay networks. | Rena Bakhshi, Jrg Endrullis, Wan J. Fokkink, Jun Pang |
| 2009 | CADE | Complexity of Fractran and Productivity. | Jrg Endrullis, Clemens Grabmayer, Dimitri Hendriks |
| 2009 | CSL | Degrees of Undecidability in Term Rewriting. | Jrg Endrullis, Herman Geuvers, Hans Zantema |
| 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 |
| 2006 | CADE | Matrix Interpretations for Proving Termination of Term Rewriting. | Jrg Endrullis, Johannes Waldmann, Hans Zantema |