| Describing and reasoning on web services using process algebra G Salaun, L Bordeaux, M Schaerf International Journal of Business Process Integration and Management 1 (2 …, 2006 | 466 | 2006 |
| Efficient and precise interactive hand tracking through joint, continuous optimization of pose and correspondences J Taylor, L Bordeaux, T Cashman, B Corish, C Keskin, T Sharp, E Soto, ... ACM Transactions on Graphics (ToG) 35 (4), 1-12, 2016 | 361 | 2016 |
| Autocollage C Rother, L Bordeaux, Y Hamadi, A Blake ACM transactions on graphics (TOG) 25 (3), 847-852, 2006 | 344 | 2006 |
| When are two web services compatible? L Bordeaux, G Salaün, D Berardi, M Mecella International Workshop on Technologies for E-Services, 15-28, 2004 | 314 | 2004 |
| Propositional satisfiability and constraint programming: A comparative survey L Bordeaux, Y Hamadi, L Zhang ACM Computing Surveys (CSUR) 38 (4), 12-es, 2006 | 178 | 2006 |
| Beyond NP: Arc-consistency for quantified constraints L Bordeaux, E Monfroy International Conference on Principles and Practice of Constraint …, 2002 | 126 | 2002 |
| Experiments with massively parallel constraint solving L Bordeaux, Y Hamadi, H Samulowitz Twenty-First International Joint Conference on Artificial Intelligence, 2009 | 94 | 2009 |
| A generalized framework for conflict analysis G Audemard, L Bordeaux, Y Hamadi, S Jabbour, L Sais International conference on theory and applications of satisfiability …, 2008 | 93 | 2008 |
| Using process algebra for web services: Early results and perspectives L Bordeaux, G Salaün International Workshop on Technologies for E-Services, 54-68, 2004 | 47 | 2004 |
| CSP properties for quantified constraints: Definitions and complexity L Bordeaux, M Cadoli, T Mancini AAAI 5, 360-365, 2005 | 44 | 2005 |
| Knowledge compilation with empowerment L Bordeaux, J Marques-Silva International Conference on Current Trends in Theory and Practice of …, 2012 | 38 | 2012 |
| Adaptive k-parallel best-first search: A simple but efficient algorithm for multi-core domain-independent planning V Vidal, L Bordeaux, Y Hamadi Proceedings of the International Symposium on Combinatorial Search 1 (1 …, 2010 | 38 | 2010 |
| Banded matrix operators for Gaussian Markov models in the automatic differentiation era N Durrande, V Adam, L Bordeaux, S Eleftheriadis, J Hensman The 22nd International Conference on Artificial Intelligence and Statistics …, 2019 | 36 | 2019 |
| Knowledge compilation properties of tree-of-BDDs S Subbarayan, L Bordeaux, Y Hamadi PROCEEDINGS OF THE NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE 22 (1), 502, 2007 | 30 | 2007 |
| A unifying framework for structural properties of CSPs: Definitions, complexity, tractability L Bordeaux, M Cadoli, T Mancini Journal of Artificial Intelligence Research 32, 607-629, 2008 | 25 | 2008 |
| Generalization and/or specialization of code fragments LJ Bordeaux, S Gulwani, Y Hamadi, Y Wei US Patent App. 13/542,975, 2014 | 24 | 2014 |
| The complexity of integer bound propagation L Bordeaux, G Katsirelos, N Narodytska, MY Vardi Journal of Artificial Intelligence Research 40, 657-676, 2011 | 23 | 2011 |
| A sat-based approach to decipher gene regulatory networks F Corblin, L Bordeaux, Y Hamadi, E Fanchon, L Trilling Integrative Post-Genomics, RIAMS, Lyon, 2007 | 23 | 2007 |
| Tractability: Practical Approaches to Hard Problems L Bordeaux, Y Hamadi, P Kohli Cambridge University Press, 2014 | 22 | 2014 |
| Boolean and interval propagation for quantified constraints L Bordeaux First International Workshop on Quantification in Constraint Programming, 2005 | 22 | 2005 |
Gwen SalaünUniversité Grenoble Alpes, LIG, InriaVerified email at inria.fr
