Chenyi Zhang

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Quantum non-identical mean estimation: efficient algorithms and fundamental limits	2026-02-10	Paper
Public-key pseudoentanglement and the hardness of learning ground state entanglement structure	2026-01-28	Paper
Quantum pseudoentanglement	2025-11-04	Paper
TFA: an efficient and precise virtual method call resolution for Java Formal Aspects of Computing	2021-01-04	Paper
Minimal consistent DFA from sample strings Acta Informatica	2020-05-26	Paper
Reference abstract domains and applications to string analysis Fundamenta Informaticae	2018-05-03	Paper
The complexity of synchronous notions of information flow security Theoretical Computer Science	2016-05-02	Paper
Remarks on testing probabilistic processes Electronic Notes in Theoretical Computer Science	2013-12-06	Paper
Information flow in systems with schedulers. II: Refinement Theoretical Computer Science	2013-12-04	Paper
Information flow in systems with schedulers. I: Definitions Theoretical Computer Science	2013-02-19	Paper
A type and effect system for determinism in multithreaded programs Programming Languages and Systems	2012-06-22	Paper
An algorithm for probabilistic alternating simulation SOFSEM 2012: Theory and Practice of Computer Science	2012-06-15	Paper
A comparison of semantic models for noninterference Theoretical Computer Science	2010-11-11	Paper
On probabilistic alternating simulations IFIP Advances in Information and Communication Technology	2010-10-27	Paper
The complexity of synchronous notions of information flow security Foundations of Software Science and Computational Structures	2010-04-27	Paper
Scalar Outcomes Suffice for Finitary Probabilistic Testing Programming Languages and Systems	2007-09-04	Paper

Research outcomes over time

This page was built for person: Chenyi Zhang