dblp.uni-trier.dewww.uni-trier.de

Panos Rondogiannis

Panagiotis Rondogiannis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2008
28EEWeichang Du, John Plaice, Panagiotis Rondogiannis: SECASA 2008 Workshop Organization. COMPSAC 2008: 1253
27EEAlexander Okhotin, Panos Rondogiannis: On the expressive power of univariate equations over sets of natural numbers. IFIP TCS 2008: 215-227
26EEChrysida Galanaki, Panos Rondogiannis, William W. Wadge: An infinite-game semantics for well-founded negation in logic programming. Ann. Pure Appl. Logic 151(2-3): 70-88 (2008)
25EEChristos Nomikos, Panos Rondogiannis: Locally stratified Boolean grammars. Inf. Comput. 206(9-10): 1219-1233 (2008)
2007
24EEPedro Cabalar, David Pearce, Panos Rondogiannis, William W. Wadge: A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation. LPNMR 2007: 44-57
2006
23EEVassilis Kountouriotis, Christos Nomikos, Panos Rondogiannis: Well-Founded Semantics for Boolean Grammars. Developments in Language Theory 2006: 203-214
22EEPetros Potikas, Panos Rondogiannis, Manolis Gergatsoulis: A Value-propagating Transformation Technique for Datalog Programs Based on Non-Deterministic Constructs. Fundam. Inform. 72(4): 485-527 (2006)
2005
21 Panos Rondogiannis, William W. Wadge: An infinite-game semantics for negation in logic programming. GALOP 2005: 77-91
20EEChristos Nomikos, Panos Rondogiannis, William W. Wadge: A Sufficient Condition for Strong Equivalence Under the Well-Founded Semantics. ICLP 2005: 414-415
19EEPanos Rondogiannis, William W. Wadge: Minimum model semantics for logic programs with negation-as-failure. ACM Trans. Comput. Log. 6(2): 441-467 (2005)
18EEChristos Nomikos, Panos Rondogiannis, Manolis Gergatsoulis: Temporal stratification tests for linear and branching-time deductive databases. Theor. Comput. Sci. 342(2-3): 382-415 (2005)
2004
17EEStavros D. Nikolopoulos, Christos Nomikos, Panos Rondogiannis: A limit characterization for the number of spanning trees of graphs. Inf. Process. Lett. 90(6): 307-313 (2004)
2003
16EEPanos Rondogiannis, William W. Wadge: Minimum Model Semantics for Logic Programs with Negation-as-Failure CoRR cs.LO/0306017: (2003)
2002
15EEPanos Rondogiannis, William W. Wadge: An Infinite-Valued Semantics for Logic Programs with Negation. JELIA 2002: 456-467
2001
14EEPetros Potikas, Panos Rondogiannis, Manolis Gergatsoulis: A Transformation Technique for Datalog Programs Based on Non-deterministic Constructs. LOPSTR 2001: 25-45
13 Panos Rondogiannis, Manolis Gergatsoulis: The Branching-Time Transformation Technique for Chain Datalog Programs. J. Intell. Inf. Syst. 17(1): 71-94 (2001)
12EEPanos Rondogiannis: Stratified negation in temporal logic programming and the cycle-sum test. Theor. Comput. Sci. 254(1-2): 663-676 (2001)
2000
11EEYannis Stavrakas, Manolis Gergatsoulis, Panos Rondogiannis: Multidimensional XML. DCW 2000: 100-109
10 Manolis Gergatsoulis, Panos Rondogiannis, Themis Panayiotopoulos: Temporal Disjunctive Logic Programming. New Generation Comput. 19(1): 87- (2000)
1999
9 Panos Rondogiannis, William W. Wadge: Higher-Order Functional Languages and Intensional Logic. J. Funct. Program. 9(5): 527-564 (1999)
8 Panos Rondogiannis: Adding multidimensionality to procedural programming languages. Softw., Pract. Exper. 29(13): 1201-1221 (1999)
1998
7 Panos Rondogiannis, Manolis Gergatsoulis, Themis Panayiotopoulos: Branching-Time Logic Programming: The Language Cactus and its Applications. Comput. Lang. 24(3): 155-178 (1998)
6EEStavros D. Nikolopoulos, Panos Rondogiannis: On the Number of Spanning Trees of Multi-Star Related Graphs. Inf. Process. Lett. 65(4): 183-188 (1998)
1997
5 Panos Rondogiannis, Manolis Gergatsoulis, Themis Panayiotopoulos: Cactus: A Branching-Time Logic Programming Language. ECSQARU-FAPR 1997: 511-524
4 Panos Rondogiannis, William W. Wadge: First-Order Functional Languages and Intensional Logic. J. Funct. Program. 7(1): 73-101 (1997)
1994
3 Panos Rondogiannis, William W. Wadge: Compiling Higher-Order Functions for Tagged-Dataflow. IFIP PACT 1994: 269-278
2EEPanos Rondogiannis, William W. Wadge: Higher-order dataflow and its implementation on stock hardware. SAC 1994: 431-435
1 Panos Rondogiannis, Mantis H. M. Cheng: Petri-Net-Based Deadlock Analysis of Process Algebra Programs. Sci. Comput. Program. 23(1): 55-89 (1994)

Coauthor Index

1Pedro Cabalar [24]
2Mantis H. M. Cheng [1]
3Weichang Du [28]
4Chrysida Galanaki [26]
5Manolis Gergatsoulis [5] [7] [10] [11] [13] [14] [18] [22]
6Vassilis Kountouriotis [23]
7Stavros D. Nikolopoulos [6] [17]
8Christos Nomikos [17] [18] [20] [23] [25]
9Alexander Okhotin [27]
10Themis Panayiotopoulos [5] [7] [10]
11David Pearce [24]
12John Plaice [28]
13Petros Potikas [14] [22]
14Yannis Stavrakas [11]
15William W. Wadge [2] [3] [4] [9] [15] [16] [19] [20] [21] [24] [26]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)