| 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) |
