Gaëlle Fontaine

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
scientific article; zbMATH DE number 7439738 (Why is no real title available?)	2021-12-07	Paper
Cycle detection in computation tree logic Information and Computation	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? 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science	2017-07-03	Paper
On the data complexity of consistent query answering over graph databases Journal of Computer and System Sciences	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 Theory of Computing Systems	2016-04-18	Paper
Expressive path queries on graph with data Logical Methods in Computer Science	2015-10-29	Paper
Why is it hard to obtain a dichotomy for consistent query answering? ACM Transactions on Computational Logic	2015-09-17	Paper
Multidomain extension of a pseudospectral algorithm for the direct simulation of wall-confined rotating flows Lecture Notes in Computational Science and Engineering	2014-01-31	Paper
Expressive path queries on graphs with data Logic for Programming, Artificial Intelligence, and Reasoning	2014-01-17	Paper
Some modal aspects of XPath Journal of Applied Non-Classical Logics	2012-07-17	Paper
Vietoris bisimulations Journal Of Logic And Computation	2010-11-11	Paper
Automata for coalgebras: an approach using predicate liftings Automata, Languages and Programming	2010-09-07	Paper
Frame Definability for Classes of Trees in the μ-calculus Mathematical Foundations of Computer Science 2010	2010-09-03	Paper
An Easy Completeness Proof for the Modal μ-Calculus on Finite Trees Foundations of Software Science and Computational Structures	2010-04-27	Paper
Continuous Fragment of the mu-Calculus Computer Science Logic	2008-11-20	Paper
scientific article; zbMATH DE number 5295707 (Why is no real title available?)	2008-07-01	Paper
HST/STIS observations of sdBV stars: testing diffusion and pulsation theory Astrophysics and Space Science	2005-01-17	Paper
scientific article; zbMATH DE number 1890958 (Why is no real title available?)	2003-07-27	Paper

Research outcomes over time

This page was built for person: Gaëlle Fontaine