default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID26th TIME 2019: Málaga, Spain
- Johann Gamper
, Sophie Pinchinat, Guido Sciavicco:
26th International Symposium on Temporal Representation and Reasoning, TIME 2019, October 16-19, 2019, Málaga, Spain. LIPIcs 147, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2019, ISBN 978-3-95977-127-6 - Front Matter, Table of Contents, Preface, Conference Organization. 0:1-0:14
- Michael H. Böhlen, Muhammad Saad:
Computing the Fourier Transformation over Temporal Data Streams (Invited Talk). 1:1-1:4 - Estela Saquete Boró:
From Unstructured Data to Narrative Abstractive Summaries (Invited Talk). 2:1-2:4 - Patricia Bouyer:
On the Computation of Nash Equilibria in Games on Graphs (Invited Talk). 3:1-3:3 - Przemyslaw Andrzej Walega, Michal Zawidzki:
A Modal Logic for Subject-Oriented Spatial Reasoning. 4:1-4:22 - Carlo Combi, Barbara Oliboni, Pietro Sala:
Customizing BPMN Diagrams Using Timelines. 5:1-5:17 - 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. 6:1-6:16 - Sebastian Brandt, Diego Calvanese, Elem Güzel Kalayci, Roman Kontchakov, Benjamin Mörzinger, Vladislav Ryzhikov, Guohui Xiao, Michael Zakharyaschev:
Two-Dimensional Rule Language for Querying Sensor Log Data: A Framework and Use Cases. 7:1-7:15 - Melisachew Wudage Chekol, Heiner Stuckenschmidt:
Time-Aware Probabilistic Knowledge Graphs. 8:1-8:17 - Yakoub Salhi:
Qualitative Reasoning and Data Mining. 9:1-9:15 - Elena Loli Piccolomini, Stefano Gandolfi, Luca Poluzzi, Luca Tavasci, Pasquale Cascarano, Andrea Pascucci:
Recurrent Neural Networks Applied to GNSS Time Series for Denoising and Prediction. 10:1-10:12 - Akash Hossain, François Laroussinie:
From Quantified CTL to QBF. 11:1-11:20 - Alex Abuin, Alexander Bolotov, Unai Díaz-de-Cerio, Montserrat Hermo, Paqui Lucio:
Towards Certified Model Checking for PLTL Using One-Pass Tableaux. 12:1-12:18 - Serenella Cerrito, Amélie David, Valentin Goranko:
Minimisation of Models Satisfying CTL Formulas. 13:1-13:15 - Michael Sioutis, Anastasia Paparrizou, Tomi Janhunen:
On the Utility of Neighbourhood Singleton-Style Consistencies for Qualitative Constraint-Based Spatial and Temporal Reasoning. 14:1-14:17 - Quentin Peyras, Julien Brunel, David Chemouil:
A Bounded Domain Property for an Expressive Fragment of First-Order Linear Temporal Logic. 15:1-15:16 - Matteo Zavatteri, Carlo Combi, Romeo Rizzi, Luca Viganò:
Hybrid SAT-Based Consistency Checking Algorithms for Simple Temporal Networks with Decisions. 16:1-16:17 - Andrea Brunello, Angelo Montanari, Mark Reynolds:
Synthesis of LTL Formulas from Natural Language Texts: State of the Art and Research Directions. 17:1-17:19 - Laura Bozzelli, Angelo Montanari, Adriano Peron:
Complexity Analysis of a Unifying Algorithm for Model Checking Interval Temporal Logic. 18:1-18:17 - Pablo Cordero, Inmaculada Fortes, Inmaculada Perez de Guzmán, Sixto Sánchez:
Simplifying Inductive Schemes in Temporal Logic. 19:1-19:13 - Hsi-Ming Ho, Ruoyu Zhou, Timothy M. Jones:
On Verifying Timed Hyperproperties. 20:1-20:18
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-08 00:52 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
