2013 20th International Symposium on Temporal Representation and Reasoning
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9781479922413, 9781479922406

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Organizing Committee

2013 20th International Symposium on Temporal Representation and Reasoning ◽

10.1109/time.2013.6 ◽

2013 ◽

Download Full-text

Incremental, Inductive Model Checking

2013 20th International Symposium on Temporal Representation and Reasoning ◽

10.1109/time.2013.9 ◽

2013 ◽

Cited By ~ 7

Author(s):

Aaron R. Bradley

Keyword(s):

Model Checking

Download Full-text

A New Approach to Abstract Reachability State Space of Time Petri Nets

2013 20th International Symposium on Temporal Representation and Reasoning ◽

10.1109/time.2013.22 ◽

2013 ◽

Cited By ~ 7

Author(s):

Kais Klai ◽

Naim Aber ◽

Laure Petrucci

Keyword(s):

Petri Nets ◽

State Space ◽

Time Petri Nets ◽

New Approach

Download Full-text

Program Committee

2013 20th International Symposium on Temporal Representation and Reasoning ◽

10.1109/time.2013.7 ◽

2013 ◽

Keyword(s):

Program Committee

Download Full-text

Relaxation of Temporal Planning Problems

2013 20th International Symposium on Temporal Representation and Reasoning ◽

10.1109/time.2013.28 ◽

2013 ◽

Cited By ~ 1

Author(s):

Martin C. Cooper ◽

Frédéric Maris ◽

Pierre Régnier

Keyword(s):

Temporal Planning ◽

Planning Problems

Download Full-text

Making Time Just Another Axis in Geospatial Services

2013 20th International Symposium on Temporal Representation and Reasoning ◽

10.1109/time.2013.24 ◽

2013 ◽

Cited By ~ 3

Author(s):

Piero Campalani ◽

Dimitar Misev ◽

Alan Beccati ◽

Peter Baumann

Keyword(s):

Geospatial Services

Download Full-text

2013 20th International Symposium on Temporal Representation and Reasoning ◽

10.1109/time.2013.4 ◽

2013 ◽

Download Full-text

LTL Satisfiability Checking Revisited

2013 20th International Symposium on Temporal Representation and Reasoning ◽

10.1109/time.2013.19 ◽

2013 ◽

Cited By ~ 12

Author(s):

Jianwen Li ◽

Lijun Zhang ◽

Geguang Pu ◽

Moshe Y. Vardi ◽

Jifeng He

Keyword(s):

Satisfiability Checking ◽

Ltl Satisfiability Checking

Download Full-text

Title Page iii

2013 20th International Symposium on Temporal Representation and Reasoning ◽

10.1109/time.2013.2 ◽

2013 ◽

Keyword(s):

Title Page

Download Full-text

Cover Art

2013 20th International Symposium on Temporal Representation and Reasoning ◽

10.1109/time.2013.29 ◽

2013 ◽

Keyword(s):

Cover Art

Download Full-text

2013 20th International Symposium on Temporal Representation and Reasoning
Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Organizing Committee

Incremental, Inductive Model Checking

A New Approach to Abstract Reachability State Space of Time Petri Nets

Program Committee

Relaxation of Temporal Planning Problems

Making Time Just Another Axis in Geospatial Services

Table of Contents

LTL Satisfiability Checking Revisited

Title Page iii

Cover Art

Export Citation Format

2013 20th International Symposium on Temporal Representation and ReasoningLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Organizing Committee

Incremental, Inductive Model Checking

A New Approach to Abstract Reachability State Space of Time Petri Nets

Program Committee

Relaxation of Temporal Planning Problems

Making Time Just Another Axis in Geospatial Services

Table of Contents

LTL Satisfiability Checking Revisited

Title Page iii

Cover Art

2013 20th International Symposium on Temporal Representation and Reasoning
Latest Publications