Get my own profile
Public access
View all9 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Wolfgang MerkleSenior Lecturer, Heidelberg UniversityVerified email at math.uni-heidelberg.de- Frank StephanNational University of Singapore, Department of Mathematics and Department of Computer ScienceVerified email at comp.nus.edu.sg
- Vasco BrattkaProfessor for Theoretical Computer Science and Mathematical Logic, Universität der BundeswehrVerified email at unibw.de
- Christopher P. PorterDrake UniversityVerified email at drake.edu
- Andre NiesUniversity of AucklandVerified email at cs.auckland.ac.nz
- Sanjay JainProfessor of Computer Science, National University of SingaporeVerified email at comp.nus.edu.sg
- Arno PaulySwansea UniversityVerified email at cl.cam.ac.uk
- Guohua WuNanyang Technological UniversityVerified email at ntu.edu.sg
- George BarmpaliasProfessor, Institute of Software, Chinese Academy of SciencesVerified email at ios.ac.cn
- Hugo NobregaUniversidade Federal do Rio de JaneiroVerified email at dcc.ufrj.br
- Dilip RaghavanNational University of SingaporeVerified email at nus.edu.sg
- Yu, LiangNanjing universityVerified email at nju.edu.cn
- Philipp SchlichtUniversity of BristolVerified email at math.uni-bonn.de
- Selwyn Keng Meng NgProfessor of Mathematics, Nanyang Technological UniversityVerified email at ntu.edu.sg
- Aquinas HoborAssociate Professor, University College LondonVerified email at ucl.ac.uk
- Alexander MelnikovAssociate Professor at Victoria University of Wellington, New ZealandVerified email at vuw.ac.nz
