| 2020 | 27th International Symposium on Temporal Representation and Reasoning, TIME 2020, Bozen-Bolzano, Italy, September 23-25, 2020 Emilio Muñoz-Velasco, Ana Ozaki, Martin Theobald |
| 2020 | A Note on C² Interpreted over Finite Data-Words. Bartosz Bednarczyk, Piotr Witkowski |
| 2020 | Complexity of Qualitative Timeline-Based Planning. Dario Della Monica, Nicola Gigante, Salvatore La Torre, Angelo Montanari |
| 2020 | Dynamic Branching in Qualitative Constraint Networks via Counting Local Models. Michael Sioutis, Diedrich Wolter |
| 2020 | Front Matter, Table of Contents, Preface, Conference Organization. |
| 2020 | Knowledge Extraction with Interval Temporal Logic Decision Trees. Guido Sciavicco, Ionel Eduard Stan |
| 2020 | Mining Significant Temporal Networks Is Polynomial. Guido Sciavicco, Matteo Zavatteri, Tiziano Villa |
| 2020 | Negotiating Temporal Commitments in Cross-Organizational Business Processes. Marco Franceschetti, Johann Eder |
| 2020 | Non-Simultaneity as a Design Constraint. Jean Guyomarc'h, François Guerret, Bilal El Mejjati, Emmanuel Ohayon, Bastien Vincke, Alain Mérigot |
| 2020 | On the Decidability of a Fragment of preferential LTL. Anasse Chafik, Fahima Cheikh Alili, Jean-François Condotta, Ivan Varzinczak |
| 2020 | One-Pass Context-Based Tableaux Systems for CTL and ECTL. Alex Abuin, Alexander Bolotov, Montserrat Hermo, Paqui Lucio |
| 2020 | Parametric Model Checking Continuous-Time Markov Chains. Catalin-Andrei Ilie, James B. Worrell |
| 2020 | Stab-Forests: Dynamic Data Structures for Efficient Temporal Query Processing. Jelle Hellings, Yuqing Wu |
| 2020 | TESL: A Model with Metric Time for Modeling and Simulation. Hai Nguyen Van, Frédéric Boulanger, Burkhart Wolff |
| 2020 | Temporal Logic with Recursion. Florian Bruse, Martin Lange |
| 2020 | Temporal Modalities in Answer Set Programming (Invited Talk). Pedro Cabalar |
| 2020 | The Horn Fragment of Branching Algebra. Alessandro Bertagnon, Marco Gavanelli, Alessandro Passantino, Guido Sciavicco, Stefano Trevisani |
| 2020 | Time and Business Process Management: Problems, Achievements, Challenges (Invited Talk). Johann Eder, Marco Franceschetti |
| 2020 | Universal Solutions in Temporal Data Exchange. Zehui Cheng, Phokion G. Kolaitis |
| 2020 | Verifying Autonomous Robots: Challenges and Reflections (Invited Talk). Clare Dixon |
| 2020 | Window-Slicing Techniques Extended to Spanning-Event Streams. Aurélie Suzanne, Guillaume Raschia, José Martinez, Damien Tassetti |