Joost J. Joosten
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
13
Venues
8
Active years
2011–2025
Best venue rank
B
Where they publish
Papers
13 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | WoLLIC | On Tame Semantics for Interpretability Logic. | Vicent Navarro Arroyo, Joost J. Joosten |
| 2024 | AiML | A Tree Rewriting System for the Reflection Calculus. | Sofa Santiago-Fernndez, Joost J. Joosten, David Fernndez-Duque |
| 2024 | CPP | UTC Time, Formally Verified. | Ana de Almeida Borges, Mireia Gonzlez Bedmar, Juan Jos Conejero Rodrguez, Eduardo Hermo Reyes, Joaquim Casals Buuel, Joost J. Joosten |
| 2022 | LFCS | Hyperarithmetical Worm Battles. | David Fernndez-Duque, Konstantinos Papafilippou, Joost J. Joosten |
| 2020 | AiML | Quantified Reflection Calculus with One Modality. | Ana de Almeida Borges, Joost J. Joosten |
| 2019 | TIME | The Second Order Traffic Fine: Temporal Reasoning in European Transport Regulations. | Ana de Almeida Borges, Juan Jos Conejero Rodrguez, David Fernndez-Duque, Mireia Gonzlez Bedmar, Joost J. Joosten |
| 2018 | AiML | The Worm Calculus. | Ana de Almeida Borges, Joost J. Joosten |
| 2018 | AiML | Relational Semantics for the Turing Schmerl Calculus. | Eduardo Hermo Reyes, Joost J. Joosten |
| 2015 | CiE | Turing Jumps Through Provability. | Joost J. Joosten |
| 2012 | AiML | Kripke Models of Transfinite Provability Logic. | David Fernndez-Duque, Joost J. Joosten |
| 2012 | CiE | Turing Progressions and Their Well-Orders. | David Fernndez-Duque, Joost J. Joosten |
| 2011 | DCAI | Secure Communication of Local States in Interpreted Systems. | Michael H. Albert, Andrs Cordn-Franco, Hans van Ditmarsch, David Fernndez-Duque, Joost J. Joosten, Fernando Soler-Toscano |
| 2011 | UC | Hidden Variables Simulating Quantum Contextuality Increasingly Violate the Holevo Bound. | Adn Cabello, Joost J. Joosten |