Jörg Endrullis

Peer-Reviewed Publications

2010

• 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.
  

2009

• 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 '09), number 5497 in LNCS, pages 64-82. Springer, 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.
  
• 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.
  
• 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.
  
• 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.
  

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.
  
• Endrullis, J. and Waldmann, J. and Zantema, H.
  Matrix Interpretations for Proving Termination of Term Rewriting
  In J. Automated Reasoning, 40(2-3):195-220, Springer, 2008.
  
• 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.
  

2007

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

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.
  
• Endrullis, J. and Hofbauer, D. and Waldmann, J.
  Decomposing Terminating Rewrite Relations
  In Proc. Workshop on Termination (WST '06), pages 39-43. 2006.
  

Miscellaneous

2009

• 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. 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.