We stand with Ukraine  

Weiyi Zhang

Orcid: 0000-0003-4915-1080

Affiliations:
  • University of Auckland, Auckland, New Zealand


According to our database1, Weiyi Zhang authored at least 2 papers between 2019 and 2023.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

2019
2020
2021
2022
2023
0
1
2
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Designing, Modeling and Analysis of GALS Software Systems.
[BibTeX]
[DOI]
Weiyi Zhang
,
Zoran Salcic
,
Avinash Malik
IEEE Trans. Software Eng., August, 2023

2019
Towards Formal Modeling and Analysis of SystemJ GALS Systems using Coloured Petri Nets.
[BibTeX]
[DOI]
Weiyi Zhang
,
Zoran Salcic
,
Avinash Malik
Proceedings of the 17th IEEE International Conference on Industrial Informatics, 2019


  Loading...