A complete system of deduction for Sigma formulas. - Andre Kornell (CoRR, 2018)

Quantum CPOs. - Andre Kornell; Bert Lindenhovius; Michael W. Mislove (QPL, 2020)

Semantics for variational Quantum programming. - Xiaodong Jia 002; Andre Kornell; Bert Lindenhovius; Michael W. Mislove; Vladimir Zamdzhiev (Proc. ACM Program. Lang., 2022)

Some improvements to product formula circuits for Hamiltonian simulation. - Andre Kornell; Peter Selinger (CoRR, 2023)

Categories of quantum cpos. - Andre Kornell; Bert Lindenhovius; Michael W. Mislove (CoRR, 2024)

A Natural Deduction System for Orthomodular Logic. - Andre Kornell (Rev. Symb. Log., 2024)