내 프로필 만들기
공개 액세스
모두 보기자료 37개
자료 7개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Jose MeseguerProfessor of Computer Science, University of Illinois at Urbana-Champaignillinois.edu의 이메일 확인됨
- Maria AlpuenteVRAIN Valencian Research Institute for Artificial Intelligence (Universitat Politècnica de València)vrain.upv.es의 이메일 확인됨
- Catherine MeadowsHead, Formal Methods Section, Naval Research Laboratorynrl.navy.mil의 이메일 확인됨
- Salvador LucasDSIC & VRAIN, Universitat Politècnica de Valènciadsic.upv.es의 이메일 확인됨
- Francisco DuránUniversity of Málagalcc.uma.es의 이메일 확인됨
- Narciso Martí-OlietFull professor, Facultad de Informática, Universidad Complutense de Madriducm.es의 이메일 확인됨
- Sonia SantiagoPhD. Student - Universidad Politecnica de Valenciadsic.upv.es의 이메일 확인됨
- Ralf SasseSenior Scientist in Computer Science, ETH Zurichinf.ethz.ch의 이메일 확인됨
- Manuel ClavelSenior Lecturer, Vietnamese-German Universityvgu.edu.vn의 이메일 확인됨
- patrick lincolnSRIsri.com의 이메일 확인됨
- Moreno FalaschiProfessor of Computer Scienceunisi.it의 이메일 확인됨
- Mauricio Fernando Alba CastroUniversidad Autónoma de Manizales UAMautonoma.edu.co의 이메일 확인됨
- Javier EspertUniversidad Politécnica de Valencia (DSIC)dsic.upv.es의 이메일 확인됨
- Christopher LynchClarkson Universityclarkson.edu의 이메일 확인됨
- Deepak KapurUniversity of New Mexicocs.unm.edu의 이메일 확인됨
- Antonio González-BurgueñoPh.D fellow, University of Osloifi.uio.no의 이메일 확인됨
- Kyungmin BaePOSTECHpostech.ac.kr의 이메일 확인됨
- Elena LloretUniversitat d'Alacantdlsi.ua.es의 이메일 확인됨
- Carolyn TalcottSRI International
- Fan YangPhD Student University of Cambridgecam.ac.uk의 이메일 확인됨
팔로우
Santiago Escobar
VRAIN Valencian Research Institute for Artificial Intelligence. Universitat Politècnica de València
upv.es의 이메일 확인됨 - 홈페이지