| 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 |
| Autocollage C Rother, L Bordeaux, Y Hamadi, A Blake ACM transactions on graphics (TOG) 25 (3), 847-852, 2006 | 331 | 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 | 309 | 2004 |
| 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 | 283 | 2016 |
| Propositional satisfiability and constraint programming: A comparative survey L Bordeaux, Y Hamadi, L Zhang ACM Computing Surveys (CSUR) 38 (4), 12-es, 2006 | 173 | 2006 |
| Beyond NP: Arc-consistency for quantified constraints L Bordeaux, E Monfroy International Conference on Principles and Practice of Constraint …, 2002 | 122 | 2002 |
| Experiments with massively parallel constraint solving L Bordeaux, Y Hamadi, H Samulowitz Twenty-First International Joint Conference on Artificial Intelligence, 2009 | 91 | 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 | 84 | 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 | 46 | 2004 |
| CSP properties for quantified constraints: Definitions and complexity L Bordeaux, M Cadoli, T Mancini AAAI 5, 360-365, 2005 | 40 | 2005 |
| Adaptive k-parallel best-first search: A simple but efficient algorithm for multi-core domain-independent planning V Vidal, L Bordeaux, Y Hamadi Third Annual Symposium on Combinatorial Search, 2010 | 34 | 2010 |
| Knowledge compilation with empowerment L Bordeaux, J Marques-Silva International Conference on Current Trends in Theory and Practice of …, 2012 | 30 | 2012 |
| Knowledge compilation properties of tree-of-BDDs S Subbarayan, L Bordeaux, Y Hamadi AAAI, 502-507, 2007 | 27 | 2007 |
| 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 | 23 | 2019 |
| 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 | 23 | 2008 |
| Boolean and interval propagation for quantified constraints L Bordeaux Proceedings 1st international workshop on quantification in constraint …, 2005 | 23 | 2005 |
| On the stochastic constraint satisfaction framework L Bordeaux, H Samulowitz Proceedings of the 2007 ACM symposium on Applied computing, 316-320, 2007 | 21 | 2007 |
| Tractability: Practical Approaches to Hard Problems L Bordeaux, Y Hamadi, P Kohli Cambridge University Press, 2014 | 19 | 2014 |
| Outgoing message monitor L Bordeaux, Y Hamadi, S Izadi, V Vinay US Patent 8,375,052, 2013 | 19 | 2013 |
| 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 | 18 | 2007 |
Youssef HamadiMicrosoft ResearchVerified email at microsoft.com
