2011 Eighteenth International Symposium on Temporal Representation and Reasoning
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9781457712425

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Program Committee

2011 Eighteenth International Symposium on Temporal Representation and Reasoning ◽

10.1109/time.2011.6 ◽

2011 ◽

Keyword(s):

Program Committee

Download Full-text

p-Automata and Obligation Games

2011 Eighteenth International Symposium on Temporal Representation and Reasoning ◽

10.1109/time.2011.23 ◽

2011 ◽

Author(s):

Nir Piterman

Download Full-text

Compositional Reasoning Using Intervals and Time Reversal

2011 Eighteenth International Symposium on Temporal Representation and Reasoning ◽

10.1109/time.2011.25 ◽

2011 ◽

Cited By ~ 13

Author(s):

Ben Moszkowski

Keyword(s):

Time Reversal ◽

Compositional Reasoning

Download Full-text

Towards a Foundation of Data Currency

2011 Eighteenth International Symposium on Temporal Representation and Reasoning ◽

10.1109/time.2011.30 ◽

2011 ◽

Author(s):

Jef Wijsen

Keyword(s):

Data Currency

Download Full-text

Title Page i

2011 Eighteenth International Symposium on Temporal Representation and Reasoning ◽

10.1109/time.2011.1 ◽

2011 ◽

Keyword(s):

Title Page

Download Full-text

Extending ITL with Interleaved Programs for Interactive Verification

2011 Eighteenth International Symposium on Temporal Representation and Reasoning ◽

10.1109/time.2011.31 ◽

2011 ◽

Author(s):

Gerhard Schellhorn

Download Full-text

Committee Organization

2011 Eighteenth International Symposium on Temporal Representation and Reasoning ◽

10.1109/time.2011.5 ◽

2011 ◽

Download Full-text

Temporal Functional Dependencies Based on Interval Relations

2011 Eighteenth International Symposium on Temporal Representation and Reasoning ◽

10.1109/time.2011.15 ◽

2011 ◽

Cited By ~ 4

Author(s):

Carlo Combi ◽

Pietro Sala

Keyword(s):

Functional Dependencies

Download Full-text

[Front cover]

2011 Eighteenth International Symposium on Temporal Representation and Reasoning ◽

10.1109/time.2011.34 ◽

2011 ◽

Keyword(s):

Front Cover

Download Full-text

MulTiSEX - A Multi-language Timex Sequential Extractor

2011 Eighteenth International Symposium on Temporal Representation and Reasoning ◽

10.1109/time.2011.13 ◽

2011 ◽

Author(s):

Stefan Rigo ◽

Alberto Lavelli

Download Full-text

2011 Eighteenth International Symposium on Temporal Representation and ReasoningLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Program Committee

p-Automata and Obligation Games

Compositional Reasoning Using Intervals and Time Reversal

Towards a Foundation of Data Currency

Title Page i

Extending ITL with Interleaved Programs for Interactive Verification

Committee Organization

Temporal Functional Dependencies Based on Interval Relations

[Front cover]

MulTiSEX - A Multi-language Timex Sequential Extractor

2011 Eighteenth International Symposium on Temporal Representation and Reasoning
Latest Publications