Amélie Gheerbrant

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
A Researcher's Digest of GQL (invited talk)	2024-10-08	Paper
Naïve evaluation of queries over incomplete databases ACM Transactions on Database Systems	2021-11-25	Paper
Static analysis and query answering for incomplete data trees with constraints	2018-10-18	Paper
Certain answers over incomplete XML documents: extending tractability boundary Theory of Computing Systems	2016-04-18	Paper
Complete axiomatizations of fragments of monadic second-order logic on finite trees Logical Methods in Computer Science	2013-01-07	Paper
Complete axiomatization of the stutter-invariant fragment of the linear time \(\mu\)-calculus	2012-08-05	Paper
Game solution, epistemic dynamics and fixed-point logics Fundamenta Informaticae	2011-01-03	Paper
Craig Interpolation for Linear Temporal Languages Computer Science Logic	2009-11-12	Paper
Complete Axiomatizations of MSO, FO(TC 1 ) and FO(LFP 1 ) on Finite Trees Logical Foundations of Computer Science	2009-02-24	Paper
Recursive complexity of the Carnap first order modal logic C MLQ	2006-03-24	Paper

Research outcomes over time

This page was built for person: Amélie Gheerbrant