| 2024 | CPAIOR | SMT-Based Repair of Disjunctive Temporal Networks with Uncertainty: Strong and Weak Controllability. | Ajdin Sumic, Alessandro Cimatti, Andrea Micheli, Thierry Vidal |
| 2024 | TIME | A More Efficient and Informed Algorithm to Check Weak Controllability of Simple Temporal Networks with Uncertainty. | Adin Sumic, Thierry Vidal |
| 2024 | TIME | Introducing Interdependent Simple Temporal Networks with Uncertainty for Multi-Agent Temporal Planning. | Ajdin Sumic, Thierry Vidal, Andrea Micheli, Alessandro Cimatti |
| 2016 | ECAI | Solving Dynamic Controllability Problem of Multi-Agent Plans with Uncertainty Using Mixed Integer Linear Programming. | Guillaume Casanova, Cdric Pralet, Charles Lesire, Thierry Vidal |
| 2011 | ICTAI | A Self Healing Action Composition Agent. | Mohamad El Falou, Maroua Bouzid, Abdel-Illah Mouaddib, Thierry Vidal |
| 2010 | ICWS | A Distributed Planning Approach for Web Services Composition. | Mohamad El Falou, Maroua Bouzid, Abdel-Illah Mouaddib, Thierry Vidal |
| 2010 | SMC | A complete and optimal distributed algorithm based on global heuristic for Web services composition. | Mohamad El Falou, Maroua Bouzid, Abdel-Illah Mouaddib, Thierry Vidal |
| 2009 | SERVICES | Automated Web Service Composition: A Decentralised Multi-agent Planning Architecture. | Mohamad El Falou, Maroua Bouzid, Abdel-Illah Mouaddib, Thierry Vidal |
| 2008 | ECAI | Characterizing and checking self-healability. | Marie-Odile Cordier, Yannick Pencol, Louise Trav-Massuys, Thierry Vidal |
| 2008 | ECAI | Automated Web Services Composition Using Extended Representation of Planning Domain. | Mohamad El Falou, Maroua Bouzid, Abdel-Illah Mouaddib, Thierry Vidal |
| 2008 | ICWS | Automated Web Service Composition Using Extended Representation of Planning Domain. | Mohamad El Falou, Maroua Bouzid, Abdel-Illah Mouaddib, Thierry Vidal |
| 2007 | IJCAI | A General Framework for Scheduling in a Stochastic Environment. | Julien Bidot, Thierry Vidal, Philippe Laborie, J. Christopher Beck |
| 2004 | TIME | The Many Ways of Facing Temporal Uncertainty in Planning and Scheduling. | Thierry Vidal |
| 2001 | ETFA | Distributed forward checking for scheduling in flexible manufacturing cells. | Thierry Vidal, Bernard Archimde, Thierry Coudert |
| 2001 | IJCAI | Dynamic Control Of Plans With Temporal Uncertainty. | Paul H. Morris, Nicola Muscettola, Thierry Vidal |
| 2000 | KR | Controllability characterization and checking in Contingent Temporal Constraint Networks. | Thierry Vidal |
| 1999 | IJCAI | Highly Reactive Decision Making: A Game with Time. | Thierry Vidal, Silvia Coradeschi |
| 1998 | TIME | Accounting for Temporal Evolutions in Highly Reactive Decision-Making. | Silvia Coradeschi, Thierry Vidal |
| 1997 | TIME | Contingent Durations in Temporal CSPs: From Consistency to Controllabilities. | Thierry Vidal, Hlne Fargier |
| 1996 | ECAI | Dealing with Uncertain Durations In Temporal Constraint Networks dedicated to Planning. | Thierry Vidal, Malik Ghallab |
| 1996 | ICRA | Incremental mission allocation to a large team of robots. | Thierry Vidal, Malik Ghallab, Rachid Alami |