Pablo Gordillo

Pablo Gordillo

PhD in Computer Science, Universidad Complutense de Madrid, https://orcid.org/0000-0001 …
Verificeret mail på ucm.es
Citeret af 603
Static Analysis Program Verification Resource Analysis Ethereum Smart Contracts
Amidu Owolabi Ayeni

Amidu Owolabi Ayeni

Associate Professor, Department of Geography, University of Lagos, Nigeria
Verificeret mail på unilag.edu.ng
Citeret af 578
Environmental Geography Resource Analysis Climate Change & Citizen Science
Arif Rahman

Arif Rahman

lecturer of Industrial Engineering, Universitas Brawijaya
Verificeret mail på ub.ac.id
Citeret af 488
Resource Engineering Resource Analysis Resource Planning Shojinka Systems Engineering
Rasool Maghareh

Rasool Maghareh

Senior R&D Software Engineer at Huawei Canada Research Centre
Verificeret mail på lemurianlabs.com
Citeret af 106
Heterogenous Computing Resource Analysis Program Analysis Symbolic Execution Program Testing
Alejandro Tamalet

Alejandro Tamalet

Citeret af 92
Theorem Provers Formal Models Resource Analysis
Zitao Wu

Zitao Wu

University of Wyoming
Verificeret mail på uwyo.edu
Citeret af 51
low carbon energy energy-water nexus policy analysis resource analysis
Aborisade Adeshina Gbenga

Aborisade Adeshina Gbenga

University of Lagos
Verificeret mail på gloworld.com
Citeret af 23
Human Geography Resource Analysis Transportation Management
Hannah Zicarelli

Hannah Zicarelli

University of Massachusetts Boston
Verificeret mail på umb.edu
Citeret af 20
Programming Languages GPU Static Analysis Resource Analysis
Christoffer Rubensson

Christoffer Rubensson

Doctoral Candidate, Humboldt-Universität zu Berlin
Verificeret mail på hu-berlin.de
Citeret af 7
process mining visual analytics resource analysis