| 2003 | Formal Framework for Solving Box-Pushing Games. | Gihwon Kwon |
| 2003 | A Component Based Architecture for Coupling Optimization and Simulation Software in a Distributed Environment. | Markus Krosche, Rainer Niekamp, Hermann G. Matthies |
| 2003 | Telematics: A Distinctive Discipline. | Carlos Delgado Kloos, Arturo Azorra Soloa |
| 2003 | A Study on the Relationship of Assurance Requirements between K Level of KISEC and EAL Level of CC. | Tai-Hoon Kim, Jae-Sung Kim, Eun-Kyoung Yi, Haeng-Kon Kim |
| 2003 | ECSSL Protocol Based on 3B Algorithm. | Haeng-Kon Kim, Tai-Hoon Kim, Jae-Sung Kim |
| 2003 | A Study on the Verification Tool of Coding Conventions. | Woo-Mok Kim, Tae-Hee Gwak, Kyung-Eun Park |
| 2003 | A QoS-guaranteed DiffServ-aware-MPLS VPN and its Network Management System. | Youngtak Kim, Hyung-Woo Choi, Hyo-Sung Kim |
| 2003 | Fitness Costs of Mutation Rate Adaption and its Application to Optimization of Dynamic Objective Functions. | Jan T. Kim |
| 2003 | Node-to-Set Disjoint Paths Problem in Burnt Pancake Graphs. | Keiichi Kaneko |
| 2003 | List Homomorphism with Accumulation. | Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi |
| 2003 | Critical Systems Development with UML: Overview with Automatic Case Study. | Jan Jrjens, Johannes Grnbauer |
| 2003 | Experience Outweighs Intelligence: An Investigation into the Use of Ant Colony System for Maza Solving. | D. Jones, Dave A. Harrison, Alan J. Davies |
| 2003 | Multi-Layered Metadata Registry System for Distributed Metadata Management. | Dongwon Jeong, Doo-Kwon Baik |
| 2003 | Sama: A Scalable Group Communication Mechanism for Mobile Agents. | Hojjat Jafarpour, Nasser Yazdani |
| 2003 | Estimation of Cooperative Agents Behavior in a Fire Disaster. | Kazunori Iwata, Mayumi Miyazaki, Nobuhiro Ito, Naohiro Ishii |
| 2003 | A Comparison of Simulated Annealing and Tabu Search in Image Segmentation. | Chih-Cheng Hung, Randy Daniel, Tommy L. Coleman |
| 2003 | XDBC: XML Database Connectivity and API for Native XML Databases. | Gongzhu Hu, Qinglan Li |
| 2003 | Using a Semantic Web for Process Information and Quality Management. | Ronald Hartwig |
| 2003 | Application of Behavior-Preserving Transformations to Improve Non-Functional Properties of an Architecture Specification. | Lars Grunske |
| 2003 | Pattern Matching of Parallel Values in Bulk Synchronous Parallel ML. | Frdric Gava, Frdric Loulergue, Frdric Dabrowski |
| 2003 | A Parallel Categorical Abstract Machine for Bulk Synchronous Parallel ML. | Frdric Gava, Frdric Loulergue, Frdric Dabrowski |
| 2003 | Applying Data Abstraction to XML Formal Designs. | Mara-del-Mar Gallardo, Jess Martnez, Pedro Merino, Ernesto Pimentel |
| 2003 | A Vehicle Structure Based Software Architecture. | Christoph Falk, Thomas Grechenig, Wolfgang Zuser |
| 2003 | Representing Knowledge of Resource-bounded Agents. | Ho Ngoc Duc |
| 2003 | Factory: Statically Type-Safe Integration of Genericity and Reflection. | Dirk Draheim, Christof Lutteroth, Gerald Weber |