Get my own profile
Public access
View all37 articles
0 articles
available
not available
Based on funding mandates
Co-authors
- Mikhail Yasha Ramalho GadelhaIgaliaVerified email at igalia.com
- Bernd FischerComputer Science Division, Stellenbosch UniversityVerified email at cs.sun.ac.za
- Iury BessaAssistant Professor at Federal University of AmazonasVerified email at ufam.edu.br
- Eddie Batista de Lima FilhoFederal University of Amazonas and TPV TechnologyVerified email at tpv-tech.com
- Raimundo BarretoProfessor of Computer Science, Universidade Federal do AmazonasVerified email at icomp.ufam.edu.br
- Felipe R. MonteiroAmazonVerified email at amazon.com
- Hussama IsmailVerified email at ufam.edu.br
- Rafael MenezesThe University of Manchester, Universidade Federal do AmazonasVerified email at postgrad.manchester.ac.uk
- Daniel KroeningAmazonVerified email at amazon.com
- Herbert RochaProfessor of Computer Science, Federal University of RoraimaVerified email at ufrr.br
- Mustafa A. MustafaUniversity of Manchester & COSIC KU LeuvenVerified email at manchester.ac.uk
- Jeremy MorseUniversity of BristolVerified email at bristol.ac.uk
- Kaled AlshmranyInstitute of Public Administration (IPA)Verified email at ipa.edu.sa
- Alessandro TrindadeAdjunct Professor at Electricity Department, Federal University of Amazonas, BrazilVerified email at ufam.edu.br
- Pascal KesseliDiffblue Ltd.Verified email at diffblue.com
- Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of SussexVerified email at diffblue.com
- Joao Marques-SilvaResearch Professor, ICREA, University of LleidaVerified email at icrea.cat
- Ahmed BhayatUniversity of ManchesterVerified email at postgrad.manchester.ac.uk
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKVerified email at cs.ox.ac.uk
- Cristina DavidUniversity of BristolVerified email at bristol.ac.uk
Follow
Lucas C. Cordeiro
Professor of Computer Science, University of Manchester
Verified email at manchester.ac.uk - Homepage