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
Some model theory for the modal \(\mu\)-calculus: syntactic characterisations of semantic properties	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