2016 23rd International Symposium on Temporal Representation and Reasoning (TIME)
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9781509038251

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The Model Checking Problem in Networks with Quasi-Equal Clocks

2016 23rd International Symposium on Temporal Representation and Reasoning (TIME) ◽

10.1109/time.2016.10 ◽

2016 ◽

Author(s):

Christian Herrera ◽

Bernd Westphal

Keyword(s):

Model Checking

Download Full-text

Dynamic Controllability of Conditional Simple Temporal Networks Is PSPACE-complete

2016 23rd International Symposium on Temporal Representation and Reasoning (TIME) ◽

10.1109/time.2016.17 ◽

2016 ◽

Cited By ~ 1

Author(s):

Massimo Cairo ◽

Romeo Rizzi

Keyword(s):

Temporal Networks ◽

Simple Temporal Networks

Download Full-text

Timelines Are Expressive Enough to Capture Action-Based Temporal Planning

2016 23rd International Symposium on Temporal Representation and Reasoning (TIME) ◽

10.1109/time.2016.18 ◽

2016 ◽

Cited By ~ 4

Author(s):

Nicola Gigante ◽

Angelo Montanari ◽

Marta Cialdea Mayer ◽

Andrea Orlandini

Keyword(s):

Temporal Planning

Download Full-text

Querying Music Notation

2016 23rd International Symposium on Temporal Representation and Reasoning (TIME) ◽

10.1109/time.2016.13 ◽

2016 ◽

Cited By ~ 1

Author(s):

Raphael Fournier-S'niehotta ◽

Philippe Rigaux ◽

Nicolas Travers

Keyword(s):

Music Notation

Download Full-text

Author Index

2016 23rd International Symposium on Temporal Representation and Reasoning (TIME) ◽

10.1109/time.2016.29 ◽

2016 ◽

Download Full-text

Specification of Evolving Privacy Policies for Online Social Networks

2016 23rd International Symposium on Temporal Representation and Reasoning (TIME) ◽

10.1109/time.2016.15 ◽

2016 ◽

Cited By ~ 4

Author(s):

Raul Pardo ◽

Ivana Kellyerova ◽

Cesar Sanchez ◽

Gerardo Schneider

Keyword(s):

Social Networks ◽

Online Social Networks ◽

Privacy Policies

Download Full-text

Optimal Control for Simple Linear Hybrid Systems

2016 23rd International Symposium on Temporal Representation and Reasoning (TIME) ◽

10.1109/time.2016.9 ◽

2016 ◽

Cited By ~ 2

Author(s):

Mahmoud A.A. Mousa ◽

Sven Schewe ◽

Dominik Wojtczak

Keyword(s):

Optimal Control ◽

Hybrid Systems

Download Full-text

The Impact of the Telic\Atelic Dichotomy on Temporal Databases

2016 23rd International Symposium on Temporal Representation and Reasoning (TIME) ◽

10.1109/time.2016.33 ◽

2016 ◽

Author(s):

Paolo Terenziani

Keyword(s):

Temporal Databases ◽

The Impact

Download Full-text

Stream Reasoning Using Temporal Logic and Predictive Probabilistic State Models

2016 23rd International Symposium on Temporal Representation and Reasoning (TIME) ◽

10.1109/time.2016.28 ◽

2016 ◽

Cited By ~ 4

Author(s):

Mattias Tiger ◽

Fredrik Heintz

Keyword(s):

Temporal Logic ◽

Stream Reasoning ◽

State Models

Download Full-text

Verify LTL with Fairness Assumptions Efficiently

2016 23rd International Symposium on Temporal Representation and Reasoning (TIME) ◽

10.1109/time.2016.12 ◽

2016 ◽

Cited By ~ 1

Author(s):

Yong Li ◽

Lei Song ◽

Yuan Feng ◽

Lijun Zhang

Download Full-text

2016 23rd International Symposium on Temporal Representation and Reasoning (TIME)Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

The Model Checking Problem in Networks with Quasi-Equal Clocks

Dynamic Controllability of Conditional Simple Temporal Networks Is PSPACE-complete

Timelines Are Expressive Enough to Capture Action-Based Temporal Planning

Querying Music Notation

Author Index

Specification of Evolving Privacy Policies for Online Social Networks

Optimal Control for Simple Linear Hybrid Systems

The Impact of the Telic\Atelic Dichotomy on Temporal Databases

Stream Reasoning Using Temporal Logic and Predictive Probabilistic State Models

Verify LTL with Fairness Assumptions Efficiently

2016 23rd International Symposium on Temporal Representation and Reasoning (TIME)
Latest Publications