Conferences in DBLP

International Colloquium on Theoretical Aspects of Computing (ictac)
2007 (conf/ictac/2007)

1. Dines Bjørner
   Domain Theory: Practice and Theories A Discussion of Possible Research Topics. [Citation Graph (0, 0)][DBLP]
   ICTAC, 2007, pp:1-17 [Conf]
   
2. He Jifeng
   Linking Semantic Models. [Citation Graph (0, 0)][DBLP]
   ICTAC, 2007, pp:18-33 [Conf]
   
3. Yinghua Chen, Bican Xia, Lu Yang, Naijun Zhan, Chaochen Zhou
   Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems. [Citation Graph (0, 0)][DBLP]
   ICTAC, 2007, pp:34-49 [Conf]
   
4. Bogdan Aman, Gabriel Ciobanu
   Mobile Ambients with Timers and Types. [Citation Graph (0, 0)][DBLP]
   ICTAC, 2007, pp:50-63 [Conf]
   
5. Damián Barsotti, Javier O. Blanco
   Automatic Refinement of Split Binary Semaphore. [Citation Graph (0, 0)][DBLP]
   ICTAC, 2007, pp:64-78 [Conf]
   
6. Pontus Boström, Lionel Morel, Marina A. Waldén
   Stepwise Development of Simulink Models Using the Refinement Calculus Framework. [Citation Graph (0, 0)][DBLP]
   ICTAC, 2007, pp:79-93 [Conf]
   
7. Zining Cao
   Bisimulations for a Distributed Higher Order pi -Calculus. [Citation Graph (0, 0)][DBLP]
   ICTAC, 2007, pp:94-108 [Conf]
   
8. Pablo F. Castro, T. S. E. Maibaum
   A Complete and Compact Propositional Deontic Logic. [Citation Graph (0, 0)][DBLP]
   ICTAC, 2007, pp:109-123 [Conf]
   
9. Robert Colvin, Brijesh Dongol
   Verifying Lock-Freedom Using Well-Founded Orders. [Citation Graph (0, 0)][DBLP]
   ICTAC, 2007, pp:124-138 [Conf]
   
10. Pascal Coupey, Christophe Fouqueré, Jean-Vincent Loddo
    Tree Components Programming: An Application to XML. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2007, pp:139-153 [Conf]
    
11. Fredrik Degerlund, Kaisa Sere
    A Framework for Incorporating Trust into Formal Systems Development. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2007, pp:154-168 [Conf]
    
12. Rafael del Vado Vírseda
    A Higher-Order Demand-Driven Narrowing Calculus with Definitional Trees. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2007, pp:169-184 [Conf]
    
13. Catalin Dima, Ruggero Lanotte
    Distributed Time-Asynchronous Automata. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2007, pp:185-200 [Conf]
    
14. John Fisher, Marc Bezem
    Skolem Machines and Geometric Logic. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2007, pp:201-215 [Conf]
    
15. Christophe Fouqueré
    A Logical Calculus for Modelling Interferences. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2007, pp:216-230 [Conf]
    
16. Ignacio Fábregas, Miguel Palomino, David de Frutos-Escrig
    Reflection and Preservation of Properties in Coalgebraic (bi)Simulations. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2007, pp:231-245 [Conf]
    
17. Takashi Kitamura, Huimin Lin
    Controlling Process Modularity in Mobile Computing. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2007, pp:246-259 [Conf]
    
18. Brian Randell, Maciej Koutny
    Failures: Their Definition, Modelling and Analysis. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2007, pp:260-274 [Conf]
    
19. Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
    C-clock-WS: A Timed Service-Oriented Calculus. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2007, pp:275-290 [Conf]
    
20. Martin Leucker, César Sánchez
    Regular Linear Temporal Logic. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2007, pp:291-305 [Conf]
    
21. Jing Li, Huibiao Zhu, Jifeng He
    Algebraic Semantics for Compensable Transactions. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2007, pp:306-321 [Conf]
    
22. Wanwei Liu, Ji Wang, Wei Dong, Huowang Chen
    Axiomatizing Extended Temporal Logic Fragments Via Instantiation. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2007, pp:322-336 [Conf]
    
23. Xinxin Liu, Haiyan Chen
    Deciding Weak Bisimilarity of Normed Context-Free Processes Using Tableau. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2007, pp:337-350 [Conf]
    
24. Roussanka Loukanova
    Linear Context Free Languages. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2007, pp:351-365 [Conf]
    
25. Andrea Matta, Matteo Rossi, Paola Spoletini, Dino Mandrioli, Quirico Semeraro, Tullio Tolio
    FM for FMS: Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2007, pp:366-380 [Conf]
    
26. Masaki Nakamura, Kokichi Futatsugi
    On Equality Predicates in Algebraic Specification Languages. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2007, pp:381-395 [Conf]
    
27. Virginia Niculescu
    Data-Distributions in PowerList Theory. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2007, pp:396-409 [Conf]
    
28. Guillaume Bonfante, Jean-Yves Marion, Romain Péchoux
    Quasi-interpretation Synthesis by Decomposition. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2007, pp:410-424 [Conf]
    
29. Thomas Noll, Stefan Rieger
    Composing Transformations to Optimize Linear Code. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2007, pp:425-439 [Conf]
    
30. Silvio Ranise, Christelle Scharff
    Building Extended Canonizers by Graph-Based Deduction. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2007, pp:440-454 [Conf]
    
31. K. Subramani
    A Randomized Algorithm for BBCSPs in the Prover-Verifier Model. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2007, pp:455-466 [Conf]
    
32. Zhilin Wu
    On the Expressive Power of QLTL. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2007, pp:467-481 [Conf]