| 2007 | A Formal Specification Framework for Ad Hoc Mobile Communication Networks. | Iakovos Ouranos, Petros S. Stefaneas, Panagiotis Frangos |
| 2007 | The P | Jrme Monnot, Sophie Toulouse |
| 2007 | Automatic Testing of Object-Oriented Software. | Bertrand Meyer, Ilinca Ciupa, Andreas Leitner, Lisa Ling Liu |
| 2007 | Extracting Zing Models from C Source Code. | Tomas Matousek, Filip Zavoral |
| 2007 | Fully Active File System. | Jn Mt |
| 2007 | A Polynomial-Time Checkable Sufficient Condition for Deadlock-Freedom of Component-Based Systems. | Mila E. Majster-Cederbaum, Moritz Martens, Christoph Minnameier |
| 2007 | Algorithmic Aspects of Minimum Energy Edge-Disjoint Paths in Wireless Networks. | Markus Maier, Steffen Mecke, Dorothea Wagner |
| 2007 | A Semantic Peer-to-Peer Overlay for Web Services Discovery. | Yong Li, Fangchun Yang, Kai Shuang, Sen Su |
| 2007 | Ontology-Based Schema Integration. | Zdenka Linkova |
| 2007 | Efficient Group Key Agreement for Dynamic TETRA Networks. | Su-Mi Lee, Su Youn Lee, Dong Hoon Lee |
| 2007 | Runtime-Efficient Approach for Multiple Continuous Filtering in XML Message Brokers. | Hyunho Lee, Wonsuk Lee |
| 2007 | Enhancing Security by Embedding Biometric Data in IP Header. | Daesung Lee, Ki-Chang Kim, Year Back Yoo |
| 2007 | Rapid Development of Web Interfaces to Heterogeneous Systems. | Jos Paulo Leal, Marcos Aurlio Domingues |
| 2007 | Concurrent and Located Synchronizations in | Ivan Lanese |
| 2007 | Estimates of Data Complexity in Neural-Network Learning. | Vera Kurkov |
| 2007 | Partial vs. Complete Domination: t-Dominating Set. | Joachim Kneis, Daniel Mlle, Peter Rossmanith |
| 2007 | Generating High Dimensional Data and Query Sets. | Sang-Wook Kim, Seok-Ho Yoon, Sang-Cheol Lee, Junghoon Lee, Miyoung Shin |
| 2007 | A Hybrid Region Weighting Approach for Relevance Feedback in Region-Based Image Search on the Web. | Deok-Hwan Kim, Jae-Won Song, Ju-Hong Lee |
| 2007 | Experimental Assessment of the Practicality of a Fault-Tolerant System. | Jai Wug Kim, Jongpil Lee, Heon Young Yeom |
| 2007 | A Simple Algorithm for Stable Minimum Storage Merging. | Pok-Son Kim, Arne Kutzner |
| 2007 | Online Service Management Algorithm for Cellular/WALN Multimedia Networks. | Sungwook Kim, Sungchun Kim |
| 2007 | Semantic Web Approach in Designing a Collaborative E-Item Bank System. | Heung-Nam Kim, Ae-Ttie Ji, Soon-Geun Lee, GeunSik Jo |
| 2007 | A Dialogue-Based NLIDB System in a Schedule Management Domain. | Harksoo Kim |
| 2007 | Protecting Agent from Attack in Grid Computing | Byungryong Kim |
| 2007 | Maximum Rigid Components as Means for Direction-Based Localization in Sensor Networks. | Bastian Katz, Marco Gaertler, Dorothea Wagner |