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

• 2001
• 
  Silvana Badaloni, Massimiliano Giacomin, Claudio Masolo:
  Qualitative temporal representation and reasoning about points, intervals and durations. TIME 2001: 51-56
• 
  Elisa Bertino, Tsz S. Cheng, Shashi K. Gadia, Giovanna Guerrini:
  A Linguistic Framework for Querying Dimensional Data. TIME 2001: 156-163
• 
  Elisa Bertino, Elena Ferrari, Giovanna Guerrini, Isabella Merlo:
  Navigating Through Multiple Temporal Granularity Objects. TIME 2001: 147-155
• 
  Patrick Blackburn, Valentin Goranko:
  Hybrid Ockhamist Temporal Logic. TIME 2001: 183-188
• 
  Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo:
  A Temporal Logic for reasoning about Timed Concurrent Constraint Programs. TIME 2001: 227-233
• 
  Benedikt Bollig, Martin Leucker:
  Deciding LTL over Mazurkiewicz Traces. TIME 2001: 189-197
• 
  Benedikt Bollig, Martin Leucker:
  Modelling, Specifying, and Verifying Message Passing Systems. TIME 2001: 240-247
• 
  Ivan T. Bowman, David Toman:
  Optimizing Temporal Queries: Efficient Handling of Duplicates. TIME 2001: 93-100
• 
  Sergio Brandano:
  The Event Calculus Assessed. TIME 2001: 7-12
• 
  Luca Chittaro, Carlo Combi:
  Representation of Temporal Intervals and Relations: Information Visualization Aspects and their Evaluation. TIME 2001: 13-20
• 
  Fabio Grandi, Federica Mandreoli:
  Effective Representation and Efficient Management of Indeterminate Dates. TIME 2001: 164-169
• 
  Tony Griffiths, Alvaro A. A. Fernandes, Nassima Djafri, Norman W. Paton:
  A Query Calculus for Spatio-Temporal Object Databases. TIME 2001: 101-110
• 
  Serge Haddad, Denis Poitrenaud:
  Checking Linear Temporal Formulas on Sequential Recursive Petri Nets. TIME 2001: 198-205
• 
  Bernhard Heinemann:
  About the Temporal Decrease of Sets. TIME 2001: 234-239
• 
  Ullrich Hustadt, Clare Dixon, Renate A. Schmidt, Michael Fisher, John-Jules Ch. Meyer, Wiebe van der Hoek:
  Reasoning about agents in the KARO framework. TIME 2001: 206-213
• 
  Lina Khatib, Nicola Muscettola, Klaus Havelund:
  Mapping Temporal Planning Constraints into Timed Automata. TIME 2001: 21-27
• 
  Manolis Koubarakis:
  Spatiotemporal databases: Recent Achievements and Opportunities for Future Research. TIME 2001: 89
• 
  Yingjiu Li, Peng Ning, Xiaoyang Sean Wang, Sushil Jajodia:
  Discovering Calendar-based Temporal Association Rules. TIME 2001: 111-118
• 
  George Logothetis, Klaus Schneider:
  Symbolic Model Checking of Real-Time Systems. TIME 2001: 214-223
• 
  Alice ter Meulen, Hans Smessaert:
  Temporal reasoning with aspectual adverbs. TIME 2001: 28-34
• 
  Edjard Mota:
  Reasoning about the Temporal Aspects of Interacting Agents. TIME 2001: 57-62
• 
  Barbara Oliboni, Elisa Quintarelli, Letizia Tanca:
  Temporal aspects of semistructured data. TIME 2001: 119-127
• 
  Peter Z. Revesz:
  Constraint Databases and Temporal Reasoning. TIME 2001
• 
  Peter Z. Revesz, Rui Chen, Min Ouyang:
  Approximate Query Evaluation Using Linear Constraint Databases. TIME 2001: 170-175
• 
  Francesca Rossi, Alessandro Sperduti, Lina Khatib, Paul H. Morris, Robert A. Morris:
  Learning preferences on temporal constraints: a preliminary report. TIME 2001: 63-68
• 
  Vladimir Ryabov:
  Estimating Uncertain Relations between Indeterminate Points and Intervals. TIME 2001: 69-74
• 
  Vladimir Ryabov, Seppo Puuronen:
  Probabilistic Reasoning about Uncertain Relations between Temporal Points. TIME 2001: 35-40
• 
  Erik Sandewall:
  Cellular Ontology as a Basis for Spatiotemporal Reasoning. TIME 2001: 3-4
• 
  Markus Schaal, Hans-Joachim Lenz:
  Best Time and Content for Delay Notification. TIME 2001: 75-80
• 
  Tiberiu Stratulat, Françoise Clérin-Debart, Patrice Enjalbert:
  Temporal Reasoning: An Application to Normative Systems. TIME 2001: 41-47