Dongho Lee

authors

Help
Submit
Login

Literature

Authors

Jobs

Seminars

Conferences

DataBETA

Author Identifier: D.Lee.17

Updated on Feb 4, 2022

Literature(2)

Cited By

Date of paper

2021

Number of authors

10 authors or less

2

Exclude RPP

Exclude Review of Particle Physics

2

Document Type

article

2

Collaborators

Zi Zong Xu

2

Benoît Valiron

2

Valentin Perrelle

1

Renaud Vilmart

1

S. Bardin

1

Christophe Chareton

1

Affiliations

LIST, Saclay

2

U. Paris-Saclay

2

2 results

Citation Summary

Most Recent

Concrete Categorical Model of a Quantum Circuit Description Language with Measurement

#1

Dongho Lee
(
- U. Paris-Saclay and
- LIST, Saclay
)
,
Valentin Perrelle
(
- LIST, Saclay
)
,
Benoît Valiron
(
- U. Paris-Saclay
)
,
Zhaowei Xu
(
- U. Paris-Saclay
)

(Oct 6, 2021)

e-Print:
- 2110.02691 [cs.LO]

pdfDOI

reference search8 citations

Formal Methods for Quantum Programs: A Survey

#2

Christophe Chareton
(
- LIST, Saclay
)
,
Sebastien Bardin
(
- LIST, Saclay
)
,
Dongho Lee
(
- U. Paris-Saclay and
- LIST, Saclay
)
,
Benoit Valiron
(
- U. Paris-Saclay
)
,
Renaud Vilmart
(
- IRFU, Saclay
)

et al.

(Sep 14, 2021)

e-Print:
- 2109.06493 [cs.PL]

pdf

reference search12 citations

INSPIRE

Help

FAQ

INSPIRE Help

Report metadata issues

Tools

Bibliography generator

Community

Made with ❤ by the INSPIRE Team