| Minimum model semantics for logic programs with negation-as-failure P Rondogiannis, WW Wadge ACM Transactions on Computational Logic (TOCL) 6 (2), 441-467, 2005 | 67 | 2005 |
| Higher-order functional languages and intensional logic P Rondogiannis, WW Wadge Journal of Functional Programming 9 (5), 527-564, 1999 | 48 | 1999 |
| First-order functional languages and intensional logic P Rondogiannis, WW Wadge Journal of Functional Programming 7 (1), 73-101, 1997 | 42 | 1997 |
| Well-founded semantics for Boolean grammars V Kountouriotis, C Nomikos, P Rondogiannis Information and Computation 207 (9), 945-967, 2009 | 41 | 2009 |
| Branching-time logic programming: The language Cactus and its applications P Rondogiannis, M Gergatsoulis, T Panayiotopoulos Computer Languages 24 (3), 155-178, 1998 | 33 | 1998 |
| Extensional higher-order logic programming A Charalambidis, K Handjopoulos, P Rondogiannis, WW Wadge ACM Transactions on Computational Logic (TOCL) 14 (3), 1-40, 2013 | 31 | 2013 |
| On the number of spanning trees of multi-star related graphs SD Nikolopoulos, P Rondogiannis Information processing letters 65 (4), 183-188, 1998 | 31 | 1998 |
| Multidimensional xml Y Stavrakas, M Gergatsoulis, P Rondogiannis International Workshop on Distributed Communities on the Web, 100-109, 2000 | 26 | 2000 |
| Approximation fixpoint theory and the well-founded semantics of higher-order logic programs A Charalambidis, P Rondogiannis, I Symeonidou Theory and Practice of Logic Programming 18 (3-4), 421-437, 2018 | 25 | 2018 |
| A fixed point theorem for non-monotonic functions Z Ésik, P Rondogiannis Theoretical Computer Science 574, 18-38, 2015 | 23 | 2015 |
| Minimum model semantics for extensional higher-order logic programming with negation A Charalambidis, Z Ésik, P Rondogiannis Theory and Practice of Logic Programming 14 (4-5), 725-737, 2014 | 21 | 2014 |
| An infinite-game semantics for well-founded negation in logic programming C Galanaki, P Rondogiannis, WW Wadge Annals of Pure and Applied Logic 151 (2-3), 70-88, 2008 | 20 | 2008 |
| Cactus: A branching-time logic programming language P Rondogiannis, M Gergatsoulis, T Panayiotopoulos International Joint Conference on Qualitative and Quantitative Practical …, 1997 | 18 | 1997 |
| Distributed algorithm for communication deadlock detection P Rontogiannis, G Pavlides, A Levy Information and Software Technology 33 (7), 483-488, 1991 | 18 | 1991 |
| On the expressive power of univariate equations over sets of natural numbers A Okhotin, P Rondogiannis Information and Computation 212, 1-14, 2012 | 16 | 2012 |
| Disjunctive Chronolog M Gergatsoulis, P Rondogiannis, T Panayiotopoulos Proceedings of the JICSLP 96, 129-136, 1996 | 16 | 1996 |
| Temporal disjunctive logic programming M Gergatsoulis, P Rondogiannis, T Panayiotopoulos New Generation Computing 19, 87-100, 2001 | 13 | 2001 |
| Higher-order dataflow and its implementation on stock hardware P Rondogiannis, WW Wadge Proceedings of the 1994 ACM symposium on Applied computing, 431-435, 1994 | 13 | 1994 |
| A purely model-theoretic semantics for disjunctive logic programs with negation P Cabalar, D Pearce, P Rondogiannis, WW Wadge International Conference on Logic Programming and Nonmonotonic Reasoning, 44-57, 2007 | 12 | 2007 |
| Efficient intensional implementation for lazy functional languages A Charalambidis, A Grivas, NS Papaspyrou, P Rondogiannis Mathematics in Computer Science 2, 123-141, 2008 | 11 | 2008 |
Bill WadgeProfessor of Computer Science, University of VictoriaVerified email at uvic.ca
