Chenyi Zhang
Orcid: 0000-0002-3054-5883Affiliations:
- University of Canterbury, Christchurch, New Zealand
- Jinan University, College of Information Science and Technology, Guangzhou, China (former)
- Oracle Labs Australia, Brisbane, QLD, Australia (former)
- University of Queensland, Brisbane, QLD, Australia (former)
- University of Luxembourg, Faculty of Sciences, Technology and Communication, Luxembourg (former)
- University of New South Wales, Sydney, NSW, Australia (PhD)
According to our database1,
Chenyi Zhang
authored at least 47 papers
between 2006 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on github.com
On csauthors.net:
Bibliography
2025
Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems, 2025
2024
IEEE Trans. Reliab., June, 2024
2023
Int. J. Pattern Recognit. Artif. Intell., December, 2023
2022
Sci. Comput. Program., 2022
Neural Process. Lett., 2022
Proceedings of the 34th International Conference on Software Engineering and Knowledge Engineering, 2022
Proceedings of the 26th International Conference on Engineering of Complex Computer Systems, 2022
2020
Preface for the special issue of the 12th International Symposium on Theoretical Aspects of Software Engineering (TASE 2018).
Sci. Comput. Program., 2020
Formal Aspects Comput., 2020
Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2020
Proceedings of the 33rd IEEE Computer Security Foundations Symposium, 2020
2019
Proceedings of the Formal Methods and Software Engineering, 2019
2018
Fundam. Informaticae, 2018
2017
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017
Proceedings of the Formal Methods and Software Engineering, 2017
2016
Theor. Comput. Sci., 2016
2015
IEEE Trans. Software Eng., 2015
2013
Theor. Comput. Sci., 2013
Theor. Comput. Sci., 2013
Frontiers Comput. Sci., 2013
Proceedings of the Formal Methods and Software Engineering, 2013
2012
J. Comput. Secur., 2012
Innov. Syst. Softw. Eng., 2012
Proceedings of the SOFSEM 2012: Theory and Practice of Computer Science, 2012
Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation, 2012
Proceedings of the Programming Languages and Systems, 2012
Proceedings of the ACM Conference on Computer and Communications Security, 2012
Probabilistic Alternating-Time Temporal Logic of Incomplete Information and Synchronous Perfect Recall.
Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012
2011
Proceedings of the Trustworthy Global Computing - 6th International Symposium, 2011
2010
Proceedings of the 4th International Workshop on Harnessing Theories for Tool Support in Software, 2010
Proceedings of the Theoretical Computer Science, 2010
Proceedings of the IEEE/IFIP 8th International Conference on Embedded and Ubiquitous Computing, 2010
2009
Proceedings of the Proceedings 7th International Workshop on Security Issues in Concurrency, 2009
Proceedings of the Formal Aspects in Security and Trust, 6th International Workshop, 2009
2008
Proceedings of the Eighth IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2008), 2008
Proceedings of the 21st IEEE Computer Security Foundations Symposium, 2008
2007
Proceedings of the Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin, 2007
Proceedings of the 22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 2007
Proceedings of the Programming Languages and Systems, 2007
2006
Proceedings of the Second International Workshop on Views on Designing Complex Architectures, 2006