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
4662006
Autocollage
C Rother, L Bordeaux, Y Hamadi, A Blake
ACM transactions on graphics (TOG) 25 (3), 847-852, 2006
3312006
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
3092004
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
2832016
Propositional satisfiability and constraint programming: A comparative survey
L Bordeaux, Y Hamadi, L Zhang
ACM Computing Surveys (CSUR) 38 (4), 12-es, 2006
1732006
Beyond NP: Arc-consistency for quantified constraints
L Bordeaux, E Monfroy
International Conference on Principles and Practice of Constraint …, 2002
1222002
Experiments with massively parallel constraint solving
L Bordeaux, Y Hamadi, H Samulowitz
Twenty-First International Joint Conference on Artificial Intelligence, 2009
912009
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
842008
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
462004
CSP properties for quantified constraints: Definitions and complexity
L Bordeaux, M Cadoli, T Mancini
AAAI 5, 360-365, 2005
402005
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
342010
Knowledge compilation with empowerment
L Bordeaux, J Marques-Silva
International Conference on Current Trends in Theory and Practice of …, 2012
302012
Knowledge compilation properties of tree-of-BDDs
S Subbarayan, L Bordeaux, Y Hamadi
AAAI, 502-507, 2007
272007
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
232019
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
Proceedings 1st international workshop on quantification in constraint …, 2005
232005
On the stochastic constraint satisfaction framework
L Bordeaux, H Samulowitz
Proceedings of the 2007 ACM symposium on Applied computing, 316-320, 2007
212007
Tractability: Practical Approaches to Hard Problems
L Bordeaux, Y Hamadi, P Kohli
Cambridge University Press, 2014
192014
Outgoing message monitor
L Bordeaux, Y Hamadi, S Izadi, V Vinay
US Patent 8,375,052, 2013
192013
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
182007
The system can't perform the operation now. Try again later.
Articles 1–20