| 2007 | On Efficient Resource Allocation in Communication Networks. | Michal P. Karpowicz, Krzysztof Malinowski |
| 2007 | FTTH-Enhanced Mini-System | Mi-Young Kang, Omar F. Hamad, Choung-Ung Pom, Ji-Seung Nam |
| 2007 | Agreement Technologies. | Nicholas R. Jennings |
| 2007 | On the (High) Undecidability of Distributed Synthesis Problems. | David Janin |
| 2007 | Improved Undecidability Results on the Emptiness Problem of Probabilistic and Quantum Cut-Point Languages. | Mika Hirvensalo |
| 2007 | Games, Time, and Probability: Graph Models for System Design and Analysis. | Thomas A. Henzinger |
| 2007 | An Approach to Modelling and Verification of Component Based Systems. | Gregor Gler, Susanne Graf, Mila E. Majster-Cederbaum, Moritz Martens, Joseph Sifakis |
| 2007 | Point-to-Point Shortest Path Algorithms with Preprocessing. | Andrew V. Goldberg |
| 2007 | Maximum Finding in the Symmetric Radio Networks with Collision Detection. | Frantisek Galck, Gabriel Semanisin |
| 2007 | Exact Max 2-Sat: Easier and Faster. | Martin Frer, Shiva Prasad Kasiviswanathan |
| 2007 | Alliances in Graphs: a Complexity-Theoretic Study. | Henning Fernau, Daniel Raible |
| 2007 | Distributed Models and Algorithms for Mobile Robot Systems. | Asaf Efrima, David Peleg |
| 2007 | Teacher-Directed Learning with Mixture of Experts for View-Independent Face Recognition. | Reza Ebrahimpour, Ehsanollah Kabir, Mohammad Reza Yousefi |
| 2007 | Competitive Maintenance of Minimum Spanning Trees in Dynamic Graphs. | Miroslaw Dynia, Miroslaw Korzeniowski, Jaroslaw Kutylowski |
| 2007 | A Transducer-Based Framework for Streaming XML Transformations. | Jana Dvorkov, Branislav Rovan |
| 2007 | Properties and Application of Nondeterministic Quantum Query Algorithms. | Alina Dubrovska |
| 2007 | Improved Processing of Textual Use Cases: Deriving Behavior Specifications. | Jaroslav Drazan, Vladimir Mencl |
| 2007 | Quantum Complexity Bounds of Independent Set Problems. | Sebastian Drn |
| 2007 | On Optimal Solutions for the Bottleneck Tower of Hanoi Problem. | Yefim Dinitz, Shay Solomon |
| 2007 | Compressed Prefix Sums. | O'Neil Delpratt, Naila Rahman, Rajeev Raman |
| 2007 | A Software Architecture for Shared Resource Management in Mobile Ad Hoc Networks. | Orhan Dagdeviren, Kayhan Erciyes |
| 2007 | Performance Analysis of a Multiagent Architecture for Passenger Transportation. | Claudio Cubillos, Franco Guidi-Polanco, Ricardo Soto |
| 2007 | Towards a Versatile Contract Model to Organize Behavioral Specifications. | Philippe Collet, Alain Ozanne, Nicolas Rivierre |
| 2007 | Fast Approximate Point Set Matching for Information Retrieval. | Raphal Clifford, Benjamin Sach |
| 2007 | Checking Interaction Consistency in MARMOT Component Refinements. | Yunja Choi |