<h2>LIPIcs, Volume 147, TIME 2019</h2>
<ul>
<li>
<span class="authors">Johann Gamper, Sophie Pinchinat, and Guido Sciavicco</span>
<span class="title">LIPIcs, Volume 147, TIME'19, Complete Volume</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.TIME.2019">10.4230/LIPIcs.TIME.2019</a>
</li>
<li>
<span class="authors">Johann Gamper, Sophie Pinchinat, and Guido Sciavicco</span>
<span class="title">Front Matter, Table of Contents, Preface, Conference Organization</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.TIME.2019.0">10.4230/LIPIcs.TIME.2019.0</a>
</li>
<li>
<span class="authors">Michael H. Böhlen and Muhammad Saad</span>
<span class="title">Computing the Fourier Transformation over Temporal Data Streams (Invited Talk)</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.TIME.2019.1">10.4230/LIPIcs.TIME.2019.1</a>
</li>
<li>
<span class="authors">Estela Saquete Boró</span>
<span class="title">From Unstructured Data to Narrative Abstractive Summaries (Invited Talk)</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.TIME.2019.2">10.4230/LIPIcs.TIME.2019.2</a>
</li>
<li>
<span class="authors">Patricia Bouyer</span>
<span class="title">On the Computation of Nash Equilibria in Games on Graphs (Invited Talk)</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.TIME.2019.3">10.4230/LIPIcs.TIME.2019.3</a>
</li>
<li>
<span class="authors">Przemysław Andrzej Wałęga and Michał Zawidzki</span>
<span class="title">A Modal Logic for Subject-Oriented Spatial Reasoning</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.TIME.2019.4">10.4230/LIPIcs.TIME.2019.4</a>
</li>
<li>
<span class="authors">Carlo Combi, Barbara Oliboni, and Pietro Sala</span>
<span class="title">Customizing BPMN Diagrams Using Timelines</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.TIME.2019.5">10.4230/LIPIcs.TIME.2019.5</a>
</li>
<li>
<span class="authors">Ana de Almeida Borges, Juan José Conejero Rodríguez, David Fernández-Duque, Mireia González Bedmar, and Joost J. Joosten</span>
<span class="title">The Second Order Traffic Fine: Temporal Reasoning in European Transport Regulations</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.TIME.2019.6">10.4230/LIPIcs.TIME.2019.6</a>
</li>
<li>
<span class="authors">Sebastian Brandt, Diego Calvanese, Elem Güzel Kalaycı, Roman Kontchakov, Benjamin Mörzinger, Vladislav Ryzhikov, Guohui Xiao, and Michael Zakharyaschev</span>
<span class="title">Two-Dimensional Rule Language for Querying Sensor Log Data: A Framework and Use Cases</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.TIME.2019.7">10.4230/LIPIcs.TIME.2019.7</a>
</li>
<li>
<span class="authors">Melisachew Wudage Chekol and Heiner Stuckenschmidt</span>
<span class="title">Time-Aware Probabilistic Knowledge Graphs</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.TIME.2019.8">10.4230/LIPIcs.TIME.2019.8</a>
</li>
<li>
<span class="authors">Yakoub Salhi</span>
<span class="title">Qualitative Reasoning and Data Mining</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.TIME.2019.9">10.4230/LIPIcs.TIME.2019.9</a>
</li>
<li>
<span class="authors">Elena Loli Piccolomini, Stefano Gandolfi, Luca Poluzzi, Luca Tavasci, Pasquale Cascarano, and Andrea Pascucci</span>
<span class="title">Recurrent Neural Networks Applied to GNSS Time Series for Denoising and Prediction</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.TIME.2019.10">10.4230/LIPIcs.TIME.2019.10</a>
</li>
<li>
<span class="authors">Akash Hossain and François Laroussinie</span>
<span class="title">From Quantified CTL to QBF</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.TIME.2019.11">10.4230/LIPIcs.TIME.2019.11</a>
</li>
<li>
<span class="authors">Alex Abuin, Alexander Bolotov, Unai Díaz de Cerio, Montserrat Hermo, and Paqui Lucio</span>
<span class="title">Towards Certified Model Checking for PLTL Using One-Pass Tableaux</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.TIME.2019.12">10.4230/LIPIcs.TIME.2019.12</a>
</li>
<li>
<span class="authors">Serenella Cerrito, Amélie David, and Valentin Goranko</span>
<span class="title">Minimisation of Models Satisfying CTL Formulas</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.TIME.2019.13">10.4230/LIPIcs.TIME.2019.13</a>
</li>
<li>
<span class="authors">Michael Sioutis, Anastasia Paparrizou, and Tomi Janhunen</span>
<span class="title">On the Utility of Neighbourhood Singleton-Style Consistencies for Qualitative Constraint-Based Spatial and Temporal Reasoning</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.TIME.2019.14">10.4230/LIPIcs.TIME.2019.14</a>
</li>
<li>
<span class="authors">Quentin Peyras, Julien Brunel, and David Chemouil</span>
<span class="title">A Bounded Domain Property for an Expressive Fragment of First-Order Linear Temporal Logic</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.TIME.2019.15">10.4230/LIPIcs.TIME.2019.15</a>
</li>
<li>
<span class="authors">Matteo Zavatteri, Carlo Combi, Romeo Rizzi, and Luca Viganò</span>
<span class="title">Hybrid SAT-Based Consistency Checking Algorithms for Simple Temporal Networks with Decisions</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.TIME.2019.16">10.4230/LIPIcs.TIME.2019.16</a>
</li>
<li>
<span class="authors">Andrea Brunello, Angelo Montanari, and Mark Reynolds</span>
<span class="title">Synthesis of LTL Formulas from Natural Language Texts: State of the Art and Research Directions</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.TIME.2019.17">10.4230/LIPIcs.TIME.2019.17</a>
</li>
<li>
<span class="authors">Laura Bozzelli, Angelo Montanari, and Adriano Peron</span>
<span class="title">Complexity Analysis of a Unifying Algorithm for Model Checking Interval Temporal Logic</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.TIME.2019.18">10.4230/LIPIcs.TIME.2019.18</a>
</li>
<li>
<span class="authors">Pablo Cordero, Inmaculada Fortes, Inmaculada P. de Guzmán, and Sixto Sánchez</span>
<span class="title">Simplifying Inductive Schemes in Temporal Logic</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.TIME.2019.19">10.4230/LIPIcs.TIME.2019.19</a>
</li>
<li>
<span class="authors">Hsi-Ming Ho, Ruoyu Zhou, and Timothy M. Jones</span>
<span class="title">On Verifying Timed Hyperproperties</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.TIME.2019.20">10.4230/LIPIcs.TIME.2019.20</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