Proceedings Eighth International Symposium on Temporal Representation and Reasoning. TIME 2001
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE Comput. Soc

0769511074

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Representing periodic temporal information with automata

Proceedings Eighth International Symposium on Temporal Representation and Reasoning. TIME 2001 ◽

10.1109/time.2001.930715 ◽

2005 ◽

Author(s):

P. Wolper

Keyword(s):

Temporal Information

Download Full-text

Spatiotemporal databases: recent achievements and opportunities for future research

Proceedings Eighth International Symposium on Temporal Representation and Reasoning. TIME 2001 ◽

10.1109/time.2001.930703 ◽

2005 ◽

Author(s):

M. Koubarakis

Keyword(s):

Future Research ◽

Spatiotemporal Databases

Download Full-text

Deciding LTL over Mazurkiewicz traces

Proceedings Eighth International Symposium on Temporal Representation and Reasoning. TIME 2001 ◽

10.1109/time.2001.930717 ◽

2002 ◽

Cited By ~ 4

Author(s):

B. Bollig ◽

M. Leucker

Keyword(s):

Mazurkiewicz Traces

Download Full-text

Modelling, specifying, and verifying message passing systems

Proceedings Eighth International Symposium on Temporal Representation and Reasoning. TIME 2001 ◽

10.1109/time.2001.930723 ◽

2002 ◽

Cited By ~ 4

Author(s):

B. Bollig ◽

M. Leucker

Keyword(s):

Message Passing

Download Full-text

A linguistic framework for querying dimensional data

Proceedings Eighth International Symposium on Temporal Representation and Reasoning. TIME 2001 ◽

10.1109/time.2001.930712 ◽

2002 ◽

Author(s):

E. Bertino ◽

T.S. Cheng ◽

S.K. Gadia ◽

G. Guerrini

Keyword(s):

Linguistic Framework

Download Full-text

Cellular ontology as a basis for spatiotemporal reasoning

Proceedings Eighth International Symposium on Temporal Representation and Reasoning. TIME 2001 ◽

10.1109/time.2001.930690 ◽

2002 ◽

Author(s):

E. Sandewall

Keyword(s):

Spatiotemporal Reasoning

Download Full-text

Symbolic model checking of real-time systems

Proceedings Eighth International Symposium on Temporal Representation and Reasoning. TIME 2001 ◽

10.1109/time.2001.930720 ◽

2002 ◽

Cited By ~ 4

Author(s):

G. Logothetis ◽

K. Schneider

Keyword(s):

Model Checking ◽

Real Time ◽

Symbolic Model Checking ◽

Real Time Systems ◽

Symbolic Model ◽

Time Systems

Download Full-text

Expiration of historical databases

Proceedings Eighth International Symposium on Temporal Representation and Reasoning. TIME 2001 ◽

10.1109/time.2001.930708 ◽

2002 ◽

Cited By ~ 6

Author(s):

D. Toman

Keyword(s):

Historical Databases

Download Full-text

Temporal reasoning with aspectual adverbs

Proceedings Eighth International Symposium on Temporal Representation and Reasoning. TIME 2001 ◽

10.1109/time.2001.930694 ◽

2002 ◽

Author(s):

A.G.B. ter Meulen ◽

H. Smessart

Keyword(s):

Temporal Reasoning

Download Full-text

About the temporal decrease of sets

Proceedings Eighth International Symposium on Temporal Representation and Reasoning. TIME 2001 ◽

10.1109/time.2001.930722 ◽

2002 ◽

Author(s):

B. Heinemann

Download Full-text

Proceedings Eighth International Symposium on Temporal Representation and Reasoning. TIME 2001Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE Comput. Soc

Representing periodic temporal information with automata

Spatiotemporal databases: recent achievements and opportunities for future research

Deciding LTL over Mazurkiewicz traces

Modelling, specifying, and verifying message passing systems

A linguistic framework for querying dimensional data

Cellular ontology as a basis for spatiotemporal reasoning

Symbolic model checking of real-time systems

Expiration of historical databases

Temporal reasoning with aspectual adverbs

About the temporal decrease of sets

Proceedings Eighth International Symposium on Temporal Representation and Reasoning. TIME 2001
Latest Publications