Follow
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
2072008
Data-oblivious Stream Productivity
J Endrullis, C Grabmayer, D Hendriks
Logic for Programming, Artificial Intelligence, and Reasoning, 79-96, 2008
582008
Matrix interpretations for proving termination of term rewriting
J Endrullis, J Waldmann, H Zantema
Automated Reasoning: Third International Joint Conference, IJCAR 2006 …, 2006
502006
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
482010
Productivity of Stream Definitions
J Endrullis, C Grabmayer, D Hendriks, A Isihara, J Klop
Fundamentals of Computation Theory, 274-287, 2007
392007
Syllogistic Logic with “Most”
J Endrullis, LS Moss
Logic, Language, Information, and Computation, 124-139, 2015
362015
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
352015
Degrees of Streams
J Endrullis, D Hendriks, JW Klop
Journal of Integers B 11, 1-40, 2011
34*2011
Local Termination: Theory and Practice
J Endrullis, R de Vrijer, J Waldmann
Logical Methods in Computer Science 6 (2), 2010
33*2010
Lazy Productivity via Termination
J Endrullis, D Hendriks
Theoretical Computer Science 412 (28), 3203-3225, 2011
322011
Infinitary Rewriting Coinductively
J Endrullis, A Polonsky
LIPIcs-Leibniz International Proceedings in Informatics 19, 2013
312013
From Outermost to Context-sensitive Rewriting
J Endrullis, D Hendriks
Rewriting Techniques and Applications, 305-319, 2009
29*2009
Highlights in Infinitary Rewriting and Lambda Calculus
J Endrullis, D Hendriks, JW Klop
Theoretical Computer Science 464, 48-71, 2012
282012
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
Circular Coinduction in Coq using Bisimulation-up-to Techniques
J Endrullis, D Hendriks, M Bodin
Interactive Theorem Proving, 354-369, 2013
272013
Proving Infinitary Normalization
J Endrullis, C Grabmayer, D Hendriks, J Klop, R de Vrijer
Types for Proofs and Programs, 64-82, 2009
272009
Coinductive foundations of infinitary rewriting and infinitary equational logic
J Endrullis, HH Hansen, D Hendriks, A Polonsky, A Silva
Logical Methods in Computer Science 14, 2018
26*2018
Termination and Productivity
J Endrullis
Vrije Universiteit Amsterdam, 2010
26*2010
Complexity of Fractran and Productivity
J Endrullis, C Grabmayer, D Hendriks
Automated Deduction–CADE-22, 371-387, 2009
262009
Proving non-termination by finite automata
J Endrullis, H Zantema
26th International Conference on Rewriting Techniques and Application (RTA …, 2015
252015
The system can't perform the operation now. Try again later.
Articles 1–20