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