Arend-Jan Quist

According to our database, Arend-Jan Quist authored at least 6 papers between 2023 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2026

From Tensor Networks to Tractable Circuits, and back.

Arend-Jan Quist, Marc Farreras Bartra, Alexis de Colnet, John van de Wetering, Alfons Laarman

CoRR, May, 2026

2025

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

Arend-Jan Quist, Alfons Laarman

Log. Methods Comput. Sci., 2025

Numerical Errors in Quantitative System Analysis With Decision Diagrams.

Sebastiaan Brand, Arend-Jan Quist, Richard M. K. van Dijk, Alfons Laarman

Proceedings of the Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, 2025

2024

Automated Reasoning in Quantum Circuit Compilation.

Dimitrios Thanos, Alejandro Villoria, Sebastiaan Brand, Arend-Jan Quist, Jingyi Mei, Tim Coopmans, Alfons Laarman

Proceedings of the Model Checking Software - 30th International Symposium, 2024

Advancing Quantum Computing with Formal Methods.

Arend-Jan Quist, Jingyi Mei, Tim Coopmans, Alfons Laarman

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

2023

Optimizing Quantum Space Using Spooky Pebble Games.

Arend-Jan Quist, Alfons Laarman

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