Adrian Lehmann - Google znalac

Izradite svoj profil

Citirano

	Sve	Od 2019.
Citati	9	9
H-indeks	2	2
i10-indeks	0	0

0

6

3

202320246 3

Suautori

Robert RandAssistant Professor of Computer Science, University of ChicagoPotvrđena adresa e-pošte na uchicago.edu
Ben CaldwellUniversity of ChicagoPotvrđena adresa e-pošte na uchicago.edu

Adrian Lehmann

Adrian Lehmann

University of UChicago

Potvrđena adresa e-pošte na uchicago.edu - Početna stranica

Programming Languages Formal Verification Quantum Computing


Naslov Poredaj po navodima Poredaj po godini Poredaj po naslovu	Citirano Citirano	Godina
VyZX: a vision for verifying the ZX calculus A Lehmann, B Caldwell, R Rand arXiv preprint arXiv:2205.05781, 2022	7	2022
VyZX: Formal Verification of a Graphical Quantum Language A Lehmann, B Caldwell, B Shah, R Rand arXiv preprint arXiv:2311.11571, 2023	2	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

Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.

Članci 1–6