| Publication | Date of Publication | Type |
|---|
Finiteness and finite domination in stratified homotopy theory
Homology, Homotopy and Applications | 2026-08-27 | Paper |
A characterization of sheaves among six functor formalisms on $\mathrm{LCH}$
(available as arXiv preprint) | 2026-01-01 | Paper |
Homology manifolds via six functor formalisms
(available as arXiv preprint) | 2026-01-01 | Paper |
The six operations in topology
Journal of Topology | 2025-12-09 | Paper |
Verdier duality on conically smooth stratified spaces
Algebraic & Geometric Topology | 2025-06-13 | Paper |
Approximate Fibrations in Higher Topos Theory
(available as arXiv preprint) | 2025-01-01 | Paper |
Finiteness and finite domination in stratified homotopy theory
(available as arXiv preprint) | 2024-01-01 | Paper |
Whitney stratifications are conically smooth
Selecta Mathematica. New Series | 2023-10-06 | Paper |
| Verdier duality on conically smooth stratified spaces | 2022-06-06 | Paper |
From axioms to synthetic inference rules via focusing
Annals of Pure and Applied Logic | 2022-04-01 | Paper |
Certification of prefixed tableau proofs for modal logic
(available as arXiv preprint) | 2021-12-07 | Paper |
| Certification of prefixed tableau proofs for modal logic | 2021-12-07 | Paper |
| The six operations in topology | 2021-10-19 | Paper |
A general proof certification framework for modal logic
Mathematical Structures in Computer Science | 2019-10-09 | Paper |
| scientific article; zbMATH DE number 6863660 (Why is no real title available?) | 2018-04-23 | Paper |
A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations
Information and Computation | 2017-09-04 | Paper |
A history of until
Electronic Notes in Theoretical Computer Science | 2016-08-05 | Paper |
Focused labeled proof systems for modal logic
Logic for Programming, Artificial Intelligence, and Reasoning | 2016-01-12 | Paper |
Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics
Theoretical Computer Science | 2015-10-12 | Paper |
Quantum State Transformations and Branching Distributed Temporal Logic
Logic, Language, Information, and Computation | 2015-01-13 | Paper |
On the mosaic method for many-dimensional modal logics: a case study combining tense and modal operators
Logica Universalis | 2013-04-08 | Paper |
Classic-like cut-based tableau systems for finite-valued logics
Logic, Language, Information and Computation | 2012-09-21 | Paper |
Back from the future
Journal of Applied Non-Classical Logics | 2012-07-17 | Paper |
Labelled natural deduction for a bundled branching temporal logic
Journal Of Logic And Computation | 2011-12-19 | Paper |
A Labeled Natural Deduction System for a Fragment of CTL *
Logical Foundations of Computer Science | 2009-02-24 | Paper |
