Zhang Zhenya

Orcid: 0000-0002-3854-9846

According to our database¹, Zhang Zhenya authored at least 4 papers between 2024 and 2025.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of five.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2025

Causality Monitoring for MIMOS.

[BibT_eX]

[DOI]

Proceedings of the Principles of Formal Quantitative Analysis, 2025

2024

Optimization-Based Model Checking and Trace Synthesis for Complex STL Specifications (Artifact).

[BibT_eX]

[DOI]

Dataset, April, 2024

Optimization-Based Model Checking and Trace Synthesis for Complex STL Specifications (Artifact).

[BibT_eX]

[DOI]

Dataset, April, 2024

Optimization-Based Model Checking and Trace Synthesis for Complex STL Specifications (Artifact).

[BibT_eX]

[DOI]

Dataset, April, 2024

Zhang Zhenya

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...