Arend-Jan Quist
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2023–2026
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | KR | From Tensor Networks to Tractable Circuits, and Back. | Arend-Jan Quist, Marc Farreras Bartra, Alexis de Colnet, John van de Wetering, Alfons Laarman |
| 2024 | FM | Advancing Quantum Computing with Formal Methods. | Arend-Jan Quist, Jingyi Mei, Tim Coopmans, Alfons Laarman |
| 2023 | RC | Optimizing Quantum Space Using Spooky Pebble Games. | Arend-Jan Quist, Alfons Laarman |