| 2004 | Design of Secure Multicast Models for Mobile Services. | R. Elijah Blessing, V. Rhymend Uthariaraj |
| 2004 | A Model of Versioned Web Sites. | Mria Bielikov, Ivan Noris |
| 2004 | Quantum Query Complexity for Some Graph Problems. | Aija Berzina, Andrej Dubrovsky, Rusins Freivalds, Lelde Lace, Oksana Scegulnaja |
| 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 | Do We Need Liveness? - Approximation of Liveness Properties by Safety Properties. | Ulrich Ultes-Nitsche |
| 2002 | A Specification Framework for Real-Time Scheduling. | K. Subramani |
| 2002 | Multimedia Presentations Databases. | Maria Luisa Sapino |
| 2002 | Database Support for Multisource Multiresolution Scientific Data. | Philip J. Rhodes, R. Daniel Bergeron, Ted M. Sparr |
| 2002 | Counter-Constrained Finite State Machines: A New Model for Component Protocols with Resource-Dependencies. | Ralf H. Reussner |
| 2002 | The Complexity of Probabilistic versus Quantum Finite Automata. | Gatis Midrijanis |
| 2002 | String Transformation for n -Dimensional Image Compression. | Martin Kutrib, Jan-Thomas Lwe |
| 2002 | Equivalence-Checking with Infinite-State Systems: Techniques and Results. | Antonn Kucera, Petr Jancar |
| 2002 | Hungarian Speech Synthesis Using a Phase Exact HNM Approach. | Kornl Kovcs, Andrs Kocsor, Lszl Tth |
| 2002 | Agent-Oriented Model of Simulated Evolution. | Marek Kisiel-Dorohinicki |
| 2002 | Solving Conflicts of Agent Knowledge States in Multiagent Systems. | Radoslaw P. Katarzyniak, Ngoc Thanh Nguyen |
| 2002 | On Functions and Types: A Tutorial. | Fairouz Kamareddine |
| 2002 | Data Management Challenges for GRID Computing. | Keith G. Jeffery |
| 2002 | Validation and Decomposition of Partially Occluded Images. | Costas S. Iliopoulos, Manal Mohamed |
| 2002 | A Model-Based Approach to Semantic-Based Retrieval of Visual Information. | Forouzan Golshani, Youngchoon Park, Sethuraman Panchanathan |
| 2002 | The Reconstruction of Some 3D Convex Polyominoes from Orthogonal Projections. | Maciej Gebala |
| 2002 | Conformance Testing Techniques for Timed Systems. | Hacne Fouchal |
| 2002 | Bipolarity in Possibilistic Logic and Fuzzy Rules. | Didier Dubois, Henri Prade |
| 2002 | Modelling Resource Transitions in Constraint-Based Scheduling. | Roman Bartk |
| 2002 | Semantic Annotation and Indexing of News and Sports Videos. | Jrgen Assfalg, Marco Bertini, Carlo Colombo, Alberto Del Bimbo, Walter Nunziati |
| 2002 | Specification and Verification of Secure Business Transaction Systems. | Vangalur S. Alagar, Kasilingam Periyasamy |