Panos Rondogiannis

Panagiotis Rondogiannis

	2009
31		Vassilis Kountouriotis, Christos Nomikos, Panos Rondogiannis: A Game-Theoretic Characterization of Boolean Grammars. Developments in Language Theory 2009: 334-347
30		Vassilis Kountouriotis, Christos Nomikos, Panos Rondogiannis: Well-founded semantics for Boolean grammars. Inf. Comput. 207(9): 945-967 (2009)
29		Christos Nomikos, Panos Rondogiannis, William W. Wadge: Strong equivalence of logic programs under the infinite-valued semantics. Inf. Process. Lett. 109(11): 576-581 (2009)
	2008
28		Weichang Du, John Plaice, Panagiotis Rondogiannis: SECASA 2008 Workshop Organization. COMPSAC 2008: 1253
27		Alexander Okhotin, Panos Rondogiannis: On the expressive power of univariate equations over sets of natural numbers. IFIP TCS 2008: 215-227
26		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		Christos Nomikos, Panos Rondogiannis: Locally stratified Boolean grammars. Inf. Comput. 206(9-10): 1219-1233 (2008)
	2007
24		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		Vassilis Kountouriotis, Christos Nomikos, Panos Rondogiannis: Well-Founded Semantics for Boolean Grammars. Developments in Language Theory 2006: 203-214
22		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		Christos Nomikos, Panos Rondogiannis, William W. Wadge: A Sufficient Condition for Strong Equivalence Under the Well-Founded Semantics. ICLP 2005: 414-415
19		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		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		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		Panos Rondogiannis, William W. Wadge: Minimum Model Semantics for Logic Programs with Negation-as-Failure CoRR cs.LO/0306017: (2003)
	2002
15		Panos Rondogiannis, William W. Wadge: An Infinite-Valued Semantics for Logic Programs with Negation. JELIA 2002: 456-467
	2001
14		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		Panos Rondogiannis: Stratified negation in temporal logic programming and the cycle-sum test. Theor. Comput. Sci. 254(1-2): 663-676 (2001)
	2000
11		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		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		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)

Coauthor Index

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] [30] [31]
7	Stavros D. Nikolopoulos	[6] [17]
8	Christos Nomikos	[17] [18] [20] [23] [25] [29] [30] [31]
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] [29]

Colors in the list of coauthors