2015 22nd International Symposium on Temporal Representation and Reasoning (TIME)
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9781467393171

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Semantic Vacuity

2015 22nd International Symposium on Temporal Representation and Reasoning (TIME) ◽

10.1109/time.2015.14 ◽

2015 ◽

Cited By ~ 1

Author(s):

Grgur Petric Maretic ◽

Mohammad Torabi Dasthi ◽

David Basin

Download Full-text

Title Page iii

2015 22nd International Symposium on Temporal Representation and Reasoning (TIME) ◽

10.1109/time.2015.2 ◽

2015 ◽

Keyword(s):

Title Page

Download Full-text

An Executable Semantics of Flexible Plans in Terms of Timed Game Automata

2015 22nd International Symposium on Temporal Representation and Reasoning (TIME) ◽

10.1109/time.2015.16 ◽

2015 ◽

Cited By ~ 7

Author(s):

Marta Cialdea Mayer ◽

Andrea Orlandini

Download Full-text

Unifying Sequenced and Non-sequenced Semantics

2015 22nd International Symposium on Temporal Representation and Reasoning (TIME) ◽

10.1109/time.2015.22 ◽

2015 ◽

Cited By ~ 4

Author(s):

Curtis E. Dyreson ◽

Venkata A. Rani ◽

Amani Shatnawi

Download Full-text

Title Page i

2015 22nd International Symposium on Temporal Representation and Reasoning (TIME) ◽

10.1109/time.2015.1 ◽

2015 ◽

Keyword(s):

Title Page

Download Full-text

Historical Queries on Wikipedia: A Usability-Driven Approach

2015 22nd International Symposium on Temporal Representation and Reasoning (TIME) ◽

10.1109/time.2015.28 ◽

2015 ◽

Author(s):

Carlo Zaniolo

Keyword(s):

Historical Queries

Download Full-text

Decidability via Mosaics for Bundled Ockhamist Logic

2015 22nd International Symposium on Temporal Representation and Reasoning (TIME) ◽

10.1109/time.2015.10 ◽

2015 ◽

Author(s):

Alberto Gatto

Download Full-text

Cover Art

2015 22nd International Symposium on Temporal Representation and Reasoning (TIME) ◽

10.1109/time.2015.32 ◽

2015 ◽

Keyword(s):

Cover Art

Download Full-text

Reviewers

2015 22nd International Symposium on Temporal Representation and Reasoning (TIME) ◽

10.1109/time.2015.7 ◽

2015 ◽

Download Full-text

Towards Formal Verification of Distributed Algorithms

2015 22nd International Symposium on Temporal Representation and Reasoning (TIME) ◽

10.1109/time.2015.23 ◽

2015 ◽

Author(s):

Benedikt Bollig

Keyword(s):

Formal Verification ◽

Distributed Algorithms

Download Full-text

2015 22nd International Symposium on Temporal Representation and Reasoning (TIME)Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Semantic Vacuity

Title Page iii

An Executable Semantics of Flexible Plans in Terms of Timed Game Automata

Unifying Sequenced and Non-sequenced Semantics

Title Page i

Historical Queries on Wikipedia: A Usability-Driven Approach

Decidability via Mosaics for Bundled Ockhamist Logic

Cover Art

Reviewers

Towards Formal Verification of Distributed Algorithms

2015 22nd International Symposium on Temporal Representation and Reasoning (TIME)
Latest Publications