Follow
Lucas Bordeaux
Lucas Bordeaux
Astra Zeneca
No verified email
Title
Cited by
Cited by
Year
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
4642006
Autocollage
C Rother, L Bordeaux, Y Hamadi, A Blake
ACM transactions on graphics (TOG) 25 (3), 847-852, 2006
3442006
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
3412016
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
3162004
Propositional satisfiability and constraint programming: A comparative survey
L Bordeaux, Y Hamadi, L Zhang
ACM Computing Surveys (CSUR) 38 (4), 12-es, 2006
1772006
Beyond NP: Arc-consistency for quantified constraints
L Bordeaux, E Monfroy
International Conference on Principles and Practice of Constraint …, 2002
1272002
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
922008
Experiments with massively parallel constraint solving
L Bordeaux, Y Hamadi, H Samulowitz
Twenty-First International Joint Conference on Artificial Intelligence, 2009
912009
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
482004
CSP properties for quantified constraints: Definitions and complexity
L Bordeaux, M Cadoli, T Mancini
AAAI 5, 360-365, 2005
422005
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
372019
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
372010
Knowledge compilation with empowerment
L Bordeaux, J Marques-Silva
International Conference on Current Trends in Theory and Practice of …, 2012
362012
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
302007
Generalization and/or specialization of code fragments
LJ Bordeaux, S Gulwani, Y Hamadi, Y Wei
US Patent App. 13/542,975, 2014
232014
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
232008
Boolean and interval propagation for quantified constraints
L Bordeaux
First International Workshop on Quantification in Constraint Programming, 2005
232005
The complexity of integer bound propagation
L Bordeaux, G Katsirelos, N Narodytska, MY Vardi
Journal of Artificial Intelligence Research 40, 657-676, 2011
212011
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
212007
Tractability: Practical Approaches to Hard Problems
L Bordeaux, Y Hamadi, P Kohli
Cambridge University Press, 2014
202014
The system can't perform the operation now. Try again later.
Articles 1–20