| 2012 | WABI | Tree Decomposition and Parameterized Algorithms for RNA Structure-Sequence Alignment Including Tertiary Interactions and Pseudoknots - (Extended Abstract). | Philippe Rinaudo, Yann Ponty, Dominique Barth, Alain Denise |
| 2011 | FASE | Uniform Monte-Carlo Model Checking. | Johan Oudinet, Alain Denise, Marie-Claude Gaudel, Richard Lassaigne, Sylvain Peyronnet |
| 2011 | SSDBM | Using Medians to Generate Consensus Rankings for Biological Data. | Sarah Cohen Boulakia, Alain Denise, Sylvie Hamel |
| 2006 | ISSTA | Uniform random sampling of traces in very large models. | Alain Denise, Marie-Claude Gaudel, Sandrine-Dominique Gouraud, Richard Lassaigne, Sylvain Peyronnet |
| 2004 | ISSRE | A Generic Method for Statistical Testing. | Alain Denise, Marie-Claude Gaudel, Sandrine-Dominique Gouraud |
| 2001 | WABI | Assessing the Statistical Significance of Overrepresented Oligonucleotides. | Alain Denise, Mireille Rgnier, Mathias Vandenbogaert |
| 2000 | LATIN | On the Complexity of Routing Permutations on Trees by Arc-Disjoint Paths. Extended Abstract. | Dominique Barth, Sylvie Corteel, Alain Denise, Danile Gardy, Mario Valencia-Pabon |