| 2005 | A Hierarchical Markovian Mining Approach for Favorite Navigation Patterns. Jiu Jun Chen, Ji Gao, Jun Hu, Bei Shui Liao |
| 2005 | A Management Scheme for the Basic Types in High Level Languages. Friedrich Mayer-Lindenberg |
| 2005 | A Methodology for Writing Class Contracts. Nele Smeets, Eric Steegmans |
| 2005 | A Methodology of Visual Modeling Language Evaluation. Anna E. Bobkowska |
| 2005 | A Multiagent System Aiding Information Retrieval in Internet Using Consensus Methods. Ngoc Thanh Nguyen, Adam Blazowski, Michal Malowiecki |
| 2005 | A Topology-Driven Approach to the Design of Web Meta-search Clustering Engines. Emilio Di Giacomo, Walter Didimo, Luca Grilli, Giuseppe Liotta |
| 2005 | Adjustment of Indirect Association Rules for the Web. Przemyslaw Kazienko, Mariusz Matrejek |
| 2005 | An Approach for Integrating Analysis Patterns and Feature Diagrams into Model Driven Architecture. Roman Filkorn, Pavol Návrat |
| 2005 | Anonymous Communication with On-line and Off-line Onion Encoding. Marek Klonowski, Miroslaw Kutylowski, Filip Zagórski |
| 2005 | Architecture of a Business Framework for the .NET Platform and Open Source Environments. Thomas Seidmann |
| 2005 | Bayesian Networks in Software Maintenance Management. Ana Cristina Vieira de Melo, Adilson de J. Sanchez |
| 2005 | Boolean Functions with a Low Polynomial Degree and Quantum Query Algorithms. Raitis Ozols, Rusins Freivalds, Jevgenijs Ivanovs, Elina Kalnina, Lelde Lace, Masahiro Miyakawa, Hisayuki Tatsumi, Daina Taimina |
| 2005 | Characteristic Patterns for LTL. Antonín Kucera, Jan Strejcek |
| 2005 | Computing Upward Planar Drawings Using Switch-Regularity Heuristics. Walter Didimo |
| 2005 | Cost-Constrained Minimum-Delay Multicasting. Satoshi Tayu, Turki Ghazi Al-Mutairi, Shuichi Ueno |
| 2005 | Discovering Treewidth. Hans L. Bodlaender |
| 2005 | Fast Bit-Vector Algorithms for Approximate String Matching Under Indel Distance. Heikki Hyyrö, Yoan J. Pinzón, Ayumi Shinohara |
| 2005 | Feature Selection by Reordering. Marcel Jirina, Marcel Jirina Jr. |
| 2005 | Fixed-Parameter Tractable Algorithms for Testing Upward Planarity. Patrick Healy, Karol Lynch |
| 2005 | From Research Prototypes to Industrial Strength Open Source Products - The ObjectWeb Experience. Emmanuel Cecchet |
| 2005 | Greedy Differential Approximations for Min Set Cover. Cristina Bazgan, Jérôme Monnot, Vangelis Th. Paschos, Fabrice Serrière |
| 2005 | How Hard Is It to Take a Snapshot?. Faith Ellen Fich |
| 2005 | Interval-Valued Data Structures and Their Application to e-Learning. Adam Niewiadomski |
| 2005 | Local Computations on Closed Unlabelled Edges: The Election Problem and the Naming Problem. Jérémie Chalopin |
| 2005 | Logical Foundations for Data Integration. Maurizio Lenzerini |
| 2005 | Lower Bounds on the OBDD Size of Graphs of Some Popular Functions. Daniel Sawitzki |
| 2005 | Modeling Data Integration with Updateable Object Views. Piotr Habela, Krzysztof Kaczmarski, Hanna Kozankiewicz, Kazimierz Subieta |
| 2005 | Modeling Nested Relationships in XML Documents Using Relational Databases. Olli Luoma |
| 2005 | Non-planar Orthogonal Drawings with Fixed Topology. Markus Chimani, Gunnar W. Klau, René Weiskircher |
| 2005 | On Some Weighted Satisfiability and Graph Problems. Stefan Porschen |
| 2005 | On the Security and Composability of the One Time Pad. Dominik Raub, Rainer Steinwandt, Jörn Müller-Quade |
| 2005 | On the Stability of Approximation for Hamiltonian Path Problems. Luca Forlizzi, Juraj Hromkovic, Guido Proietti, Sebastian Seibert |
| 2005 | Ontology-Based Inconsistency Management of Software Requirements Specifications. Xuefeng Zhu, Zhi Jin |
| 2005 | Outerplanar Crossing Numbers of 3-Row Meshes, Halin Graphs and Complete p-Partite Graphs. Radoslav Fulek, Hongmei He, Ondrej Sýkora, Imrich Vrto |
| 2005 | Planar Straight-Line Drawing in an O(n)×O(n) Grid with Angular Resolution Omega(1/n). Maciej Kurowski |
| 2005 | Progress on Crossing Number Problems. László A. Székely |
| 2005 | RAQ: A Range-Queriable Distributed Data Structure. Hamid Nazerzadeh, Mohammad Ghodsi |
| 2005 | Read/Write Based Fast-Path Transformation for FCFS Mutual Exclusion. Prasad Jayanti, Srdjan Petrovic, Neha Narula |
| 2005 | Recent Advances in Graph Drawing. Petra Mutzel |
| 2005 | Recursion Versus Replication in Simple Cryptographic Protocols. Hans Hüttel, Jirí Srba |
| 2005 | Representation of Extended RBAC Model Using UML Language. Aneta Poniszewska-Maranda, Gilles Goncalves, Fred Hemery |
| 2005 | Robustness of Composed Timed Systems. Hacène Fouchal, Antoine Rollet, Abbas Tarhini |
| 2005 | SOFSEM 2005: Theory and Practice of Computer Science, 31st Conference on Current Trends in Theory and Practice of Computer Science, Liptovský Ján, Slovakia, January 22-28, 2005, Proceedings Peter Vojtás, Mária Bieliková, Bernadette Charron-Bost, Ondrej Sýkora |
| 2005 | Serial and Parallel Multilevel Graph Partitioning Using Fixed Centers. Kayhan Erciyes, Ali Alp, Geoffrey Marshall |
| 2005 | Stepwise Optimization Method for k-CNN Search for Location-Based Service. Jun Feng, Naoto Mukai, Toyohide Watanabe |
| 2005 | Suffix Tree Based Data Compression. Martin Senft |
| 2005 | The Hyperdatabase Network - New Middleware for Searching and Maintaining the Information Space. Hans-Jörg Schek |
| 2005 | Tier Aspect Model Based on Updatable Views. Radoslaw Adamus, Kazimierz Subieta |
| 2005 | Topology Generation for Web Communities Modeling. György Frivolt, Mária Bieliková |
| 2005 | Two-Layer Planarization: Improving on Parameterized Algorithmics. Henning Fernau |
| 2005 | VCD: A Visual Formalism for Specification of Heterogeneous Software Architectures. David Safránek, Jirí Simsa |
| 2005 | Volumes of 3D Drawings of Homogenous Product Graphs. Lubomir Torok |
| 2005 | Well-Founded Metamodeling for Model-Driven Architecture. Liliana Favre |
| 2005 | XML-Based Declarative Access Control. Robert Steele, William Gardner, Tharam S. Dillon, Abdelkarim Erradi |