Arend-Jan Quist

According to our database¹, Arend-Jan Quist authored at least 3 papers between 2023 and 2024.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2024

Trade-offs between classical and quantum space using spooky pebbling.

[BibT_eX]

[DOI]

CoRR, 2024

Advancing Quantum Computing with Formal Methods.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods - 26th International Symposium, 2024

2023

Optimizing Quantum Space Using Spooky Pebble Games.

[BibT_eX]

[DOI]

Proceedings of the Reversible Computation - 15th International Conference, 2023