|
Search the dblp DataBase
Panos Rondogiannis:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Yannis Stavrakas, Manolis Gergatsoulis, Panos Rondogiannis
Multidimensional XML. [Citation Graph (0, 0)][DBLP] DCW, 2000, pp:100-109 [Conf]
- Vassilis Kountouriotis, Christos Nomikos, Panos Rondogiannis
Well-Founded Semantics for Boolean Grammars. [Citation Graph (0, 0)][DBLP] Developments in Language Theory, 2006, pp:203-214 [Conf]
- Panos Rondogiannis, Manolis Gergatsoulis, Themis Panayiotopoulos
Cactus: A Branching-Time Logic Programming Language. [Citation Graph (0, 0)][DBLP] ECSQARU-FAPR, 1997, pp:511-524 [Conf]
- Panos Rondogiannis, William W. Wadge
An infinite-game semantics for negation in logic programming. [Citation Graph (0, 0)][DBLP] GALOP, 2005, pp:77-91 [Conf]
- Christos Nomikos, Panos Rondogiannis, William W. Wadge
A Sufficient Condition for Strong Equivalence Under the Well-Founded Semantics. [Citation Graph (0, 0)][DBLP] ICLP, 2005, pp:414-415 [Conf]
- Panos Rondogiannis, William W. Wadge
Compiling Higher-Order Functions for Tagged-Dataflow. [Citation Graph (0, 0)][DBLP] IFIP PACT, 1994, pp:269-278 [Conf]
- Panos Rondogiannis, William W. Wadge
An Infinite-Valued Semantics for Logic Programs with Negation. [Citation Graph (0, 0)][DBLP] JELIA, 2002, pp:456-467 [Conf]
- Petros Potikas, Panos Rondogiannis, Manolis Gergatsoulis
A Transformation Technique for Datalog Programs Based on Non-deterministic Constructs. [Citation Graph (0, 0)][DBLP] LOPSTR, 2001, pp:25-45 [Conf]
- Pedro Cabalar, David Pearce, Panos Rondogiannis, William W. Wadge
A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation. [Citation Graph (0, 0)][DBLP] LPNMR, 2007, pp:44-57 [Conf]
- Panos Rondogiannis, William W. Wadge
Higher-order dataflow and its implementation on stock hardware. [Citation Graph (0, 0)][DBLP] SAC, 1994, pp:431-435 [Conf]
- Panos Rondogiannis, Manolis Gergatsoulis, Themis Panayiotopoulos
Branching-Time Logic Programming: The Language Cactus and its Applications. [Citation Graph (0, 0)][DBLP] Comput. Lang., 1998, v:24, n:3, pp:155-178 [Journal]
- Panos Rondogiannis, William W. Wadge
Minimum Model Semantics for Logic Programs with Negation-as-Failure [Citation Graph (0, 0)][DBLP] CoRR, 2003, v:0, n:, pp:- [Journal]
- Petros Potikas, Panos Rondogiannis, Manolis Gergatsoulis
A Value-propagating Transformation Technique for Datalog Programs Based on Non-Deterministic Constructs. [Citation Graph (0, 0)][DBLP] Fundam. Inform., 2006, v:72, n:4, pp:485-527 [Journal]
- Stavros D. Nikolopoulos, Christos Nomikos, Panos Rondogiannis
A limit characterization for the number of spanning trees of graphs. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 2004, v:90, n:6, pp:307-313 [Journal]
- Stavros D. Nikolopoulos, Panos Rondogiannis
On the Number of Spanning Trees of Multi-Star Related Graphs. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 1998, v:65, n:4, pp:183-188 [Journal]
- Panos Rondogiannis, William W. Wadge
First-Order Functional Languages and Intensional Logic. [Citation Graph (0, 0)][DBLP] J. Funct. Program., 1997, v:7, n:1, pp:73-101 [Journal]
- Panos Rondogiannis, William W. Wadge
Higher-Order Functional Languages and Intensional Logic. [Citation Graph (0, 0)][DBLP] J. Funct. Program., 1999, v:9, n:5, pp:527-564 [Journal]
- Panos Rondogiannis, Manolis Gergatsoulis
The Branching-Time Transformation Technique for Chain Datalog Programs. [Citation Graph (0, 0)][DBLP] J. Intell. Inf. Syst., 2001, v:17, n:1, pp:71-94 [Journal]
- Manolis Gergatsoulis, Panos Rondogiannis, Themis Panayiotopoulos
Temporal Disjunctive Logic Programming. [Citation Graph (0, 0)][DBLP] New Generation Comput., 2000, v:19, n:1, pp:87-0 [Journal]
- Panos Rondogiannis, Mantis H. M. Cheng
Petri-Net-Based Deadlock Analysis of Process Algebra Programs. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 1994, v:23, n:1, pp:55-89 [Journal]
- Panos Rondogiannis
Adding multidimensionality to procedural programming languages. [Citation Graph (0, 0)][DBLP] Softw., Pract. Exper., 1999, v:29, n:13, pp:1201-1221 [Journal]
- Christos Nomikos, Panos Rondogiannis, Manolis Gergatsoulis
Temporal stratification tests for linear and branching-time deductive databases. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2005, v:342, n:2-3, pp:382-415 [Journal]
- Panos Rondogiannis
Stratified negation in temporal logic programming and the cycle-sum test. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2001, v:254, n:1-2, pp:663-676 [Journal]
- Panos Rondogiannis, William W. Wadge
Minimum model semantics for logic programs with negation-as-failure. [Citation Graph (0, 0)][DBLP] ACM Trans. Comput. Log., 2005, v:6, n:2, pp:441-467 [Journal]
A Game-Theoretic Characterization of Boolean Grammars. [Citation Graph (, )][DBLP]
On the expressive power of univariate equations over sets of natural numbers. [Citation Graph (, )][DBLP]
Extensional Higher-Order Logic Programming. [Citation Graph (, )][DBLP]
An infinite-game semantics for well-founded negation in logic programming. [Citation Graph (, )][DBLP]
Search in 0.724secs, Finished in 0.725secs
|