# Publications on Rewriting

## 2018

- Decreasing Diagrams with Two Labels Are Complete for Confluence of Countable SystemsJörg Endrullis, Jan Willem Klop, and Roy OverbeekIn: Proc. Conf. on Formal Structures for Computation and Deduction (FSCD 2018), pp. 14:1–14:15, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2018)
- Coinductive Foundations of Infinitary Rewriting and Infinitary Equational LogicJörg Endrullis, Helle Hvid Hansen, Dimitri Hendriks, Andrew Polonsky, and Alexandra SilvaLogical Methods in Computer Science , 14 (1) (2018)

## 2017

- Clocked Lambda CalculusJörg Endrullis, Dimitri Hendriks, Jan Willem Klop, and Andrew PolonskyMathematical Structures in Computer Science , 27 (5) , pp. 782–806 (2017)

## 2015

- Proving Non-Termination by Finite AutomataJörg Endrullis, and Hans ZantemaIn: Proc. Conf. on Rewriting Techniques and Applications (RTA 2015), pp. 160–176, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2015)
- A Coinductive Framework for Infinitary Rewriting and Equational ReasoningJörg Endrullis, Helle Hvid Hansen, Dimitri Hendriks, Andrew Polonsky, and Alexandra SilvaIn: Proc. Conf. on Rewriting Techniques and Applications (RTA 2015), pp. 143–159, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2015)

## 2014

- Discriminating Lambda-Terms Using Clocked Boehm TreesJörg Endrullis, Dimitri Hendriks, Jan Willem Klop, and Andrew PolonskyLogical Methods in Computer Science , 10 (2) (2014)
- Infinitary Term Rewriting for Weakly Orthogonal Systems: Properties and CounterexamplesJörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Jan Willem Klop, and Vincent van OostromLogical Methods in Computer Science , 10 (2:7) , pp. 1–33 (2014)
- On the Complexity of Stream EqualityJörg Endrullis, Dimitri Hendriks, Rena Bakhshi, and Grigore RosuJournal of Functional Programming , 24 (2-3) , pp. 166–217 (2014)

## 2013

- De Bruijn’s Weak Diamond Property RevisitedJörg Endrullis, and Jan Willem KlopIndagationes Mathematicae , 24 (4) , pp. 1050–1072 (2013)
- SAT Compilation for Termination Proofs via Semantic LabellingAlexander Bau, Jörg Endrullis, and Johannes WaldmannIn: Proc. Workshop on Termination (WST 2007) (2013)
- Clocks for Functional ProgramsJörg Endrullis, Dimitri Hendriks, Jan Willem Klop, and Andrew PolonskyIn: The Beauty of Functional Code - Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday, pp. 97–126, Springer (2013)
- Circular Coinduction in Coq Using Bisimulation-Up-To TechniquesJörg Endrullis, Dimitri Hendriks, and Martin BodinIn: Proc. Conf. on Interactive Theorem Proving (ITP 2013), pp. 354–369, Springer (2013)

## 2012

- Automatic Sequences and Zip-SpecificationsClemens Grabmayer, Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop, and Lawrence S. MossIn: Proc. Symp. on Logic in Computer Science (LICS 2012), pp. 335–344, IEEE Computer Society (2012)
- Highlights in Infinitary Rewriting and Lambda CalculusJörg Endrullis, Dimitri Hendriks, and Jan Willem KlopTheoretical Computer Science , 464 , pp. 48–71 (2012)
- On the Complexity of Equivalence of Specifications of Infinite ObjectsJörg Endrullis, Dimitri Hendriks, and Rena BakhshiIn: Proc. Int. Conf. on Functional Programming (ICFP 2012), pp. 153–164, ACM (2012)

## 2011

- On Equal μ-TermsJörg Endrullis, Clemens Grabmayer, Jan Willem Klop, and Vincent van OostromTheoretical Computer Science , 412 (28) , pp. 3175–3202 (2011)
- Lazy Productivity via TerminationJörg Endrullis, and Dimitri HendriksTheoretical Computer Science , 412 (28) , pp. 3203–3225 (2011)
- Proving Equality of Streams AutomaticallyHans Zantema, and Jörg EndrullisIn: Proc. Conf. on Rewriting Techniques and Applications (RTA 2011), pp. 393–408, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2011)
- Infinitary Rewriting CoinductivelyJörg Endrullis, and Andrew PolonskyIn: Proc. Conf. on Types for Proofs and Programs (TYPES 2012), pp. 16–27, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2011)
- Levels of Undecidability in RewritingJörg Endrullis, Herman Geuvers, Jakob Grue Simonsen, and Hans ZantemaInformation and Computation , 209 (2) , pp. 227–245 (2011)

