내 프로필 만들기
공개 액세스
모두 보기자료 33개
자료 0개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Bernhard BeckertProfessor of Informatics, Karlsruhe Institute of Technologykit.edu의 이메일 확인됨
- Richard BubelDepartment of Computer Science, TU Darmstadtcs.tu-darmstadt.de의 이메일 확인됨
- Einar Broch JohnsenProfessor, University of Osloifi.uio.no의 이메일 확인됨
- Wolfgang AhrendtProfessor of Computer Science, Chalmers University of Technologychalmers.se의 이메일 확인됨
- Martin GieseProf., Dept. of Informatics, University of Osloifi.uio.no의 이메일 확인됨
- Eduard KamburjanSenior Researcher, University of Osloifi.uio.no의 이메일 확인됨
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.cwi.nl의 이메일 확인됨
- Thomas BaarHTW Berlinacm.org의 이메일 확인됨
- Ina SchaeferKarlsruhe Institute of Technology (KIT)kit.edu의 이메일 확인됨
- Steffen SchlagerUniversity of Applies Sciences Offenburghs-offenburg.de의 이메일 확인됨
- Crystal Chang DinDepartment of Informatics, University of Bergen, Norwayuib.no의 이메일 확인됨
- Mattias UlbrichResearcher, Karlsruhe Institute of Technologykit.edu의 이메일 확인됨
- Wojciech MostowskiHalmstad Universityhh.se의 이메일 확인됨
- Martin Hentschelitemis AG, Germanyitemis.de의 이메일 확인됨
- Andreas RothSAP SEsap.com의 이메일 확인됨
- Peter Y. H. WongPreneticswolfson.oxon.org의 이메일 확인됨
- Elvira AlbertComplutense University of Spainsip.ucm.es의 이메일 확인됨
- Dominic SteinhöfelCISPA Helmholtz Center for Information Securitycispa.de의 이메일 확인됨
- Neil V. MurrayDepartment of Computer Science, Univ. at Albany - SUNYcs.albany.edu의 이메일 확인됨
- Ferruccio DamianiFull Professor of Compurer Science, University of Torinodi.unito.it의 이메일 확인됨
팔로우
Reiner Hähnle
Professor of Computer Science, Technical University of Darmstadt
cs.tu-darmstadt.de의 이메일 확인됨 - 홈페이지