Min Zhang - Citegraph

Author Info

Name	Affiliation	Papers
MIN ZHANG	Japan Adv Inst Sci & Technol, Res Ctr Software Verificat, Tokyo, Japan	12
Collaborators	Citations	PageRank
34	7	4.23
Referers	Referees	References
18	105	43

Search Limit

100105

Publications (12 rows)

Collaborators (34 rows)

Referers (18 rows)

Referees (100 rows)

Title	Citations	PageRank	Year
An Efficient Method to Measure Robustness of ReLU-Based Classifiers via Search Space Pruning	0	0.34	2021
Tightening Robustness Verification Of Convolutional Neural Networks With Fine-Grained Linear Approximation	0	0.34	2021
Eager Falsification for Accelerating Robustness Verification of Deep Neural Networks	0	0.34	2021
Reducing implicit gender biases in software development: does intergroup contact theory work?	0	0.34	2020
Quantitative Timing Analysis for Cyber-Physical Systems Using Uncertainty-Aware Scenario-Based Specifications	0	0.34	2020
Toward a Unified Executable Formal Automobile OS Kernel and Its Applications	0	0.34	2019
Automating Consistency Verification of Safety Requirements for Railway Interlocking Systems	0	0.34	2019
An Algebraic Approach to Modeling and Verifying Policy-Driven Smart Devices in IoT Systems	0	0.34	2019
KRust: A Formal Executable Semantics of Rust	1	0.36	2018
An Algebraic Approach to Automatic Reasoning for NetKAT Based on Its Operational Semantics.	0	0.34	2017
Towards SMT-based LTL model checking of clock constraint specification language for real-time and embedded systems.	4	0.45	2017
Invariant-preserved Transformation of State Machines from Equations into Rewrite Rules	2	0.37	2012

1