Abstract is missing.
- Parametric Model Checking Continuous-Time Markov ChainsCatalin-Andrei Ilie, James B. Worrell. [doi]
- Knowledge Extraction with Interval Temporal Logic Decision TreesGuido Sciavicco, Ionel Eduard Stan. [doi]
- Dynamic Branching in Qualitative Constraint Networks via Counting Local ModelsMichael Sioutis, Diedrich Wolter. [doi]
- Window-Slicing Techniques Extended to Spanning-Event StreamsAurélie Suzanne, Guillaume Raschia, José Martinez 0001, Damien Tassetti. [doi]
- Mining Significant Temporal Networks Is PolynomialGuido Sciavicco, Matteo Zavatteri, Tiziano Villa. [doi]
- Stab-Forests: Dynamic Data Structures for Efficient Temporal Query ProcessingJelle Hellings, Yuqing Wu. [doi]
- Time and Business Process Management: Problems, Achievements, Challenges (Invited Talk)Johann Eder, Marco Franceschetti. [doi]
- Front Matter, Table of Contents, Preface, Conference Organization [doi]
- Complexity of Qualitative Timeline-Based PlanningDario Della Monica, Nicola Gigante, Salvatore La Torre, Angelo Montanari. [doi]
- The Horn Fragment of Branching AlgebraAlessandro Bertagnon, Marco Gavanelli, Alessandro Passantino, Guido Sciavicco, Stefano Trevisani. [doi]
- One-Pass Context-Based Tableaux Systems for CTL and ECTLAlex Abuin, Alexander Bolotov, Montserrat Hermo, Paqui Lucio. [doi]
- Verifying Autonomous Robots: Challenges and Reflections (Invited Talk)Clare Dixon. [doi]
- Negotiating Temporal Commitments in Cross-Organizational Business ProcessesMarco Franceschetti, Johann Eder. [doi]
- TESL: A Model with Metric Time for Modeling and SimulationHai Nguyen Van, Frédéric Boulanger, Burkhart Wolff. [doi]
- Temporal Logic with RecursionFlorian Bruse, Martin Lange. [doi]
- A Note on C² Interpreted over Finite Data-WordsBartosz Bednarczyk, Piotr Witkowski 0001. [doi]
- Temporal Modalities in Answer Set Programming (Invited Talk)Pedro Cabalar. [doi]
- Non-Simultaneity as a Design ConstraintJean Guyomarc'h, François Guerret, Bilal El Mejjati, Emmanuel Ohayon, Bastien Vincke, Alain Mérigot. [doi]
- On the Decidability of a Fragment of preferential LTLAnasse Chafik, Fahima Cheikh Alili, Jean-François Condotta, Ivan Varzinczak. [doi]
- Universal Solutions in Temporal Data ExchangeZehui Cheng 0001, Phokion G. Kolaitis. [doi]