Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | |
Front Matter, Table of Contents, Preface, Conference Organization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 30th International Symposium on Temporal Representation and Reasoning, TIME 2023, September 25-26, 2023, NCSR Demokritos, Athens, Greece, pp. 0:1-0:14, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-298-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo, Angelo Montanari |
LTL over Finite Words Can Be Exponentially More Succinct Than Pure-Past LTL, and vice versa. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 30th International Symposium on Temporal Representation and Reasoning, TIME 2023, September 25-26, 2023, NCSR Demokritos, Athens, Greece, pp. 2:1-2:14, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-298-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Florian Bruse, Marit Kastaun, Martin Lange, Sören Möller |
The Calculus of Temporal Influence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 30th International Symposium on Temporal Representation and Reasoning, TIME 2023, September 25-26, 2023, NCSR Demokritos, Athens, Greece, pp. 10:1-10:19, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-298-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Hsi-Ming Ho, Khushraj Madnani |
More Than 0s and 1s: Metric Quantifiers and Counting over Timed Words. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 30th International Symposium on Temporal Representation and Reasoning, TIME 2023, September 25-26, 2023, NCSR Demokritos, Athens, Greece, pp. 7:1-7:15, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-298-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Laura Nenzi |
Learning Temporal Logic Formulas from Time-Series Data (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 30th International Symposium on Temporal Representation and Reasoning, TIME 2023, September 25-26, 2023, NCSR Demokritos, Athens, Greece, pp. 1:1-1:2, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-298-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Michael Sioutis |
Embarrassingly Greedy Inconsistency Resolution of Qualitative Constraint Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 30th International Symposium on Temporal Representation and Reasoning, TIME 2023, September 25-26, 2023, NCSR Demokritos, Athens, Greece, pp. 12:1-12:12, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-298-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Luca Geatti, Alessandro Gianola, Nicola Gigante |
Torwards Infinite-State Verification and Planning with Linear Temporal Logic Modulo Theories (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 30th International Symposium on Temporal Representation and Reasoning, TIME 2023, September 25-26, 2023, NCSR Demokritos, Athens, Greece, pp. 21:1-21:3, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-298-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Bregoli, Karin Rathsman, Marco Scutari, Fabio Stella, Søren Wengel Mogensen |
Analyzing Complex Systems with Cascades Using Continuous-Time Bayesian Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 30th International Symposium on Temporal Representation and Reasoning, TIME 2023, September 25-26, 2023, NCSR Demokritos, Athens, Greece, pp. 8:1-8:21, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-298-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Yakoub Salhi, Michael Sioutis |
Prime Scenarios in Qualitative Spatial and Temporal Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 30th International Symposium on Temporal Representation and Reasoning, TIME 2023, September 25-26, 2023, NCSR Demokritos, Athens, Greece, pp. 5:1-5:14, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-298-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Periklis Mantenoglou |
An Event Calculus for Run-Time Reasoning (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 30th International Symposium on Temporal Representation and Reasoning, TIME 2023, September 25-26, 2023, NCSR Demokritos, Athens, Greece, pp. 14:1-14:3, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-298-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Nikos Giatrakos |
SSTRESED: Scalable Semantic Trajectory Extraction for Simple Event Detection over Streaming Movement Data (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 30th International Symposium on Temporal Representation and Reasoning, TIME 2023, September 25-26, 2023, NCSR Demokritos, Athens, Greece, pp. 15:1-15:4, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-298-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Willem Conradie, Riccardo Monego, Emilio Muñoz-Velasco, Guido Sciavicco, Ionel Eduard Stan |
A Sound and Complete Tableau System for Fuzzy Halpern and Shoham's Interval Temporal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 30th International Symposium on Temporal Representation and Reasoning, TIME 2023, September 25-26, 2023, NCSR Demokritos, Athens, Greece, pp. 9:1-9:14, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-298-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Artikis, Florian Bruse, Luke Hunsberger (eds.) |
30th International Symposium on Temporal Representation and Reasoning, TIME 2023, September 25-26, 2023, NCSR Demokritos, Athens, Greece ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-298-3 The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
1 | Curtis E. Dyreson |
Optimization of Nonsequenced Queries Using Log-Segmented Timestamps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 30th International Symposium on Temporal Representation and Reasoning, TIME 2023, September 25-26, 2023, NCSR Demokritos, Athens, Greece, pp. 13:1-13:15, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-298-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Beatrice Amico, Carlo Combi, Romeo Rizzi, Pietro Sala |
Discovering Predictive Dependencies on Multi-Temporal Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 30th International Symposium on Temporal Representation and Reasoning, TIME 2023, September 25-26, 2023, NCSR Demokritos, Athens, Greece, pp. 4:1-4:19, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-298-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Nikos Katzouris, Georgios Paliouras |
Answer Set Automata: A Learnable Pattern Specification Framework for Complex Event Recognition (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 30th International Symposium on Temporal Representation and Reasoning, TIME 2023, September 25-26, 2023, NCSR Demokritos, Athens, Greece, pp. 17:1-17:3, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-298-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Anshuman Misra, Ajay D. Kshemkalyani |
Detecting Causality in the Presence of Byzantine Processes: The Synchronous Systems Case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 30th International Symposium on Temporal Representation and Reasoning, TIME 2023, September 25-26, 2023, NCSR Demokritos, Athens, Greece, pp. 11:1-11:14, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-298-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Marco Sälzer, Silvia Beddar-Wiesing |
Time-Aware Robustness of Temporal Graph Neural Networks for Link Prediction (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 30th International Symposium on Temporal Representation and Reasoning, TIME 2023, September 25-26, 2023, NCSR Demokritos, Athens, Greece, pp. 19:1-19:3, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-298-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Petro-Foti Kamberi, Evgenios Kladis, Charilaos Akasiadis |
A Benchmark for Early Time-Series Classification (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 30th International Symposium on Temporal Representation and Reasoning, TIME 2023, September 25-26, 2023, NCSR Demokritos, Athens, Greece, pp. 18:1-18:3, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-298-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Saumya Shankar, Srinivas Pinisetty, Thierry Jéron |
Bounded-Memory Runtime Enforcement of Timed Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 30th International Symposium on Temporal Representation and Reasoning, TIME 2023, September 25-26, 2023, NCSR Demokritos, Athens, Greece, pp. 6:1-6:22, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-298-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Yakoub Salhi, Michael Sioutis |
A Decomposition Framework for Inconsistency Handling in Qualitative Spatial and Temporal Reasoning (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 30th International Symposium on Temporal Representation and Reasoning, TIME 2023, September 25-26, 2023, NCSR Demokritos, Athens, Greece, pp. 16:1-16:3, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-298-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Luke Hunsberger, Roberto Posenato |
Converting Simple Temporal Networks with Uncertainty into Dispatchable Form - Faster (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 30th International Symposium on Temporal Representation and Reasoning, TIME 2023, September 25-26, 2023, NCSR Demokritos, Athens, Greece, pp. 20:1-20:3, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-298-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Alexis Baudin, Lionel Tabourier, Clémence Magnien |
LSCPM: Communities in Massive Real-World Link Streams by Clique Percolation Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 30th International Symposium on Temporal Representation and Reasoning, TIME 2023, September 25-26, 2023, NCSR Demokritos, Athens, Greece, pp. 3:1-3:18, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-298-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Renato Acampora, Luca Geatti, Nicola Gigante, Angelo Montanari |
Qualitative past Timeline-Based Games (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 30th International Symposium on Temporal Representation and Reasoning, TIME 2023, September 25-26, 2023, NCSR Demokritos, Athens, Greece, pp. 22:1-22:3, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-298-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Giovanni Pagliarini, Simone Scaboro, Giuseppe Serra 0001, Guido Sciavicco, Ionel Eduard Stan |
Neural-Symbolic Temporal Decision Trees for Multivariate Time Series Classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 29th International Symposium on Temporal Representation and Reasoning, TIME 2022, November 7-9, 2022, Virtual Conference., pp. 13:1-13:15, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-262-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Ashwin Bhaskar, M. Praveen |
Realizability Problem for Constraint LTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 29th International Symposium on Temporal Representation and Reasoning, TIME 2022, November 7-9, 2022, Virtual Conference., pp. 8:1-8:19, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-262-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Peltier |
Reasoning on Dynamic Transformations of Symbolic Heaps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 29th International Symposium on Temporal Representation and Reasoning, TIME 2022, November 7-9, 2022, Virtual Conference., pp. 9:1-9:20, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-262-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Gianluca Apriceno, Andrea Passerini, Luciano Serafini |
A Neuro-Symbolic Approach for Real-World Event Recognition from Weak Supervision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 29th International Symposium on Temporal Representation and Reasoning, TIME 2022, November 7-9, 2022, Virtual Conference., pp. 12:1-12:19, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-262-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Julian Gutierrez 0001, Sarit Kraus, Giuseppe Perelli, Michael J. Wooldridge |
Giving Instructions in Linear Temporal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 29th International Symposium on Temporal Representation and Reasoning, TIME 2022, November 7-9, 2022, Virtual Conference., pp. 15:1-15:14, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-262-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Silvia Miksch |
Visual Analytics Meets Temporal Reasoning: Challenges and Opportunities (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 29th International Symposium on Temporal Representation and Reasoning, TIME 2022, November 7-9, 2022, Virtual Conference., pp. 2:1-2:1, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-262-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Massimo Benerecetti, Fabio Mogavero, Adriano Peron |
Taming Strategy Logic: Non-Recurrent Fragments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 29th International Symposium on Temporal Representation and Reasoning, TIME 2022, November 7-9, 2022, Virtual Conference., pp. 14:1-14:16, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-262-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Stijn Vansummeren |
Getting to the CORE of Complex Event Recognition (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 29th International Symposium on Temporal Representation and Reasoning, TIME 2022, November 7-9, 2022, Virtual Conference., pp. 3:1-3:2, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-262-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Guyet, Nicolas Markey |
Logical Forms of Chronicles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 29th International Symposium on Temporal Representation and Reasoning, TIME 2022, November 7-9, 2022, Virtual Conference., pp. 7:1-7:15, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-262-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Isaac Mackey, Raghubir Chimni, Jianwen Su |
Early Detection of Temporal Constraint Violations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 29th International Symposium on Temporal Representation and Reasoning, TIME 2022, November 7-9, 2022, Virtual Conference., pp. 4:1-4:16, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-262-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Moshe Y. Vardi |
Linear Temporal Logic: From Infinite to Finite Horizon (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 29th International Symposium on Temporal Representation and Reasoning, TIME 2022, November 7-9, 2022, Virtual Conference., pp. 1:1-1:1, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-262-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Florian Bruse, Martin Lange, Étienne Lozes |
The Tail-Recursive Fragment of Timed Recursive CTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 29th International Symposium on Temporal Representation and Reasoning, TIME 2022, November 7-9, 2022, Virtual Conference., pp. 5:1-5:16, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-262-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Dimitar P. Guelev |
Gabbay Separation for the Duration Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 29th International Symposium on Temporal Representation and Reasoning, TIME 2022, November 7-9, 2022, Virtual Conference., pp. 10:1-10:14, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-262-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Artikis, Roberto Posenato, Stefano Tonetta (eds.) |
29th International Symposium on Temporal Representation and Reasoning, TIME 2022, November 7-9, 2022, Virtual Conference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-262-4 The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | |
Front Matter, Table of Contents, Preface, Conference Organization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 29th International Symposium on Temporal Representation and Reasoning, TIME 2022, November 7-9, 2022, Virtual Conference., pp. 0:1-0:14, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-262-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Laura Bozzelli, Adriano Peron |
A Quantitative Extension of Interval Temporal Logic over Infinite Words. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 29th International Symposium on Temporal Representation and Reasoning, TIME 2022, November 7-9, 2022, Virtual Conference., pp. 11:1-11:16, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-262-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Victor Roussanaly, Yliès Falcone |
Decentralised Runtime Verification of Timed Regular Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 29th International Symposium on Temporal Representation and Reasoning, TIME 2022, November 7-9, 2022, Virtual Conference., pp. 6:1-6:18, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-262-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Alexis Bédard, Sylvain Hallé |
Model Checking of Stream Processing Pipelines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 28th International Symposium on Temporal Representation and Reasoning, TIME 2021, September 27-29, 2021, Klagenfurt, Austria., pp. 5:1-5:17, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-206-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | |
Front Matter, Table of Contents, Preface, Conference Organization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 28th International Symposium on Temporal Representation and Reasoning, TIME 2021, September 27-29, 2021, Klagenfurt, Austria., pp. 0:1-0:14, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-206-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Florian Bruse, Martin Lange |
Model Checking Timed Recursive CTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 28th International Symposium on Temporal Representation and Reasoning, TIME 2021, September 27-29, 2021, Klagenfurt, Austria., pp. 12:1-12:14, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-206-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Sparsa Roychowdhury |
1½-Player Stochastic StopWatch Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 28th International Symposium on Temporal Representation and Reasoning, TIME 2021, September 27-29, 2021, Klagenfurt, Austria., pp. 17:1-17:18, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-206-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala |
Pspace-Completeness of the Temporal Logic of Sub-Intervals and Suffixes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 28th International Symposium on Temporal Representation and Reasoning, TIME 2021, September 27-29, 2021, Klagenfurt, Austria., pp. 9:1-9:19, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-206-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Curtis E. Dyreson, M. A. Manazir Ahsan |
Achieving a Sequenced, Relational Query Language with Log-Segmented Timestamps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 28th International Symposium on Temporal Representation and Reasoning, TIME 2021, September 27-29, 2021, Klagenfurt, Austria., pp. 14:1-14:13, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-206-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Federico Manzella, Giovanni Pagliarini, Guido Sciavicco, Ionel Eduard Stan |
Interval Temporal Random Forests with an Application to COVID-19 Diagnosis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 28th International Symposium on Temporal Representation and Reasoning, TIME 2021, September 27-29, 2021, Klagenfurt, Austria., pp. 7:1-7:18, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-206-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Tomás Ribeiro, Oscar Lima, Michael Cashmore, Andrea Micheli, Rodrigo Ventura 0001 |
Olisipo: A Probabilistic Approach to the Adaptable Execution of Deterministic Temporal Plans. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 28th International Symposium on Temporal Representation and Reasoning, TIME 2021, September 27-29, 2021, Klagenfurt, Austria., pp. 15:1-15:15, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-206-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Anasse Chafik, Fahima Cheikh Alili, Jean-François Condotta, Ivan Varzinczak |
A One-Pass Tree-Shaped Tableau for Defeasible LTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 28th International Symposium on Temporal Representation and Reasoning, TIME 2021, September 27-29, 2021, Klagenfurt, Austria., pp. 16:1-16:18, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-206-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Johan A. K. Suykens |
Kernel Machines in Time (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 28th International Symposium on Temporal Representation and Reasoning, TIME 2021, September 27-29, 2021, Klagenfurt, Austria., pp. 3:1-3:1, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-206-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Alfredo Cuzzocrea |
Temporal Big Data Analytics: New Frontiers for Big Data Analytics Research (Panel Description). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 28th International Symposium on Temporal Representation and Reasoning, TIME 2021, September 27-29, 2021, Klagenfurt, Austria., pp. 4:1-4:7, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-206-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Luke Hunsberger, Roberto Posenato |
Simple Temporal Networks: A Practical Foundation for Temporal Representation and Reasoning (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 28th International Symposium on Temporal Representation and Reasoning, TIME 2021, September 27-29, 2021, Klagenfurt, Austria., pp. 1:1-1:5, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-206-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Carlo Combi, Johann Eder, Mark Reynolds 0001 (eds.) |
28th International Symposium on Temporal Representation and Reasoning, TIME 2021, September 27-29, 2021, Klagenfurt, Austria. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-206-8 The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Alexandros Spitalas, Anastasios Gounaris, Kostas Tsichlas, Andreas Kosmatopoulos |
Investigation of Database Models for Evolving Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 28th International Symposium on Temporal Representation and Reasoning, TIME 2021, September 27-29, 2021, Klagenfurt, Austria., pp. 6:1-6:13, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-206-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Torben Bach Pedersen |
Extreme-Scale Model-Based Time Series Management with ModelarDB (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 28th International Symposium on Temporal Representation and Reasoning, TIME 2021, September 27-29, 2021, Klagenfurt, Austria., pp. 2:1-2:2, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-206-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Luca Geatti, Nicola Gigante, Angelo Montanari, Gabriele Venturato |
Past Matters: Supporting LTL+Past in the BLACK Satisfiability Checker. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 28th International Symposium on Temporal Representation and Reasoning, TIME 2021, September 27-29, 2021, Klagenfurt, Austria., pp. 8:1-8:17, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-206-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Michael Cashmore, Alessandro Cimatti, Daniele Magazzeni, Andrea Micheli, Parisa Zehtabi |
Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 28th International Symposium on Temporal Representation and Reasoning, TIME 2021, September 27-29, 2021, Klagenfurt, Austria., pp. 13:1-13:14, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-206-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Gianluca Apriceno, Andrea Passerini, Luciano Serafini |
A Neuro-Symbolic Approach to Structured Event Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 28th International Symposium on Temporal Representation and Reasoning, TIME 2021, September 27-29, 2021, Klagenfurt, Austria., pp. 11:1-11:14, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-206-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Vladislav Ryzhikov, Yury Savateev, Michael Zakharyaschev |
Deciding FO-Rewritability of Ontology-Mediated Queries in Linear Temporal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 28th International Symposium on Temporal Representation and Reasoning, TIME 2021, September 27-29, 2021, Klagenfurt, Austria., pp. 10:1-10:15, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-206-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Zehui Cheng 0001, Phokion G. Kolaitis |
Universal Solutions in Temporal Data Exchange. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 27th International Symposium on Temporal Representation and Reasoning, TIME 2020, September 23-25, 2020, Bozen-Bolzano, Italy., pp. 8:1-8:17, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-167-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Pedro Cabalar |
Temporal Modalities in Answer Set Programming (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 27th International Symposium on Temporal Representation and Reasoning, TIME 2020, September 23-25, 2020, Bozen-Bolzano, Italy., pp. 2:1-2:5, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-167-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Marco Franceschetti, Johann Eder |
Negotiating Temporal Commitments in Cross-Organizational Business Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 27th International Symposium on Temporal Representation and Reasoning, TIME 2020, September 23-25, 2020, Bozen-Bolzano, Italy., pp. 4:1-4:15, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-167-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | |
Front Matter, Table of Contents, Preface, Conference Organization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 27th International Symposium on Temporal Representation and Reasoning, TIME 2020, September 23-25, 2020, Bozen-Bolzano, Italy., pp. 0:1-0:14, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-167-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Michael Sioutis, Diedrich Wolter |
Dynamic Branching in Qualitative Constraint Networks via Counting Local Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 27th International Symposium on Temporal Representation and Reasoning, TIME 2020, September 23-25, 2020, Bozen-Bolzano, Italy., pp. 12:1-12:15, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-167-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Aurélie Suzanne, Guillaume Raschia, José Martinez 0001, Damien Tassetti |
Window-Slicing Techniques Extended to Spanning-Event Streams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 27th International Symposium on Temporal Representation and Reasoning, TIME 2020, September 23-25, 2020, Bozen-Bolzano, Italy., pp. 10:1-10:14, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-167-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Bartosz Bednarczyk, Piotr Witkowski 0001 |
A Note on C² Interpreted over Finite Data-Words. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 27th International Symposium on Temporal Representation and Reasoning, TIME 2020, September 23-25, 2020, Bozen-Bolzano, Italy., pp. 17:1-17:14, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-167-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Bertagnon, Marco Gavanelli, Alessandro Passantino, Guido Sciavicco, Stefano Trevisani |
The Horn Fragment of Branching Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 27th International Symposium on Temporal Representation and Reasoning, TIME 2020, September 23-25, 2020, Bozen-Bolzano, Italy., pp. 5:1-5:16, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-167-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Jean Guyomarc'h, François Guerret, Bilal El Mejjati, Emmanuel Ohayon, Bastien Vincke, Alain Mérigot |
Non-Simultaneity as a Design Constraint. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 27th International Symposium on Temporal Representation and Reasoning, TIME 2020, September 23-25, 2020, Bozen-Bolzano, Italy., pp. 13:1-13:15, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-167-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Clare Dixon |
Verifying Autonomous Robots: Challenges and Reflections (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 27th International Symposium on Temporal Representation and Reasoning, TIME 2020, September 23-25, 2020, Bozen-Bolzano, Italy., pp. 1:1-1:4, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-167-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Emilio Muñoz-Velasco, Ana Ozaki, Martin Theobald (eds.) |
27th International Symposium on Temporal Representation and Reasoning, TIME 2020, September 23-25, 2020, Bozen-Bolzano, Italy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-167-2 The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Florian Bruse, Martin Lange |
Temporal Logic with Recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 27th International Symposium on Temporal Representation and Reasoning, TIME 2020, September 23-25, 2020, Bozen-Bolzano, Italy., pp. 6:1-6:14, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-167-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Dario Della Monica, Nicola Gigante, Salvatore La Torre, Angelo Montanari |
Complexity of Qualitative Timeline-Based Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 27th International Symposium on Temporal Representation and Reasoning, TIME 2020, September 23-25, 2020, Bozen-Bolzano, Italy., pp. 16:1-16:13, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-167-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Anasse Chafik, Fahima Cheikh Alili, Jean-François Condotta, Ivan Varzinczak |
On the Decidability of a Fragment of preferential LTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 27th International Symposium on Temporal Representation and Reasoning, TIME 2020, September 23-25, 2020, Bozen-Bolzano, Italy., pp. 19:1-19:19, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-167-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Guido Sciavicco, Ionel Eduard Stan |
Knowledge Extraction with Interval Temporal Logic Decision Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 27th International Symposium on Temporal Representation and Reasoning, TIME 2020, September 23-25, 2020, Bozen-Bolzano, Italy., pp. 9:1-9:16, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-167-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Jelle Hellings, Yuqing Wu |
Stab-Forests: Dynamic Data Structures for Efficient Temporal Query Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 27th International Symposium on Temporal Representation and Reasoning, TIME 2020, September 23-25, 2020, Bozen-Bolzano, Italy., pp. 18:1-18:19, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-167-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Hai Nguyen Van, Frédéric Boulanger, Burkhart Wolff |
TESL: A Model with Metric Time for Modeling and Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 27th International Symposium on Temporal Representation and Reasoning, TIME 2020, September 23-25, 2020, Bozen-Bolzano, Italy., pp. 15:1-15:15, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-167-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Alex Abuin, Alexander Bolotov, Montserrat Hermo, Paqui Lucio |
One-Pass Context-Based Tableaux Systems for CTL and ECTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 27th International Symposium on Temporal Representation and Reasoning, TIME 2020, September 23-25, 2020, Bozen-Bolzano, Italy., pp. 14:1-14:20, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-167-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Catalin-Andrei Ilie, James B. Worrell |
Parametric Model Checking Continuous-Time Markov Chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 27th International Symposium on Temporal Representation and Reasoning, TIME 2020, September 23-25, 2020, Bozen-Bolzano, Italy., pp. 7:1-7:18, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-167-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Guido Sciavicco, Matteo Zavatteri, Tiziano Villa |
Mining Significant Temporal Networks Is Polynomial. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 27th International Symposium on Temporal Representation and Reasoning, TIME 2020, September 23-25, 2020, Bozen-Bolzano, Italy., pp. 11:1-11:12, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-167-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Johann Eder, Marco Franceschetti |
Time and Business Process Management: Problems, Achievements, Challenges (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 27th International Symposium on Temporal Representation and Reasoning, TIME 2020, September 23-25, 2020, Bozen-Bolzano, Italy., pp. 3:1-3:8, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-167-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Quentin Peyras, Julien Brunel, David Chemouil |
A Bounded Domain Property for an Expressive Fragment of First-Order Linear Temporal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 26th International Symposium on Temporal Representation and Reasoning, TIME 2019, October 16-19, 2019, Málaga, Spain., pp. 15:1-15:16, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-127-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Carlo Combi, Barbara Oliboni, Pietro Sala |
Customizing BPMN Diagrams Using Timelines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 26th International Symposium on Temporal Representation and Reasoning, TIME 2019, October 16-19, 2019, Málaga, Spain., pp. 5:1-5:17, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-127-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Johann Gamper, Sophie Pinchinat, Guido Sciavicco (eds.) |
26th International Symposium on Temporal Representation and Reasoning, TIME 2019, October 16-19, 2019, Málaga, Spain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-127-6 The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Elena Loli Piccolomini, Stefano Gandolfi 0001, Luca Poluzzi, Luca Tavasci, Pasquale Cascarano, Andrea Pascucci |
Recurrent Neural Networks Applied to GNSS Time Series for Denoising and Prediction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 26th International Symposium on Temporal Representation and Reasoning, TIME 2019, October 16-19, 2019, Málaga, Spain., pp. 10:1-10:12, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-127-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Przemyslaw Andrzej Walega, Michal Zawidzki |
A Modal Logic for Subject-Oriented Spatial Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 26th International Symposium on Temporal Representation and Reasoning, TIME 2019, October 16-19, 2019, Málaga, Spain., pp. 4:1-4:22, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-127-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Michael Sioutis, Anastasia Paparrizou, Tomi Janhunen |
On the Utility of Neighbourhood Singleton-Style Consistencies for Qualitative Constraint-Based Spatial and Temporal Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 26th International Symposium on Temporal Representation and Reasoning, TIME 2019, October 16-19, 2019, Málaga, Spain., pp. 14:1-14:17, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-127-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Serenella Cerrito, Amélie David 0001, Valentin Goranko |
Minimisation of Models Satisfying CTL Formulas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 26th International Symposium on Temporal Representation and Reasoning, TIME 2019, October 16-19, 2019, Málaga, Spain., pp. 13:1-13:15, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-127-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ana de Almeida Borges, Juan José Conejero Rodríguez, David Fernández-Duque, Mireia González Bedmar, Joost J. Joosten |
The Second Order Traffic Fine: Temporal Reasoning in European Transport Regulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 26th International Symposium on Temporal Representation and Reasoning, TIME 2019, October 16-19, 2019, Málaga, Spain., pp. 6:1-6:16, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-127-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Patricia Bouyer |
On the Computation of Nash Equilibria in Games on Graphs (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 26th International Symposium on Temporal Representation and Reasoning, TIME 2019, October 16-19, 2019, Málaga, Spain., pp. 3:1-3:3, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-127-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Hsi-Ming Ho, Ruoyu Zhou, Timothy M. Jones 0001 |
On Verifying Timed Hyperproperties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 26th International Symposium on Temporal Representation and Reasoning, TIME 2019, October 16-19, 2019, Málaga, Spain., pp. 20:1-20:18, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-127-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian Brandt 0001, Diego Calvanese, Elem Güzel Kalayci, Roman Kontchakov, Benjamin Mörzinger, Vladislav Ryzhikov, Guohui Xiao 0001, Michael Zakharyaschev |
Two-Dimensional Rule Language for Querying Sensor Log Data: A Framework and Use Cases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 26th International Symposium on Temporal Representation and Reasoning, TIME 2019, October 16-19, 2019, Málaga, Spain., pp. 7:1-7:15, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-127-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Akash Hossain, François Laroussinie |
From Quantified CTL to QBF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 26th International Symposium on Temporal Representation and Reasoning, TIME 2019, October 16-19, 2019, Málaga, Spain., pp. 11:1-11:20, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-127-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | |
Front Matter, Table of Contents, Preface, Conference Organization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 26th International Symposium on Temporal Representation and Reasoning, TIME 2019, October 16-19, 2019, Málaga, Spain., pp. 0:1-0:14, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-127-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Alex Abuin, Alexander Bolotov, Unai Díaz-de-Cerio, Montserrat Hermo, Paqui Lucio |
Towards Certified Model Checking for PLTL Using One-Pass Tableaux. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 26th International Symposium on Temporal Representation and Reasoning, TIME 2019, October 16-19, 2019, Málaga, Spain., pp. 12:1-12:18, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-127-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Michael H. Böhlen, Muhammad Saad 0006 |
Computing the Fourier Transformation over Temporal Data Streams (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 26th International Symposium on Temporal Representation and Reasoning, TIME 2019, October 16-19, 2019, Málaga, Spain., pp. 1:1-1:4, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-127-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Brunello, Angelo Montanari, Mark Reynolds 0001 |
Synthesis of LTL Formulas from Natural Language Texts: State of the Art and Research Directions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 26th International Symposium on Temporal Representation and Reasoning, TIME 2019, October 16-19, 2019, Málaga, Spain., pp. 17:1-17:19, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-127-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Pablo Cordero, Inmaculada Fortes, Inmaculada Perez de Guzmán, Sixto Sánchez |
Simplifying Inductive Schemes in Temporal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 26th International Symposium on Temporal Representation and Reasoning, TIME 2019, October 16-19, 2019, Málaga, Spain., pp. 19:1-19:13, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-127-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Laura Bozzelli, Angelo Montanari, Adriano Peron |
Complexity Analysis of a Unifying Algorithm for Model Checking Interval Temporal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 26th International Symposium on Temporal Representation and Reasoning, TIME 2019, October 16-19, 2019, Málaga, Spain., pp. 18:1-18:17, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-127-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Yakoub Salhi |
Qualitative Reasoning and Data Mining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 26th International Symposium on Temporal Representation and Reasoning, TIME 2019, October 16-19, 2019, Málaga, Spain., pp. 9:1-9:15, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-127-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|