2010 17th International Symposium on Temporal Representation and Reasoning
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9781424480142

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Valid-Time Indeterminacy in Temporal Relational Databases: A Family of Data Models

2010 17th International Symposium on Temporal Representation and Reasoning ◽

10.1109/time.2010.15 ◽

2010 ◽

Cited By ~ 6

Author(s):

Luca Anselma ◽

Paolo Terenziani ◽

Richard T. Snodgrass

Keyword(s):

Relational Databases ◽

Data Models ◽

Valid Time

Download Full-text

Roster Page

2010 17th International Symposium on Temporal Representation and Reasoning ◽

10.1109/time.2010.26 ◽

2010 ◽

Download Full-text

Author Index

2010 17th International Symposium on Temporal Representation and Reasoning ◽

10.1109/time.2010.25 ◽

2010 ◽

Download Full-text

A Fast Incremental Algorithm for Managing the Execution of Dynamically Controllable Temporal Networks

2010 17th International Symposium on Temporal Representation and Reasoning ◽

10.1109/time.2010.16 ◽

2010 ◽

Cited By ~ 13

Author(s):

Luke Hunsberger

Keyword(s):

Incremental Algorithm ◽

Temporal Networks

Download Full-text

2010 17th International Symposium on Temporal Representation and Reasoning ◽

10.1109/time.2010.6 ◽

2010 ◽

Download Full-text

Real Time Properties for Interrupt Timed Automata

2010 17th International Symposium on Temporal Representation and Reasoning ◽

10.1109/time.2010.11 ◽

2010 ◽

Cited By ~ 7

Author(s):

Beatrice Berard ◽

Serge Haddad ◽

Mathieu Sassolas

Keyword(s):

Real Time ◽

Timed Automata

Download Full-text

Regular Linear-Time Temporal Logic

2010 17th International Symposium on Temporal Representation and Reasoning ◽

10.1109/time.2010.29 ◽

2010 ◽

Cited By ~ 1

Author(s):

Martin Leucker ◽

Cesar Sanchez

Keyword(s):

Temporal Logic ◽

Linear Time ◽

Linear Time Temporal Logic

Download Full-text

Title Page i

2010 17th International Symposium on Temporal Representation and Reasoning ◽

10.1109/time.2010.1 ◽

2010 ◽

Keyword(s):

Title Page

Download Full-text

Counting LTL

2010 17th International Symposium on Temporal Representation and Reasoning ◽

10.1109/time.2010.20 ◽

2010 ◽

Cited By ~ 11

Author(s):

Francois Laroussinie ◽

Antoine Meyer ◽

Eudes Petonnet

Download Full-text

Towards Temporal Controllabilities for Workflow Schemata

2010 17th International Symposium on Temporal Representation and Reasoning ◽

10.1109/time.2010.17 ◽

2010 ◽

Cited By ~ 10

Author(s):

Carlo Combi ◽

Roberto Posenato

Download Full-text

2010 17th International Symposium on Temporal Representation and Reasoning
Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Valid-Time Indeterminacy in Temporal Relational Databases: A Family of Data Models

Roster Page

Author Index

A Fast Incremental Algorithm for Managing the Execution of Dynamically Controllable Temporal Networks

Table of Contents

Real Time Properties for Interrupt Timed Automata

Regular Linear-Time Temporal Logic

Title Page i

Counting LTL

Towards Temporal Controllabilities for Workflow Schemata

Export Citation Format

2010 17th International Symposium on Temporal Representation and ReasoningLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Valid-Time Indeterminacy in Temporal Relational Databases: A Family of Data Models

Roster Page

Author Index

A Fast Incremental Algorithm for Managing the Execution of Dynamically Controllable Temporal Networks

Table of Contents

Real Time Properties for Interrupt Timed Automata

Regular Linear-Time Temporal Logic

Title Page i

Counting LTL

Towards Temporal Controllabilities for Workflow Schemata

2010 17th International Symposium on Temporal Representation and Reasoning
Latest Publications