내 프로필 만들기
공개 액세스
모두 보기자료 10개
자료 1개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Oliver FriedmannUniversity of Munichifi.lmu.de의 이메일 확인됨
- Etienne LozesUniversité Côte d'Azuruniv-cotedazur.fr의 이메일 확인됨
- Martin LeuckerProfessor of Computer Science, University of Lübeckisp.uni-luebeck.de의 이메일 확인됨
- Keijo HeljankoProfessor of Computer Science, Department of Computer Science, University of Helsinkihelsinki.fi의 이메일 확인됨
- Stéphane DemriCNRS, Laboratoire Méthodes Formelles (LMF)lmf.cnrs.fr의 이메일 확인됨
- Valentin GorankoProfessor of Logic and Theoretical Philosophy, Stockholm Universityphilosophy.su.se의 이메일 확인됨
- Orna GrumbergProfessor of Computer Science, Technioncs.technion.ac.il의 이메일 확인됨
- Sharon ShohamTel Aviv Universitytauex.tau.ac.il의 이메일 확인됨
- Jan JohannsenInstitut für Informatik, LMU Münchenifi.lmu.de의 이메일 확인됨
- Stephan KreutzerProfessor of Computer Science, Technical University Berlintu-berlin.de의 이메일 확인됨
- Kai BrünnlerProfessor of Computer Science, Bern University of Applied Sciencesbfh.ch의 이메일 확인됨
- Stephan TobiesSynopsystobies.info의 이메일 확인됨
- Carsten LutzProfessor of Computer Science, University of Leipziginformatik.uni-leipzig.de의 이메일 확인됨
- Tommi JunttilaAalto Universityaalto.fi의 이메일 확인됨
- Matthew HagueRoyal Holloway, University of Londoncs.rhul.ac.uk의 이메일 확인됨
- Thomas NollRWTH Aachen Universitycs.rwth-aachen.de의 이메일 확인됨
- Thomas SchwentickProfessor of Computer Science, TU Dortmund Universityudo.edu의 이메일 확인됨
- Ahmet KaraUniversity of Zurichifi.uzh.ch의 이메일 확인됨
- Julian GutierrezMonash University Senior Lecturermonash.edu의 이메일 확인됨
- Narad RampersadUniversity of Winnipeguwinnipeg.ca의 이메일 확인됨