Get my own profile
Public access
View all37 articles
9 articles
available
not available
Based on funding mandates
Co-authors
- Kazuhiro OgataJAISTVerified email at jaist.ac.jp
- Frederic MalletUniversité Côte d'Azur, FranceVerified email at inria.fr
- Mingsong ChenSoftware Engineering Institute, East China Normal UniversityVerified email at sei.ecnu.edu.cn
- Si LiuSenior Researcher (Oberassistent), Department of Computer Science, ETH ZurichVerified email at inf.ethz.ch
- Fu SONGState Key Laboratory of Computer Science, Institute of Software, Chinese Academy of SciencesVerified email at ios.ac.cn
- Ming HuSingapore Management UniversityVerified email at smu.edu.sg
- Guy KatzThe Hebrew University of JerusalemVerified email at cs.huji.ac.il
- Kokichi FUTATSUGIProfessor of Computer Science, JAISTVerified email at jaist.ac.jp
- Zhi JinProfessor, Peking UniversityVerified email at pku.edu.cn
- Toshiaki AokiJAISTVerified email at jaist.ac.jp
- Clark BarrettStanford UniversityVerified email at cs.stanford.edu
- Omri IsacThe Hebrew University of JerusalemVerified email at mail.huji.ac.il
- Peter Csaba OlveczkyProfessor of Computer Science, University of OsloVerified email at ifi.uio.no
- Jose MeseguerProfessor of Computer Science, University of Illinois at Urbana-ChampaignVerified email at illinois.edu
- Peixin WangDepartment of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
- Daniel GAINAInstitute of Mathematics for Industry, Kyushu UniversityVerified email at imi.kyushu-u.ac.jp
- Tong Li (李童)Associate Professor, Beijing University of TechnologyVerified email at bjut.edu.cn