Gaëlle Fontaine

Available identifiers

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5015276	2021-12-07	Paper
Cycle detection in computation tree logic	2018-09-27	Paper
https://portal.mardi4nfdi.de/entity/Q4603451	2018-02-20	Paper
Why is it Hard to Obtain a Dichotomy for Consistent Query Answering?	2017-07-03	Paper
On the data complexity of consistent query answering over graph databases	2017-06-30	Paper
On the Data Complexity of Consistent Query Answering over Graph Databases.	2017-06-13	Paper
On the data complexity of consistent query answering	2016-04-18	Paper
Expressive Path Queries on Graph with Data	2015-10-29	Paper
Why Is It Hard to Obtain a Dichotomy for Consistent Query Answering?	2015-09-17	Paper
Multidomain Extension of a Pseudospectral Algorithm for the Direct Simulation of Wall-Confined Rotating Flows	2014-01-31	Paper
Expressive Path Queries on Graphs with Data	2014-01-17	Paper
Some modal aspects of XPath	2012-07-17	Paper
Vietoris bisimulations	2010-11-11	Paper
Automata for coalgebras: an approach using predicate liftings	2010-09-07	Paper
Frame Definability for Classes of Trees in the μ-calculus	2010-09-03	Paper
An Easy Completeness Proof for the Modal μ-Calculus on Finite Trees	2010-04-27	Paper
Continuous Fragment of the mu-Calculus	2008-11-20	Paper
https://portal.mardi4nfdi.de/entity/Q3509050	2008-07-01	Paper
HST/STIS observations of sdBV stars: testing diffusion and pulsation theory	2005-01-17	Paper
https://portal.mardi4nfdi.de/entity/Q4803184	2003-07-27	Paper

This page was built for person: Gaëlle Fontaine