自分のプロフィールを作成
オープン アクセス
すべて表示32 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus確認したメール アドレス: mpi-sws.org
- Lars BirkedalDept. of Computer Science, Aarhus University確認したメール アドレス: cs.au.dk
- Ralf JungAssistant Professor, ETH Zürich確認したメール アドレス: inf.ethz.ch
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes Formelles確認したメール アドレス: normalesup.org
- Aleš BizjakFormerly postdoctoral researcher, Aarhus University, currently software architect at Concordium確認したメール アドレス: alesb.com
- Amin TimanyAarhus University確認したメール アドレス: cs.au.dk
- Jonas Kastberg HinrichsenAarhus University確認したメール アドレス: cs.au.dk
- Eelco VisserProfessor of Computer Science, Delft University of Technology確認したメール アドレス: tudelft.nl
- Dan FruminUniversity of Groningen確認したメール アドレス: rug.nl
- Arjen (Jonathan) RouvoetTNO確認したメール アドレス: tno.nl
- Michael SammlerMPI-SWS確認したメール アドレス: mpi-sws.org
- Casper Bach PoulsenTU Delft確認したメール アドレス: tudelft.nl
- Joseph TassarottiAssistant Professor, New York University確認したメール アドレス: nyu.edu
- Simon SpiesMPI-SWS確認したメール アドレス: mpi-sws.org
- Herman GeuversRadboud University Nijmegen, the Netherlands確認したメール アドレス: cs.ru.nl
- Jules JacobsRadboud University確認したメール アドレス: science.ru.nl
- Stephanie BalzerCarnegie Mellon University確認したメール アドレス: cs.cmu.edu
- Daniel GratzerAarhus University確認したメール アドレス: cs.au.dk
- Ike MulderPhD student, Radboud University Nijmegen確認したメール アドレス: cs.ru.nl
- Bas SpittersAssociate Professor, Aarhus University確認したメール アドレス: cs.au.dk