Charlotte Truchet - Google Scholar

Cited by

	All	Since 2015
Citations	587	275
h-index	14	9
i10-index	19	8

200120022003200420052006200720082009201020112012201320142015201620172018201920205 5 10 27 10 19 20 38 17 20 26 27 43 38 27 42 48 48 72 38

Co-authors

Philippe CodognetJFLI - CNRS / UPMC / University of TokyoVerified email at lip6.fr
Marie PelleauUniversité Côte d'AzurVerified email at unice.fr
Nicolas BeldiceanuFull professor, IMT Atlantique, LS2N-CNRS, FranceVerified email at mines-nantes.fr
Mats CarlssonRISE Research Institutes of SwedenVerified email at sics.se
Frédéric BenhamouProfesseur d'informatique, Université de NantesVerified email at univ-nantes.fr
Gérard AssayagIRCAMVerified email at ircam.fr
Antoine MinéSorbonne Université, LIP6, APRVerified email at lip6.fr
Xavier LorcaFull Professor, IMT Mines AlbiVerified email at mines-albi.fr
Eric MonfroyProfessor of Computer Science, Université de NantesVerified email at univ-nantes.fr
Alejandro ArbelaezUniversity College CorkVerified email at cs.ucc.ie
Marc ChristieAssociate Professor, University of Rennes 1Verified email at irisa.fr
Rida SadekUniversitat Pompeu FabraVerified email at upf.edu
Jean-Marie NormandAssociate Professor, Ecole Centrale de NantesVerified email at ec-nantes.fr
Daniel DiazAssociate Professor of Computing Science, University Paris 1Verified email at univ-paris1.fr
Benoît DelahayeAssistant Professor, University of Nantes, LS2NVerified email at univ-nantes.fr
Pascal Van HentenryckGeorgia Institute of TechnologyVerified email at isye.gatech.edu
Didier LimeÉcole Centrale de NantesVerified email at ec-nantes.fr
Paulin FournierClearsyVerified email at clearsy.com
Barry O'SullivanSchool of Computer Science & IT, University College Cork, IrelandVerified email at cs.ucc.ie

Charlotte Truchet

LS2N, UMR 6004, Université de Nantes, France

Verified email at univ-nantes.fr - Homepage

Constraint programming abstract interpretation average-case analysis


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Computation of words satisfying the “rhythmic oddity property”(after Simha Arom's works) M Chemillier, C Truchet Information Processing Letters 86 (5), 255-261, 2003	65	2003
A Generic Geometrical Constraint Kernel in Space and Time for Handling Polymorphic k-Dimensional Objects N Beldiceanu, M Carlsson, E Poder, R Sadek, C Truchet International Conference on Principles and Practice of Constraint …, 2007	60	2007
Optimizing the Heck–Matsuda reaction in flow with a constraint-adapted direct search algorithm D Cortes-Borda, KV Kutonova, C Jamet, ME Trusova, F Zammattio, ... Organic Process Research & Development 20 (11), 1979-1987, 2016	45	2016
A constraint solver based on abstract domains M Pelleau, A Miné, C Truchet, F Benhamou International Workshop on Verification, Model Checking, and Abstract …, 2013	45	2013
Musical constraint satisfaction problems solved with adaptive search C Truchet, P Codognet Soft Computing 8 (9), 633-640, 2004	33	2004
Prediction of parallel speed-ups for las vegas algorithms C Truchet, F Richoux, P Codognet 2013 42nd International Conference on Parallel Processing, 160-169, 2013	29	2013
An autonomous self-optimizing flow reactor for the synthesis of natural product carpanone D Cortés-Borda, E Wimmer, B Gouilleux, E Barré, N Oger, L Goulamaly, ... The Journal of organic chemistry 83 (23), 14286-14299, 2018	27	2018
Visual and adaptive constraint programming in music C Truchet, G Assayag, P Codognet ICMC, 2001	27	2001
OMClouds, a heuristic solver for musical constraints C Truchet, G Assayag, P Codognet MIC2003: The Fifth Metaheuristics International Conference, 2003	23	2003
Graph invariants as necessary conditions for global constraints N Beldiceanu, M Carlsson, JX Rampon, C Truchet International Conference on Principles and Practice of Constraint …, 2005	22	2005
Constraint Programming in Music C Truchet, G Assayag	15	2011
Six ways of integrating symmetries within non-overlapping constraints M Ågren, N Beldiceanu, M Carlsson, M Sbihi, C Truchet, S Zampelli International Conference on AI and OR Techniques in Constriant Programming …, 2009	15	2009
Contraintes, recherche locale et composition assistée par ordinateur C Truchet Unpublished doctoral dissertation, Université Paris, 2004	14	2004
Two Musical CSPs M Chemillier, C Truchet	14	2001
The adaptive search method for constraint solving and its application to musical csps P Codognet, D Diaz, C Truchet Proceedings of the 1st International Workshop on Heuristics, 2002	13	2002
Octagonal domains for continuous constraints M Pelleau, C Truchet, F Benhamou International Conference on Principles and Practice of Constraint …, 2011	12	2011
The octagon abstract domain for continuous constraints M Pelleau, C Truchet, F Benhamou Constraints 19 (3), 309-337, 2014	11	2014
When is it worthwhile to propagate a constraint? A probabilistic analysis of AllDifferent J Boisberranger, D Gardy, X Lorca, C Truchet 2013 Proceedings of the Tenth Workshop on Analytic Algorithmics and …, 2013	11	2013
A constraint programming system for music composition, preliminary results C Truchet, C Agon, P Codognet IN SEVENTH INTERNATIONAL CONFERENCE ON PRINCIPLES AND PRACTICE OF CONSTRAINT …, 2001	10	2001
Reachability in parametric interval Markov chains using constraints A Bart, B Delahaye, P Fournier, D Lime, E Monfroy, C Truchet Theoretical Computer Science 747, 48-74, 2018	9	2018

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors