| 2005 | Theoretical Aspects of Computing - ICTAC 2004, First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers Zhiming Liu, Keijiro Araki |
| 2004 | A Calculus for Shapes in Time and Space. Andreas Schäfer |
| 2004 | A Formal Framework for Ontology Integration Based on a Default Extension to DDL. Yinglong Ma, Jun Wei, Beihong Jin, Shaohua Liu |
| 2004 | A Framework for Specification and Validation of Real-Time Systems Using Adnan Sherif, Jifeng He, Ana Cavalcanti, Augusto Sampaio |
| 2004 | A Generalisation of a Relational Structures Model of Concurrency. Ryszard Janicki |
| 2004 | A Logical Characterization of Efficiency Preorders. Neelesh Korade, S. Arun-Kumar |
| 2004 | A Predicate Spatial Logic and Model Checking for Mobile Processes. Huimin Lin |
| 2004 | A Predicative Semantic Model for Integrating UML Models. Jing Yang, Quan Long, Zhiming Liu, Xiaoshan Li |
| 2004 | A Proof of Weak Termination Providing the Right Way to Terminate. Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner |
| 2004 | A Summary of the Tutorials at ICTAC 2004. Zhiming Liu |
| 2004 | An Algebra of Petri Nets with Arc-Based Time Restrictions. Apostolos Niaouris |
| 2004 | An Algebraic Approach for Codesign. Marc Aiguier, Stefan Béroff, Pierre-Yves Schobbens |
| 2004 | An Approach to Integration Testing Based on Data Flow Specifications. Yuting Chen, Shaoying Liu, Fumiko Nagoya |
| 2004 | An Automatic Mapping from Statecharts to Verilog. Viet-Anh Vu Tran, Shengchao Qin, Wei-Ngan Chin |
| 2004 | Atomic Components. Steve Reeves, David Streader |
| 2004 | Challenges in Increasing Tool Support for Programming. K. Rustan M. Leino |
| 2004 | Combining Algebraic and Model-Based Test Case Generation. Li Dan, Bernhard K. Aichernig |
| 2004 | Decomposing Controllers into Non-conflicting Distributed Controllers. Padmanabhan Krishnan |
| 2004 | Duration Calculus: A Real-Time Semantic for B. Samuel Colin, Georges Mariano, Vincent Poirriez |
| 2004 | Foundations for the Run-Time Monitoring of Reactive Systems - Fundamentals of the MaC Language. Mahesh Viswanathan, Moonzoo Kim |
| 2004 | Idempotent Relations in Isabelle/HOL. Florian Kammüller, Jeff W. Sanders |
| 2004 | Inherent Causal Orderings of Partial Order Scenarios. Bill Mitchell |
| 2004 | Integrating Variants of DC. Jifeng He, Naiyong Jin |
| 2004 | Minimal Spanning Set for Coverage Testing of Interactive Systems. Fevzi Belli, Christof J. Budnik |
| 2004 | Nelson-Oppen, Shostak and the Extended Canonizer: A Family Picture with a Newborn. Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran |
| 2004 | Object Connectivity and Full Abstraction for a Concurrent Calculus of Classes. Erika Ábrahám, Marcello M. Bonsangue, Frank S. de Boer, Martin Steffen |
| 2004 | Program Verification Using Automatic Generation of Invariants. Enric Rodríguez-Carbonell, Deepak Kapur |
| 2004 | Random Generators for Dependent Types. Peter Dybjer, Qiao Haiyan, Makoto Takeyama |
| 2004 | Real Time Reactive Programming in Lucid Enriched with Contexts. Kaiyu Wan, Vasu S. Alagar, Joey Paquet |
| 2004 | Reasoning About Co-Büchi Tree Automata. Salvatore La Torre, Aniello Murano |
| 2004 | Replicative - Distribution Rules in P Systems with Active Membranes. Tseren-Onolt Ishdorj, Mihai Ionescu |
| 2004 | Reverse Observation Equivalence Between Labelled State Transition Systems. Yanjun Wen, Ji Wang, Zhi-Chang Qi |
| 2004 | Revision Programs with Explicit Negation. Yisong Wang, Mingyi Zhang |
| 2004 | Software Services: Scientific Challenge or Industrial Hype?. José Luiz Fiadeiro |
| 2004 | Specifying Software Connectors. Marco Antonio Barbosa, Luís Soares Barbosa |
| 2004 | Switched Probabilistic I/O Automata. Ling Cheung, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager |
| 2004 | Symbolic and Parametric Model Checking of Discrete-Time Markov Chains. Conrado Daws |
| 2004 | Towards an Optimization-Based Method for Consolidating Domain Variabilities in Domain-Specific Web Services Composition. Junfeng Zhao, Lu Zhang, Yasha Wang, Ying Jiang, Bing Xie |
| 2004 | Verifying Linear Duration Constraints of Timed Automata. Pham Hong Thai, Dang Van Hung |
| 2004 | Verifying OWL and ORL Ontologies in PVS. Jin Song Dong, Yuzhang Feng, Yuan-Fang Li |