Γλώσσες Προγραμματισμού |
|
Δημοσιεύσεις
Δημοσιεύσεις σε Περιοδικά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
|
|||||||