| No. |
Title |
Author |
Year |
| 1 |
Satisfiability Checking of Multi-Variable TPTL with Unilateral Intervals Is PSPACE-Complete |
Krishna, Shankara Narayanan et al. |
2023 |
| 2 |
An Algebraic Decision Procedure for Two-Variable Logic with a Between Relation |
Krebs, Andreas et al. |
2018 |
| 3 |
Front Matter, Table of Contents, Preface, Conference Organization |
Ganguly, Sumit et al. |
2018 |
| 4 |
LIPIcs, Volume 122, FSTTCS'18, Complete Volume |
Ganguly, Sumit et al. |
2018 |
| 5 |
Logics Meet 1-Clock Alternating Timed Automata |
Krishna, Shankara Narayanan et al. |
2018 |
| 6 |
Making Metric Temporal Logic Rational |
Krishna, Shankara Narayanan et al. |
2017 |
