עקוב אחר
Jörg Endrullis
Jörg Endrullis
VU University Amsterdam
כתובת אימייל מאומתת בדומיין endrullis.de
כותרת
צוטט על ידי
צוטט על ידי
שנה
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‏
2102008
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‏
512006
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‏
402007
Syllogistic Logic with “Most”‏
J Endrullis, LS Moss‏
Logic, Language, Information, and Computation, 124-139, 2015‏
372015
Degrees of Streams‏
J Endrullis, D Hendriks, JW Klop‏
Journal of Integers B 11, 1-40, 2011‏
36*2011
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
Lazy Productivity via Termination‏
J Endrullis, D Hendriks‏
Theoretical Computer Science 412 (28), 3203-3225, 2011‏
322011
Local Termination: Theory and Practice‏
J Endrullis, R de Vrijer, J Waldmann‏
Logical Methods in Computer Science 6 (2), 2010‏
32*2010
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
Circular Coinduction in Coq using Bisimulation-up-to Techniques‏
J Endrullis, D Hendriks, M Bodin‏
Interactive Theorem Proving, 354-369, 2013‏
282013
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
Termination and Productivity‏
J Endrullis‏
Vrije Universiteit Amsterdam, 2010‏
27*2010
Proving Infinitary Normalization‏
J Endrullis, C Grabmayer, D Hendriks, J Klop, R de Vrijer‏
Types for Proofs and Programs, 64-82, 2009‏
272009
Complexity of Fractran and Productivity‏
J Endrullis, C Grabmayer, D Hendriks‏
Automated Deduction–CADE-22, 371-387, 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
Proving non-termination by finite automata‏
J Endrullis, H Zantema‏
26th International Conference on Rewriting Techniques and Application (RTA …, 2015‏
252015
המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.
מאמרים 1–20