自分のプロフィールを作成
オープン アクセス
すべて表示6 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Yannis SmaragdakisUniversity of Athens確認したメール アドレス: di.uoa.gr
- Martin OderskyEPFL確認したメール アドレス: epfl.ch
- Odysseas SekkasHead of R&D, Mobics S.A.確認したメール アドレス: mobics.gr
- Stathes HadjiefthymiadesDepartment of Informatics and Telecommunications, National and Kapodistrian University of Athens確認したメール アドレス: di.uoa.gr
- Evangelos ZervasProfessor of Electrical and Electronics Engineering確認したメール アドレス: uniwa.gr
- George FourtounisGRNET確認したメール アドレス: softlab.ntua.gr
- Christos (Chris) AnagnostopoulosAssociate Professor, School of Computing Science, University of Glasgow確認したメール アドレス: glasgow.ac.uk
- Olivier BlanvillainEPFL確認したメール アドレス: epfl.ch
- Nicolas StuckiPhD in Computer Science at EPFL確認したメール アドレス: epfl.ch
- Heather MillerCarnegie Mellon University確認したメール アドレス: cs.cmu.edu
- Sandro StuckiAmazon確認したメール アドレス: amazon.com
- Pablo InostrozaCentrum Wiskunde & Informatica CWI, The Netherlands確認したメール アドレス: cwi.nl
- Tijs van der StormSenior Researcher, Centrum Wiskunde & Informatica (CWI)確認したメール アドレス: cwi.nl
- Paolo G. GiarrussoFormal Methods Engineer, Bedrock Systems Inc.確認したメール アドレス: tudelft.nl
- Vlad UrechePhD student, LAMP, EPFL確認したメール アドレス: epfl.ch
- Ondrej LhotakComputer Science, University of Waterloo確認したメール アドレス: uwaterloo.ca
- Vassileios Tsetsos, PhDResearch Associate, National and Kapodistrian University of Athens確認したメール アドレス: di.uoa.gr
- Jeremy GibbonsProfessor of Computing, University of Oxford確認したメール アドレス: cs.ox.ac.uk