Get my own profile
Public access
View all35 articles
3 articles
available
not available
Based on funding mandates
Co-authors
- Rob van GlabbeekUNSWVerified email at cs.stanford.edu
- matthew hennessyProfessor of Computer ScienceVerified email at cs.tcd.ie
- Jun PangUniversity of LuxembourgVerified email at uni.lu
- Catuscia PalamidessiInriaVerified email at lix.polytechnique.fr
- Yuan FengTsinghua UniversityVerified email at tsinghua.edu.cn
- Carroll MorganProfessor, University of New South WalesVerified email at unsw.edu.au
- Chenyi ZhangOracle Labs AustraliaVerified email at oracle.com
- Davide SangiorgiProfessor of Computer Science, University of BolognaVerified email at cs.unibo.it
- Daniel GeblerVU University AmsterdamVerified email at vu.nl
- Iliano CervesatoProfessor of Computer Science, Carnegie Mellon UniversityVerified email at cmu.edu
- Robert J. SimmonsCarnegie Mellon University (formerly)Verified email at cs.cmu.edu
- Tom ChothiaUniversity of BirminghamVerified email at cs.bham.ac.uk
- Peng WUState Key Laboratory of Computer Science, Institute of Software, Chinese Academy of SciencesVerified email at ios.ac.cn
- Stéphane GrumbachINRIA & ENS Lyon -- IXXIVerified email at inria.fr
- Xin ChenUniversity of New MexicoVerified email at unm.edu
- Ugo Dal LagoUniversity of Bologna and INRIA Sophia AntipolisVerified email at cs.unibo.it
- Alwen TiuSchool of Computing, The Australian National UniversityVerified email at anu.edu.au