Get my own profile
Public access
View all9 articles
1 article
available
not available
Based on funding mandates
Co-authors
- Behrouz EmamizadehProfessor in Mathematics, University of Nottingham Ningbo ChinaVerified email at nottingham.edu.cn
- Michal KonečnýHonorary Senior Research Fellow - U of Birmingham, Visiting Industrial Fellow, Aston UniversityVerified email at aston.ac.uk
- Walid TahaHalmstad UniversityVerified email at hh.se
- Eugenio MoggiProfessor of Computer Science, Genova UniversityVerified email at unige.it
- Jan DuraczVerified email at duracz.net
- Yichen LiuAssistant Professor, Department of Applied Mathematics, School of Mathematics and Physics, Xi'anVerified email at xjtlu.edu.cn
- Abbas EdalatDepartment of Computing, Imperial College LondonVerified email at ic.ac.uk
- Mohsen Zivari-RezapourAssociate professor, Shahid Chamran University of AhvazVerified email at scu.ac.ir
- Adam DuraczSystecon ABVerified email at duracz.net
- Giampaolo ButicchiProfessor in Electrical Engineering, University of Nottingham Ningbo China (UNNC)Verified email at nottingham.edu.cn
- Heshan DuUniversity of Nottingham Ningbo ChinaVerified email at nottingham.edu.cn
- Dirk PattinsonAustralian National UniversityVerified email at anu.edu.au
- Pei-Chun LinAssociate Professor of Department of Information Engineering and Computer Science, Feng ChiaVerified email at fcu.edu.tw
- Razin A. ShaikhPhD student, University of Oxford; Research engineer, QuantinuumVerified email at cs.ox.ac.uk
- Luca TarisciottiUniversidad Andres BelloVerified email at unab.cl
- Hayk MikayelyanThe University of Nottingham Ningbo ChinaVerified email at nottingham.edu.cn
- Anthony (Tony) G CohnProfessor of Automated Reasoning, University of LeedsVerified email at leeds.ac.uk
- Zeyu XiongPhD Student, ETH ZürichVerified email at inf.ethz.ch
- Natasha AlechinaDepartment of Information and Computing Sciences, University of UtrechtVerified email at uu.nl
- Brian LoganNottingham UniversityVerified email at cs.nott.ac.uk
Follow