Jörg Endrullis
Jörg Endrullis
VU University Amsterdam
Verified email at endrullis.de
Title
Cited by
Cited by
Year
Matrix Interpretations for Proving Termination of Term Rewriting (extended journal version)
J Endrullis, J Waldmann, H Zantema
Journal of Automated Reasoning 40 (2-3), 195-220, 2008
1912008
Data-oblivious Stream Productivity
J Endrullis, C Grabmayer, D Hendriks
Logic for Programming, Artificial Intelligence, and Reasoning, 79-96, 2008
562008
Productivity of Stream Definitions (extended journal version)
J Endrullis, C Grabmayer, D Hendriks, A Isihara, JW Klop
Theoretical Computer Science 411 (4), 765-782, 2010
492010
Matrix interpretations for proving termination of term rewriting
J Endrullis, J Waldmann, H Zantema
International Joint Conference on Automated Reasoning, 574-588, 2006
462006
Productivity of Stream Definitions
J Endrullis, C Grabmayer, D Hendriks, A Isihara, J Klop
Fundamentals of Computation Theory, 274-287, 2007
382007
A Coinductive Framework for Infinitary Rewriting and Equational Reasoning
J Endrullis, HH Hansen, D Hendriks, A Polonsky, AM Silva
Rewriting Techniques and Applications 36, 143-159, 2015
342015
Local Termination: Theory and Practice
J Endrullis, R de Vrijer, J Waldmann
Logical Methods in Computer Science 6 (2), 2010
32*2010
Lazy Productivity via Termination
J Endrullis, D Hendriks
Theoretical Computer Science 412 (28), 3203-3225, 2011
312011
From Outermost to Context-sensitive Rewriting
J Endrullis, D Hendriks
Rewriting Techniques and Applications, 305-319, 2009
31*2009
Degrees of Streams
J Endrullis, D Hendriks, JW Klop
Journal of Integers B 11, 1-40, 2011
29*2011
Automating the Mean-field Method for Large Dynamic Gossip Networks
R Bakhshi, J Endrullis, S Endrullis, W Fokkink, B Haverkort
Quantitative Evaluation of Systems (QEST), 2010 Seventh International …, 2010
282010
Highlights in Infinitary Rewriting and Lambda Calculus
J Endrullis, D Hendriks, JW Klop
Theoretical Computer Science 464, 48-71, 2012
272012
Infinitary Rewriting Coinductively
J Endrullis, A Polonsky
LIPIcs-Leibniz International Proceedings in Informatics 19, 2013
262013
Termination and Productivity
J Endrullis
Vrije Universiteit Amsterdam, 2010
26*2010
Proving Infinitary Normalization
J Endrullis, C Grabmayer, D Hendriks, J Klop, R de Vrijer
Types for Proofs and Programs, 64-82, 2009
252009
Degrees of Transducibility
J Endrullis, JW Klop, A Saarela, M Whiteland
10th International Conference on Combinatorics on Words, WORDS 2015, 1-13, 2015
24*2015
Circular Coinduction in Coq using Bisimulation-up-to Techniques
J Endrullis, D Hendriks, M Bodin
Interactive Theorem Proving, 354-369, 2013
242013
Complexity of Fractran and Productivity
J Endrullis, C Grabmayer, D Hendriks
Automated Deduction–CADE-22, 371-387, 2009
242009
Decomposing Terminating Rewrite Relations
J Endrullis, D Hofbauer, J Waldmann
Proc. 8th WST, 39-43, 2006
23*2006
Degrees of Undecidability in Term Rewriting
J Endrullis, H Geuvers, H Zantema
Computer Science Logic, 255-270, 2009
22*2009
The system can't perform the operation now. Try again later.
Articles 1–20