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

• 2015
• 
  Benedikt Bollig:
  Towards Formal Verification of Distributed Algorithms. TIME 2015: 3
• 
  Carlo Combi, Romeo Rizzi, Pietro Sala:
  The Price of Evolution in Temporal Databases. TIME 2015: 47-58
• 
  Carlo Comin, Romeo Rizzi:
  Dynamic Consistency of Conditional Simple Temporal Networks via Mean Payoff Games: A Singly-Exponential Time DC-checking. TIME 2015: 19-28
• 
  Alfredo Cuzzocrea:
  Temporal Aspects of Big Data Management: State-of-the-Art Analysis and Future Research Directions. TIME 2015: 180-185
• 
  Salih Durhan, Guido Sciavicco:
  Generalizing Allen's Theory of Time to Tree-Like Structures. TIME 2015: 69-78
• 
  Curtis E. Dyreson, Venkata A. Rani, Amani M. Shatnawi:
  Unifying Sequenced and Non-sequenced Semantics. TIME 2015: 38-46
• 
  Alberto Gatto:
  Decidability via Mosaics for Bundled Ockhamist Logic. TIME 2015: 131-139
• 
  Andre Gensler, Thiemo Gruber, Bernhard Sick:
  Fast Feature Extraction for Time Series Analysis Using Least-Squares Approximations with Orthogonal Basis Functions. TIME 2015: 29-37
• 
  Giuseppe De Giacomo:
  Temporal Reasoning in Bounded Situation Calculus. TIME 2015: 2
• 
  Daniel Hausmann, Lutz Schröder:
  Global Caching for the Flat Coalgebraic µ-Calculus. TIME 2015: 121-130
• 
  Luke Hunsberger, Roberto Posenato, Carlo Combi:
  A Sound-and-Complete Propagation-Based Algorithm for Checking the Dynamic Consistency of Conditional Simple Temporal Networks. TIME 2015: 4-18
• 
  Andreas Krebs, Arne Meier, Martin Mundhenk:
  The Model Checking Fingerprints of CTL Operators. TIME 2015: 101-110
• 
  Andreas Krebs, Arne Meier, Jonni Virtema:
  A Team Based Variant of CTL. TIME 2015: 140-149
• 
  Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi:
  Reachability Games on Recursive Hybrid Automata. TIME 2015: 150-159
• 
  Martin Lück, Arne Meier:
  LTL Fragments are Hard for Standard Parameterisations. TIME 2015: 59-68
• 
  Vadim Malvone, Fabio Mogavero, Aniello Murano, Loredana Sorrentino:
  On the Counting of Strategies. TIME 2015: 170-179
• 
  Grgur Petric Maretic, Muhammad Torabi Dashti, David A. Basin:
  Semantic Vacuity. TIME 2015: 111-120
• 
  Marta Cialdea Mayer, Andrea Orlandini:
  An Executable Semantics of Flexible Plans in Terms of Timed Game Automata. TIME 2015: 160-169
• 
  Alberto Molinari, Angelo Montanari, Adriano Peron:
  Complexity of ITL Model Checking: Some Well-Behaved Fragments of the Interval Logic HS. TIME 2015: 90-100
• 
  Angelo Montanari, Emilio Muñoz-Velasco, Guido Sciavicco:
  Undecidability of Chop. TIME 2015: 79-89
• 
  Carlo Zaniolo:
  Historical Queries on Wikipedia: A Usability-Driven Approach. TIME 2015: 1
• 
  Fabio Grandi, Martin Lange, Alessio Lomuscio:
  22nd International Symposium on Temporal Representation and Reasoning, TIME 2015, Kassel, Germany, September 23-25, 2015. IEEE Computer Society 2015, ISBN 978-1-4673-9317-1 [contents]