| 2005 | Splicing Array Grammar Systems. | K. G. Subramanian, A. Roslin Sagaya Mary, K. S. Dersanambika |
| 2005 | Information Flow Is Linear Refinement of Constancy. | Fausto Spoto |
| 2005 | Maximum Marking Problems with Accumulative Weight Functions. | Isao Sasano, Mizuhito Ogawa, Zhenjiang Hu |
| 2005 | Using Fairness Constraints in Process-Algebraic Verification. | Antti Puhakka |
| 2005 | A Logic for Quantum Circuits and Protocols. | Manas K. Patra |
| 2005 | Languages and Process Calculi for Network Aware Programming - Short Summary -. | Rocco De Nicola |
| 2005 | An SLD-Resolution Calculus for Basic Serial Multimodal Logics. | Linh Anh Nguyen |
| 2005 | A Rewriting Logic Sampler. | Jos Meseguer |
| 2005 | On Refinement of Software Architectures. | Sun Meng, Lus Soares Barbosa, Zhang Naixiao |
| 2005 | Weak Stochastic Bisimulation for Non-markovian Processes. | Natalia Lpez, Manuel Nez |
| 2005 | POST: A Case Study for an Incremental Development in rCOS. | Quan Long, Zongyan Qiu, Zhiming Liu, Lingshuang Shao, Jifeng He |
| 2005 | Solving First Order Formulae of Pseudo-Regular Theory. | Sbastien Limet, Pierre Pillot |
| 2005 | On Superposition-Based Satisfiability Procedures and Their Combination. | Hlne Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran |
| 2005 | Component-Based Software Engineering. | Jifeng He, Xiaoshan Li, Zhiming Liu |
| 2005 | Linking Theories of Concurrency. | Jifeng He, C. A. R. Hoare |
| 2005 | Upside-Down Transformation in SOL/Connection Tableaux and Its Application. | Koji Iwanuma, Katsumi Inoue, Hidetomo Nabeshima |
| 2005 | A Summary of the Tutorials at ICTAC 2005. | Dang Van Hung |
| 2005 | Stochastic Analysis of Graph Transformation Systems: A Case Study in P2P Networks. | Reiko Heckel |
| 2005 | Outfix-Free Regular Languages and Prime Outfix-Free Decomposition. | Yo-Sub Han, Derick Wood |
| 2005 | A Sub-quadratic Algorithm for Conjunctive and Disjunctive Boolean Equation Systems. | Jan Friso Groote, Misa Keinnen |
| 2005 | On Cool Congruence Formats for Weak Bisimulations. | Rob J. van Glabbeek |
| 2005 | A Robust Interpretation of Duration Calculus. | Martin Frnzle, Michael R. Hansen |
| 2005 | Formalizing the Debugging Process in Haskell. | Alberto de la Encina, Luis Llana, Fernando Rubio |
| 2005 | On the Stability Semantics of Combinational Programs. | Tran Van Dung |
| 2005 | Congruences and Bisimulations for Continuous-Time Stochastic Logic. | Ernst-Erich Doberkat |