The SCEAS System
Navigation Menu

Conferences in DBLP

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

  1. José Meseguer
    A Rewriting Logic Sampler. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2005, pp:1-28 [Conf]
  2. Do Long Van, Kieu Van Hung, Phan Trung Huy
    Codes and Length-Increasing Transitive Binary Relations. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2005, pp:29-48 [Conf]
  3. Rocco De Nicola
    Languages and Process Calculi for Network Aware Programming - Short Summary -. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2005, pp:49-52 [Conf]
  4. Reiko Heckel
    Stochastic Analysis of Graph Transformation Systems: A Case Study in P2P Networks. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2005, pp:53-69 [Conf]
  5. Jifeng He, Xiaoshan Li, Zhiming Liu
    Component-Based Software Engineering. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2005, pp:70-95 [Conf]
  6. Yo-Sub Han, Derick Wood
    Outfix-Free Regular Languages and Prime Outfix-Free Decomposition. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2005, pp:96-109 [Conf]
  7. Sébastien Limet, Pierre Pillot
    Solving First Order Formulae of Pseudo-Regular Theory. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2005, pp:110-124 [Conf]
  8. K. G. Subramanian, A. Roslin Sagaya Mary, K. S. Dersanambika
    Splicing Array Grammar Systems. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2005, pp:125-135 [Conf]
  9. Naijun Zhan, Jinzhao Wu
    Compositionality of Fixpoint Logic with Chop. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2005, pp:136-150 [Conf]
  10. Linh Anh Nguyen
    An SLD-Resolution Calculus for Basic Serial Multimodal Logics. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2005, pp:151-165 [Conf]
  11. Koji Iwanuma, Katsumi Inoue, Hidetomo Nabeshima
    Upside-Down Transformation in SOL/Connection Tableaux and Its Application. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2005, pp:166-179 [Conf]
  12. Tran Van Dung
    On the Stability Semantics of Combinational Programs. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2005, pp:180-194 [Conf]
  13. Jianguo Zhou, Yifeng Chen
    Generating C Code from LOGS Specifications. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2005, pp:195-210 [Conf]
  14. Alberto de la Encina, Luis Llana, Fernando Rubio
    Formalizing the Debugging Process in Haskell. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2005, pp:211-226 [Conf]
  15. Hoang Truong, Marc Bezem
    Finding Resource Bounds in the Presence of Explicit Deallocation. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2005, pp:227-241 [Conf]
  16. Raymond T. Boute, Andreas Schäfer
    The Timer Cascade: Functional Modelling and Real Time Calculi. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2005, pp:242-256 [Conf]
  17. Martin Fränzle, Michael R. Hansen
    A Robust Interpretation of Duration Calculus. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2005, pp:257-271 [Conf]
  18. Rongjie Yan, Guangyuan Li, Zhisong Tang
    Symbolic Model Checking of Finite Precision Timed Automata. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2005, pp:272-287 [Conf]
  19. Ranald Clouston, Robert Goldblatt
    Covarieties of Coalgebras: Comonads and Coequations. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2005, pp:288-302 [Conf]
  20. Jifeng He, C. A. R. Hoare
    Linking Theories of Concurrency. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2005, pp:303-317 [Conf]
  21. Rob J. van Glabbeek
    On Cool Congruence Formats for Weak Bisimulations. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2005, pp:318-333 [Conf]
  22. Michel Bidoit, Rolf Hennicker
    Externalized and Internalized Notions of Behavioral Refinement. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2005, pp:334-350 [Conf]
  23. Fausto Spoto
    Information Flow Is Linear Refinement of Constancy. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2005, pp:351-365 [Conf]
  24. Gérard Boudol
    On Typing Information Flow. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2005, pp:366-380 [Conf]
  25. Chen Zhao, NuerMaimaiti Heilili, Shengping Liu, Zuoquan Lin
    Representation and Reasoning on RBAC: A Description Logic Approach. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2005, pp:381-393 [Conf]
  26. Carole Delporte-Gallet, Hugues Fauconnier, Felix C. Freiling
    Revisiting Failure Detection and Consensus in Omission Failure Environments. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2005, pp:394-408 [Conf]
  27. Ernst-Erich Doberkat
    Congruences and Bisimulations for Continuous-Time Stochastic Logic. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2005, pp:409-423 [Conf]
  28. Manas Patra
    A Logic for Quantum Circuits and Protocols. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2005, pp:424-438 [Conf]
  29. Orieta Celiku
    Quantitative Temporal Logic Mechanized in HOL. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2005, pp:439-453 [Conf]
  30. Natalia López, Manuel Núñez
    Weak Stochastic Bisimulation for Non-markovian Processes. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2005, pp:454-468 [Conf]
  31. Sun Meng, Luís Soares Barbosa, Zhang Naixiao
    On Refinement of Software Architectures. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2005, pp:469-484 [Conf]
  32. Quan Long, Zongyan Qiu, Zhiming Liu, Lingshuang Shao, Jifeng He
    POST: A Case Study for an Incremental Development in rCOS. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2005, pp:485-500 [Conf]
  33. Kenro Yatake, Toshiaki Aoki, Takuya Katayama
    Implementing Application-Specific Object-Oriented Theories in HOL. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2005, pp:501-516 [Conf]
  34. Nguyen Truong Thang, Takuya Katayama
    Constructing Open Systems via Consistent Components. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2005, pp:517-531 [Conf]
  35. Jan Friso Groote, Misa Keinänen
    A Sub-quadratic Algorithm for Conjunctive and Disjunctive Boolean Equation Systems. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2005, pp:532-545 [Conf]
  36. Antti Puhakka
    Using Fairness Constraints in Process-Algebraic Verification. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2005, pp:546-561 [Conf]
  37. Isao Sasano, Mizuhito Ogawa, Zhenjiang Hu
    Maximum Marking Problems with Accumulative Weight Functions. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2005, pp:562-578 [Conf]
  38. Guillaume Bonfante, Matthieu Kaczmarek, Jean-Yves Marion
    Toward an Abstract Computer Virology. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2005, pp:579-593 [Conf]
  39. Hélène Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran
    On Superposition-Based Satisfiability Procedures and Their Combination. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2005, pp:594-608 [Conf]
  40. Dang Van Hung
    A Summary of the Tutorials at ICTAC 2005. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2005, pp:609-612 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002