Yuxin Deng

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Yuan Feng 0001

> Home > Persons > Yuxin Deng

Publications

2022
[j29]
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/DengF22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/DengF22
Yuxin Deng, Yuan Feng:
Formal semantics of a classical-quantum language. Theor. Comput. Sci. 913: 73-93 (2022)
2021
[j26]
- view
  authority control:
- export record
  dblp key:
  - journals/jcst/ShiCDJF21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcst/ShiCDJF21
Wenjun Shi, Qinxiang Cao, Yuxin Deng, Hanru Jiang, Yuan Feng:
Symbolic Reasoning About Quantum Circuits in Coq. J. Comput. Sci. Technol. 36(6): 1291-1306 (2021)
[i11]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2107-00804
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2107-00804
Yuxin Deng, Yuan Feng:
Formal Semantics of a Classical-Quantum Language. CoRR abs/2107.00804 (2021)
2020
[i10]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2005-11023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2005-11023
Wenjun Shi, Qinxiang Cao, Yuxin Deng, Hanru Jiang, Yuan Feng:
Symbolic Reasoning about Quantum Circuits in Coq. CoRR abs/2005.11023 (2020)
2017
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/iandc/DengF17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/DengF17
Yuxin Deng, Yuan Feng:
Probabilistic bisimilarity as testing equivalence. Inf. Comput. 257: 58-64 (2017)
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/tase/DengF17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tase/DengF17
Yuxin Deng, Yuan Feng:
Bisimulations for probabilistic linear lambda calculi. TASE 2017: 1-8
2015
[c32]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/concur/DengFL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/DengFL15
Yuxin Deng, Yuan Feng, Ugo Dal Lago:
On Coinduction and Quantum Lambda Calculi. CONCUR 2015: 427-440
2014
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/tocl/FengDY14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocl/FengDY14
Yuan Feng, Yuxin Deng, Mingsheng Ying:
Symbolic Bisimulation for Quantum Processes. ACM Trans. Comput. Log. 15(2): 14:1-14:32 (2014)
2012
[c29]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ifipTCS/DengF12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifipTCS/DengF12
Yuxin Deng, Yuan Feng:
Open Bisimulation for Quantum Processes. IFIP TCS 2012: 119-133
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1201-0416
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1201-0416
Yuxin Deng, Yuan Feng:
Open Bisimulation for Quantum Processes. CoRR abs/1201.0416 (2012)
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1202-3484
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1202-3484
Yuan Feng, Yuxin Deng, Mingsheng Ying:
Symbolic bisimulation for quantum processes. CoRR abs/1202.3484 (2012)

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.