• 
  Anca Muscholl, Thomas Schwentick, Luc Segoufin. Active Context-Free Games. Theory of Computing Systems, 2006, 39 (1), pp.237--276. ⟨hal-00306333⟩
• 
  Binh-Minh Bui-Xuan, Michel Habib. A Representation Theorem for Union-Difference Families and Application. LATIN: Latin American Symposium, Apr 2008, Búzios, Brazil. pp.492-503, ⟨10.1007/978-3-540-78773-0_43⟩. ⟨lirmm-00324969⟩
• 
  Yasmina Abdeddaim, Eugene Asarin, Matthieu Gallien, Félix Ingrand, Charles Lesire, et al.. Planning Robust Temporal Plans A Comparison Between CBTP and TGA Approaches. International Conference on Automated Planning and Scheduling, Sep 2007, Providence, Rhode Island, United States. pp.2-9. ⟨hal-00157935⟩
• 
  Moez Draief, Jean Mairesse, Neil O'Connell. Joint Burke's Theorem and RSK Representation for a Queue and a Store. Discrete Random Walks, DRW'03, 2003, Paris, France. pp.69-82, ⟨10.46298/dmtcs.3339⟩. ⟨hal-01183934⟩
• 
  Jean-Christophe Novelli, Dominique Rossin. On the Toppling of a Sand Pile. Discrete Models: Combinatorics, Computation, and Geometry, DM-CCG 2001, 2001, Paris, France. pp.275-286, ⟨10.46298/dmtcs.2283⟩. ⟨hal-01182963⟩
• 
  Christiane Frougny, Zuzana Masáková, Edita Pelantová. Infinite special branches in words associated with beta-expansions. Discrete Mathematics and Theoretical Computer Science, 2007, Vol. 9 no. 2 (2), pp.125-144. ⟨10.46298/dmtcs.415⟩. ⟨hal-00159681⟩
• 
  Shigeki Akiyama, Frédérique Bassino, Christiane Frougny. Automata for arithmetic Meyer sets. LATIN 04, 2004, Buenos-Aires, Argentina. pp.252-261, ⟨10.1007/978-3-540-24698-5_29⟩. ⟨hal-00159713⟩
• 
  Serge Haddad, Jean Mairesse, Hoang-Thach Nguyen. Synthesis and Analysis of Product-form Petri Nets. 2011. ⟨hal-00582584v2⟩
• 
  Daniel Král', Chun-Hung Liu, Jean-Sébastien Sereni, Peter Whalen, Zelealem Yilma. A new bound for the 2/3 conjecture. 2012. ⟨hal-00686989v1⟩
• 
  Frédérique Bassino, Mathilde Bouvel, Adeline Pierrot, Carine Pivoteau, Dominique Rossin. Combinatorial specification of permutation classes. 24th International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2012), Jul 2012, Nagoya, Japan. pp.781 - 792, ⟨10.46298/dmtcs.3082⟩. ⟨hal-00685023⟩
• 
  Mireille Bousquet-Mélou, Guillaume Chapuy, Louis-François Préville Ratelle. Tamari lattices and parking functions: proof of a conjecture of F. Bergeron. 2012. ⟨hal-00621252v2⟩
• 
  Mireille Bousquet-Mélou, Guillaume Chapuy, Louis-François Préville-Ratelle. The representation of the symmetric group on m-Tamari intervals. 2012. ⟨hal-00674492v2⟩
• 
  Johannes F. Morgenbesser, Wolfgang Steiner, Jörg Thuswaldner. Patterns in rational base number systems. Journal of Fourier Analysis and Applications, 2013, 19 (2), pp.225-250. ⟨10.1007/s00041-012-9246-1⟩. ⟨hal-00681647⟩
• 
  François Laroussinie, Antoine Meyer, Eudes Petonnet. Counting LTL. TIME 2010, Sep 2010, Paris, France. p. 51-58, ⟨10.1109/TIME.2010.20⟩. ⟨hal-00681267⟩
• 
  François Laroussinie, Antoine Meyer, Eudes Pétonnet. Counting CTL. FoSSaCS 2010, Mar 2010, Paphos, Cyprus. pp.206-220, ⟨10.1007/978-3-642-12032-9_15⟩. ⟨hal-00681263⟩
• 
  Nutan Limaye, Meena Mahajan, Antoine Meyer. On the Complexity of Membership and Counting in Height-Deterministic Pushdown Automata. Journal of Automata Languages and Combinatorics, 2009, 14 (3/4), p. 211-235. ⟨hal-00681253⟩
• 
  Nutan Limaye, Meena Mahajan, Antoine Meyer. On the Complexity of Membership and Counting in Height-Deterministic Pushdown Automata. CSR 2008, Jun 2008, Moscow, Russia. p. 240-251, ⟨10.1007/978-3-540-79709-8_25⟩. ⟨hal-00681215⟩
• 
  Antoine Meyer. Traces of Term-Automatic Graphs. Mathematical Foundations of Computer Science (MFCS), Aug 2007, Cesky Krumlov, Poland. p. 489-500, ⟨10.1007/978-3-540-74456-6_44⟩. ⟨hal-00681214⟩
• 
  Greta Yorsh, Alexander Rabinovich, Mooly Sagiv, Antoine Meyer, Ahmed Bouajjani. A Logic of Reachable Patterns in Linked Data-Structures. Journal of Logic and Algebraic Programming, 2007, 73 (1-2), p. 111-142. ⟨10.1016/j.jlap.2006.12.001⟩. ⟨hal-00681203⟩
• 
  Arnaud Carayol, Antoine Meyer. Linearly Bounded Infinite Graphs. MFCS 2005, Sep 2005, Gdansk, Poland. pp.180-191, ⟨10.1007/11549345_17⟩. ⟨hal-00149334⟩

591

386