• 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 21 matches

• 2020
• 
  Zehui Cheng, Phokion G. Kolaitis:
  Universal Solutions in Temporal Data Exchange. TIME 2020: 8:1-8:17
• 
  Alex Abuin, Alexander Bolotov, Montserrat Hermo, Paqui Lucio:
  One-Pass Context-Based Tableaux Systems for CTL and ECTL. TIME 2020: 14:1-14:20
• 
  Bartosz Bednarczyk, Piotr Witkowski:
  A Note on C² Interpreted over Finite Data-Words. TIME 2020: 17:1-17:14
• 
  Alessandro Bertagnon, Marco Gavanelli, Alessandro Passantino, Guido Sciavicco, Stefano Trevisani:
  The Horn Fragment of Branching Algebra. TIME 2020: 5:1-5:16
• 
  Florian Bruse, Martin Lange:
  Temporal Logic with Recursion. TIME 2020: 6:1-6:14
• 
  Pedro Cabalar:
  Temporal Modalities in Answer Set Programming (Invited Talk). TIME 2020: 2:1-2:5
• 
  Anasse Chafik, Fahima Cheikh Alili, Jean-François Condotta, Ivan Varzinczak:
  On the Decidability of a Fragment of preferential LTL. TIME 2020: 19:1-19:19
• 
  Clare Dixon:
  Verifying Autonomous Robots: Challenges and Reflections (Invited Talk). TIME 2020: 1:1-1:4
• 
  Johann Eder, Marco Franceschetti:
  Time and Business Process Management: Problems, Achievements, Challenges (Invited Talk). TIME 2020: 3:1-3:8
• 
  Marco Franceschetti, Johann Eder:
  Negotiating Temporal Commitments in Cross-Organizational Business Processes. TIME 2020: 4:1-4:15
• 
  Jean Guyomarc'h, François Guerret, Bilal El Mejjati, Emmanuel Ohayon, Bastien Vincke, Alain Mérigot:
  Non-Simultaneity as a Design Constraint. TIME 2020: 13:1-13:15
• 
  Jelle Hellings, Yuqing Wu:
  Stab-Forests: Dynamic Data Structures for Efficient Temporal Query Processing. TIME 2020: 18:1-18:19
• 
  Catalin-Andrei Ilie, James B. Worrell:
  Parametric Model Checking Continuous-Time Markov Chains. TIME 2020: 7:1-7:18
• 
  Dario Della Monica, Nicola Gigante, Salvatore La Torre, Angelo Montanari:
  Complexity of Qualitative Timeline-Based Planning. TIME 2020: 16:1-16:13
• 
  Guido Sciavicco, Ionel Eduard Stan:
  Knowledge Extraction with Interval Temporal Logic Decision Trees. TIME 2020: 9:1-9:16
• 
  Guido Sciavicco, Matteo Zavatteri, Tiziano Villa:
  Mining Significant Temporal Networks Is Polynomial. TIME 2020: 11:1-11:12
• 
  Michael Sioutis, Diedrich Wolter:
  Dynamic Branching in Qualitative Constraint Networks via Counting Local Models. TIME 2020: 12:1-12:15
• 
  Aurélie Suzanne, Guillaume Raschia, José Martinez, Damien Tassetti:
  Window-Slicing Techniques Extended to Spanning-Event Streams. TIME 2020: 10:1-10:14
• 
  Hai Nguyen Van, Frédéric Boulanger, Burkhart Wolff:
  TESL: A Model with Metric Time for Modeling and Simulation. TIME 2020: 15:1-15:15
• 
  Front Matter, Table of Contents, Preface, Conference Organization. TIME 2020: 0:1-0:14
• 
  Emilio Muñoz-Velasco, Ana Ozaki, Martin Theobald:
  27th International Symposium on Temporal Representation and Reasoning, TIME 2020, September 23-25, 2020, Bozen-Bolzano, Italy. LIPIcs 178, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2020, ISBN 978-3-95977-167-2 [contents]