| 2011 | A Tableau for Until and Since over Linear Time. Mark Reynolds |
| 2011 | Algorithm Design Template Base on Temporal ADT. Nikolay V. Shilov |
| 2011 | An Experimental Comparison of Theorem Provers for CTL. Rajeev Goré, Jimmy Thomson, Florian Widmann |
| 2011 | Compositional Reasoning Using Intervals and Time Reversal. Ben C. Moszkowski |
| 2011 | Consistency of Qualitative Constraint Networks from Tree Decompositions. Jean-François Condotta, Dominique D'Almeida |
| 2011 | Efficient Encoding of Temporal XML Documents. Mohamed-Amine Baazizi, Nicole Bidoit-Tollu, Dario Colazzo |
| 2011 | Eighteenth International Symposium on Temporal Representation and Reasoning, TIME 2011, Lübeck , Germany, September 12-14, 2011 Carlo Combi, Martin Leucker, Frank Wolter |
| 2011 | Extending ITL with Interleaved Programs for Interactive Verification. Gerhard Schellhorn |
| 2011 | Interleaved Programs and Rely-Guarantee Reasoning with ITL. Gerhard Schellhorn, Bogdan Tofan, Gidon Ernst, Wolfgang Reif |
| 2011 | Linear Temporal Logic and Propositional Schemata, Back and Forth. Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier |
| 2011 | Logical Time and Temporal Logics: Comparing UML MARTE/CCSL and PSL. Régis Gascon, Frédéric Mallet, Julien Deantoni |
| 2011 | Monitoring Usage-Control Policies in Distributed Systems. David A. Basin, Matús Harvan, Felix Klaedtke, Eugen Zalinescu |
| 2011 | MulTiSEX - A Multi-language Timex Sequential Extractor. Stefan Rigo, Alberto Lavelli |
| 2011 | On Relaxing Metric Information in Linear Temporal Logic. Carlo A. Furia, Paola Spoletini |
| 2011 | On Tool Support for Duration Calculus on the Basis of Presburger Arithmetic. Michael R. Hansen, Aske Wiid Brekling |
| 2011 | Synthesising Classic and Interval Temporal Logic. Sven Schewe, Cong Tian |
| 2011 | Temporal Access to the Iteration Sequences: A Unifying Approach to Fixed Point Logics. Alexei Lisitsa |
| 2011 | Temporal Functional Dependencies Based on Interval Relations. Carlo Combi, Pietro Sala |
| 2011 | Temporal Preferences. Kristen Brent Venable |
| 2011 | The Dark Side of Interval Temporal Logic: Sharpening the Undecidability Border. Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco |
| 2011 | The Light Side of Interval Temporal Logic: The Bernays-Schönfinkel's Fragment of CDT. Davide Bresolin, Dario Della Monica, Angelo Montanari, Guido Sciavicco |
| 2011 | Towards a Foundation of Data Currency. Jef Wijsen |
| 2011 | Verification of Time Ontologies with Points and Intervals. Michael Grüninger, Darren Ong |
| 2011 | p-Automata and Obligation Games. Nir Piterman |