Jörg Endrullis
Jörg Endrullis
VU University Amsterdam
Geverifieerd e-mailadres voor endrullis.de
Titel
Geciteerd door
Geciteerd door
Jaar
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
1852008
Data-oblivious Stream Productivity
J Endrullis, C Grabmayer, D Hendriks
Logic for Programming, Artificial Intelligence, and Reasoning, 79-96, 2008
542008
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
462010
Matrix interpretations for proving termination of term rewriting
J Endrullis, J Waldmann, H Zantema
International Joint Conference on Automated Reasoning, 574-588, 2006
452006
Productivity of Stream Definitions
J Endrullis, C Grabmayer, D Hendriks, A Isihara, J Klop
Fundamentals of Computation Theory, 274-287, 2007
362007
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
332015
Lazy Productivity via Termination
J Endrullis, D Hendriks
Theoretical Computer Science 412 (28), 3203-3225, 2011
302011
Local Termination: Theory and Practice
J Endrullis, R de Vrijer, J Waldmann
Logical Methods in Computer Science 6 (2), 2010
30*2010
Degrees of Streams
J Endrullis, D Hendriks, JW Klop
Journal of Integers B 11, 1-40, 2011
29*2011
From Outermost to Context-sensitive Rewriting
J Endrullis, D Hendriks
Rewriting Techniques and Applications, 305-319, 2009
29*2009
Termination and Productivity
J Endrullis
Vrije Universiteit Amsterdam, 2010
27*2010
Infinitary Rewriting Coinductively
J Endrullis, A Polonsky
LIPIcs-Leibniz International Proceedings in Informatics 19, 2013
262013
Highlights in Infinitary Rewriting and Lambda Calculus
J Endrullis, D Hendriks, JW Klop
Theoretical Computer Science 464, 48-71, 2012
262012
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
262010
Decomposing Terminating Rewrite Relations
J Endrullis, D Hofbauer, J Waldmann
Proc. 8th WST, 39-43, 2006
24*2006
Degrees of Transducibility
J Endrullis, JW Klop, A Saarela, M Whiteland
10th International Conference on Combinatorics on Words, WORDS 2015, 1-13, 2015
23*2015
Circular Coinduction in Coq using Bisimulation-up-to Techniques
J Endrullis, D Hendriks, M Bodin
Interactive Theorem Proving, 354-369, 2013
232013
Proving Infinitary Normalization
J Endrullis, C Grabmayer, D Hendriks, J Klop, R de Vrijer
Types for Proofs and Programs, 64-82, 2009
232009
Complexity of Fractran and Productivity
J Endrullis, C Grabmayer, D Hendriks
Automated Deduction–CADE-22, 371-387, 2009
222009
Jambox: Automated Termination Analysis of Term Rewriting Systems
J Endrullis
222007
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20