Andre Kornell

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 6

Top Topics

Operational Semantics

Programming Environment

Simulation Study

Programming Language Constructs

Top Venues

Proc. ACM Program. Lang.

Publications

Andre Kornell, Bert Lindenhovius, Michael W. Mislove
Categories of quantum cpos. CoRR (2024)
Andre Kornell, Peter Selinger
Some improvements to product formula circuits for Hamiltonian simulation. CoRR (2023)
Xiaodong Jia, Andre Kornell, Bert Lindenhovius, Michael W. Mislove, Vladimir Zamdzhiev
Semantics for variational Quantum programming. Proc. ACM Program. Lang. 6 (POPL) (2022)
Xiaodong Jia, Andre Kornell, Bert Lindenhovius, Michael W. Mislove, Vladimir Zamdzhiev
Semantics for Variational Quantum Programming. CoRR (2021)
Andre Kornell, Bert Lindenhovius, Michael W. Mislove
Quantum CPOs. QPL (2020)
Andre Kornell
A complete system of deduction for Sigma formulas. CoRR (2018)