Kendi profilinizi oluşturun
Alıntı yapanlar
Hepsi | 2019 yılından bugüne | |
---|---|---|
Alıntılar | 810 | 730 |
h-endeksi | 15 | 14 |
i10-endeksi | 18 | 17 |
Genel erişim
Tümünü görüntüle25 makale
0 makale
genel erişime açık olanlar
genel erişime açık olmayanlar
Finansman sağlayan kuruluşun getirdiği zorunluluğa dayalı olarak
Katkıda bulunan yazarlar
- Lars BirkedalDept. of Computer Science, Aarhus Universitycs.au.dk üzerinde doğrulanmış e-posta adresine sahip
- Robbert KrebbersAssociate Professor, Radboud University Nijmegencs.ru.nl üzerinde doğrulanmış e-posta adresine sahip
- Bart JacobsProfessor of Computer Science, Katholieke Universiteit Leuvencs.kuleuven.be üzerinde doğrulanmış e-posta adresine sahip
- Dominique DevrieseKU Leuvenkuleuven.be üzerinde doğrulanmış e-posta adresine sahip
- Leo StefanescoMPI-SWSmpi-sws.org üzerinde doğrulanmış e-posta adresine sahip
- Leon GondelmanPost-doctoral researcher, Aarhus University, Denmarkcs.au.dk üzerinde doğrulanmış e-posta adresine sahip
- Simon Oddershede GregersenPostdoctoral fellow, New York Universitynyu.edu üzerinde doğrulanmış e-posta adresine sahip
- Aïna Linn GeorgesAarhus Universitympi-sws.org üzerinde doğrulanmış e-posta adresine sahip
- Alix TrieuANSSIssi.gouv.fr üzerinde doğrulanmış e-posta adresine sahip
- Abel NietoGroqgroq.com üzerinde doğrulanmış e-posta adresine sahip
- Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campusmpi-sws.org üzerinde doğrulanmış e-posta adresine sahip
- Ralf JungAssistant Professor, ETH Zürichinf.ethz.ch üzerinde doğrulanmış e-posta adresine sahip
- Rodolphe LepigreMPI-SWSmpi-sws.org üzerinde doğrulanmış e-posta adresine sahip
- Marianna RapoportUniversity of Waterloouwaterloo.ca üzerinde doğrulanmış e-posta adresine sahip
- Sander HuyghebaertVrije Universiteit Brusselvub.be üzerinde doğrulanmış e-posta adresine sahip
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes Formellesnormalesup.org üzerinde doğrulanmış e-posta adresine sahip
- Arthur CharguéraudInriainria.fr üzerinde doğrulanmış e-posta adresine sahip
- Joseph TassarottiAssistant Professor, New York Universitynyu.edu üzerinde doğrulanmış e-posta adresine sahip
- Matthieu SozeauResarcher, Inria Paris and PPSinria.fr üzerinde doğrulanmış e-posta adresine sahip
- Paolo G. GiarrussoFormal Methods Engineer, Bedrock Systems Inc.tudelft.nl üzerinde doğrulanmış e-posta adresine sahip