2014 21st International Symposium on Temporal Representation and Reasoning
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9781479942275, 9781479942282

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Partially Punctual Metric Temporal Logic is Decidable

2014 21st International Symposium on Temporal Representation and Reasoning ◽

10.1109/time.2014.17 ◽

2014 ◽

Cited By ~ 2

Author(s):

Khushraj Madnani ◽

Shankara Narayanan Krishna ◽

Paritosh K Pandya

Keyword(s):

Temporal Logic ◽

Metric Temporal Logic

Download Full-text

A Framework for Managing Temporal Dimensions in Archaeological Data

2014 21st International Symposium on Temporal Representation and Reasoning ◽

10.1109/time.2014.15 ◽

2014 ◽

Cited By ~ 6

Author(s):

Alberto Belussi ◽

Sara Migliorini

Keyword(s):

Archaeological Data ◽

Temporal Dimensions

Download Full-text

Parametrized Verification Diagrams

2014 21st International Symposium on Temporal Representation and Reasoning ◽

10.1109/time.2014.11 ◽

2014 ◽

Cited By ~ 4

Author(s):

Alejandro Sanchez ◽

Cesar Sanchez

Download Full-text

Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation

2014 21st International Symposium on Temporal Representation and Reasoning ◽

10.1109/time.2014.21 ◽

2014 ◽

Cited By ~ 10

Author(s):

Alessandro Cimatti ◽

Luke Hunsberger ◽

Andrea Micheli ◽

Roberto Posenato ◽

Marco Roveri

Keyword(s):

Temporal Networks

Download Full-text

Metric Propositional Neighborhood Logic with an Equivalence Relation

2014 21st International Symposium on Temporal Representation and Reasoning ◽

10.1109/time.2014.26 ◽

2014 ◽

Cited By ~ 1

Author(s):

Angelo Montanari ◽

Marco Pazzaglia ◽

Pietro Sala

Keyword(s):

Equivalence Relation

Download Full-text

Approximate Interval-Based Temporal Dependencies: The Complexity Landscape

2014 21st International Symposium on Temporal Representation and Reasoning ◽

10.1109/time.2014.20 ◽

2014 ◽

Cited By ~ 3

Author(s):

Pietro Sala

Keyword(s):

Temporal Dependencies

Download Full-text

Summarizability in Multiversion Data Warehouse

2014 21st International Symposium on Temporal Representation and Reasoning ◽

10.1109/time.2014.12 ◽

2014 ◽

Author(s):

Ines Zouari Turki ◽

Faiza Ghozzi Jedidi ◽

Rafik Bouaziz

Keyword(s):

Data Warehouse

Download Full-text

Lean Index Structures for Snapshot Access in Transaction-Time Databases

2014 21st International Symposium on Temporal Representation and Reasoning ◽

10.1109/time.2014.10 ◽

2014 ◽

Cited By ~ 1

Author(s):

Fabio Grandi

Keyword(s):

Index Structures

Download Full-text

Author Index

2014 21st International Symposium on Temporal Representation and Reasoning ◽

10.1109/time.2014.28 ◽

2014 ◽

Download Full-text

Fairness with EXPTIME Bundled CTL Tableau

2014 21st International Symposium on Temporal Representation and Reasoning ◽

10.1109/time.2014.22 ◽

2014 ◽

Cited By ~ 1

Author(s):

John Christopher McCabe-Dansted ◽

Mark Reynolds

Download Full-text

2014 21st International Symposium on Temporal Representation and ReasoningLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Partially Punctual Metric Temporal Logic is Decidable

A Framework for Managing Temporal Dimensions in Archaeological Data

Parametrized Verification Diagrams

Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation

Metric Propositional Neighborhood Logic with an Equivalence Relation

Approximate Interval-Based Temporal Dependencies: The Complexity Landscape

Summarizability in Multiversion Data Warehouse

Lean Index Structures for Snapshot Access in Transaction-Time Databases

Author Index

Fairness with EXPTIME Bundled CTL Tableau

2014 21st International Symposium on Temporal Representation and Reasoning
Latest Publications