SU\G(𝔸)/K·U

Arend-Jan Quist

Follow

Generating author description...

All published works
Action Title Year Authors
+ PDF Chat Advancing Quantum Computing with Formal Methods 2024 Arend-Jan Quist
Jingyi Mei
Tim Coopmans
Alfons Laarman
+ Trade-offs between classical and quantum space using spooky pebbling 2024 Arend-Jan Quist
Alfons Laarman
Common Coauthors
Coauthor Papers Together
Alfons Laarman 2
Tim Coopmans 1
Jingyi Mei 1
Commonly Cited References
Action Title Year Authors # of times referenced