- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| c5 |      | Claire David, Amélie Gheerbrant, Leonid Libkin, Wim Martens: Containment of pattern-based queries over data trees. ICDT 2013: 201-212 |
| 2012 | ||
| j3 | | Amélie Gheerbrant, Balder ten Cate: Complete Axiomatizations of Fragments of Monadic Second-Order Logic on Finite Trees. Logical Methods in Computer Science 8(4) (2012) |
| c4 | | Amélie Gheerbrant, Leonid Libkin, Tony Tan: On the complexity of query answering over incomplete XML documents. ICDT 2012: 169-181 |
| 2010 | ||
| j2 | | Johan van Benthem, Amélie Gheerbrant: Game Solution, Epistemic Dynamics and Fixed-Point Logics. Fundam. Inform. 100(1-4): 19-41 (2010) |
| c3 | | Amélie Gheerbrant: Complete Axiomatization of the Stutter-invariant Fragment of the Linear Time mu-calculus. Advances in Modal Logic 2010: 140-155 |
| 2009 | ||
| c2 | | Amélie Gheerbrant, Balder ten Cate: Craig Interpolation for Linear Temporal Languages. CSL 2009: 287-301 |
| c1 | | Amélie Gheerbrant, Balder ten Cate: Complete Axiomatizations of MSO, FO(TC1)and FO(LFP1)on Finite Trees. LFCS 2009: 180-196 |
| 2006 | ||
| j1 | | Amélie Gheerbrant, Marcin Mostowski: Recursive complexity of the Carnap first order modal logic C. Math. Log. Q. 52(1): 87-94 (2006) |
| 1 | Johan van Benthem | |
| 2 | Balder ten Cate | |
| 3 | Claire David | |
| 4 | Leonid Libkin | |
| 5 | Wim Martens | |
| 6 | Marcin Mostowski | |
| 7 | Tony Tan |
Colors in the list of coauthors
Last update Sun May 26 02:29:23 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page