Get started
Source

International Symposium on Temporal Representation and Reasoning

Source type: conference
Fully OA: No
DOAJ: No
OpenAlex ID: S4306420224
LOLA: Runtime Monitoring of Synchronous Systems
2005 · B. D'Angelo, S. Sankaranarayanan, et al. · International Symposium on Temporal Representation and Reasoning · 292
Temporal Description Logics: A Survey
2008 · Carsten Lutz, Frank Wolter, et al. · International Symposium on Temporal Representation and Reasoning · 217
Similarity Search in Trajectory Databases
2007 · Nikos Pelekis, Ioannis Kopanakis, et al. · International Symposium on Temporal Representation and Reasoning · 141
On the Freeze Quantifier in Constraint LTL: Decidability and Complexity
2005 · S. Demri, R. Lazic, et al. · International Symposium on Temporal Representation and Reasoning · 72
Temporalising Tractable Description Logics
2007 · A. Artale, R. Kontchakov, et al. · International Symposium on Temporal Representation and Reasoning · 69
Efficient Similarity Join of Large Sets of Moving Object Trajectories
2008 · Hui Ding, Goce Trajcevski, et al. · International Symposium on Temporal Representation and Reasoning · 57
Extending the RETE algorithm for event management
2003 · B. Berstel · International Symposium on Temporal Representation and Reasoning · 48
Fixing the Semantics for Dynamic Controllability and Providing a More Practical Characterization of Dynamic Execution Strategies
2009 · Luke Hunsberger · International Symposium on Temporal Representation and Reasoning · 42
The AXML Artifact Model
2009 · Serge Abiteboul, Pierre Bourhis, et al. · International Symposium on Temporal Representation and Reasoning · 38
Conceptual Modeling of Temporal Clinical Workflows
2007 · Carlo Combi, Matteo Gozzi, et al. · International Symposium on Temporal Representation and Reasoning · 38
Counting LTL
2010 · Francois Laroussinie, Antoine Meyer, et al. · International Symposium on Temporal Representation and Reasoning · 37
PDF
A Sound-and-Complete Propagation-Based Algorithm for Checking the Dynamic Consistency of Conditional Simple Temporal Networks
2015 · Luke Hunsberger, Roberto Posenato, et al. · International Symposium on Temporal Representation and Reasoning · 35
Temporal Logic with Predicate λ-Abstraction
2005 · A. Lisitsa, I. Potapov · International Symposium on Temporal Representation and Reasoning · 35
Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation
2014 · Alessandro Cimatti, Luke Hunsberger, et al. · International Symposium on Temporal Representation and Reasoning · 34
A similarity search method of time series data with combination of Fourier and wavelet transforms
2003 · K. Kawagoe, T. Ueda · International Symposium on Temporal Representation and Reasoning · 34
A parameterized algebra for event notification services
2003 · A. Hinze, A. Voisard · International Symposium on Temporal Representation and Reasoning · 34
PDF
Robustness Analysis for Scheduling Problems Using the Inverse Method
2012 · Laurent Fribourg, Romain Soulat, et al. · International Symposium on Temporal Representation and Reasoning · 32
Preserving Anonymity of Recurrent Location-Based Queries
2009 · Daniele Riboni, Linda Pareschi, et al. · International Symposium on Temporal Representation and Reasoning · 32
Analysis of Timed Recursive State Machines
2010 · Massimo Benerecetti, Stefano Minopoli, et al. · International Symposium on Temporal Representation and Reasoning · 30
LTL Satisfiability Checking Revisited
2013 · Jianwen Li, Lijun Zhang, et al. · International Symposium on Temporal Representation and Reasoning · 29
A Fast Incremental Algorithm for Managing the Execution of Dynamically Controllable Temporal Networks
2010 · Luke Hunsberger · International Symposium on Temporal Representation and Reasoning · 26
Towards a comprehensive treatment of temporal constraints in clinical guidelines
2003 · P. Terenziani, C. Carlini, et al. · International Symposium on Temporal Representation and Reasoning · 26
Towards Temporal Controllabilities for Workflow Schemata
2010 · Carlo Combi, Roberto Posenato · International Symposium on Temporal Representation and Reasoning · 25
Decidability of the Logics of the Reflexive Sub-interval and Super-interval Relations over Finite Linear Orders
2010 · Angelo Montanari, Ian Pratt-Hartmann, et al. · International Symposium on Temporal Representation and Reasoning · 25
The Complexity of CaRet + Chop
2008 · Laura Bozzelli · International Symposium on Temporal Representation and Reasoning · 24
Works count: 346
Citation count: 2,799
H-index: 24
I10-index: 73
2yr mean citedness:
Year
Topic
Type