Arend-Jan Quist

Orcid: 0000-0002-6501-2112

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

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of five.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2024

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

[BibT_eX]

[DOI]

Arend-Jan Quist

Alfons Laarman

CoRR, 2024

Automated Reasoning in Quantum Circuit Compilation.

[BibT_eX]

[DOI]

Proceedings of the Model Checking Software - 30th International Symposium, 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]

Arend-Jan Quist

Alfons Laarman

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

Arend-Jan Quist

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...