Frédéric Benhamou

Citeras av

	Alla	Sedan 2019
Citat	3647	336
h-index	22	7
i10-index	36	6

200

100

150

199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202431 36 61 118 129 133 150 106 155 132 148 168 166 189 145 166 184 88 139 164 133 113 126 93 110 73 66 70 45 42 40

Medförfattare

Pascal Van HentenryckGeorgia Institute of TechnologyVerifierad e-postadress på isye.gatech.edu
Marc ChristieAssociate Professor, University of Rennes 1Verifierad e-postadress på irisa.fr
Charlotte TruchetLS2N, UMR 6004, Université de Nantes, FranceVerifierad e-postadress på univ-nantes.fr
Marie PelleauUniversité Côte d'AzurVerifierad e-postadress på unice.fr
David McAllesterProfessor, Toyota Technological Institute at ChicagoVerifierad e-postadress på ttic.edu
Laurent MichelCSE, University of ConnecticutVerifierad e-postadress på engr.uconn.edu
Narendra JussienIMT Mines AlbiVerifierad e-postadress på mines-albi.fr
Barry O'SullivanSchool of Computer Science & IT, University College Cork, IrelandVerifierad e-postadress på cs.ucc.ie
Antoine MinéSorbonne Université, LIP6, APRVerifierad e-postadress på lip6.fr
Arnold NeumaierProfessor for Computational Mathematics, University of Vienna, AustriaVerifierad e-postadress på univie.ac.at
Luis Nunes VicenteLehigh UniversityVerifierad e-postadress på lehigh.edu
Jean-Marie NormandProfessor, Ecole Centrale de Nantes & LS2N, FranceVerifierad e-postadress på ec-nantes.fr
Alexandre GoldsztejnCNRSVerifierad e-postadress på ls2n.fr
Pedro BarahonaProfessor of Computer Science, New University of LisbonVerifierad e-postadress på fct.unl.pt
Manuel HermenegildoIMDEA Software Institute and Technical U. of Madrid (UPM)Verifierad e-postadress på upm.es
John LloydProfessor Emeritus of Computer Science, The Australian National UniversityVerifierad e-postadress på cecs.anu.edu.au
Philippe CodognetJFLI - CNRS / UPMC / University of TokyoVerifierad e-postadress på lip6.fr
Kazunori UedaProfessor of Computer Science and Engineering, Waseda UniversityVerifierad e-postadress på ueda.info.waseda.ac.jp
Hiroshi HosobeProfessor, Hosei UniversityVerifierad e-postadress på hosei.ac.jp

Följ

Frédéric Benhamou

Professeur d'informatique, Université de Nantes

Verifierad e-postadress på univ-nantes.fr

Decision support Optimization Constraint Programming Digital Cultures


Titel Sortera efter citat Sortera efter år Sortera efter titel	Citeras av Citeras av	År
Revising Hull and Box Consistency. F Benhamou, F Goualard, L Granvilliers, JF Puget ICLP 99, 230-244, 1999	534	1999
Applying interval arithmetic to real, integer, and boolean constraints F Benhamou, WJ Older The Journal of Logic Programming 32 (1), 1-24, 1997	509	1997
CLP (Intervals) revisited F Benhamou, D McAllester, P Van Hentenryck International Symposium on Logic Programming, the MIT Press, 124-138, 1994 …, 1994	489	1994
Algorithm 852: Realpaver: an interval solver using constraint satisfaction techniques L Granvilliers, F Benhamou ACM Transactions on Mathematical Software (TOMS) 32 (1), 138-156, 2006	333	2006
Continuous and interval constraints F Benhamou, L Granvilliers Foundations of Artificial Intelligence 2, 571-603, 2006	197	2006
Heterogeneous constraint solving F Benhamou International Conference on Algebraic and Logic Programming, 62-76, 1996	154	1996
Interval constraint logic programming F Benhamou French School on Theoretical Computer Science, 1-21, 1994	145	1994
Universally quantified interval constraints F Benhamou, F Goualard International Conference on Principles and Practice of Constraint …, 2000	131	2000
Constraint logic programming: selected research F Benhamou, A Colmerauer	131	1993
Constraint programming over nonlinear constraints P Van Hentenryck, L Michel, F Benhamou Science of computer programming 30 (1-2), 83-118, 1998	117	1998
Programming in CLP (BNR). WJ Older, F Benhamou PPCP 93, 1993	86	1993
A constraint solver based on abstract domains M Pelleau, A Miné, C Truchet, F Benhamou International Workshop on Verification, Model Checking, and Abstract …, 2013	66	2013
Symbolic-interval cooperation in constraint programming L Granvilliers, E Monfroy, F Benhamou Proceedings of the 2001 international symposium on Symbolic and algebraic …, 2001	58	2001
Interval constraint solving for camera control and motion planning F Benhamou, F Goualard, É Languénou, M Christie ACM Transactions on Computational Logic (TOCL) 5 (4), 732-767, 2004	51	2004
Automatic generation of numerical redundancies for non-linear constraint solving F Benhamou, L Granvilliers Reliable Computing 3 (3), 335-344, 1997	48	1997
Combining local consistency, symbolic rewriting and interval methods F Benhamou, L Granvilliers Artificial Intelligence and Symbolic Mathematical Computation: International …, 1996	47	1996
Prolog IV: langage et algorithmes. F Benhamou, T Touraïvane JFPLC, 51-64, 1995	47	1995
Trends in constraint programming F Benhamou, N Jussien, BA O'Sullivan John Wiley & Sons, 2013	46	2013
Progress in the solving of a circuit design problem L Granvilliers, F Benhamou Journal of Global Optimization 20, 155-168, 2001	45	2001
Algorithms for Solving Non-Linear Constrained and Optimization Problems: The State of The Art C Bliek, P Spellucci, L Vincente, A Neumaier, L Granvilliers, E Monfroy, ...	40	2001

Systemet kan inte utföra åtgärden just nu. Försök igen senare.

Artiklar 1–20

Citat per år

Dubblettcitat

Sammanfogade citat

Lägg till medförfattareMedförfattare

Följ

Citeras av

Medförfattare