Conferences in DBLP

Italian Conference on Theoretical Computer Science (ICTCS) (ictcs)
2007 (conf/ictcs/2007)

1. 
   Clairvoyance and Laziness for on Line Travelling Agents. [Citation Graph (, )][DBLP]
   
   
2. 
   Proving the Range Property for Lambda Theories and Models. [Citation Graph (, )][DBLP]
   
   
3. 
   Can a Proper Lambda-Model have an R.E. Equational Theory? [Citation Graph (, )][DBLP]
   
   
4. 
   Session Centered Calculi for Service Oriented Computing. [Citation Graph (, )][DBLP]
   
   
5. 
   Symmetries in Foundations. [Citation Graph (, )][DBLP]
   
   
6. 
   On the Approximability of Dense Steiner Tree Problems. [Citation Graph (, )][DBLP]
   
   
7. 
   Weak pattern matching in colored graphs: Minimizing the number of connected components. [Citation Graph (, )][DBLP]
   
   
8. 
   Weak Markovian Bisimilarity: Abstracting from Prioritized/Weighted Internal Immediate Actions. [Citation Graph (, )][DBLP]
   
   
9. 
   Analyzing Non-Interference with respect to Classes. [Citation Graph (, )][DBLP]
   
   
10. 
    Computing Minimum Directed Feedback Vertex Set in O(1.9977ⁿ). [Citation Graph (, )][DBLP]
    
    
11. 
    Seeing the Trees and Their Branches in the Forest is Hard. [Citation Graph (, )][DBLP]
    
    
12. 
    Modeling Fuzzy Behaviours in Concurrent Systems. [Citation Graph (, )][DBLP]
    
    
13. 
    A formal framework for compositional compilation. [Citation Graph (, )][DBLP]
    
    
14. 
    Type inference for polymorphic methods in Java-like languages. [Citation Graph (, )][DBLP]
    
    
15. 
    Sorting streamed multisets. [Citation Graph (, )][DBLP]
    
    
16. 
    The random generation of derangements. [Citation Graph (, )][DBLP]
    
    
17. 
    The Measure Hypothesis and Efficiency of Polynomial Time Approximation Schemes. [Citation Graph (, )][DBLP]
    
    
18. 
    Dichotomy Results for Fixed Point Counting in Boolean Dynamical Systems. [Citation Graph (, )][DBLP]
    
    
19. 
    Definable sets in weak Presburger arithmetic. [Citation Graph (, )][DBLP]
    
    
20. 
    On Defining Proofs of Knowledge in the Bare Public Key Model. [Citation Graph (, )][DBLP]