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