Game solution, epistemic dynamics and fixed-point logics J Van Benthem, A Gheerbrant Fundamenta Informaticae 100 (1-4), 19-41, 2010 | 53 | 2010 |

Naïve evaluation of queries over incomplete databases A Gheerbrant, L Libkin, C Sirangelo ACM Transactions on Database Systems (TODS) 39 (4), 1-42, 2014 | 23 | 2014 |

Containment of pattern-based queries over data trees C David, A Gheerbrant, L Libkin, W Martens Proceedings of the 16th International Conference on Database Theory, 201-212, 2013 | 21 | 2013 |

On the complexity of query answering over incomplete XML documents A Gheerbrant, L Libkin, T Tan Proceedings of the 15th International Conference on Database Theory, 169-181, 2012 | 20 | 2012 |

When is naive evaluation possible? A Gheerbrant, L Libkin, C Sirangelo Proceedings of the 32nd ACM SIGMOD-SIGACT-SIGAI symposium on Principles of …, 2013 | 15 | 2013 |

Fixed-point logics on trees AP Gheerbrant ILLC, 2010 | 13 | 2010 |

Complete Axiomatizations of *MSO*, *FO(TC* ^{1} *)* and *FO(LFP* ^{1} *)* on Finite TreesA Gheerbrant, B ten Cate International Symposium on Logical Foundations of Computer Science, 180-196, 2009 | 11 | 2009 |

Craig interpolation for linear temporal languages A Gheerbrant, B Ten Cate International Workshop on Computer Science Logic, 287-301, 2009 | 8 | 2009 |

Certain answers over incomplete XML documents: extending tractability boundary A Gheerbrant, L Libkin Theory of Computing Systems 57 (4), 892-926, 2015 | 6 | 2015 |

Reasoning about pattern-based XML queries A Gheerbrant, L Libkin, C Sirangelo International Conference on Web Reasoning and Rule Systems, 4-18, 2013 | 6 | 2013 |

Recursive complexity of the Carnap first order modal logic C A Gheerbrant, M Mostowski Mathematical Logic Quarterly 52 (1), 87-94, 2006 | 6 | 2006 |

Complete axiomatizations of fragments of monadic second-order logic on finite trees A Gheerbrant, B Cate arXiv preprint arXiv:1210.2620, 2012 | 5 | 2012 |

Complete axiomatization of the stutter-invariant fragment of the linear time µ-calculus A Gheerbrant proceedings of AiML 2010, 2010 | 2 | 2010 |

Best answers over incomplete data: complexity and first-order rewritings A Gheerbrant, C Sirangelo Proceedings of the 28th International Joint Conference on Artificial …, 2019 | 1 | 2019 |

Static Analysis and Query Answering for Incomplete Data Trees with Constraints A Gheerbrant, L Libkin, J Reutter In Search of Elegance in the Theory and Practice of Computation, 273-290, 2013 | | 2013 |

SOURCE (OR PART OF THE FOLLOWING SOURCE): Type PhD thesis Title Fixed-point logics on trees AP Gheerbrant | | 2010 |

Increasing the expressive power of the Carnap first order modal logic C A Gheerbrant Actas del V Congreso de la Sociedad de Lógica, Metodología y Filosofía de la …, 2006 | | 2006 |

Incomplete information, monotonicity and homomorphism preservation A Gheerbrant, L Libkin, C Sirangelo | | |

Querying incomplete graphs with data G Fontaine, A Gheerbrant | | |