自分のプロフィールを作成
オープン アクセス
すべて表示10 件の論文
1 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Oliver FriedmannUniversity of Munich確認したメール アドレス: ifi.lmu.de
- Etienne LozesUniversité Côte d'Azur確認したメール アドレス: univ-cotedazur.fr
- Martin LeuckerProfessor of Computer Science, University of Lübeck確認したメール アドレス: isp.uni-luebeck.de
- Keijo HeljankoProfessor of Computer Science, Department of Computer Science, University of Helsinki確認したメール アドレス: helsinki.fi
- Stéphane DemriCNRS, Laboratoire Méthodes Formelles (LMF)確認したメール アドレス: lmf.cnrs.fr
- Valentin GorankoProfessor of Logic and Theoretical Philosophy, Stockholm University確認したメール アドレス: philosophy.su.se
- Orna GrumbergProfessor of Computer Science, Technion確認したメール アドレス: cs.technion.ac.il
- Sharon ShohamTel Aviv University確認したメール アドレス: tauex.tau.ac.il
- Jan JohannsenInstitut für Informatik, LMU München確認したメール アドレス: ifi.lmu.de
- Stephan KreutzerProfessor of Computer Science, Technical University Berlin確認したメール アドレス: tu-berlin.de
- Kai BrünnlerProfessor of Computer Science, Bern University of Applied Sciences確認したメール アドレス: bfh.ch
- Stephan TobiesSynopsys確認したメール アドレス: tobies.info
- Carsten LutzProfessor of Computer Science, University of Leipzig確認したメール アドレス: informatik.uni-leipzig.de
- Tommi JunttilaAalto University確認したメール アドレス: aalto.fi
- Matthew HagueRoyal Holloway, University of London確認したメール アドレス: cs.rhul.ac.uk
- Thomas NollRWTH Aachen University確認したメール アドレス: cs.rwth-aachen.de
- Thomas SchwentickProfessor of Computer Science, TU Dortmund University確認したメール アドレス: udo.edu
- Ahmet KaraUniversity of Zurich確認したメール アドレス: ifi.uzh.ch
- Julian GutierrezMonash University Senior Lecturer確認したメール アドレス: monash.edu
- Narad RampersadUniversity of Winnipeg確認したメール アドレス: uwinnipeg.ca
フォロー