Crea el meu perfil
Accés públic
Mostra-ho tot10 articles
0 articles
disponibles
no disponibles
Es basa en els requisits de les agències que proporcionen el finançament
Coautors
- Tomas VojnarFIT, Brno University of TechnologyCorreu electrònic verificat a fit.vutbr.cz
- Parosh AbdullaProfessor of Computer Science, Uppsala UniversityCorreu electrònic verificat a it.uu.se
- Ondřej LengálBrno University of TechnologyCorreu electrònic verificat a fit.vutbr.cz
- Yu-Fang ChenResearch Fellow/Professor, Academia SinicaCorreu electrònic verificat a iis.sinica.edu.tw
- Mohamed Faouzi AtigUppsala UniversityCorreu electrònic verificat a it.uu.se
- Philipp RuemmerProfessor in Computer Science, University of RegensburgCorreu electrònic verificat a ur.de
- Ahmed RezineLinköping UniversityCorreu electrònic verificat a liu.se
- Bui Phi DiepUppsala UniversityCorreu electrònic verificat a it.uu.se
- Ahmed BouajjaniProfessor Computer Science, Université Paris CitéCorreu electrònic verificat a irif.fr
- Bengt JonssonProfessor of Computer Systems, Uppsala UniversityCorreu electrònic verificat a it.uu.se
- Tomas FiedorVeriFIT Team Researcher, FIT BUTCorreu electrònic verificat a fit.vutbr.cz
- Peter HabermehlAssistant Professor of Computer Science, IRIF, University Paris CitéCorreu electrònic verificat a irif.fr
- Margus VeanesMicrosoft ResearchCorreu electrònic verificat a microsoft.com
- Lisa KaatiStockholm UniversityCorreu electrònic verificat a dsv.su.se
- Lorenzo ClementeUniversity of WarsawCorreu electrònic verificat a mimuw.edu.pl
- Roland MeyerProfessor of Theoretical Computer ScienceCorreu electrònic verificat a tu-bs.de
- Chih-Duo Hong (洪智鐸)National Chengchi University, TaiwanCorreu electrònic verificat a nccu.edu.tw
- Anthony Widjaja LinProfessor@TU Kaiserslautern, Max-Planck Fellow at Max-Planck Institute for Software SystemsCorreu electrònic verificat a cs.uni-kl.de
- Milan CeskaBrno University of TechnologyCorreu electrònic verificat a fit.vutbr.cz
- Tayssir TouiliSenior researcher, CNRSCorreu electrònic verificat a lipn.fr