Steven Cheng

From MaRDI portal
Person:2256964

Available identifiers

zbMath Open cheng.stevenMaRDI QIDQ2256964

List of research outcomes





PublicationDate of PublicationType
Linearly Many Edge-Faults in 2-Bijective Connection Networks2017-12-15Paper
Structural properties of 2-bijective connection networks and 2-matching composition networks2015-05-21Paper
Partition consistency. A case study in modeling systems with weak memory consistency and proving correctness of their implementations2015-02-23Paper

Research outcomes over time

This page was built for person: Steven Cheng

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2256964&oldid=6845286"
Powered by MediaWiki