| 2015 | CADE | Term Rewriting with Prefix Context Constraints and Bottom-Up Strategies. | Florent Jacquemard, Yoshiharu Kojima, Masahiko Sakai |
| 2015 | SAC | Model based testing of an interactive music system. | Clment Poncelet Sanchez, Florent Jacquemard |
| 2013 | EMSOFT | A synchronous embedding of Antescofo, a domain-specific language for interactive mixed music. | Guillaume Baudart, Florent Jacquemard, Louis Mandel, Marc Pouzet |
| 2013 | LATA | Rewrite Closure and CF Hedge Automata. | Florent Jacquemard, Michal Rusinowitch |
| 2010 | LICS | The Emptiness Problem for Tree Automata with Global Constraints. | Luis Bargu, Carles Creus, Guillem Godoy, Florent Jacquemard, Camille Vacher |
| 2010 | PPDP | Rewrite-based verification of XML updates. | Florent Jacquemard, Michal Rusinowitch |
| 2009 | ISCC | Automatic verification of conformance of firewall configurations to security policies. | Nihel Ben Youssef, Adel Bouhoula, Florent Jacquemard |
| 2009 | LATA | Rigid Tree Automata. | Florent Jacquemard, Francis Klay, Camille Vacher |
| 2008 | CADE | Automated Induction with Constrained Tree Automata. | Adel Bouhoula, Florent Jacquemard |
| 2007 | FOSSACS | Tree Automata with Memory, Visibility and Structural Constraints. | Hubert Comon-Lundh, Florent Jacquemard, Nicolas Perrin |
| 2006 | AISC | The Confluence Problem for Flat TRSs. | Ichiro Mitsuhashi, Michio Oyamaguchi, Florent Jacquemard |
| 2006 | CADE | Tree Automata with Equality Constraints Modulo Equational Theories. | Florent Jacquemard, Michal Rusinowitch, Laurent Vigneron |
| 2004 | CCS | A decision procedure for the verification of security protocols with explicit destructors. | Stphanie Delaune, Florent Jacquemard |
| 2000 | LPAR | Compiling and Verifying Security Protocols. | Florent Jacquemard, Michal Rusinowitch, Laurent Vigneron |
| 1999 | ICALP | Decidable Fragments of Simultaneous Rigid Reachability. | Vronique Cortier, Harald Ganzinger, Florent Jacquemard, Margus Veanes |
| 1997 | LICS | Ground Reducibility is EXPTIME-Complete. | Hubert Comon, Florent Jacquemard |
| 1994 | ICALP | Pumping, Cleaning and Symbolic Constraints Solving. | Anne-Ccile Caron, Hubert Comon, Jean-Luc Coquid, Max Dauchet, Florent Jacquemard |
| 1994 | STACS | Ground Reducibility and Automata with Disequality Constraints. | Hubert Comon, Florent Jacquemard |