Xem tiểu sử của tôi
Truy cập công khai
Xem tất cả35 bài viết
7 bài viết
có sẵn
không có sẵn
Dựa trên yêu cầu tài trợ
Đồng tác giả
- axel legayUCLouvainEmail được xác minh tại uclouvain.be
- Felix IngrandLAAS/CNRS, ANITI (Univ. Toulouse)Email được xác minh tại laas.fr
- Doron A. PeledProfessor Of Computer Science, Bar Ilan UniversityEmail được xác minh tại cs.biu.ac.il
- Stavros TripakisAssociate Professor, Northeastern UniversityEmail được xác minh tại northeastern.edu
- Ahmed BouajjaniProfessor Computer Science, Université Paris CitéEmail được xác minh tại irif.fr
- Natarajan ShankarSRI International Computer Science LaboratoryEmail được xác minh tại csl.sri.com
- Ashish TiwariComputer Scientist, SRI International; Researcher MicrosoftEmail được xác minh tại csl.sri.com
- Alberto Sangiovanni VincentelliProfessor of EECS, University of California, BerkeleyEmail được xác minh tại eecs.berkeley.edu
- Andreas GriesmayerImperial College LondonEmail được xác minh tại arm.com
- Grigore RosuUniversity of Illinois at Urbana ChampaignEmail được xác minh tại illinois.edu
- Amedeo CestaCNR -- National Research Council of Italy, ISTCEmail được xác minh tại istc.cnr.it
- Barbara JobstmannScientist at EPFLEmail được xác minh tại epfl.ch
- Thomas HenzingerIST AustriaEmail được xác minh tại ist.ac.at
- matthew hennessyProfessor of Computer ScienceEmail được xác minh tại cs.tcd.ie
- Moshe Y. VardiRice UniversityEmail được xác minh tại cs.rice.edu
- Gordon PlotkinLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghEmail được xác minh tại inf.ed.ac.uk
Theo dõi
Saddek Bensalem
Université Grenoble Alpes, VERIMAG
Email được xác minh tại univ-grenoble-alpes.fr