| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | |
Front Matter, Table of Contents, Preface, Conference Organization.  |
TIME  |
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. |
TIME |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Florian Bruse, Marit Kastaun, Martin Lange, Sören Möller |
The Calculus of Temporal Influence. |
TIME |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Hsi-Ming Ho, Khushraj Madnani |
More Than 0s and 1s: Metric Quantifiers and Counting over Timed Words. |
TIME |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura Nenzi |
Learning Temporal Logic Formulas from Time-Series Data (Invited Talk). |
TIME |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Sioutis |
Embarrassingly Greedy Inconsistency Resolution of Qualitative Constraint Networks. |
TIME |
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). |
TIME |
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. |
TIME |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Yakoub Salhi, Michael Sioutis |
Prime Scenarios in Qualitative Spatial and Temporal Reasoning. |
TIME |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Periklis Mantenoglou |
An Event Calculus for Run-Time Reasoning (Extended Abstract). |
TIME |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikos Giatrakos |
SSTRESED: Scalable Semantic Trajectory Extraction for Simple Event Detection over Streaming Movement Data (Extended Abstract). |
TIME |
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. |
TIME |
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 |
TIME |
2023 |
DBLP BibTeX RDF |
|
| 1 | Curtis E. Dyreson |
Optimization of Nonsequenced Queries Using Log-Segmented Timestamps. |
TIME |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Beatrice Amico, Carlo Combi, Romeo Rizzi, Pietro Sala |
Discovering Predictive Dependencies on Multi-Temporal Relations. |
TIME |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikos Katzouris, Georgios Paliouras |
Answer Set Automata: A Learnable Pattern Specification Framework for Complex Event Recognition (Extended Abstract). |
TIME |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Anshuman Misra, Ajay D. Kshemkalyani |
Detecting Causality in the Presence of Byzantine Processes: The Synchronous Systems Case. |
TIME |
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). |
TIME |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Petro-Foti Kamberi, Evgenios Kladis, Charilaos Akasiadis |
A Benchmark for Early Time-Series Classification (Extended Abstract). |
TIME |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Saumya Shankar, Srinivas Pinisetty, Thierry Jéron |
Bounded-Memory Runtime Enforcement of Timed Properties. |
TIME |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Yakoub Salhi, Michael Sioutis |
A Decomposition Framework for Inconsistency Handling in Qualitative Spatial and Temporal Reasoning (Extended Abstract). |
TIME |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Luke Hunsberger, Roberto Posenato |
Converting Simple Temporal Networks with Uncertainty into Dispatchable Form - Faster (Extended Abstract). |
TIME |
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. |
TIME |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Renato Acampora, Luca Geatti, Nicola Gigante, Angelo Montanari |
Qualitative past Timeline-Based Games (Extended Abstract). |
TIME |
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. |
TIME |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Ashwin Bhaskar, M. Praveen |
Realizability Problem for Constraint LTL. |
TIME |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Peltier |
Reasoning on Dynamic Transformations of Symbolic Heaps. |
TIME |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Gianluca Apriceno, Andrea Passerini, Luciano Serafini |
A Neuro-Symbolic Approach for Real-World Event Recognition from Weak Supervision. |
TIME |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Julian Gutierrez 0001, Sarit Kraus, Giuseppe Perelli, Michael J. Wooldridge |
Giving Instructions in Linear Temporal Logic. |
TIME |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Silvia Miksch |
Visual Analytics Meets Temporal Reasoning: Challenges and Opportunities (Invited Talk). |
TIME |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Benerecetti, Fabio Mogavero, Adriano Peron |
Taming Strategy Logic: Non-Recurrent Fragments. |
TIME |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Stijn Vansummeren |
Getting to the CORE of Complex Event Recognition (Invited Talk). |
TIME |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Guyet, Nicolas Markey |
Logical Forms of Chronicles. |
TIME |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Isaac Mackey, Raghubir Chimni, Jianwen Su |
Early Detection of Temporal Constraint Violations. |
TIME |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Moshe Y. Vardi |
Linear Temporal Logic: From Infinite to Finite Horizon (Invited Talk). |
TIME |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Florian Bruse, Martin Lange, Étienne Lozes |
The Tail-Recursive Fragment of Timed Recursive CTL. |
TIME |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimitar P. Guelev |
Gabbay Separation for the Duration Calculus. |
TIME |
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. |
TIME |
2022 |
DBLP BibTeX RDF |
|
| 1 | |
Front Matter, Table of Contents, Preface, Conference Organization. |
TIME |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura Bozzelli, Adriano Peron |
A Quantitative Extension of Interval Temporal Logic over Infinite Words. |
TIME |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Victor Roussanaly, Yliès Falcone |
Decentralised Runtime Verification of Timed Regular Expressions. |
TIME |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexis Bédard, Sylvain Hallé |
Model Checking of Stream Processing Pipelines. |
TIME |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | |
Front Matter, Table of Contents, Preface, Conference Organization. |
TIME |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Florian Bruse, Martin Lange |
Model Checking Timed Recursive CTL. |
TIME |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Sparsa Roychowdhury |
1½-Player Stochastic StopWatch Games. |
TIME |
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. |
TIME |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Curtis E. Dyreson, M. A. Manazir Ahsan |
Achieving a Sequenced, Relational Query Language with Log-Segmented Timestamps. |
TIME |
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. |
TIME |
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. |
TIME |
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. |
TIME |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Johan A. K. Suykens |
Kernel Machines in Time (Invited Talk). |
TIME |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Alfredo Cuzzocrea |
Temporal Big Data Analytics: New Frontiers for Big Data Analytics Research (Panel Description). |
TIME |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Luke Hunsberger, Roberto Posenato |
Simple Temporal Networks: A Practical Foundation for Temporal Representation and Reasoning (Invited Talk). |
TIME |
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. |
TIME |
2021 |
DBLP BibTeX RDF |
|
| 1 | Alexandros Spitalas, Anastasios Gounaris, Kostas Tsichlas, Andreas Kosmatopoulos |
Investigation of Database Models for Evolving Graphs. |
TIME |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Torben Bach Pedersen |
Extreme-Scale Model-Based Time Series Management with ModelarDB (Invited Talk). |
TIME |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Geatti, Nicola Gigante, Angelo Montanari, Gabriele Venturato |
Past Matters: Supporting LTL+Past in the BLACK Satisfiability Checker. |
TIME |
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. |
TIME |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Gianluca Apriceno, Andrea Passerini, Luciano Serafini |
A Neuro-Symbolic Approach to Structured Event Recognition. |
TIME |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladislav Ryzhikov, Yury Savateev, Michael Zakharyaschev |
Deciding FO-Rewritability of Ontology-Mediated Queries in Linear Temporal Logic. |
TIME |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Zehui Cheng 0001, Phokion G. Kolaitis |
Universal Solutions in Temporal Data Exchange. |
TIME |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Cabalar |
Temporal Modalities in Answer Set Programming (Invited Talk). |
TIME |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Franceschetti, Johann Eder |
Negotiating Temporal Commitments in Cross-Organizational Business Processes. |
TIME |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | |
Front Matter, Table of Contents, Preface, Conference Organization. |
TIME |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Sioutis, Diedrich Wolter |
Dynamic Branching in Qualitative Constraint Networks via Counting Local Models. |
TIME |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Aurélie Suzanne, Guillaume Raschia, José Martinez 0001, Damien Tassetti |
Window-Slicing Techniques Extended to Spanning-Event Streams. |
TIME |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Bartosz Bednarczyk, Piotr Witkowski 0001 |
A Note on C² Interpreted over Finite Data-Words. |
TIME |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Bertagnon, Marco Gavanelli, Alessandro Passantino, Guido Sciavicco, Stefano Trevisani |
The Horn Fragment of Branching Algebra. |
TIME |
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. |
TIME |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Clare Dixon |
Verifying Autonomous Robots: Challenges and Reflections (Invited Talk). |
TIME |
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. |
TIME |
2020 |
DBLP BibTeX RDF |
|
| 1 | Florian Bruse, Martin Lange |
Temporal Logic with Recursion. |
TIME |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Dario Della Monica, Nicola Gigante, Salvatore La Torre, Angelo Montanari |
Complexity of Qualitative Timeline-Based Planning. |
TIME |
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. |
TIME |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Guido Sciavicco, Ionel Eduard Stan |
Knowledge Extraction with Interval Temporal Logic Decision Trees. |
TIME |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Jelle Hellings, Yuqing Wu |
Stab-Forests: Dynamic Data Structures for Efficient Temporal Query Processing. |
TIME |
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. |
TIME |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Alex Abuin, Alexander Bolotov, Montserrat Hermo, Paqui Lucio |
One-Pass Context-Based Tableaux Systems for CTL and ECTL. |
TIME |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Catalin-Andrei Ilie, James B. Worrell |
Parametric Model Checking Continuous-Time Markov Chains. |
TIME |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Guido Sciavicco, Matteo Zavatteri, Tiziano Villa |
Mining Significant Temporal Networks Is Polynomial. |
TIME |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Johann Eder, Marco Franceschetti |
Time and Business Process Management: Problems, Achievements, Challenges (Invited Talk). |
TIME |
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. |
TIME |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlo Combi, Barbara Oliboni, Pietro Sala |
Customizing BPMN Diagrams Using Timelines. |
TIME |
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. |
TIME |
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. |
TIME |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Przemyslaw Andrzej Walega, Michal Zawidzki |
A Modal Logic for Subject-Oriented Spatial Reasoning. |
TIME |
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. |
TIME |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Serenella Cerrito, Amélie David 0001, Valentin Goranko |
Minimisation of Models Satisfying CTL Formulas. |
TIME |
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. |
TIME |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Patricia Bouyer |
On the Computation of Nash Equilibria in Games on Graphs (Invited Talk). |
TIME |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Hsi-Ming Ho, Ruoyu Zhou, Timothy M. Jones 0001 |
On Verifying Timed Hyperproperties. |
TIME |
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. |
TIME |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Akash Hossain, François Laroussinie |
From Quantified CTL to QBF. |
TIME |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | |
Front Matter, Table of Contents, Preface, Conference Organization. |
TIME |
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. |
TIME |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael H. Böhlen, Muhammad Saad 0006 |
Computing the Fourier Transformation over Temporal Data Streams (Invited Talk). |
TIME |
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. |
TIME |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo Cordero, Inmaculada Fortes, Inmaculada Perez de Guzmán, Sixto Sánchez |
Simplifying Inductive Schemes in Temporal Logic. |
TIME |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura Bozzelli, Angelo Montanari, Adriano Peron |
Complexity Analysis of a Unifying Algorithm for Model Checking Interval Temporal Logic. |
TIME |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Yakoub Salhi |
Qualitative Reasoning and Data Mining. |
TIME |
2019 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license