Panagiotis Rondogiannis
List of publications from the DBLP Bibliography Server - FAQ
2008 | ||
---|---|---|
28 | EE | Weichang Du, John Plaice, Panagiotis Rondogiannis: SECASA 2008 Workshop Organization. COMPSAC 2008: 1253 |
27 | EE | Alexander Okhotin, Panos Rondogiannis: On the expressive power of univariate equations over sets of natural numbers. IFIP TCS 2008: 215-227 |
26 | EE | Chrysida 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) |
25 | EE | Christos Nomikos, Panos Rondogiannis: Locally stratified Boolean grammars. Inf. Comput. 206(9-10): 1219-1233 (2008) |
2007 | ||
24 | EE | Pedro Cabalar, David Pearce, Panos Rondogiannis, William W. Wadge: A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation. LPNMR 2007: 44-57 |
2006 | ||
23 | EE | Vassilis Kountouriotis, Christos Nomikos, Panos Rondogiannis: Well-Founded Semantics for Boolean Grammars. Developments in Language Theory 2006: 203-214 |
22 | EE | Petros 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 | |
20 | EE | Christos Nomikos, Panos Rondogiannis, William W. Wadge: A Sufficient Condition for Strong Equivalence Under the Well-Founded Semantics. ICLP 2005: 414-415 |
19 | EE | Panos Rondogiannis, William W. Wadge: Minimum model semantics for logic programs with negation-as-failure. ACM Trans. Comput. Log. 6(2): 441-467 (2005) |
18 | EE | Christos 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 | ||
17 | EE | Stavros 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 | ||
16 | EE | Panos Rondogiannis, William W. Wadge: Minimum Model Semantics for Logic Programs with Negation-as-Failure CoRR cs.LO/0306017: (2003) |
2002 | ||
15 | EE | Panos Rondogiannis, William W. Wadge: An Infinite-Valued Semantics for Logic Programs with Negation. JELIA 2002: 456-467 |
2001 | ||
14 | EE | Petros 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) | |
12 | EE | Panos Rondogiannis: Stratified negation in temporal logic programming and the cycle-sum test. Theor. Comput. Sci. 254(1-2): 663-676 (2001) |
2000 | ||
11 | EE | Yannis 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) | |
6 | EE | Stavros 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 | |
2 | EE | Panos 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) |
1 | Pedro Cabalar | [24] |
2 | Mantis H. M. Cheng | [1] |
3 | Weichang Du | [28] |
4 | Chrysida Galanaki | [26] |
5 | Manolis Gergatsoulis | [5] [7] [10] [11] [13] [14] [18] [22] |
6 | Vassilis Kountouriotis | [23] |
7 | Stavros D. Nikolopoulos | [6] [17] |
8 | Christos Nomikos | [17] [18] [20] [23] [25] |
9 | Alexander Okhotin | [27] |
10 | Themis Panayiotopoulos | [5] [7] [10] |
11 | David Pearce | [24] |
12 | John Plaice | [28] |
13 | Petros Potikas | [14] [22] |
14 | Yannis Stavrakas | [11] |
15 | William W. Wadge | [2] [3] [4] [9] [15] [16] [19] [20] [21] [24] [26] |