| 2002 | A Model-Based Approach to Semantic-Based Retrieval of Visual Information. Forouzan Golshani, Youngchoon Park, Sethuraman Panchanathan |
| 2002 | A Specification Framework for Real-Time Scheduling. K. Subramani |
| 2002 | Agent-Oriented Model of Simulated Evolution. Marek Kisiel-Dorohinicki |
| 2002 | Bipolarity in Possibilistic Logic and Fuzzy Rules. Didier Dubois, Henri Prade |
| 2002 | Conformance Testing Techniques for Timed Systems. Hacène Fouchal |
| 2002 | Counter-Constrained Finite State Machines: A New Model for Component Protocols with Resource-Dependencies. Ralf H. Reussner |
| 2002 | Data Management Challenges for GRID Computing. Keith G. Jeffery |
| 2002 | Database Support for Multisource Multiresolution Scientific Data. Philip J. Rhodes, R. Daniel Bergeron, Ted M. Sparr |
| 2002 | Do We Need Liveness? - Approximation of Liveness Properties by Safety Properties. Ulrich Ultes-Nitsche |
| 2002 | Equivalence-Checking with Infinite-State Systems: Techniques and Results. Antonín Kucera, Petr Jancar |
| 2002 | Hungarian Speech Synthesis Using a Phase Exact HNM Approach. Kornél Kovács, András Kocsor, László Tóth |
| 2002 | Interactive Indexing and Retrieval of Multimedia Content. Marcel Worring, Andrew D. Bagdanov, Jan C. van Gemert, Jan-Mark Geusebroek, Hoang Minh, Guus Schreiber, Cees Snoek, Jeroen Vendrig, Jan Wielemaker, Arnold W. M. Smeulders |
| 2002 | Modelling Resource Transitions in Constraint-Based Scheduling. Roman Barták |
| 2002 | Multimedia Presentations Databases. Maria Luisa Sapino |
| 2002 | On Functions and Types: A Tutorial. Fairouz Kamareddine |
| 2002 | SOFSEM 2002: Theory and Practice of Informatics, 29th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22-29, 2002, Proceedings William I. Grosky, Frantisek Plásil |
| 2002 | Semantic Annotation and Indexing of News and Sports Videos. Jürgen Assfalg, Marco Bertini, Carlo Colombo, Alberto Del Bimbo, Walter Nunziati |
| 2002 | Solving Conflicts of Agent Knowledge States in Multiagent Systems. Radoslaw P. Katarzyniak, Ngoc Thanh Nguyen |
| 2002 | Specification and Verification of Secure Business Transaction Systems. Vangalur S. Alagar, Kasilingam Periyasamy |
| 2002 | String Transformation for n -Dimensional Image Compression. Martin Kutrib, Jan-Thomas Löwe |
| 2002 | The Complexity of Probabilistic versus Quantum Finite Automata. Gatis Midrijanis |
| 2002 | The Reconstruction of Some 3D Convex Polyominoes from Orthogonal Projections. Maciej Gebala |
| 2002 | Validation and Decomposition of Partially Occluded Images. Costas S. Iliopoulos, Manal Mohamed |