University of Athens - Department of Informatics and Telecommunications

Publications

Publications In Journals
Publications In Proceedings
Proceedings

Publications In Journals

C. Nomikos, P. Rondogiannis and M. Gergatsoulis,
Temporal Stratification Tests for Linear and Branching-Time Deductive Databases
Theoretical Computer Science , 2005

S. D. Nikolopoulos, C. Nomikos and P. Rondogiannis,
A Limit Characterization for the Number of Spanning Trees of Graphs
Information Processing Letters , vol 90.6 , pages 307-313 , 2004

P. Rondogiannis and W. W. Wadge,
Minimum Model Semantics for Logic Programs with Negation-as-Failure
ACM Transactions on Computational Logic , 2004

P. Rondogiannis and M. Gergatsoulis,
The Branching-Time Transformation Technique for Chain-Datalog Programs
Journal of Intelligent Information Systems 17 , pages 71-94 , 2001

P. Rondogiannis,
Stratified Negation in Temporal Logic Programming and the Cycle-Sum Test
Theoretical Computer Science 254 , pages 663-676 , 2001

M. Gergatsoulis, P. Rondogiannis and T. Panayiotopoulos,
Temporal Disjunctive Logic Programming
New Generation Computing 19 , pages 87-100 , 2001

P. Rondogiannis,
Adding Multidimensionality to Procedural Programming Languages
Software Practice and Experience , vol 29.13 , pages 1201-1221 , 1999

P. Rondogiannis and W. W. Wadge,
Higher-Order Functional Languages and Intensional Logic
Journal of Functional Programming , vol 9.5 , pages 527-564 , 1999

P. Rondogiannis, M. Gergatsoulis and T. Panayiotopoulos,
Branching-Time Logic Programming: The Language Cactus and its Applications
Computer Languages 24 , pages 155-178 , 1998

S. Nikolopoulos and P. Rondogiannis,
On the Number of Spanning-Trees of Multi-Star Related Graphs
Information Processing Letters , vol 65.1 , pages 183-188 , 1998

P. Rondogiannis and W. W. Wadge,
First-Order Functional Languages and Intensional Logic
Journal of Functional Programming , vol 7.1 , pages 73-101 , 1997

P. Rondogiannis and M. H. M. Cheng,
Petri Net Based Deadlock Analysis of Process Algebra Programs
Science of Computer Programming , vol 23.1 , pages 55-89 , 1994

P. Rontogiannis, G. Pavlides and A. Levy,
A Distributed Algorithm for Communication Deadlock Detection
Information and Software Technology , vol 33.7 , pages 483-488 , 1991

Publications In Proceedings

P. Rondogiannis and W. W. Wadge,
An Infinite-Game Semantics for Negation in Logic Programming
Games for Logic and Programming Languages (GaLoP), Edinburgh , 2005

P. Potikas, P. Rondogiannis and M. Gergatsoulis,
A Transformation Technique for Datalog Programs Based on Non-Deterministic Constructs
in the Pre-Proceedings of the 11th International Workshop on Logic-based Program Synthesis and Transformation , pages 1-8 , 2001

C. Nomikos, P. Rondogiannis and M. Gergatsoulis,
A Stratification Test for Temporal Logic Programs
In Proceedings of the Third Panhellenic Logic Symposium , 2001

Y. Stavrakas, M. Gergatsoulis and P. Rondogiannis,
Multidimensional XML
in Proceedings of the Third International Workshop DCW 2000 (Distributed Communities on the Web) , pages 100-109 Springer-Verlag , 2000

P. Rondogiannis,
Adding Multidimensionality to Procedural Programming Languages
In Proceedings of the International Symposium on Languages for Intensional Programming , pages 110-125 , 1999

P. Rondogiannis and W. W. Wadge,
Intensional Programming Languages
In Proceedings of the First Panhellenic Conference on New Information Technologies (NIT\'98) , pages 85-94 , 1998

P. Rondogiannis,
Negation in Chronolog
In Proceedings of the International Symposium on Languages for Intensional Programming , pages 89-97 , 1998

P. Rondogiannis and M. Gergatsoulis,
The Intensional Implementation Technique for Chain-Datalog Programs
In Proceedings of the International Symposium on Languages for Intensional Programming , pages 98-107 , 1998

M. Gergatsoulis, P. Rondogiannis and T. Panayiotopoulos,
Proof Procedures for Branching-Time Logic Programs
In Proceedings of the International Symposium on Languages for Intensional Programming , pages 12-26 , 1997

P. Rondogiannis, M. Gergatsoulis and T. Panayiotopoulos,
Cactus: A Branching-Time Logic Programming Language
International Joint Conference on Qualitative and Quantitative Practical Reasoning Lecture Notes in Artificial Intelligence (LNAI) 1244 , pages 511-524 Springer , 1997

M. Gergatsoulis, P. Rondogiannis and T. Panayiotopoulos,
Disjunctive Chronolog
In Proceedings of the Workshop on Multi-Paradigm Logic Programming , pages 129-136 , 1996

P. Rondogiannis and W. W. Wadge,
Extending the Intensionalization Algorithm to a Broader Class of Higher-Order Programs
In Proceedings of the International Symposium on Languages for Intensional Programming , pages 144-148 , 1995

P. Rondogiannis and W. W. Wadge,
Transforming First-Order Functional Programs to Intensional Programs of Nullary Variables: Theoretical Foundations
In Proceedings of the International Symposium on Lucid and Intensional Programming , pages 84-93 , 1994

P. Rondogiannis and W. W. Wadge,
Compiling Higher-Order Functions for Tagged Dataflow
in Proceedings of the IFIP International Conference on Parallel Architectures and Compilation Techniques (PACT) , pages 269-278 , 1994

P. Rondogiannis and W. W. Wadge,
Higher-Order Dataflow and its Implementation on Stock Hardware
in Proceedings of the ACM Symposium on Applied Computing , pages 431-435 ACM Press , 1994

P. Rondogiannis and W. W. Wadge,
A Dataflow Implementation Technique for Lazy Typed Functional Languages
In Proceedings of the International Symposium on Lucid and Intensional Programming , pages 23-43 , 1993

P. Rondogiannis and M. H. M. Cheng,
DART: A Prolog System for Detecting Deadlocks in Concurrent Programs
in Proceedings of the International Conference of Prolog Applications , 1992

Proceedings

M. Gergatsoulis and P. Rondogiannis,
Intensional Programming II(a scientific collection based on the papers that appeared in the 12th International Symposium on Languages for Intensional Programming)
World Scientific , 2000

Research

Programming Languages

Publications