• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 24 matches

• 2023
• 
  Renato Acampora, Luca Geatti, Nicola Gigante, Angelo Montanari:
  Qualitative past Timeline-Based Games (Extended Abstract). TIME 2023: 22:1-22:3
• 
  Beatrice Amico, Carlo Combi, Romeo Rizzi, Pietro Sala:
  Discovering Predictive Dependencies on Multi-Temporal Relations. TIME 2023: 4:1-4:19
• 
  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: 2:1-2:14
• 
  Alexis Baudin, Lionel Tabourier, Clémence Magnien:
  LSCPM: Communities in Massive Real-World Link Streams by Clique Percolation Method. TIME 2023: 3:1-3:18
• 
  Alessandro Bregoli, Karin Rathsman, Marco Scutari, Fabio Stella, Søren Wengel Mogensen:
  Analyzing Complex Systems with Cascades Using Continuous-Time Bayesian Networks. TIME 2023: 8:1-8:21
• 
  Florian Bruse, Marit Kastaun, Martin Lange, Sören Möller:
  The Calculus of Temporal Influence. TIME 2023: 10:1-10:19
• 
  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: 9:1-9:14
• 
  Curtis E. Dyreson:
  Optimization of Nonsequenced Queries Using Log-Segmented Timestamps. TIME 2023: 13:1-13:15
• 
  Luca Geatti, Alessandro Gianola, Nicola Gigante:
  Torwards Infinite-State Verification and Planning with Linear Temporal Logic Modulo Theories (Extended Abstract). TIME 2023: 21:1-21:3
• 
  Nikos Giatrakos:
  SSTRESED: Scalable Semantic Trajectory Extraction for Simple Event Detection over Streaming Movement Data (Extended Abstract). TIME 2023: 15:1-15:4
• 
  Hsi-Ming Ho, Khushraj Madnani:
  More Than 0s and 1s: Metric Quantifiers and Counting over Timed Words. TIME 2023: 7:1-7:15
• 
  Luke Hunsberger, Roberto Posenato:
  Converting Simple Temporal Networks with Uncertainty into Dispatchable Form - Faster (Extended Abstract). TIME 2023: 20:1-20:3
• 
  Petro-Foti Kamberi, Evgenios Kladis, Charilaos Akasiadis:
  A Benchmark for Early Time-Series Classification (Extended Abstract). TIME 2023: 18:1-18:3
• 
  Nikos Katzouris, Georgios Paliouras:
  Answer Set Automata: A Learnable Pattern Specification Framework for Complex Event Recognition (Extended Abstract). TIME 2023: 17:1-17:3
• 
  Periklis Mantenoglou:
  An Event Calculus for Run-Time Reasoning (Extended Abstract). TIME 2023: 14:1-14:3
• 
  Anshuman Misra, Ajay D. Kshemkalyani:
  Detecting Causality in the Presence of Byzantine Processes: The Synchronous Systems Case. TIME 2023: 11:1-11:14
• 
  Laura Nenzi:
  Learning Temporal Logic Formulas from Time-Series Data (Invited Talk). TIME 2023: 1:1-1:2
• 
  Yakoub Salhi, Michael Sioutis:
  Prime Scenarios in Qualitative Spatial and Temporal Reasoning. TIME 2023: 5:1-5:14
• 
  Yakoub Salhi, Michael Sioutis:
  A Decomposition Framework for Inconsistency Handling in Qualitative Spatial and Temporal Reasoning (Extended Abstract). TIME 2023: 16:1-16:3
• 
  Marco Sälzer, Silvia Beddar-Wiesing:
  Time-Aware Robustness of Temporal Graph Neural Networks for Link Prediction (Extended Abstract). TIME 2023: 19:1-19:3
• 
  Saumya Shankar, Srinivas Pinisetty, Thierry Jéron:
  Bounded-Memory Runtime Enforcement of Timed Properties. TIME 2023: 6:1-6:22
• 
  Michael Sioutis:
  Embarrassingly Greedy Inconsistency Resolution of Qualitative Constraint Networks. TIME 2023: 12:1-12:12
• 
  Front Matter, Table of Contents, Preface, Conference Organization. TIME 2023: 0:1-0:14
• 
  Alexander Artikis, Florian Bruse, Luke Hunsberger:
  30th International Symposium on Temporal Representation and Reasoning, TIME 2023, September 25-26, 2023, NCSR Demokritos, Athens, Greece. LIPIcs 278, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2023, ISBN 978-3-95977-298-3 [contents]