Marco Franceschetti and Johann Eder. Negotiating Temporal Commitments in Cross-Organizational Business Processes

Alessandro Bertagnon, Marco Gavanelli, Alessandro Passantino, Guido Sciavicco and Stefano Trevisani. The Horn Fragment of Branching Algebra

Florian Bruse and Martin Lange. Recursive Temporal Logic

Catalin-Andrei Ilie and James Worrell. Parametric Model Checking Continuous-Time Markov Chains

Zehui Cheng and Phokion Kolaitis. Universal Solutions in Temporal Data Exchange

Ionel Eduard Stan and Guido Sciavicco. Knowledge Extraction with Interval Temporal Logic Decision Trees

Aurélie Suzanne, Guillaume Raschia, José Martinez and Damien Tassetti. Window-slicing Techniques Extended to Spanning-event Streams

Guido Sciavicco, Matteo Zavatteri and Tiziano Villa. Mining Significant Temporal Networks is Polynomial

Michael Sioutis and Diedrich Wolter. Dynamic Branching in Qualitative Constraint Networks via Counting Local Models

Jean Guyomarc’h, François Guerret, Bilal El Mejjati, Emmanuel Ohayon, Bastien Vincke and Alain Mérigot. Non-Simultaneity as a Design Constraint

Alexander Bolotov, Paqui Lucio, Montserrat Hermo and Alex Abuin Yepes. One-pass Context-based Tableaux Systems for CTL and ECTL

Hai Nguyen Van, Frédéric Boulanger and Burkhart Wolff. TESL: a Model with Metric Time for Modeling and Simulation

Dario Della Monica, Nicola Gigante, Salvatore La Torre and Angelo Montanari. Complexity of qualitative timeline-based planning

Bartosz Bednarczyk and Piotr Witkowski. A note on C2 interpreted over finite data-words

Jelle Hellings and Yuqing Wu. Stab-forests: Dynamic Data Structures for Efficient Temporal Query Processing

Anasse Chafik, Fahima Cheikh-Alili, Jean-François Condotta and Ivan Varzinczak. On the Decidability of a Fragment of Preferential LTL