We stand with Ukraine  

Minjian Zhang

Orcid: 0000-0002-5017-2228

Affiliations:
  • University of Illinois at Urbana-Champaign, IL, USA


According to our database1, Minjian Zhang authored at least 4 papers between 2021 and 2024.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Deciding Branching Hyperproperties for Real Time Systems.
[BibTeX]
[DOI]
Nabarun Deka
,
Minjian Zhang
,
Rohit Chadha
,
Mahesh Viswanathan
Proceedings of the 37th IEEE Computer Security Foundations Symposium, 2024

2023
Dynamic Race Detection with O(1) Samples.
[BibTeX]
[DOI]
Mosaad Al Thokair
,
Minjian Zhang
,
Umang Mathur
,
Mahesh Viswanathan
Proc. ACM Program. Lang., January, 2023

Stack-Aware Hyperproperties.
[BibTeX]
[DOI]
Ali Bajwa
,
Minjian Zhang
,
Rohit Chadha
,
Mahesh Viswanathan
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

2021
Checking LTL[F, G, X] on compressed traces in polynomial time.
[BibTeX]
[DOI]
Minjian Zhang
,
Umang Mathur
,
Mahesh Viswanathan
Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021


  Loading...