Get my own profile
Public access
View all12 articles
2 articles
available
not available
Based on funding mandates
Co-authors
- Tim SheardIOHK and Professor Emeritus Portland State UniversityVerified email at pdx.edu
- Jeremy G. SiekProfessor of Computer Science, Indiana UniversityVerified email at indiana.edu
- Eugenio MoggiProfessor of Computer Science, Genova UniversityVerified email at unige.it
- Adam DuraczSystecon ABVerified email at duracz.net
- Emir PasalicLogicBlox IncVerified email at logicblox.com
- Robert CartwrightProfessor of Computer Science, Rice UniversityVerified email at rice.edu
- Yingfu ZengPh.D student, Rice UniversityVerified email at rice.edu
- Jun InoueAISTVerified email at aist.go.jp
- Paul HudakProfessor of Computer Science, Yale UniversityVerified email at yale.edu
- Marcia K O'MalleyThomas Michael Panos Family Professor in Mechanical Engineering, Rice UniversityVerified email at rice.edu
- Aaron D. AmesBren Professor, Mechanical and Civil Engineering, Control and Dynamical Systems, CaltechVerified email at cds.caltech.edu
- Roland PhilippsenRoboticsVerified email at hh.se
- Paul BraunerGoogleVerified email at google.com
- Cherif SalamaAssociate Professor, Dept. of Computer Science and Engineering, The American University in CairoVerified email at aucegypt.edu
- Jan DuraczVerified email at duracz.net
- Xavier LeroyCollège de FranceVerified email at college-de-france.fr
- Ferenc A. BarthaResearch Scientist, University of SzegedVerified email at math.u-szeged.hu
- Alexandre ChapoutotENSTA Paris - U2ISVerified email at ensta.fr
- Michal KonečnęHonorary Senior Research Fellow - U of Birmingham, Visiting Industrial Fellow, Aston UniversityVerified email at aston.ac.uk
- Jim GrundyApple ComputerVerified email at acm.org