Grabmayer, C. and Endrullis, J. and Hendriks, D. and Klop, J.W. and Moss, L.S.
Automatic Sequences and Zip-Specifications
In Proc. Symp. on Logic in Computer Science (LICS'12), IEEE Computer Society, 2012.
(bib | pdf)
Endrullis, J. and Hendriks, D. and Bakhshi, R.
On the Complexity of Equivalence of Specifications of Infinite Objects
In Proc. Conf. on International Conference on Functional Programming (ICFP '12), ACM, 2012.
(pdf)
Endrullis, J. and Hendriks, D.
On Periodically Iterated Morphisms
In Submitted, 2012.
(pdf)
Endrullis, J. and Hendriks, D. and Klop, J.W. and Polonsky, A.
Discriminating Lambda-Terms using Clocked Böhm Trees
In Logical Methods in Computer Science, 2012.
To appear.
(pdf)

2011

Endrullis, J. and Geuvers, H. and J.G. Simonsen and Zantema, H.
Levels of Undecidability in Rewriting
In Information and Computation, 209(2):227-245, Academic Press, Inc., 2011.
(bib | pdf)
Endrullis, J. and Hendriks, D.
Lazy Productivity via Termination
In Theoretical Computer Science, 412(28):3203-3225, Elsevier, 2011.
Festschrift in Honour of Jan Bergstra
(bib | pdf)
Endrullis, J. and Grabmayer, C. and Klop, J.W. and van Oostrom, V.
On Equal mu-Terms
In Theoretical Computer Science, 412(28):3175-3202, Elsevier, 2011.
Festschrift in Honour of Jan Bergstra
(bib | pdf)
Bakhshi, R. and Endrullis, J. and Fokkink, W. and Pang, J.
Fast Leader Election in Anonymous Rings with Bounded Expected Delay
In Information Processing Letters, 111(17):864-870, Elsevier, 2011.
Festschrift in Honour of Jan Bergstra
(bib | pdf)
Endrullis, J. and Zantema, H.
Proving Equality of Streams Automatically
In Proc. Conf. on Rewriting Techniques and Applications (RTA '11), volume 10 of LIPIcs, pages 393-408. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2011.
(bib | pdf)
Endrullis, J. and Hendriks, D. and Klop, J.W.
Degrees of Streams
In Integers, Electronic Journal of Combinatorial Number Theory, 11B(A6):1-40, 2011.
Proc. Leiden Numeration Conf. 2010
(bib | pdf)

2010

Endrullis, J. and Hendriks, D. and Klop, J.W.
Modular Construction of Fixed Point Combinators and Clocked Böhm Trees
In Proc. Symp. on Logic in Computer Science (LICS'10), pages 111-119. IEEE Computer Society, 2010.
(bib | pdf)
Endrullis, J. and Grabmayer, C. and Hendriks, D. and Isihara, A. and Klop, J.W.
Productivity of Stream Definitions
In Theoretical Computer Science, 411(4-5):765-782, 2010.
Special issue devoted to selected papers from Fundamentals of Computation Theory 2007.
(bib | pdf)
Endrullis, J. and Hendriks, D.
Transforming Outermost into Context-Sensitive Rewriting
In Logical Methods in Computer Science, 6(2):2010.
Special Issue of the 20th International Conference on Rewriting Techniques and Applications (RTA 2009).
(bib | pdf)
Endrullis, J. and Vrijer, R.C de and Waldmann, J.
Local Termination: Theory and Practice
In Logical Methods in Computer Science, 6(3):2010.
Special Issue of the 20th International Conference on Rewriting Techniques and Applications (RTA 2009).
(bib | pdf)
Endrullis, J. and Grabmayer, C. and Hendriks, D. and Klop, J.W. and van Oostrom, V.
Unique Normal Forms in Infinitary Weakly Orthogonal Rewriting
In Proc. Conf. on Rewriting Techniques and Applications (RTA '10), volume 6 of LIPIcs, pages 85-102. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2010.
(bib | pdf)
Bakhshi, R. and Endrullis, J. and Fokkink, W. and Pang, J.
Brief Announcement: Asynchronous Bounded Expected Delay Networks
In Proc. Conf. on Principles of Distributed Computing (PODC '10), pages 392-393. ACM, 2010.
(bib | pdf)
Bakhshi, R. and Endrullis, J. and Endrullis, S. and Fokkink, W. and Haverkort, B.
Automating the Mean-Field Method for Large Dynamic Networks
In Proc. Conf. on Quantitative Evaluation of SysTems (QEST '10), pages 241-250. IEEE Computer Society, 2010.
(bib | pdf)

2009

Endrullis, J. and Vrijer, R.C de and Waldmann, J.
Local Termination
In Proc. Conf. on Rewriting Techniques and Applications (RTA '09), number 5595 in LNCS, pages 270-284. Springer, 2009.
(bib | pdf)
Endrullis, J. and Hendriks, D.
From Outermost to Context-Sensitive Rewriting
In Proc. Conf. on Rewriting Techniques and Applications (RTA '09), number 5595 in LNCS, pages 305-319. Springer, 2009.
Best paper award.
(bib | pdf)
Endrullis, J. and Grabmayer, C. and Hendriks, D.
Complexity of Fractran and Productivity
In Proc. Conf. on Automated Deduction (CADE '09), number 5663 in LNCS, pages 371-387. Springer, 2009.
(bib | pdf)
Endrullis, J. and Geuvers, H. and Zantema, H.
Degrees of Undecidability in Term Rewriting
In Proc. Conf. on Computer Science Logic (CSL '09), number 5771 in LNCS, pages 255-270. Springer, 2009.
(bib | pdf)
Endrullis, J. and Hendriks, D. and Klop, J.W.
Let's Make a Difference!
In Liber Amicorum for Roel de Vrijer, pages 61-73. 2009.
Endrullis, J. and Grabmayer, C. and Hendriks, D. and Klop, J.W.
Unique Normal Forms in Infinitary Weakly Orthogonal Term Rewriting
In Liber Amicorum for Roel de Vrijer, pages 47-60. 2009.
Endrullis, J. and Grabmayer, C. and Hendriks, D. and Klop, J.W.
Infinite Streams
In Nieuwsbrief van de Nederlanse Vereniging voor Theoretische Informatica, pages 39-49. 2009.

2008

Endrullis, J. and Grabmayer, C. and Hendriks, D.
Data-Oblivious Stream Productivity
In Proc. Conf. on Logic for Programming, Artificial Intelligence and Reasoning (LPAR '08), number 5330 in LNCS, pages 79-96. Springer, 2008.
(bib | pdf)
Endrullis, J. and Grabmayer, C. and Hendriks, D. and Isihara, A. and Klop, J.W.
Productivity of Stream Definitions
Technical ReportPreprint 268, Logic Group Preprint Series, Department of Philosophy, Utrecht University, 2008.
Accepted for publication in a special issue of TCS.
Endrullis, J. and Grabmayer, C. and Hendriks, D.
Data-Oblivious Stream Productivity
Technical Reportv5, 2008-07-19, , 2008.
Endrullis, J. and Waldmann, J. and Zantema, H.
Matrix Interpretations for Proving Termination of Term Rewriting
In Journal of Automated Reasoning, 40(2-3):195-220, Springer, 2008.
(bib | pdf)
Endrullis, J. and Vrijer, R.C de
Reduction Under Substitution
In Proc. Conf. on Rewriting Techniques and Applications (RTA '08), volume 5117 of LNCS, pages 425-440. Springer, 2008.
(bib | pdf)
Endrullis, J. and Grabmayer, C. and Hendriks, D. and Klop, J.W. and Vrijer, R.C de
Proving Infinitary Normalization
In Proc. Conf. on Types for Proofs and Programs (TYPES '08), number 5497 in LNCS, pages 64-82. Springer, 2008.
(bib | pdf)

2007

Endrullis, J. and Grabmayer, C. and Hendriks, D. and Isihara, A. and Klop, J.W.
Productivity of Stream Definitions
In Proc. Symp. on Fundamentals of Computation Theory (FCT '07), number 4639 in LNCS, pages 274-287. Springer, 2007.
(bib | pdf)
Endrullis, J. and Ketema, J.
Root Stabilisation Using Dependency Pairs
In Proc. Workshop on Termination (WST '07), pages 17-21. 2007.
Erratum
(bib | pdf)

2006

Endrullis, J. and Waldmann, J. and Zantema, H.
Matrix Interpretations for Proving Termination of Term Rewriting
In Proc. Conf. on Automated Reasoning (IJCAR '06), volume 4130 of LNCS, pages 574-588. Springer, 2006.
(bib | pdf)
Endrullis, J. and Hofbauer, D. and Waldmann, J.
Decomposing Terminating Rewrite Relations
In Proc. Workshop on Termination (WST '06), pages 39-43. 2006.
(bib | pdf)