HTML Export for TIME 2022

Copy to Clipboard Download

<h2>LIPIcs, Volume 247, TIME 2022</h2>
<ul>
<li>
    <span class="authors">Alexander Artikis, Roberto Posenato, and Stefano Tonetta</span>
    <span class="title">LIPIcs, Volume 247, TIME 2022, Complete Volume</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.TIME.2022">10.4230/LIPIcs.TIME.2022</a>
</li>
<li>
    <span class="authors">Alexander Artikis, Roberto Posenato, and Stefano Tonetta</span>
    <span class="title">Front Matter, Table of Contents, Preface, Conference Organization</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.TIME.2022.0">10.4230/LIPIcs.TIME.2022.0</a>
</li>
<li>
    <span class="authors">Moshe Y. Vardi</span>
    <span class="title">Linear Temporal Logic: From Infinite to Finite Horizon (Invited Talk)</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.TIME.2022.1">10.4230/LIPIcs.TIME.2022.1</a>
</li>
<li>
    <span class="authors">Silvia Miksch</span>
    <span class="title">Visual Analytics Meets Temporal Reasoning: Challenges and Opportunities (Invited Talk)</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.TIME.2022.2">10.4230/LIPIcs.TIME.2022.2</a>
</li>
<li>
    <span class="authors">Stijn Vansummeren</span>
    <span class="title">Getting to the CORE of Complex Event Recognition (Invited Talk)</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.TIME.2022.3">10.4230/LIPIcs.TIME.2022.3</a>
</li>
<li>
    <span class="authors">Isaac Mackey, Raghubir Chimni, and Jianwen Su</span>
    <span class="title">Early Detection of Temporal Constraint Violations</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.TIME.2022.4">10.4230/LIPIcs.TIME.2022.4</a>
</li>
<li>
    <span class="authors">Florian Bruse, Martin Lange, and Etienne Lozes</span>
    <span class="title">The Tail-Recursive Fragment of Timed Recursive CTL</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.TIME.2022.5">10.4230/LIPIcs.TIME.2022.5</a>
</li>
<li>
    <span class="authors">Victor Roussanaly and Yliès Falcone</span>
    <span class="title">Decentralised Runtime Verification of Timed Regular Expressions</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.TIME.2022.6">10.4230/LIPIcs.TIME.2022.6</a>
</li>
<li>
    <span class="authors">Thomas Guyet and Nicolas Markey</span>
    <span class="title">Logical Forms of Chronicles</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.TIME.2022.7">10.4230/LIPIcs.TIME.2022.7</a>
</li>
<li>
    <span class="authors">Ashwin Bhaskar and M. Praveen</span>
    <span class="title">Realizability Problem for Constraint LTL</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.TIME.2022.8">10.4230/LIPIcs.TIME.2022.8</a>
</li>
<li>
    <span class="authors">Nicolas Peltier</span>
    <span class="title">Reasoning on Dynamic Transformations of Symbolic Heaps</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.TIME.2022.9">10.4230/LIPIcs.TIME.2022.9</a>
</li>
<li>
    <span class="authors">Dimitar P. Guelev</span>
    <span class="title">Gabbay Separation for the Duration Calculus</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.TIME.2022.10">10.4230/LIPIcs.TIME.2022.10</a>
</li>
<li>
    <span class="authors">Laura Bozzelli and Adriano Peron</span>
    <span class="title">A Quantitative Extension of Interval Temporal Logic over Infinite Words</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.TIME.2022.11">10.4230/LIPIcs.TIME.2022.11</a>
</li>
<li>
    <span class="authors">Gianluca Apriceno, Andrea Passerini, and Luciano Serafini</span>
    <span class="title">A Neuro-Symbolic Approach for Real-World Event Recognition from Weak Supervision</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.TIME.2022.12">10.4230/LIPIcs.TIME.2022.12</a>
</li>
<li>
    <span class="authors">Giovanni Pagliarini, Simone Scaboro, Giuseppe Serra, Guido Sciavicco, and Ionel Eduard Stan</span>
    <span class="title">Neural-Symbolic Temporal Decision Trees for Multivariate Time Series Classification</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.TIME.2022.13">10.4230/LIPIcs.TIME.2022.13</a>
</li>
<li>
    <span class="authors">Massimo Benerecetti, Fabio Mogavero, and Adriano Peron</span>
    <span class="title">Taming Strategy Logic: Non-Recurrent Fragments</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.TIME.2022.14">10.4230/LIPIcs.TIME.2022.14</a>
</li>
<li>
    <span class="authors">Julian Gutierrez, Sarit Kraus, Giuseppe Perelli, and Michael Wooldridge</span>
    <span class="title">Giving Instructions in Linear Temporal Logic</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.TIME.2022.15">10.4230/LIPIcs.TIME.2022.15</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