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 Logic for Programming, Artificial Intelligence, and Reasoning: 15th …, 2008 | 59 | 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 | 53 | 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 | 36 | 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 | 33 | 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 | 29 | 2011 |
Highlights in infinitary rewriting and lambda calculus J Endrullis, D Hendriks, JW Klop Theoretical Computer Science 464, 48-71, 2012 | 28 | 2012 |
Circular coinduction in Coq using bisimulation-up-to techniques J Endrullis, D Hendriks, M Bodin International Conference on Interactive Theorem Proving, 354-369, 2013 | 26 | 2013 |
Proving infinitary normalization J Endrullis, C Grabmayer, D Hendriks, JW Klop, R de Vrijer Types for Proofs and Programs, 64-82, 2009 | 26 | 2009 |
Complexity of Fractran and Productivity J Endrullis, C Grabmayer, D Hendriks Conference on Automated Deduction (CADE-22), 371-387, 2009 | 26 | 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 | 24* | 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 | 18 | 2012 |
Proof reflection in Coq D Hendriks Journal of Automated Reasoning 29 (3-4), 277-307, 2002 | 15 | 2002 |
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 | 14 | 2015 |
A coinductive treatment of infinitary rewriting J Endrullis, HH Hansen, D Hendriks, A Polonsky, A Silva arXiv preprint arXiv:1306.6224, 2013 | 14 | 2013 |
A transformation framework for the Compositional Interchange Format for hybrid systems D Hendriks, RRH Schiffelers, M Hüfner, C Sonntag 18th IFAC World Congress, 2011 | 12 | 2011 |