Chenyi Zhang

Available identifiers

zbMath Open zhang.chenyiMaRDI QIDQ278741

List of research outcomes

Publication	Date of Publication	Type
TFA: an efficient and precise virtual method call resolution for Java	2021-01-04	Paper
Minimal consistent DFA from sample strings	2020-05-26	Paper
Reference Abstract Domains and Applications to String Analysis	2018-05-03	Paper
The complexity of synchronous notions of information flow security	2016-05-02	Paper
Remarks on testing probabilistic processes	2013-12-06	Paper
Information flow in systems with schedulers. II: Refinement	2013-12-04	Paper
Information flow in systems with schedulers. I: Definitions	2013-02-19	Paper
A Type and Effect System for Determinism in Multithreaded Programs	2012-06-22	Paper
An Algorithm for Probabilistic Alternating Simulation	2012-06-15	Paper
A comparison of semantic models for noninterference	2010-11-11	Paper
On Probabilistic Alternating Simulations	2010-10-27	Paper
The Complexity of Synchronous Notions of Information Flow Security	2010-04-27	Paper
Scalar Outcomes Suffice for Finitary Probabilistic Testing	2007-09-04	Paper

Research outcomes over time

This page was built for person: Chenyi Zhang