Galle Fontaine
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
8
Active years
2006–2015
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | ICDT | On the Data Complexity of Consistent Query Answering over Graph Databases. | Pablo Barcel, Galle Fontaine |
| 2013 | LICS | Why is it Hard to Obtain a Dichotomy for Consistent Query Answering? | Galle Fontaine |
| 2013 | LPAR | Expressive Path Queries on Graphs with Data. | Pablo Barcel, Galle Fontaine, Anthony Widjaja Lin |
| 2012 | ICDT | On the data complexity of consistent query answering. | Balder ten Cate, Galle Fontaine, Phokion G. Kolaitis |
| 2010 | FOSSACS | An Easy Completeness Proof for the Modal | Balder ten Cate, Galle Fontaine |
| 2010 | ICALP | Automata for Coalgebras: An Approach Using Predicate Liftings. | Galle Fontaine, Raul Andres Leal, Yde Venema |
| 2010 | MFCS | Frame Definability for Classes of Trees in the | Galle Fontaine, Thomas Place |
| 2008 | CSL | Continuous Fragment of the mu-Calculus. | Galle Fontaine |
| 2006 | AiML | ML is not finitely axiomatizable over Cheq. | Galle Fontaine |