| Productivity of Stream Definitions J Endrullis, C Grabmayer, D Hendriks, A Isihara, JW Klop Theoretical Computer Science 411 (4), 765-782, 2010 | 81 | 2010 |
| Data-oblivious stream productivity J Endrullis, C Grabmayer, D Hendriks International Conference on Logic for Programming Artificial Intelligence …, 2008 | 58 | 2008 |
| Automated proof construction in type theory using resolution M Bezem, D Hendriks, H de Nivelle Journal of Automated Reasoning 29 (3), 253-275, 2002 | 54 | 2002 |
| Productivity of Stream Definitions J Endrullis, C Grabmayer, D Hendriks, A Isihara, JW Klop Fundamentals of Computation Theory (FCT 2007), 274-287, 2007 | 40 | 2007 |
| Adbmal D Hendriks, V van Oostrom Automated Deduction-CADE-19: 19th International Conference on Automated …, 2003 | 40* | 2003 |
| A coinductive framework for infinitary rewriting and equational reasoning J Endrullis, HH Hansen, D Hendriks, A Polonsky, A Silva 26th International Conference on Rewriting Techniques and Applications (RTA …, 2015 | 35 | 2015 |
| On the mechanization of the proof of Hessenberg’s theorem in coherent logic M Bezem, D Hendriks Journal of Automated Reasoning 40 (1), 61-85, 2008 | 35 | 2008 |
| Lazy productivity via termination J Endrullis, D Hendriks Theoretical Computer Science 412 (28), 3203-3225, 2011 | 32 | 2011 |
| Degrees of streams J Endrullis, D Hendriks, JW Klop Journal of Integers B 11, 1-40, 2011 | 31 | 2011 |
| Circular coinduction in Coq using bisimulation-up-to techniques J Endrullis, D Hendriks, M Bodin International Conference on Interactive Theorem Proving, 354-369, 2013 | 28 | 2013 |
| Highlights in infinitary rewriting and lambda calculus J Endrullis, D Hendriks, JW Klop Theoretical Computer Science 464, 48-71, 2012 | 28 | 2012 |
| Proving infinitary normalization J Endrullis, C Grabmayer, D Hendriks, JW Klop, R de Vrijer Types for Proofs and Programs, 64-82, 2009 | 27 | 2009 |
| Complexity of Fractran and Productivity J Endrullis, C Grabmayer, D Hendriks Conference on Automated Deduction (CADE-22), 371-387, 2009 | 27 | 2009 |
| Automated proof construction in type theory using resolution M Bezem, D Hendriks, H de Nivelle Automated Deduction-CADE-17: 17th International Conference on Automated …, 2000 | 25* | 2000 |
| From Outermost to Context-Sensitive Rewriting J Endrullis, D Hendriks Rewriting Techniques and Applications (RTA 2009), 305-319, 2009 | 22 | 2009 |
| Automatic sequences and zip-specifications C Grabmayer, J Endrullis, D Hendriks, JW Klop, LS Moss 2012 27th Annual IEEE Symposium on Logic in Computer Science, 335-344, 2012 | 21 | 2012 |
| Eclipse ESCET™: the eclipse supervisory control engineering toolkit WJ Fokkink, MA Goorden, D Hendriks, DA van Beek, AT Hofkamp, ... International Conference on Tools and Algorithms for the Construction and …, 2023 | 18 | 2023 |
| The degree of squares is an atom J Endrullis, C Grabmayer, D Hendriks, H Zantema Combinatorics on Words: 10th International Conference, WORDS 2015, Kiel …, 2015 | 15 | 2015 |
| A coinductive treatment of infinitary rewriting J Endrullis, HH Hansen, D Hendriks, A Polonsky, A Silva arXiv preprint arXiv:1306.6224, 2013 | 15 | 2013 |
| Proof reflection in Coq D Hendriks Journal of Automated Reasoning 29 (3-4), 277-307, 2002 | 15 | 2002 |
Jörg EndrullisVU University Amsterdamכתובת אימייל מאומתת בדומיין endrullis.de
