‪Adrian Lehmann‬ - ‪Google Scholar‬

Get my own profile

Cited by

	All	Since 2019
Citations	7	7
h-index	1	1
i10-index	0	0

0

6

3

202320246 1

Co-authors

Robert RandAssistant Professor of Computer Science, University of ChicagoVerified email at uchicago.edu
Ben CaldwellUniversity of ChicagoVerified email at uchicago.edu

Adrian Lehmann

Adrian Lehmann

University of UChicago

Verified email at uchicago.edu - Homepage

Programming Languages Formal Verification Quantum Computing


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
VyZX: a vision for verifying the ZX calculus A Lehmann, B Caldwell, R Rand arXiv preprint arXiv:2205.05781, 2022	6	2022
VyZX: Formal Verification of a Graphical Quantum Language A Lehmann, B Caldwell, B Shah, R Rand arXiv preprint arXiv:2311.11571, 2023	1	2023
ViCAR: Visualizing Categories with Automated Rewriting in Coq B Shah, W Spencer, L Zielinski, B Caldwell, A Lehmann, R Rand arXiv preprint arXiv:2404.08163, 2024		2024
Formal Verification of a Graphical Language A Lehmann, BCB Shah, R Rand
VyZX: Verifying the ZX Calculus A Lehmann, B Caldwell
Schleifenausrollen mit nicht konstanten Grenzen in FIRM AE Lehmann

The system can't perform the operation now. Try again later.

Articles 1–6