## 2010

- Productivity of Stream DefinitionsJörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Ariya Isihara, and Jan Willem KlopTheoretical Computer Science , 411 (4-5) , pp. 765–782 (2010)
- Local Termination: Theory and PracticeJörg Endrullis, Roel C. de Vrijer, and Johannes WaldmannLogical Methods in Computer Science , 6 (3) (2010)
- Transforming Outermost into Context-Sensitive RewritingJörg Endrullis, and Dimitri HendriksLogical Methods in Computer Science , 6 (2) (2010)
- Modular Construction of Fixed Point Combinators and Clocked Böhm TreesJörg Endrullis, Dimitri Hendriks, and Jan Willem KlopIn: Proc. Symp. on Logic in Computer Science (LICS 2010), pp. 111–119, IEEE Computer Society (2010)
- Unique Normal Forms in Infinitary Weakly Orthogonal RewritingJörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Jan Willem Klop, and Vincent van OostromIn: Proc. Conf. on Rewriting Techniques and Applications (RTA 2010), pp. 85–102, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2010)

## 2009

- From Outermost to Context-Sensitive RewritingJörg Endrullis, and Dimitri HendriksIn: Proc. Conf. on Rewriting Techniques and Applications (RTA 2009), pp. 305–319, Springer (2009)
- Local TerminationJörg Endrullis, Roel C. de Vrijer, and Johannes WaldmannIn: Proc. Conf. on Rewriting Techniques and Applications (RTA 2009), pp. 270–284, Springer (2009)
- Complexity of Fractran and ProductivityJörg Endrullis, Clemens Grabmayer, and Dimitri HendriksIn: Proc. Conf. on Automated Deduction (CADE 2009), pp. 371–387, Springer (2009)
- Degrees of Undecidability in Term RewritingJörg Endrullis, Herman Geuvers, and Hans ZantemaIn: Proc. Conf. on Computer Science Logic (CSL 2009), pp. 255–270, Springer (2009)

## 2008

- Data-Oblivious Stream ProductivityJörg Endrullis, Clemens Grabmayer, and Dimitri HendriksIn: Proc. Conf. on Logic for Programming Artificial Intelligence and Reasoning (LPAR 2008), pp. 79–96, Springer (2008)
- Matrix Interpretations for Proving Termination of Term RewritingJörg Endrullis, Johannes Waldmann, and Hans ZantemaJournal of Automated Reasoning , 40 (2-3) , pp. 195–220 (2008)
- Reduction under SubstitutionJörg Endrullis, and Roel C. de VrijerIn: Proc. Conf. on Rewriting Techniques and Applications (RTA 2008), pp. 425–440, Springer (2008)
- Proving Infinitary NormalizationJörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Jan Willem Klop, and Roel C. de VrijerIn: Proc. Conf. on Types for Proofs and Programs (TYPES 2008), pp. 64–82, Springer (2008)

## 2007

- Productivity of Stream DefinitionsJörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Ariya Isihara, and Jan Willem KlopIn: Proc. Symp. on Fundamentals of Computation Theory (FCT 2007), pp. 274–287, Springer (2007)
- Root Stabilisation Using Dependency PairsJörg Endrullis, and Jeroen KetemaIn: Proc. Workshop on Termination (WST 2007), pp. 17–21 (2007)

## 2006

- Matrix Interpretations for Proving Termination of Term RewritingJörg Endrullis, Johannes Waldmann, and Hans ZantemaIn: Proc. Int. Joint Conf. on Automated Reasoning (IJCAR 2006), pp. 574–588, Springer (2006)
- Decomposing Terminating Rewrite RelationsJörg Endrullis, Dieter Hofbauer, and Johannes WaldmannIn: Proc. Workshop on Termination (WST 2006), pp. 39–43 (2006)