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
Yuan FengTsinghua UniversityVerified email at tsinghua.edu.cn
Catuscia PalamidessiInriaVerified email at lix.polytechnique.fr
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