รับโปรไฟล์ของฉันเอง
อ้างโดย
ทั้งหมด | ตั้งแต่ปี 2019 | |
---|---|---|
การอ้างอิง | 4606 | 1238 |
ดัชนี h | 31 | 17 |
ดัชนี i10 | 58 | 31 |
การเข้าถึงแบบสาธารณะ
ดูทั้งหมด21 บทความ
0 บทความ
ใช้งานได้
ใช้ไม่ได้
อิงตามข้อกำหนดในการรับเงินสนับสนุน
ผู้เขียนร่วม
- Xavier RivalDirecteur de Recherche, INRIAยืนยันอีเมลแล้วที่ inria.fr
- Patrick CousotProfessor of Computer Science, Courant Institute of Mathematical Sciences, New York Universityยืนยันอีเมลแล้วที่ cims.nyu.edu
- Antoine MinéSorbonne Université, LIP6, APRยืนยันอีเมลแล้วที่ lip6.fr
- Jérôme FeretChargé de recherche, Inria Parisยืนยันอีเมลแล้วที่ inria.fr
- Bruno BlanchetSenior researcher, INRIA, Parisยืนยันอีเมลแล้วที่ inria.fr
- Laure GonnordUniversity of Lyon - LIPยืนยันอีเมลแล้วที่ ens-lyon.fr
- Sylvain BoulméUniversité Grenoble Alpes, Verimagยืนยันอีเมลแล้วที่ imag.fr
- Michaël PÉRINAssistant professor, VERIMAG / Univ. Grenoble-Alpesยืนยันอีเมลแล้วที่ univ-grenoble-alpes.fr
- claire maizaUniv. Grenoble Alpes, GrenobleINP / Verimagยืนยันอีเมลแล้วที่ univ-grenoble-alpes.fr
- Julien HenryMathworksยืนยันอีเมลแล้วที่ mathworks.com
- Matthieu MoyUniversité Claude Bernard Lyon 1, LIPยืนยันอีเมลแล้วที่ univ-lyon1.fr
- George KarpenkovVERIMAGยืนยันอีเมลแล้วที่ metaworld.me
- Jan ReinekeProfessor of Computer Science, Saarland University, Saarland Informatics Campusยืนยันอีเมลแล้วที่ cs.uni-saarland.de
- Hang YUVerimagยืนยันอีเมลแล้วที่ inf.ethz.ch
- Francesco AlbertiEolo SpAยืนยันอีเมลแล้วที่ eolo.it
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes Formellesยืนยันอีเมลแล้วที่ normalesup.org
- Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of Sussexยืนยันอีเมลแล้วที่ diffblue.com
- Tim KingGoogle Incยืนยันอีเมลแล้วที่ google.com
- Diego Caminha B de OliveiraFormer Postdoctoral Researcher, University of Utah and Verimag/CNRSยืนยันอีเมลแล้วที่ cs.utah.edu
- Nikolaj BjornerMicrosoft Researchยืนยันอีเมลแล้วที่ cs.stanford.edu