JOURNAL PUBLICATIONS

1. A. Charalambidis, K. Handjopoulos, P. Rondogiannis and W. W. Wadge, Extensional Higher-Order Logic Programming, ACM Transactions on Computational Logic, 14(3):21, 2013.
2. P. Rondogiannis and A. Troumpoukis, The Infinite-Valued Semantics: overview, recent results and future directions, Journal of Applied Non-Classical Logics, 23(1-2): 213-228, 2013.
3. A. Okhotin and P. Rondogiannis, On the Expressive Power of Univariate Equations over Sets of Natural Numbers, Information and Computation, 212: 1-14, 2012.
4. V. Kountouriotis, Ch. Nomikos and P. Rondogiannis, A Game-theoretic Characterization of Boolean Grammars, Theoretical Computer Science, 412:1169-1183, 2011 (pdf).
5. V. Kountouriotis, Ch. Nomikos and P. Rondogiannis, Well-Founded Semantics for Boolean Grammars, Information and Computation, 207(9): 945-967, 2009 (pdf).
6. Ch. Nomikos and P. Rondogiannis and W. W. Wadge, Strong Equivalence of Logic Programs under the Infinite-Valued Semantics, Information Processing Letters, 109(11):576-581, 2009.
7. Ch. Nomikos and P. Rondogiannis, Locally Stratified Boolean Grammars, Information and Computation, 206 (9-10) 1219-1233, 2008.
8. A. Charalambidis, A. Grivas, N. Papaspyrou and P. Rondogiannis, Efficient Intensional Implementation for Lazy Functional Languages, Mathematics in Computer Science (special issue in honor of W. W. Wadge), 2(1): 123-141 (2008).
9. Ch. Galanaki, P. Rondogiannis and W.W. Wadge, An Infinite-Game Semantics for Well-Founded Negation in Logic Programming, Annals of Pure and Applied Logic, 151 (2-3): 70-88 (2008) (pdf).
10. P. Potikas, P. Rondogiannis and M. Gergatsoulis, A Value-Propagating Transformation Technique for Datalog Programs Based on Non-Deterministic Constructs, Fundamenta Informaticae, 72(4):485-527, 2006 (pdf).
11. C. Nomikos, P. Rondogiannis and M. Gergatsoulis, Temporal Stratification Tests for Linear and Branching-Time Deductive Databases, Theoretical Computer Science, 342 (2-3):382-415 , 2005 (pdf).
    
12. P. Rondogiannis and W. W. Wadge, Minimum Model Semantics for Logic Programs with Negation-as-Failure, ACM Transactions on Computational Logic, 6(2): 441-467, 2005. (postscript).
13. S. D. Nikolopoulos, C. Nomikos and P. Rondogiannis, A Limit Characterization for the Number of Spanning Trees of Graphs, Information Processing Letters, 90(6):307-313, 2004. (pdf).
14. P. Rondogiannis, Stratified negation in Temporal Logic Programming and the Cycle-Sum test, Theoretical Computer Science,  vol 254, pp.663-676, Elsevier, 2001. (postscript).
15. P. Rondogiannis and M. Gergatsoulis, The Branching-Time Transformation Technique for Chain-Datalog Programs, Journal of Intelligent Information Systems, 17, pp.71--94, 2001, Kluwer Academic Publishers. (pdf).
    
16. M. Gergatsoulis, P. Rondogiannis and T. Panayiotopoulos, Temporal Disjunctive Logic Programming, New Generation Computing, vol. 19, no. 1, Ohmsha Ltd. & Springer-Verlag, 2001.
17. P. Rondogiannis, Adding Multidimensionality to Procedural Programming Languages, Software-Practice and Experience, vol 29, no.13, pp. 1201-1221, John Wiley and Sons, Ltd., 1999. (postscript).
18. P. Rondogiannis and W. W. Wadge. Higher-Order Functional Languages and Intensional Logic, Journal of Functional Programming, vol. 9, no. 5, pp.527-564, September 1999, Cambridge University Press. (postscript).
    
19. P. Rondogiannis, M. Gergatsoulis and T. Panayiotopoulos, Branching-Time Logic Programming: The Language Cactus and its Applications, Computer Languages Journal, vol. 24, pp. 155-178, 1998, Pergamon Press.
    
20. S. Nikolopoulos and P. Rondogiannis, On the Number of Spanning Trees of Multi-Star Related Graphs, Information Processing Letters, vol. 65, pp. 183-188, 1998, Elsevier. (postscript).
21. P. Rondogiannis and W. W. Wadge. First-Order Functional Languages and Intensional Logic, Journal of Functional Programming, January 1997, vol. 7, no. 1, pp. 73-101, Cambridge University Press. (postscript).
    
22. P. Rondogiannis and M. H. M. Cheng. Petri Net Based Deadlock Analysis of Process Algebra Programs, Science of Computer Programming, vol. 23, no. 1, pp. 55-89, October 1994, North Holland. (postscript).
    
23. P. Rondogiannis, G. Pavlides and A. Levy. A Distributed Algorithm for Communication Deadlock Detection, Information and Software Technology, vol. 33, no.7, pp.483-488, September 1991, Butterworth-Heinemann Ltd.