Eugénie Foustoucos

According to our database1, Eugénie Foustoucos authored at least 9 papers between 1995 and 2010.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2010
Undecidability and intractability results concerning datalog programs and their persistency numbers.
ACM Trans. Comput. Log., 2010

2009
Inf-datalog, Modal Logic and Complexities.
RAIRO Theor. Informatics Appl., 2009

The Monadic Second-order Logic Evaluation Problem on Finite Colored Trees: a Database-theoretic Approach.
Fundam. Informaticae, 2009

Developing Query Patterns.
Proceedings of the Research and Advanced Technology for Digital Libraries, 2009

2006
Complexity of Monadic inf-datalog. Application to temporal logic
CoRR, 2006

2005
Datalog programs and their persistency numbers.
ACM Trans. Comput. Log., 2005

On relating CTL to Datalog
CoRR, 2005

2003
On temporal logic versus datalog.
Theor. Comput. Sci., 2003

1995
An Algebraic semantics for Datalog.
Proceedings of the JFPLC'95, 1995


  Loading...