Name Card

Full name Familienname, Vorname
Zhang, Yi
 

Own Publications Eigene Publikationen

Results 1-2 of 2 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Bartocci Ezio - 2017 - First international Competition on Runtime Verification...pdf.jpgBartocci, Ezio ; Falcone, Yliès ; Bonakdarpour, Borzoo ; Colombo, Christian ; Decker, Normann ; Havelund, Klaus ; Joshi, Yogi ; Klaedtke, Felix ; Milewicz, Reed ; Reger, Giles ; Rosu, Grigore ; Signoles, Julien ; Thoma, Daniel ; Zalinescu, Eugen ; Zhang, Yi First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014Article Artikel 2019
2Ugeda, Miguel M. ; Bradley, Aaron J. ; Zhang, Yi ; Onishi, Seita ; Chen, Yi ; Ruan, Wei ; Ojeda-Aristizabal, Claudia ; Ryu, Hyejin ; Edmonds, Mark T. ; Tsai, Hsin-Zon ; Riss, Alexander ; Mo, Sung-Kwan ; Lee, Dunghai ; Zettl, Alex ; Hussain, Zahid ; Shen, Z.-X. ; Crommie, Michael F. Characterization of collective ground states in single-layer NbSe₂Artikel Article 2016