Eugénie Foustoucos

Publication Activity (10 Years)

Years Active: 1995-2010
Publications (10 Years): 0

Publications

Stavros S. Cosmadakis, Eugénie Foustoucos, Anastasios Sidiropoulos
Undecidability and intractability results concerning datalog programs and their persistency numbers. ACM Trans. Comput. Log. 11 (2) (2010)
Panos Constantopoulos, Vicky Dritsou, Eugénie Foustoucos
Developing Query Patterns. ECDL (2009)
Eugénie Foustoucos, Labrini Kalantzi
The Monadic Second-order Logic Evaluation Problem on Finite Colored Trees: a Database-theoretic Approach. Fundam. Informaticae 92 (3) (2009)
Eugénie Foustoucos, Irène Guessarian
Inf-datalog, Modal Logic and Complexities. RAIRO Theor. Informatics Appl. 43 (1) (2009)
Eugénie Foustoucos, Irène Guessarian
Complexity of Monadic inf-datalog. Application to temporal logic CoRR (2006)
Foto N. Afrati, Theodore Andronikos, Vassia Pavlaki, Eugénie Foustoucos, Irène Guessarian
On relating CTL to Datalog CoRR (2005)
Foto N. Afrati, Stavros S. Cosmadakis, Eugénie Foustoucos
Datalog programs and their persistency numbers. ACM Trans. Comput. Log. 6 (3) (2005)
Irène Guessarian, Eugénie Foustoucos, Theodore Andronikos, Foto N. Afrati
On temporal logic versus datalog. Theor. Comput. Sci. 303 (1) (2003)
Eugénie Foustoucos, S. Kazem Lellahi, Nicolas Spyratos
An Algebraic semantics for Datalog. JFPLC (1995)