| 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 | 58 | 2005 |
| Higher-order functional languages and intensional logic P Rondogiannis | 41 | 1994 |
| Well-founded semantics for Boolean grammars V Kountouriotis, C Nomikos, P Rondogiannis Information and Computation 207 (9), 945-967, 2009 | 35 | 2009 |
| First-order functional languages and intensional logic P Rondogiannis, WW Wadge Journal of Functional Programming 7 (1), 73-101, 1997 | 34 | 1997 |
| Branching-time logic programming: The language Cactus and its applications P Rondogiannis, M Gergatsoulis, T Panayiotopoulos Computer Languages 24 (3), 155-178, 1998 | 32 | 1998 |
| On the number of spanning trees of multi-star related graphs SD Nikolopoulos, P Rondogiannis Information processing letters 65 (4), 183-188, 1998 | 27 | 1998 |
| Multidimensional xml Y Stavrakas, M Gergatsoulis, P Rondogiannis International Workshop on Distributed Communities on the Web, 100-109, 2000 | 26 | 2000 |
| Extensional higher-order logic programming A Charalambidis, K Handjopoulos, P Rondogiannis, WW Wadge ACM Transactions on Computational Logic (TOCL) 14 (3), 1-40, 2013 | 23 | 2013 |
| A fixed point theorem for non-monotonic functions Z Ésik, P Rondogiannis Theoretical Computer Science 574, 18-38, 2015 | 20 | 2015 |
| Does self-efficacy mediate functional change in older adults participating in an exercise program after hip fracture? A randomized controlled trial FH Chang, NK Latham, P Ni, AM Jette Archives of physical medicine and rehabilitation 96 (6), 1014-1020. e1, 2015 | 19* | 2015 |
| Minimum model semantics for extensional higher-order logic programming with negation A Charalambidis, Z Ésik, P Rondogiannis arXiv preprint arXiv:1405.3792, 2014 | 19 | 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 | 19 | 2008 |
| Vmake, ISE and IRCS: General tools for the intensionalization of software systems P Swoboda, WW Wadge Intensional Programming II, World-Scientific, 2000 | 19 | 2000 |
| Cactus: A branching-time logic programming language P Rondogiannis, M Gergatsoulis, T Panayiotopoulos Qualitative and Quantitative Practical Reasoning, 511-524, 1997 | 17 | 1997 |
| Distributed algorithm for communication deadlock detection P Rontogiannis, G Pavlides, A Levy Information and Software Technology 33 (7), 483-488, 1991 | 16 | 1991 |
| On the expressive power of univariate equations over sets of natural numbers A Okhotin, P Rondogiannis Information and Computation 212, 1-14, 2012 | 14 | 2012 |
| Disjunctive Chronolog M Gergatsoulis, P Rondogiannis, T Panayiotopoulos Proceedings of the JICSLP 96, 129-136, 1996 | 14 | 1996 |
| Well-founded semantics for Boolean grammars V Kountouriotis, C Nomikos, P Rondogiannis International Conference on Developments in Language Theory, 203-214, 2006 | 12 | 2006 |
| Temporal disjunctive logic programming M Gergatsoulis, P Rondogiannis, T Panayiotopoulos New Generation Computing 19 (1), 87-100, 2001 | 12 | 2001 |
| Petri-net-based deadlock analysis of Process Algebra programs P Rondogiannis, MHM Cheng Science of Computer Programming 23 (1), 55-89, 1994 | 12 | 1994 |
Bill WadgeProfessor of Computer Science, University of VictoriaVerified email at uvic.ca
