Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Extraction de programmes à partir de spécifications en logique existentielle du second ordre par compilation de connaissances., and . JFPLC, page 189-202. Hermes/Lavoisier, (2003)Automatic Analysis of Composite Solvers., and . ICTAI, page 276-283. IEEE Computer Society, (2002)A reactive and hybrid constraint solver., , , , , and . J. Exp. Theor. Artif. Intell., 25 (1): 1-22 (2013)Some Results on the design of Balanced Academic Curricula., and . CLEI Electron. J., (2009)Reachability in parametric Interval Markov Chains using constraints., , , , , and . Theor. Comput. Sci., (2018)Robust Solutions for a Robotic Manipulator Optimization Problem., , , and . IWINAC (2), volume 7931 of Lecture Notes in Computer Science, page 451-460. Springer, (2013)Reachability in Parametric Interval Markov Chains Using Constraints., , , , and . QEST, volume 10503 of Lecture Notes in Computer Science, page 173-189. Springer, (2017)Knowledge Management in the Development of Optimization Algorithms., , and . HCI (8), volume 4557 of Lecture Notes in Computer Science, page 604-612. Springer, (2007)Using coordination for cooperative constraint solving., and . SAC, page 139-148. ACM, (1998)A Coordination-based Chaotic Iteration Algorithm for Constraint Propagation.. SAC (1), page 262-269. ACM, (2000)