รับโปรไฟล์ของฉันเอง
อ้างโดย
ทั้งหมด | ตั้งแต่ปี 2019 | |
---|---|---|
การอ้างอิง | 22864 | 9486 |
ดัชนี h | 48 | 31 |
ดัชนี i10 | 83 | 54 |
การเข้าถึงแบบสาธารณะ
ดูทั้งหมด2 บทความ
0 บทความ
ใช้งานได้
ใช้ไม่ได้
อิงตามข้อกำหนดในการรับเงินสนับสนุน
ผู้เขียนร่วม
- Nikolaj BjornerMicrosoft Researchยืนยันอีเมลแล้วที่ cs.stanford.edu
- Bruno DutertreAmazon Web Servicesยืนยันอีเมลแล้วที่ amazon.com
- Harald Ruessfortissยืนยันอีเมลแล้วที่ fortiss.org
- Natarajan ShankarSRI International Computer Science Laboratoryยืนยันอีเมลแล้วที่ csl.sri.com
- John RushbySRI Internationalยืนยันอีเมลแล้วที่ csl.sri.com
- Clark BarrettStanford Universityยืนยันอีเมลแล้วที่ cs.stanford.edu
- Jeremy AvigadProfessor of Philosophy and Mathematical Sciences, Carnegie Mellon Universityยืนยันอีเมลแล้วที่ cmu.edu
- Daniel SelsamOpenAIยืนยันอีเมลแล้วที่ openai.com
- Dejan JovanovićAmazon Web Servicesยืนยันอีเมลแล้วที่ amazon.com
- Sam OwreSRI Internationalยืนยันอีเมลแล้วที่ sri.com
- Aaron StumpProfessor of Computer Science, The University of Iowaยืนยันอีเมลแล้วที่ uiowa.edu
- Sebastian UllrichKarlsruhe Institute of Technologyยืนยันอีเมลแล้วที่ kit.edu
- Soonho KongAmazon Web Servicesยืนยันอีเมลแล้วที่ amazon.com
- Grant Olney PassmoreImandra Inc. and Clare Hall, University of Cambridgeยืนยันอีเมลแล้วที่ cl.cam.ac.uk
- Ira BaxterCTO Semantic Designsยืนยันอีเมลแล้วที่ semdesigns.com
- Christoph M. WintersteigerImandraยืนยันอีเมลแล้วที่ imandra.ai
- Percy LiangAssociate Professor of Computer Science, Stanford Universityยืนยันอีเมลแล้วที่ cs.stanford.edu
- Ashish TiwariComputer Scientist, SRI International; Researcher Microsoftยืนยันอีเมลแล้วที่ csl.sri.com
- Floris van DoornUniversity of Paris-Saclayยืนยันอีเมลแล้วที่ universite-paris-saclay.fr
- Jakob von RaumerKarlsruhe Institute of Technologyยืนยันอีเมลแล้วที่ von-raumer.de