| No. |
Title |
Author |
Year |
| 1 |
Optimal Spectral-Norm Approximate Minimization of Weighted Finite Automata |
Balle, Borja et al. |
2021 |
| 2 |
Tensor of Quantitative Equational Theories |
Bacci, Giorgio et al. |
2021 |
| 3 |
Bisimulation Metrics for Weighted Automata |
Balle, Borja et al. |
2017 |
| 4 |
Expressiveness of Probabilistic Modal Logics, Revisited |
Fijalkow, Nathanaël et al. |
2017 |
| 5 |
06341 Abstracts Collection -- Computational Structures for Modelling Space, Time and Causality |
Kopperman, Ralph et al. |
2007 |
| 6 |
04351 Abstracts Collection -- Spatial Representation: Discrete vs. Continuous Computational Models |
Kopperman, Ralph et al. |
2005 |
| 7 |
04351 Summary -- Spatial Representation: Discrete vs. Continuous Computational Models |
Kopperman, Ralph et al. |
2005 |
| 8 |
A domain of spacetime intervals in general relativity |
Martin, Keye et al. |
2005 |
