| 2005 | A Logic for Quantum Circuits and Protocols. Manas K. Patra |
| 2005 | A Rewriting Logic Sampler. José Meseguer |
| 2005 | A Robust Interpretation of Duration Calculus. Martin Fränzle, Michael R. Hansen |
| 2005 | A Sub-quadratic Algorithm for Conjunctive and Disjunctive Boolean Equation Systems. Jan Friso Groote, Misa Keinänen |
| 2005 | A Summary of the Tutorials at ICTAC 2005. Dang Van Hung |
| 2005 | An SLD-Resolution Calculus for Basic Serial Multimodal Logics. Linh Anh Nguyen |
| 2005 | Codes and Length-Increasing Transitive Binary Relations. Do Long Van, Kieu Van Hung, Phan Trung Huy |
| 2005 | Component-Based Software Engineering. Jifeng He, Xiaoshan Li, Zhiming Liu |
| 2005 | Compositionality of Fixpoint Logic with Chop. Naijun Zhan, Jinzhao Wu |
| 2005 | Congruences and Bisimulations for Continuous-Time Stochastic Logic. Ernst-Erich Doberkat |
| 2005 | Constructing Open Systems via Consistent Components. Nguyen Truong Thang, Takuya Katayama |
| 2005 | Covarieties of Coalgebras: Comonads and Coequations. Ranald Clouston, Robert Goldblatt |
| 2005 | Externalized and Internalized Notions of Behavioral Refinement. Michel Bidoit, Rolf Hennicker |
| 2005 | Finding Resource Bounds in the Presence of Explicit Deallocation. Hoang Truong, Marc Bezem |
| 2005 | Formalizing the Debugging Process in Haskell. Alberto de la Encina, Luis Llana, Fernando Rubio |
| 2005 | Generating C Code from LOGS Specifications. Jianguo Zhou, Yifeng Chen |
| 2005 | Implementing Application-Specific Object-Oriented Theories in HOL. Kenro Yatake, Toshiaki Aoki, Takuya Katayama |
| 2005 | Information Flow Is Linear Refinement of Constancy. Fausto Spoto |
| 2005 | Languages and Process Calculi for Network Aware Programming - Short Summary -. Rocco De Nicola |
| 2005 | Linking Theories of Concurrency. Jifeng He, C. A. R. Hoare |
| 2005 | Maximum Marking Problems with Accumulative Weight Functions. Isao Sasano, Mizuhito Ogawa, Zhenjiang Hu |
| 2005 | On Cool Congruence Formats for Weak Bisimulations. Rob J. van Glabbeek |
| 2005 | On Refinement of Software Architectures. Sun Meng, Luís Soares Barbosa, Zhang Naixiao |
| 2005 | On Superposition-Based Satisfiability Procedures and Their Combination. Hélène Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran |
| 2005 | On Typing Information Flow. Gérard Boudol |
| 2005 | On the Stability Semantics of Combinational Programs. Tran Van Dung |
| 2005 | Outfix-Free Regular Languages and Prime Outfix-Free Decomposition. Yo-Sub Han, Derick Wood |
| 2005 | POST: A Case Study for an Incremental Development in rCOS. Quan Long, Zongyan Qiu, Zhiming Liu, Lingshuang Shao, Jifeng He |
| 2005 | Quantitative Temporal Logic Mechanized in HOL. Orieta Celiku |
| 2005 | Representation and Reasoning on RBAC: A Description Logic Approach. Chen Zhao, NuerMaimaiti Heilili, Shengping Liu, Zuoquan Lin |
| 2005 | Revisiting Failure Detection and Consensus in Omission Failure Environments. Carole Delporte-Gallet, Hugues Fauconnier, Felix C. Freiling |
| 2005 | Solving First Order Formulae of Pseudo-Regular Theory. Sébastien Limet, Pierre Pillot |
| 2005 | Splicing Array Grammar Systems. K. G. Subramanian, A. Roslin Sagaya Mary, K. S. Dersanambika |
| 2005 | Stochastic Analysis of Graph Transformation Systems: A Case Study in P2P Networks. Reiko Heckel |
| 2005 | Symbolic Model Checking of Finite Precision Timed Automata. Rongjie Yan, Guangyuan Li, Zhisong Tang |
| 2005 | The Timer Cascade: Functional Modelling and Real Time Calculi. Raymond T. Boute, Andreas Schäfer |
| 2005 | Theoretical Aspects of Computing - ICTAC 2005, Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings Dang Van Hung, Martin Wirsing |
| 2005 | Toward an Abstract Computer Virology. Guillaume Bonfante, Matthieu Kaczmarek, Jean-Yves Marion |
| 2005 | Upside-Down Transformation in SOL/Connection Tableaux and Its Application. Koji Iwanuma, Katsumi Inoue, Hidetomo Nabeshima |
| 2005 | Using Fairness Constraints in Process-Algebraic Verification. Antti Puhakka |
| 2005 | Weak Stochastic Bisimulation for Non-markovian Processes. Natalia López, Manuel Núñez |