Andre Kornell

Orcid: 0000-0002-8930-7126

According to our database¹, Andre Kornell authored at least 5 papers between 2018 and 2024.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2024

Categories of quantum cpos.

[BibT_eX]

[DOI]

Andre Kornell

Bert Lindenhovius

Michael W. Mislove

CoRR, 2024

2023

Some improvements to product formula circuits for Hamiltonian simulation.

[BibT_eX]

[DOI]

Andre Kornell

Peter Selinger

CoRR, 2023

2022

Semantics for variational Quantum programming.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2022

2020

Quantum CPOs.

[BibT_eX]

[DOI]

Andre Kornell

Bert Lindenhovius

Michael W. Mislove

Proceedings of the Proceedings 17th International Conference on Quantum Physics and Logic, 2020

2018

A complete system of deduction for Sigma formulas.

[BibT_eX]

[DOI]

Andre Kornell

CoRR, 2018

Andre Kornell

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...