Conferences in DBLP

TIME Symposium / Workshop (time)
2009 (conf/time/2009)

1. 
   Dense Time Reasoning via Mosaics. [Citation Graph (, )][DBLP]
   
   
2. 
   The AXML Artifact Model. [Citation Graph (, )][DBLP]
   
   
3. 
   Model Checking CTL is Almost Always Inherently Sequential. [Citation Graph (, )][DBLP]
   
   
4. 
   Positive and Negative Results on the Decidability of the Model-Checking Problem for an Epistemic Extension of Timed CTL. [Citation Graph (, )][DBLP]
   
   
5. 
   On the Expressivity of RoCTL*. [Citation Graph (, )][DBLP]
   
   
6. 
   Event-Oriented Data Models and Temporal Queries in Transaction-Time Databases. [Citation Graph (, )][DBLP]
   
   
7. 
   On First-Order Query Rewriting for Incomplete Database Histories. [Citation Graph (, )][DBLP]
   
   
8. 
   Preserving Anonymity of Recurrent Location-Based Queries. [Citation Graph (, )][DBLP]
   
   
9. 
   Resolution-Based Model Construction for PLTL. [Citation Graph (, )][DBLP]
   
   
10. 
    Axiomatizations for Temporal Epistemic Logic with Perfect Recall over Linear Time. [Citation Graph (, )][DBLP]
    
    
11. 
    Undecidability of Interval Temporal Logics with the Overlap Modality. [Citation Graph (, )][DBLP]
    
    
12. 
    Simple Algorithm for Simple Timed Games. [Citation Graph (, )][DBLP]
    
    
13. 
    Building Logical Specifications of Temporal Granularities through Algebraic Operators. [Citation Graph (, )][DBLP]
    
    
14. 
    Strong Temporal, Weak Spatial Logic for Rule Based Filters. [Citation Graph (, )][DBLP]
    
    
15. 
    Temporal Relations with Signals: The Case of Italian Temporal Prepositions. [Citation Graph (, )][DBLP]
    
    
16. 
    Timed Contact Algebras. [Citation Graph (, )][DBLP]
    
    
17. 
    Interval Algebra Networks with Infinite Intervals. [Citation Graph (, )][DBLP]
    
    
18. 
    Classical and Fuzzy Neighborhood Relations of the Temporal Qualitative Algebra. [Citation Graph (, )][DBLP]
    
    
19. 
    Fixing the Semantics for Dynamic Controllability and Providing a More Practical Characterization of Dynamic Execution Strategies. [Citation Graph (, )][DBLP]