Tianrong Lin
From MaRDI portal
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 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'' Journal of Computer and System Sciences | 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 Journal of Computer and System Sciences | 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
