Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of Panos Rondogiannis Panagiotis Rondogiannis ( http://dblp.L3S.de/Authors/Panos_Rondogiannis )

Publication years (Num. hits)
1994-2002 (15) 2003-2008 (15) 2009-2012 (7)
Publication types (Num. hits)
article(22) inproceedings(15)
Venues (Conferences, Journals, ...)
Inf. Comput.(3) Inf. Process. Lett.(3) Theor. Comput. Sci.(3) CoRR(2) Developments in Language Theor...(2) J. Funct. Program.(2) JELIA(2) ACM Trans. Comput. Log.(1) Ann. Pure Appl. Logic(1) COMPSAC(1) Comput. Lang.(1) DCW(1) ECSQARU-FAPR(1) Fundam. Inform.(1) GALOP(1) ICLP(1) More (+10 of total 27)
Authors
Panos Rondogiannis(36) William W. Wadge(14) Christos Nomikos(10) Manolis Gergatsoulis(8) Vassilis Kountouriotis(4) Angelos Charalambidis(3) Themis Panayiotopoulos(3) Alexander Okhotin(2) Konstantinos Handjopoulos(2) Petros Potikas(2) Stavros D. Nikolopoulos(2) Athanasios Grivas(1) Chrysida Galanaki(1) David Pearce(1) John Plaice(1) Mantis H. M. Cheng(1) More (+10 of total 21)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 6 occurrences of 6 keywords
Results
Found 37 publication records. Showing 37 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Alexander Okhotin, Panos Rondogiannis On the expressive power of univariate equations over sets of natural numbers. Search on Bibsonomy Inf. Comput. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Vassilis Kountouriotis, Christos Nomikos, Panos Rondogiannis A game-theoretic characterization of Boolean grammars. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Angelos Charalambidis, Konstantinos Handjopoulos, Panos Rondogiannis, William W. Wadge Extensional Higher-Order Logic Programming Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Angelos Charalambidis, Konstantinos Handjopoulos, Panos Rondogiannis, William W. Wadge Extensional Higher-Order Logic Programming. Search on Bibsonomy JELIA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Christos Nomikos, Panos Rondogiannis, William W. Wadge Strong equivalence of logic programs under the infinite-valued semantics. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Vassilis Kountouriotis, Christos Nomikos, Panos Rondogiannis Well-founded semantics for Boolean grammars. Search on Bibsonomy Inf. Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Vassilis Kountouriotis, Christos Nomikos, Panos Rondogiannis A Game-Theoretic Characterization of Boolean Grammars. Search on Bibsonomy Developments in Language Theory The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Weichang Du, John Plaice, Panagiotis Rondogiannis SECASA 2008 Workshop Organization. Search on Bibsonomy COMPSAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Christos Nomikos, Panos Rondogiannis Locally stratified Boolean grammars. Search on Bibsonomy Inf. Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Chrysida Galanaki, Panos Rondogiannis, William W. Wadge An infinite-game semantics for well-founded negation in logic programming. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Angelos Charalambidis, Athanasios Grivas, Nikolaos S. Papaspyrou, Panos Rondogiannis Efficient Intensional Implementation for Lazy Functional Languages. Search on Bibsonomy Mathematics in Computer Science The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Implementation of functional languages, dataflow computation, intensional logic
1Alexander Okhotin, Panos Rondogiannis On the expressive power of univariate equations over sets of natural numbers. Search on Bibsonomy IFIP TCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Christos Nomikos, Panos Rondogiannis Locally Stratified Boolean Grammars. Search on Bibsonomy LATA The full citation details ... 2007 DBLP  BibTeX  RDF
1Pedro Cabalar, David Pearce, Panos Rondogiannis, William W. Wadge A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation. Search on Bibsonomy LPNMR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Petros Potikas, Panos Rondogiannis, Manolis Gergatsoulis A Value-propagating Transformation Technique for Datalog Programs Based on Non-Deterministic Constructs. Search on Bibsonomy Fundam. Inform. The full citation details ... 2006 DBLP  BibTeX  RDF
1Vassilis Kountouriotis, Christos Nomikos, Panos Rondogiannis Well-Founded Semantics for Boolean Grammars. Search on Bibsonomy Developments in Language Theory The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Christos Nomikos, Panos Rondogiannis, Manolis Gergatsoulis Temporal stratification tests for linear and branching-time deductive databases. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Panos Rondogiannis, William W. Wadge Minimum model semantics for logic programs with negation-as-failure. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF infinite-valued logics, Logic programming, well-founded model, negation-as-failure
1Panos Rondogiannis, William W. Wadge An infinite-game semantics for negation in logic programming. Search on Bibsonomy GALOP The full citation details ... 2005 DBLP  BibTeX  RDF
1Christos Nomikos, Panos Rondogiannis, William W. Wadge A Sufficient Condition for Strong Equivalence Under the Well-Founded Semantics. Search on Bibsonomy ICLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Stavros D. Nikolopoulos, Christos Nomikos, Panos Rondogiannis A limit characterization for the number of spanning trees of graphs. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Panos Rondogiannis, William W. Wadge Minimum Model Semantics for Logic Programs with Negation-as-Failure Search on Bibsonomy CoRR The full citation details ... 2003 DBLP  BibTeX  RDF
1Panos Rondogiannis, William W. Wadge An Infinite-Valued Semantics for Logic Programs with Negation. Search on Bibsonomy JELIA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Panos Rondogiannis Stratified negation in temporal logic programming and the cycle-sum test. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Panos Rondogiannis, Manolis Gergatsoulis The Branching-Time Transformation Technique for Chain Datalog Programs. Search on Bibsonomy J. Intell. Inf. Syst. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Petros Potikas, Panos Rondogiannis, Manolis Gergatsoulis A Transformation Technique for Datalog Programs Based on Non-deterministic Constructs. Search on Bibsonomy LOPSTR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Logic Program Transformations, Deductive Databases
1Manolis Gergatsoulis, Panos Rondogiannis, Themis Panayiotopoulos Temporal Disjunctive Logic Programming. Search on Bibsonomy New Generation Comput. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Yannis Stavrakas, Manolis Gergatsoulis, Panos Rondogiannis Multidimensional XML. Search on Bibsonomy DCW The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Panos Rondogiannis Adding multidimensionality to procedural programming languages. Search on Bibsonomy Softw., Pract. Exper. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Panos Rondogiannis, William W. Wadge Higher-Order Functional Languages and Intensional Logic. Search on Bibsonomy J. Funct. Program. The full citation details ... 1999 DBLP  BibTeX  RDF
1Stavros D. Nikolopoulos, Panos Rondogiannis On the Number of Spanning Trees of Multi-Star Related Graphs. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Panos Rondogiannis, Manolis Gergatsoulis, Themis Panayiotopoulos Branching-Time Logic Programming: The Language Cactus and its Applications. Search on Bibsonomy Comput. Lang. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Panos Rondogiannis, William W. Wadge First-Order Functional Languages and Intensional Logic. Search on Bibsonomy J. Funct. Program. The full citation details ... 1997 DBLP  BibTeX  RDF
1Panos Rondogiannis, Manolis Gergatsoulis, Themis Panayiotopoulos Cactus: A Branching-Time Logic Programming Language. Search on Bibsonomy ECSQARU-FAPR The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Panos Rondogiannis, Mantis H. M. Cheng Petri-Net-Based Deadlock Analysis of Process Algebra Programs. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Panos Rondogiannis, William W. Wadge Higher-order dataflow and its implementation on stock hardware. Search on Bibsonomy SAC The full citation details ... 1994 DBLP  DOI  BibTeX  RDF funtional programming, higher-order dataflow, intensonal programming
1Panos Rondogiannis, William W. Wadge Compiling Higher-Order Functions for Tagged-Dataflow. Search on Bibsonomy IFIP PACT The full citation details ... 1994 DBLP  BibTeX  RDF
Displaying result #1 - #37 of 37 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.