.

Δημοσιεύσεις



Δημοσιεύσεις σε Περιοδικά

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



Δημοσιεύσεις που περιλαμβάνονται σε Πρακτικά Συνεδρίων

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



Δημοσίευση Πρακτικών Συνεδρίου

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

Έρευνα > Γλώσσες Προγραμματισμού > Δημοσιεύσεις