Tianrong Lin

Available identifiers

zbMath Open lin.tianrongMaRDI QIDQ439939

List of research outcomes

Publication	Date of Publication	Type
Quantum and Probabilistic Computers Rigorously Powerful than Traditional Computers, and Derandomization	2023-08-18	Paper
Corrigendum to: ``Another approach to the equivalence of measure-many one-way quantum finite automata and its application	2015-07-13	Paper
Undecidability of model-checking branching-time properties of stateless probabilistic pushdown process	2014-05-19	Paper
Another approach to the equivalence of measure-many one-way quantum finite automata and its application	2012-08-17	Paper
On equivalence, languages equivalence and minimization of multi-letter and multi-letter measure-many quantum automata	2012-03-01	Paper
Simple characterizations for commutativity of quantum weakest preconditions	2011-08-23	Paper

Research outcomes over time

This page was built for person: Tianrong Lin