| Term rewriting with logical constraints C Kop, N Nishida International Symposium on Frontiers of Combining Systems, 343-358, 2013 | 64 | 2013 |
| Higher Order Termination: Automatable Techniques for Proving Termination of Higher-Order Term Rewriting Systems CLM Kop | 53 | 2012 |
| Verifying procedural programs via constrained rewriting induction C Fuhs, C Kop, N Nishida ACM Transactions on Computational Logic (TOCL) 18 (2), 1-50, 2017 | 45 | 2017 |
| Polynomial interpretations for higher-order rewriting C Fuhs, C Kop Rewriting Techniques and Applications (Proc. RTA'12), 176-192, 2012 | 30 | 2012 |
| WANDA-a higher order termination tool (system description) C Kop 5th International Conference on Formal Structures for Computation and …, 2020 | 28* | 2020 |
| Constrained term rewriting tool C Kop, N Nishida Logic for Programming, Artificial Intelligence, and Reasoning: 20th …, 2015 | 24 | 2015 |
| Dynamic dependency pairs for algebraic functional systems C Kop, F van Raamsdonk Selected papers of the "22nd International Conference on Rewriting …, 2012 | 24 | 2012 |
| Automatic constrained rewriting induction towards verifying procedural programs C Kop, N Nishida Asian Symposium on Programming Languages and Systems, 334-353, 2014 | 23 | 2014 |
| Higher order dependency pairs for algebraic functional systems C Kop, F van Raamsdonk 22nd International Conference on Rewriting Techniques and Applications (RTA …, 2011 | 22 | 2011 |
| Termination of LCTRSs C Kop 13th International Workshop on Termination (WST 2013), 59-63, 2013 | 20 | 2013 |
| Harnessing first order termination provers using higher order dependency pairs C Fuhs, C Kop International Symposium on Frontiers of Combining Systems, 147-162, 2011 | 14 | 2011 |
| A higher-order iterative path ordering C Kop, F van Raamsdonk International Conference on Logic for Programming Artificial Intelligence …, 2008 | 14 | 2008 |
| A Static Higher-Order Dependency Pair Framework. C Fuhs, C Kop ESOP 11423, 752-782, 2019 | 12 | 2019 |
| Simplifying algebraic functional systems C Kop Algebraic Informatics: 4th International Conference, CAI 2011, Linz, Austria …, 2011 | 12 | 2011 |
| Tuple interpretations for higher-order complexity C Kop, D Vale 6th International Conference on Formal Structures for Computation and …, 2021 | 11 | 2021 |
| Complexity of conditional term rewriting C Kop, A Middeldorp, T Sternagel Logical Methods in Computer Science 13, 2017 | 10* | 2017 |
| Higher Order Dependency Pairs With Argument Filterings CLM Kop, F van Raamsdonk Proceedings of WST 2010, 2010 | 8 | 2010 |
| Complexity hierarchies and higher-order cons-free rewriting C Kop, JG Simonsen arXiv preprint arXiv:1604.08936, 2016 | 7 | 2016 |
| The power of non-determinism in higher-order implicit complexity: characterising complexity classes using non-deterministic cons-free programming C Kop, JG Simonsen Programming Languages and Systems: 26th European Symposium on Programming …, 2017 | 6 | 2017 |
| First-order formative rules C Fuhs, C Kop Rewriting and Typed Lambda Calculi: Joint International Conference, RTA-TLCA …, 2014 | 5 | 2014 |
Carsten FuhsSenior Lecturer, Birkbeck, University of LondonVerified email at dcs.bbk.ac.uk
