<h2>LIPIcs, Volume 206, TIME 2021</h2>
<ul>
<li>
<span class="authors">Carlo Combi, Johann Eder, and Mark Reynolds</span>
<span class="title">LIPIcs, Volume 206, TIME 2021, Complete Volume</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.TIME.2021">10.4230/LIPIcs.TIME.2021</a>
</li>
<li>
<span class="authors">Carlo Combi, Johann Eder, and Mark Reynolds</span>
<span class="title">Front Matter, Table of Contents, Preface, Conference Organization</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.TIME.2021.0">10.4230/LIPIcs.TIME.2021.0</a>
</li>
<li>
<span class="authors">Luke Hunsberger and Roberto Posenato</span>
<span class="title">Simple Temporal Networks: A Practical Foundation for Temporal Representation and Reasoning (Invited Talk)</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.TIME.2021.1">10.4230/LIPIcs.TIME.2021.1</a>
</li>
<li>
<span class="authors">Torben Bach Pedersen</span>
<span class="title">Extreme-Scale Model-Based Time Series Management with ModelarDB (Invited Talk)</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.TIME.2021.2">10.4230/LIPIcs.TIME.2021.2</a>
</li>
<li>
<span class="authors">Johan Suykens</span>
<span class="title">Kernel Machines in Time (Invited Talk)</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.TIME.2021.3">10.4230/LIPIcs.TIME.2021.3</a>
</li>
<li>
<span class="authors">Alfredo Cuzzocrea</span>
<span class="title">Temporal Big Data Analytics: New Frontiers for Big Data Analytics Research (Panel Description)</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.TIME.2021.4">10.4230/LIPIcs.TIME.2021.4</a>
</li>
<li>
<span class="authors">Alexis Bédard and Sylvain Hallé</span>
<span class="title">Model Checking of Stream Processing Pipelines</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.TIME.2021.5">10.4230/LIPIcs.TIME.2021.5</a>
</li>
<li>
<span class="authors">Alexandros Spitalas, Anastasios Gounaris, Kostas Tsichlas, and Andreas Kosmatopoulos</span>
<span class="title">Investigation of Database Models for Evolving Graphs</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.TIME.2021.6">10.4230/LIPIcs.TIME.2021.6</a>
</li>
<li>
<span class="authors">Federico Manzella, Giovanni Pagliarini, Guido Sciavicco, and Ionel Eduard Stan</span>
<span class="title">Interval Temporal Random Forests with an Application to COVID-19 Diagnosis</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.TIME.2021.7">10.4230/LIPIcs.TIME.2021.7</a>
</li>
<li>
<span class="authors">Luca Geatti, Nicola Gigante, Angelo Montanari, and Gabriele Venturato</span>
<span class="title">Past Matters: Supporting LTL+Past in the BLACK Satisfiability Checker</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.TIME.2021.8">10.4230/LIPIcs.TIME.2021.8</a>
</li>
<li>
<span class="authors">Laura Bozzelli, Angelo Montanari, Adriano Peron, and Pietro Sala</span>
<span class="title">Pspace-Completeness of the Temporal Logic of Sub-Intervals and Suffixes</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.TIME.2021.9">10.4230/LIPIcs.TIME.2021.9</a>
</li>
<li>
<span class="authors">Vladislav Ryzhikov, Yury Savateev, and Michael Zakharyaschev</span>
<span class="title">Deciding FO-Rewritability of Ontology-Mediated Queries in Linear Temporal Logic</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.TIME.2021.10">10.4230/LIPIcs.TIME.2021.10</a>
</li>
<li>
<span class="authors">Gianluca Apriceno, Andrea Passerini, and Luciano Serafini</span>
<span class="title">A Neuro-Symbolic Approach to Structured Event Recognition</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.TIME.2021.11">10.4230/LIPIcs.TIME.2021.11</a>
</li>
<li>
<span class="authors">Florian Bruse and Martin Lange</span>
<span class="title">Model Checking Timed Recursive CTL</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.TIME.2021.12">10.4230/LIPIcs.TIME.2021.12</a>
</li>
<li>
<span class="authors">Michael Cashmore, Alessandro Cimatti, Daniele Magazzeni, Andrea Micheli, and Parisa Zehtabi</span>
<span class="title">Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.TIME.2021.13">10.4230/LIPIcs.TIME.2021.13</a>
</li>
<li>
<span class="authors">Curtis E. Dyreson and M. A. Manazir Ahsan</span>
<span class="title">Achieving a Sequenced, Relational Query Language with Log-Segmented Timestamps</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.TIME.2021.14">10.4230/LIPIcs.TIME.2021.14</a>
</li>
<li>
<span class="authors">Tomás Ribeiro, Oscar Lima, Michael Cashmore, Andrea Micheli, and Rodrigo Ventura</span>
<span class="title">Olisipo: A Probabilistic Approach to the Adaptable Execution of Deterministic Temporal Plans</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.TIME.2021.15">10.4230/LIPIcs.TIME.2021.15</a>
</li>
<li>
<span class="authors">Anasse Chafik, Fahima Cheikh-Alili, Jean-François Condotta, and Ivan Varzinczak</span>
<span class="title">A One-Pass Tree-Shaped Tableau for Defeasible LTL</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.TIME.2021.16">10.4230/LIPIcs.TIME.2021.16</a>
</li>
<li>
<span class="authors">Sparsa Roychowdhury</span>
<span class="title">1½-Player Stochastic StopWatch Games</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.TIME.2021.17">10.4230/LIPIcs.TIME.2021.17</a>
</li>
</ul>
The metadata provided by Dagstuhl Publishing on its webpages, as well as their export formats (such as XML or BibTeX) available at our website, is released under the CC0 1.0 Public Domain Dedication license. That is, you are free to copy, distribute, use, modify, transform, build upon, and produce derived works from our data, even for commercial purposes, all without asking permission. Of course, we are always happy if you provide a link to us as the source of the data.
Read the full CC0 1.0 legal code for the exact terms that apply: https://creativecommons.org/publicdomain/zero/1.0/legalcode
Feedback for Dagstuhl Publishing