Get my own profile
Co-authors
- Paulo FonsecaFederal University of AmazonasVerified email at icomp.ufam.edu.br
- Ricardo BennesbyFederal University of AmazonasVerified email at icomp.ufam.edu.br
- Edjair MotaFüll Professor in Computer Science, Federal University of AmazonasVerified email at icomp.ufam.edu.br
- David RobertsonProfessor of Applied Logic, University of EdinburghVerified email at inf.ed.ac.uk
- Alex GroceAssociate Professor of Computer Science, Northern Arizona UniversityVerified email at nau.edu
- Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityVerified email at cs.cmu.edu
- Jorge Yoshio KandaProfessor de Informática, Universidade Federal do AmazonasVerified email at ufam.edu.br
- Mandy HaggithLecturer, Literature and Creative Writing, University of the Highlands and IslandsVerified email at uhi.ac.uk
- Mikhail Yasha Ramalho GadelhaIgaliaVerified email at igalia.com
- Iury BessaAssistant Professor at Federal University of AmazonasVerified email at ufam.edu.br
- Lucas C. CordeiroReader, Dept of Computer Science, University of ManchesterVerified email at manchester.ac.uk
- Valentin EduardoUniversidade Federal do AmazonasVerified email at dcc.ufam.edu.br
- Leonardo BarretoFederal University of Amazonas, BrazilVerified email at icomp.ufam.edu.br
- Artur d'Avila GarcezProfessor of Computer Science. City, University of LondonVerified email at city.ac.uk
- Christian HoeneSymonics GmbHVerified email at symonics.com
- Jacob M. HoweSenior Lecturer, City, University of LondonVerified email at soi.city.ac.uk
- Rodrigo BragaSIDIA - SamsungVerified email at samsung.com