The SCEAS System
Navigation Menu

Conferences in DBLP

TIME Symposium / Workshop (time)
2001 (conf/time/2001)

  1. Peter Z. Revesz
    Constraint Databases and Temporal Reasoning. [Citation Graph (0, 0)][DBLP]
    TIME, 2001, pp:- [Conf]
  2. Erik Sandewall
    Cellular Ontology as a Basis for Spatiotemporal Reasoning. [Citation Graph (0, 0)][DBLP]
    TIME, 2001, pp:3-4 [Conf]
  3. Sergio Brandano
    The Event Calculus Assessed. [Citation Graph (0, 0)][DBLP]
    TIME, 2001, pp:7-12 [Conf]
  4. Luca Chittaro, Carlo Combi
    Representation of Temporal Intervals and Relations: Information Visualization Aspects and their Evaluation. [Citation Graph (0, 0)][DBLP]
    TIME, 2001, pp:13-20 [Conf]
  5. Lina Khatib, Nicola Muscettola, Klaus Havelund
    Mapping Temporal Planning Constraints into Timed Automata. [Citation Graph (0, 0)][DBLP]
    TIME, 2001, pp:21-27 [Conf]
  6. Alice ter Meulen, Hans Smessaert
    Temporal reasoning with aspectual adverbs. [Citation Graph (0, 0)][DBLP]
    TIME, 2001, pp:28-34 [Conf]
  7. Vladimir Ryabov, Seppo Puuronen
    Probabilistic Reasoning about Uncertain Relations between Temporal Points. [Citation Graph (0, 0)][DBLP]
    TIME, 2001, pp:35-40 [Conf]
  8. Tiberiu Stratulat, Françoise Clérin-Debart, Patrice Enjalbert
    Temporal Reasoning: An Application to Normative Systems. [Citation Graph (0, 0)][DBLP]
    TIME, 2001, pp:41-47 [Conf]
  9. Silvana Badaloni, Massimiliano Giacomin, Claudio Masolo
    Qualitative temporal representation and reasoning about points, intervals and durations. [Citation Graph (0, 0)][DBLP]
    TIME, 2001, pp:51-56 [Conf]
  10. Edjard Mota
    Reasoning about the Temporal Aspects of Interacting Agents. [Citation Graph (0, 0)][DBLP]
    TIME, 2001, pp:57-62 [Conf]
  11. Francesca Rossi, Alessandro Sperduti, Lina Khatib, Paul H. Morris, Robert A. Morris
    Learning preferences on temporal constraints: a preliminary report. [Citation Graph (0, 0)][DBLP]
    TIME, 2001, pp:63-68 [Conf]
  12. Vladimir Ryabov
    Estimating Uncertain Relations between Indeterminate Points and Intervals. [Citation Graph (0, 0)][DBLP]
    TIME, 2001, pp:69-74 [Conf]
  13. Markus Schaal, Hans-Joachim Lenz
    Best Time and Content for Delay Notification. [Citation Graph (0, 0)][DBLP]
    TIME, 2001, pp:75-80 [Conf]
  14. André Trudel
    Representing temporal interval relationships in a first order logic for time. [Citation Graph (0, 0)][DBLP]
    TIME, 2001, pp:81-86 [Conf]
  15. Manolis Koubarakis
    Spatiotemporal databases: Recent Achievements and Opportunities for Future Research. [Citation Graph (0, 0)][DBLP]
    TIME, 2001, pp:89- [Conf]
  16. Ivan T. Bowman, David Toman
    Optimizing Temporal Queries: Efficient Handling of Duplicates. [Citation Graph (0, 0)][DBLP]
    TIME, 2001, pp:93-100 [Conf]
  17. Tony Griffiths, Alvaro A. A. Fernandes, Nassima Djafri, Norman W. Paton
    A Query Calculus for Spatio-Temporal Object Databases. [Citation Graph (0, 0)][DBLP]
    TIME, 2001, pp:101-110 [Conf]
  18. Yingjiu Li, Peng Ning, Xiaoyang Sean Wang, Sushil Jajodia
    Discovering Calendar-based Temporal Association Rules. [Citation Graph (0, 0)][DBLP]
    TIME, 2001, pp:111-118 [Conf]
  19. Barbara Oliboni, Elisa Quintarelli, Letizia Tanca
    Temporal aspects of semistructured data. [Citation Graph (0, 0)][DBLP]
    TIME, 2001, pp:119-127 [Conf]
  20. David Toman
    Expiration of Historical Databases. [Citation Graph (0, 0)][DBLP]
    TIME, 2001, pp:128-135 [Conf]
  21. Jef Wijsen, Alexis Bès
    Temporal Tableau Queries. [Citation Graph (0, 0)][DBLP]
    TIME, 2001, pp:136-143 [Conf]
  22. Elisa Bertino, Elena Ferrari, Giovanna Guerrini, Isabella Merlo
    Navigating Through Multiple Temporal Granularity Objects. [Citation Graph (0, 0)][DBLP]
    TIME, 2001, pp:147-155 [Conf]
  23. Elisa Bertino, Tsz S. Cheng, Shashi K. Gadia, Giovanna Guerrini
    A Linguistic Framework for Querying Dimensional Data. [Citation Graph (0, 0)][DBLP]
    TIME, 2001, pp:156-163 [Conf]
  24. Fabio Grandi, Federica Mandreoli
    Effective Representation and Efficient Management of Indeterminate Dates. [Citation Graph (0, 0)][DBLP]
    TIME, 2001, pp:164-169 [Conf]
  25. Peter Z. Revesz, Rui Chen, Min Ouyang
    Approximate Query Evaluation Using Linear Constraint Databases. [Citation Graph (0, 0)][DBLP]
    TIME, 2001, pp:170-175 [Conf]
  26. Pierre Wolper
    Representing Periodic Temporal Information with Automata. [Citation Graph (0, 0)][DBLP]
    TIME, 2001, pp:179- [Conf]
  27. Patrick Blackburn, Valentin Goranko
    Hybrid Ockhamist Temporal Logic. [Citation Graph (0, 0)][DBLP]
    TIME, 2001, pp:183-188 [Conf]
  28. Benedikt Bollig, Martin Leucker
    Deciding LTL over Mazurkiewicz Traces. [Citation Graph (0, 0)][DBLP]
    TIME, 2001, pp:189-197 [Conf]
  29. Serge Haddad, Denis Poitrenaud
    Checking Linear Temporal Formulas on Sequential Recursive Petri Nets. [Citation Graph (0, 0)][DBLP]
    TIME, 2001, pp:198-205 [Conf]
  30. Ullrich Hustadt, Clare Dixon, Renate A. Schmidt, Michael Fisher, John-Jules Ch. Meyer, Wiebe van der Hoek
    Reasoning about agents in the KARO framework. [Citation Graph (0, 0)][DBLP]
    TIME, 2001, pp:206-213 [Conf]
  31. George Logothetis, Klaus Schneider
    Symbolic Model Checking of Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    TIME, 2001, pp:214-223 [Conf]
  32. Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo
    A Temporal Logic for reasoning about Timed Concurrent Constraint Programs. [Citation Graph (0, 0)][DBLP]
    TIME, 2001, pp:227-233 [Conf]
  33. Bernhard Heinemann
    About the Temporal Decrease of Sets. [Citation Graph (0, 0)][DBLP]
    TIME, 2001, pp:234-239 [Conf]
  34. Benedikt Bollig, Martin Leucker
    Modelling, Specifying, and Verifying Message Passing Systems. [Citation Graph (0, 0)][DBLP]
    TIME, 2001, pp:240-247 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002