Complexity and Approximation of a Geometric Local Robot Assignment Problem
O. Bonorden, B. Degener, B. Kempkes, P. Pietrzyk, in: Algorithmic Aspects of Wireless Sensor Networks, Springer, Berlin, Heidelberg, 2009, pp. 252–262.

3nuts: A Locality-Aware Peer-to-Peer Network Combining Random Networks, Search Trees, and DHTs
C. Schindelhauer, P. Mahlmann, T. Janson, 3nuts: A Locality-Aware Peer-to-Peer Network Combining Random Networks, Search Trees, and DHTs, Paderborn, Germany, 2009.

Minimal Energy Path Planning for Wireless Robots
C.C. Ooi, C. Schindelhauer, Mobile Networks and Applications (MONET) (2009) 309–321.

Utilizing detours for energy conservation in mobile wireless networks
C.C. Ooi, C. Schindelhauer, Telecommunication Systems 43 (2009) 25–37.

Colouring Non-sparse Random Intersection Graphs
C.L. Raptopoulos, S.E. Nikoletseas, P.G. Spirakis, in: 34st International Symposium on Mathematical Foundations of Computer Science, 2009, pp. 600--611.

Combinatorial Properties for Efficient Communication in Distributed Networks with Local Interactions
S.E. Nikoletseas, C.L. Raptopoulos, P.G. Spirakis, in:  Proceedings of IPDPS - IEEE International Parallel &; Distributed Processing Symposium, 2009, pp. 1--11.

Distributed Heterogeneous Hashing and Deterministic Dynamical Decompositions
D. Deveci, M. Kortenjan, G. Schomaker, in:  Parallel and Distributed Computing and Systems, Nr. 21, 2009.

Analysis and implementation of an Artificial Homeostatic Hormone System: A first case study in robotic hardware
J. Stradner, H. Hamann, T. Schmickl, K. Crailsheim, in: 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2009.

Two different approaches to a macroscopic model of a bio-inspired robotic swarm
T. Schmickl, H. Hamann, H. Wörn, K. Crailsheim, Robotics and Autonomous Systems 6 (2009) 913–921.

Pattern Formation as a Transient Phenomenon in the Nonlinear Dynamics of a Multi-Agent System
H. Hamann, I. Troch, F. Breitenecker, in: MATHMOD 2009 - 6th Vienna International Conference on Mathematical Modelling, 2009.

Compositional CSP Traces Refinement Checking
H. Wehrheim, D. Wonisch, Electr. Notes Theor. Comput. Sci. (2009) 135--151.

Static Class Elements for Object-Z
T. Ruhroth, H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2009) 193--205.

Measure, Diagnose, Refactor: A Formal Quality Cycle for Software Models
T. Ruhroth, H. Voigt, H. Wehrheim, in: 35th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2009, Patras, Greece, August 27-29, 2009, Proceedings, 2009, pp. 360--367.

Integrated Formal Methods, 7th International Conference, IFM 2009, D\'22usseldorf, Germany, February 16-19, 2009. Proceedings
M. Leuschel, H. Wehrheim, eds., Integrated Formal Methods, 7th International Conference, IFM 2009, D\'22usseldorf, Germany, February 16-19, 2009. Proceedings, 2009.

Hierarchisches Clustering mit minimalen Cluster-Durchmessern
C. Schröer, Hierarchisches Clustering Mit Minimalen Cluster-Durchmessern, 2009.

Analyse und Evaluation eines identitätsbasierten Signcryption-Verfahrens
G. Liske, Analyse Und Evaluation Eines Identitätsbasierten Signcryption-Verfahrens, 2009.

Die Schwierigkeit des k-Median Clusterings für Bregman-Divergenzen
C. Scholz, Die Schwierigkeit Des K-Median Clusterings Für Bregman-Divergenzen, 2009.

Algorithms for the Bregman k-Median Problem
M.R. Ackermann, Algorithms for the Bregman K-Median Problem, Universität Paderborn, 2009.

Reinforcement Learning for Blackjack
S. Kakvi, in: Lecture Notes in Computer Science, Springer Berlin Heidelberg, Berlin, Heidelberg, 2009, pp. 300–301.

Coresets and Approximate Clustering for Bregman Divergences
M.R. Ackermann, J. Blömer, in: Proceedings of the Twentieth Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, Philadelphia, PA, 2009, pp. 1088–1097.

Sampling methods for shortest vectors, closest vectors and successive minima
J. Blömer, S. Naewe, Theoretical Computer Science (2009) 1648–1665.

Three-Valued Spotlight Abstractions
J. Schrieb, H. Wehrheim, D. Wonisch, in: FM 2009: Formal Methods, Springer Berlin Heidelberg, Berlin, Heidelberg, 2009, pp. 106–122.

On the Analysis of Cryptographic Assumptions in the Generic Ring Model
T. Jager, J. Schwenk, in: Advances in Cryptology - ASIACRYPT 2009, 15th International Conference on the Theory and Application of Cryptology and Information Security, Tokyo, Japan, December 6-10, 2009. Proceedings, 2009, pp. 399--416.

Musterbasiertes Re-Engineering von Softwaresystemen
M. Meyer, Musterbasiertes Re-Engineering von Softwaresystemen, Universitaetsbibliothek Paderborn, 2009.

Self-Organisation and Self-Optimization
F. Meyer auf der Heide, F.-J. Rammig, Public Service Review: Science and Technology 04 (2009).

Algorithmische und komplexitätstheoretische Aspekte kombinatorischer Preisoptimierung (Computational Aspects of Combinatorial Pricing Problems)
P. Briest, It - Information Technology 51 (2009) 62–65.

Foreword
R. D. Kleinberg, C. Scheideler, Theory Comput. Syst. (2009) 187.

Towards a Scalable and Robust DHT
B. Awerbuch, C. Scheideler, Theory Comput. Syst. (2009) 234--260.

Robust random number generation for peer-to-peer systems
B. Awerbuch, C. Scheideler, Theor. Comput. Sci. (2009) 453--466.

A Distributed and Oblivious Heap
C. Scheideler, S. Schmid, in: Automata, Languages and Programming, 36th Internatilonal Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part II, Springer, 2009, pp. 571--582.

A Self-stabilizing and Local Delaunay Graph Construction
R. Jacob, S. Ritscher, C. Scheideler, S. Schmid, in: Algorithms and Computation, 20th International Symposium, ISAAC 2009, Honolulu, Hawaii, USA, December 16-18, 2009. Proceedings, Springer, 2009, pp. 771--780.

A distributed polylogarithmic time algorithm for self-stabilizing skip graphs
R. Jacob, A. W. Richa, C. Scheideler, S. Schmid, H. Täubig, in: Proceedings of the 28th Annual ACM Symposium on Principles of Distributed Computing, PODC 2009, Calgary, Alberta, Canada, August 10-12, 2009, 2009, pp. 131--140.

A DoS-resilient information system for dynamic data management
M. Baumgart, C. Scheideler, S. Schmid, in: SPAA 2009: Proceedings of the 21st Annual ACM Symposium on Parallelism in Algorithms and Architectures, Calgary, Alberta, Canada, August 11-13, 2009, 2009, pp. 300--309.

Brief Announcement: On the Time Complexity of Distributed Topological Self-stabilization
D. Gall, R. Jacob, A. W. Richa, C. Scheideler, S. Schmid, H. Täubig, in: Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings, Springer, 2009, pp. 781--782.

Stabilizing Consensus with the Power of Two Choices
B. Doerr, L. Ann Goldberg, L. Minder, T. Sauerwald, C. Scheideler, in: Algorithmic Methods for Distributed Cooperative Systems, 06.09. - 11.09.2009, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2009.

Rupeas: Ruby Powered Event Analysis DSL
M. Woehrle, C. Plessl, L. Thiele, Rupeas: Ruby Powered Event Analysis DSL, Computer Engineering and Networks Lab, ETH Zurich, 2009.

On Stackelberg Pricing with Computationally Bounded Consumers
P. Briest, M. Hoefer, L. Gualà, C. Ventre, in: Lecture Notes in Computer Science, Berlin, Heidelberg, 2009.

Concepts for Model Verification and Validation during Simulation Runtime
C. Laroque, M. Fischer, W. Dangelmaier, in: European Simulation and Modelling Conference (ESM 2009), EUROSIS-ETI, 2009.

Improving Network Coded Cooperation by Soft Information
T. Volkhausen, D.H. Woldegebreal, H. Karl, in: 2009 6th IEEE Annual Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks Workshops, IEEE, 2009.

Combining for Cooperative WLANs - A Reality Check Based on Prototype Measurements
S. Valentin, D.H. Woldegebreal, T. Volkhausen, H. Karl, in: 2009 IEEE International Conference on Communications Workshops, IEEE, 2009.

Ein System zur aggregierten Visualisierung verteilter Materialflusssimulationen
T. Suess, M. Fischer, D. Huber, C. Laroque, W. Dangelmaier, in: Augmented &; Virtual Reality in Der Produktentstehung, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2009, pp. 111--126.

Creating Butterflies in the Core – A Network Coding Extension for MPLS/RSVP-TE
T. Biermann, A. Schwabe, H. Karl, in: NETWORKING 2009, Springer Berlin Heidelberg, Berlin, Heidelberg, 2009, pp. 883–894.

Modeling obstacles in INET/Mobility framework: motivation, integration, and performance
H.S. Lichte, J. Weide, in: Proceedings of the Second International ICST Conference on Simulation Tools and Techniques, ICST, 2009.

Design considerations for a network of information
B. Ahlgren, V. Vercellone, M. D’Ambrosio, M. Marchisio, I. Marsh, C. Dannewitz, B. Ohlman, K. Pentikousis, O. Strandberg, R. Rembarz, in: Proceedings of the 2008 ACM CoNEXT Conference on - CONEXT ’08, ACM Press, 2009.

Planar Visibility Counting
M. Fischer, M. Hilbig, C. Jähn, F. Meyer auf der Heide, M. Ziegler, in: Proc. 25th European Workshop on Computational Geometry, 2009, pp. 203–206.

Solution Patterns for the Development of Self-Optimizing Systems
R. Dumitrescu, J. Gausemeier, W. Dangelmaier, B. Klöpper, in: B. Klöpper, W. Dangelmaier (Eds.), Self-x in Engineering, MV Verlag, Münster, 2009.

Education Programme at Eurographics 2009
G. Domik, R. Scateni, in: Computer Graphics Forum, 2009, pp. 1723–1724.

Quantitative myocardial perfusion PET combined with coronary anatomy derived from CT angiography: Validation of a new fusion and visualisation software
H. Fricke, A. Elsner, R. Weise, M. Bolte, J. van den Hoff, W. Burchert, G. Domik, E. Fricke, Zeitschrift Für Medizinische Physik 19 (2009) 182–188.

Proceedings of the Workshop on Model Driven Development of Advanced User Interfaces (MDDAUI), Sanibel Island (FL, USA)
G. Meixner, D. Görlich, K. Breiner, H. Hußmann, A. Pleuß, S. Sauer, J. Van den Bergh, eds., Proceedings of the Workshop on Model Driven Development of Advanced User Interfaces (MDDAUI’09), Sanibel Island (FL, USA), 2009.

Proceedings of Design for Future - 1. Workshop des GI-Arbeitskreises "Langlebige Softwaresysteme (L2)"
G. Engels, R. H. Reussner, C. Momm, S. Sauer, eds., Proceedings of Design for Future - 1. Workshop Des GI-Arbeitskreises “Langlebige Softwaresysteme (L2),” Karlsruhe, 2009.

Language-Independent Change Management of Process Models
C. Gerth, J. Küster, G. Engels, in: Proceedings of the ACM/IEEE 12th International Conference on Model Driven Engineering Languages and Systems (MODELS’09). Denver (CO, USA), Springer, Berlin/Heidelberg, 2009, pp. 152–166.

SOA-Business Case
M. Assmann, M. Haack, H. Scheider, N. vom Hagen, R. Zacharias, in: Transform IT: Optimale Geschäftsprozesse Durch Eine Transformierende IT, Gabler, Wiesbaden, Deutschland, 2009, pp. 97–126.

A Holistic Software Engineering Method for Service-Oriented Application Landscape Development
A. Baumann, G. Engels, A. Hofmann, S. Sauer, J. Willkomm, in: Proceedings of the First NAF Academy Working Conference on Practice-Driven Research on Enterprise Transformation (PRET 2009), Amsterdam (The Netherlands), Springer, Berlin/Heidelberg, 2009, pp. 1–17.

Model Driven Development of Advanced User Interfaces 2009
G. Meixner, D. Görlich, K. Breiner, H. Hußmann, A. Pleuß, S. Sauer, J. Van den Bergh, in: Proceedings of the 2009 International Conference on Intelligent User Interfaces, ACM Press, New York, NY, USA, 2009, pp. 503–504.

Dependent and Conflicting Change Operations of Process Models
J. Küster, C. Gerth, G. Engels, in: Proceedings of the 5th European Conference on Model-Driven Architecture Foundations and Applications (ECMDA-FA’09), Springer, Berlin/Heidelberg, 2009, pp. 158–173.

Sicherstellen der Betrachtung von nicht-funktionalen Anforderungen in SCRUM-Prozessen durch Etablierung von Feedback
G. Engels, S. Geisen, S. Sauer, O. Port, in: Informatik 2009 - Im Focus Das Leben, Gesellschaft für Informatik (GI), Bonn, 2009, p. 458.

Integrated Specification and Quality Assurance for Large Business Information Systems
F. Salger, S. Sauer, G. Engels, in: Proceedings of the 2nd India Software Engineering Conference (ISEC’09), ACM Press, New York, NY, USA, 2009, pp. 129–130.

Model-Based System Testing Using Visual Contracts
B. Güldali, M. Mlynarski, A. Wübbeke, G. Engels, in: Proceedings of Euromicro SEAA Conference 2009, Special Session on “Model Driven Engineering,” IEEE Computer Society, Washington, DC, USA, 2009, pp. 121–124.

Zautomatyzowane testy akceptacyjne dla aplikacji internetowych w programowaniu sterowanym testami
M. Mlynarski, M. Jureczko, in: Proceedings of Krajowa Konferencja In?Ynierii Oprogramowania 2009, Wydawnictwo Komunikacji if??czno?ci, 2009, pp. 294–305.

A UML Framework for IP-XACT-based IP Management
T. Schattkowsky, T. Xie, in: Proceedings of the Conference on Design Automation and Test in Europe (DATE 2009), Nice (France), IEEE Computer Society, Washington, DC, USA, 2009, pp. 238–243.

Towards Test-Driven Semantics Specification
C. Soltenborn, G. Engels, in: Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems (MODELS 2009), Denver, Colorado (USA), Springer, Berlin/Heidelberg, 2009, pp. 378–392.

Improving Reusability of Dynamic Meta Modeling Specifications with Rule Overriding
G. Engels, D. Fisseler, C. Soltenborn, in: Proceedings of the 2009 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2009), Corvallis, Oregon (USA), IEEE Computer Society, Piscataway, NJ (USA), 2009, pp. 39–46.

Semi-automated Test Planning for e-ID Systems by Using Requirements Clustering
B. Güldali, H. Funke, M. Jahnich, S. Sauer, G. Engels, in: 24th IEEE/ACM International Conference on Automated Software Engineering (ASE 2009), 16-20 November 2009, Auckland, New Zeland, 2009, pp. 29–39.

Identifying Software Product Line Component Services
M. Assmann, G. Engels, T. von der Maßen, A. Wübbeke, in: Proceedings of International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 09), 2009, pp. 45–56.

Flow Synchronization for Network Coding
T. Biermann, M. Dräxler, H. Karl, Journal of Communications (2009) 873--884.

Cooperative Wireless Networking Beyond Store-and-Forward 
S. Valentin, H. S. Lichte, H. Karl, G. Vivier, S. Simoens, J. Vidal, A. Agustin, Wireless Personal Communications (2009) 49--68.

An Adaptive Resource/Performance Trade-Off for Resolving Complex Queries in P Networks
T. Biermann, C. Dannewitz, H. Karl, in: Proceedings of IEEE International Conference on Communications, ICC 2009, Dresden, Germany, 14-18 June 2009, 2009, pp. 1--6.

Rate-Per-Link Adaptation in Cooperative Wireless Networks with Multi-Rate Combining
H. S. Lichte, S. Valentin, H. von Malm, H. Karl, A. Bin Sediq, I. Aad, in: Proceedings of IEEE International Conference on Communications, ICC 2009, Dresden, Germany, 14-18 June 2009, 2009, pp. 1--6.

The Gain of Overbooking
G. Birkenheuer, A. Brinkmann, H. Karl, in: Job Scheduling Strategies for Parallel Processing, 14th International Workshop, JSSPP 2009, Rome, Italy, May 29, 2009. Revised Papers, 2009, pp. 80–100.

Analyzing space/capacity tradeoffs of cooperative wireless networks using a probabilistic model of interference
H. Simon Lichte, S. Valentin, H. Karl, I. Aad, J. Widmer, in: Proceedings of the 12th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, MSWiM 2009, Tenerife, Canary Islands, Spain, October 26-19, 2009, 2009, pp. 54--62.

Creating Butterflies in the Core - A Network Coding Extension for MPLS/RSVP-TE
T. Biermann, A. Schwabe, H. Karl, in: NETWORKING 2009, 8th International IFIP-TC 6 Networking Conference, Aachen, Germany, May 11-15, 2009. Proceedings, 2009, pp. 883--894.

A virtual network mapping algorithm based on subgraph isomorphism detection
J. Lischka, H. Karl, in: Proceedings of the 1st ACM SIGCOMM Workshop on Virtualized Infrastructure Systems and Architectures, VISA 2009, Barcelona, Spain, August 17, 2009, 2009, pp. 81--88.

cMetrikend 3 Kennzahlen zur Verbesserung der Softwarequalität, Teile 1 und 2
M. Gehrke, B. Güldali, J. Meyer, Y. Sancar, M. Spijkerman, “Metriken” – Kennzahlen Zur Verbesserung Der Softwarequalität, Teile 1 Und 2, University of Paderborn, s-lab, 2009.

"Metriken" - Kennzahlen zur Verbesserung der Softwarequalität, Teile 1 und 2
M. Gehrke, B. Güldali, J. Meyer, Y. Sancar, M. Spijkerman, “Metriken” - Kennzahlen Zur Verbesserung Der Softwarequalität, Teile 1 Und 2, University of Paderborn, s-lab, 2009.

Evaluierung von Bewertungsmodellen für den Testprozess
E. Yigitbas, Evaluierung von Bewertungsmodellen Für Den Testprozess, 2009.

Guest Editorial to the Special Section on MODELS 2007
G. Engels, Software &; Systems Modeling 9 (2009) 5–6.

Modellbasiertes Testen auf Basis des fundamentalen Testprozesses
M. Spijkerman, T. Eckardt, Softwaretechnik-Trends 29 (2009).

A Holistic Software Engineering Method for Service-Oriented Application Landscape Development
S. Sauer, G. Engels, J. Willkomm, A. Baumann, A. Hofmann, Advances in Enterprise Engineering II (2009) 1–17.

Design for Future – Legacy-Probleme von morgen vermeidbar?
G. Engels, M. Goedicke, U. Goltz, A. Rausch, R. Reussner, Informatik-Spektrum 32 (2009) 393–397.

Kontextsensitive Qualitätsplanung von Softwaremodellen
H. Voigt, Kontextsensitive Qualitätsplanung von Softwaremodellen, 2009.

Platform independent modeling of synthesizable software systems using UML 2
T. Schattkowsky, Platform Independent Modeling of Synthesizable Software Systems Using UML 2, 2009.

Pattern based business process design and verification
A. Förster, Pattern Based Business Process Design and Verification, 2009.

Model-based evaluation of service-oriented enterprise architectures
M. Assmann, Model-Based Evaluation of Service-Oriented Enterprise Architectures, 2009.

From Design Models to Test Models by Means of Test Ideas
M. Mlynarski, B. Güldali, M. Späth, G. Engels, in: MoDeVVa ’09: Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation, ACM, New York, NY, USA, 2009, pp. 1–10.

Automatic Generation of Behavioral Code - too ambitious or even unwanted?
G. Engels, in: First European Workshop on Behaviour Modelling in Model Driven Architecture (BM-MDA), ACM Press (New York, NY, USA), New York, NY, USA, 2009, p. 5.

Inspection Effectiveness for Different Quality Attributes of Software Requirement Specifications - An Industrial Case Study
F. Salger, G. Engels, A. Hofmann, in: Proceedings of the ICSE Workshop on Software Quality (WoSQ 2009), 2009, pp. 15–21.

An Integrated Quality Assurance Framework for Specifying Business Information Systems
F. Salger, S. Sauer, G. Engels, in: Proceedings of the Forum at the CAiSE 2009 Conference, Amsterdam (The Netherlands), CEUR, 2009, pp. 25–30.

Towards Generalizing Visual Process Pattern
C. Soltenborn, G. Engels, in: Proceedings of the 1st International Workshop on Visual Formalisms for Patterns (VFfP 2009), Corvallis, OR (USA), European Association of Software Science and Technology, 2009.

Lösungsorientierte Software Produktlinienentwicklung in heterogenen Systemlandschaften
T. von der Maßen, A. Wübbeke, in: Proceedings of Produktlinien Im Kontext (PIK09), 2009, pp. 15–23.

Reinforcement Learning for Blackjack
S. Kakvi, in: Lecture Notes in Computer Science, Berlin, Heidelberg, 2009.

Optimal strategies for maintaining a chain of relays between an explorer and a base camp
J. Kutyowski, F. Meyer auf der Heide, Theoretical Computer Science (2009) 3391–3405.

Power-aware online file allocation in mobile ad hoc networks
J. Mehler, F. Meyer auf der Heide, in: Proceedings of the Twenty-First Annual Symposium on Parallelism in Algorithms and Architectures - SPAA ’09, 2009.

Proceedings of the twenty-first annual symposium on Parallelism in algorithms and architectures - SPAA 
F. Meyer auf der Heide, M.A. Bender, eds., Proceedings of the Twenty-First Annual Symposium on Parallelism in Algorithms and Architectures - SPAA ’09, 2009.

Who is on my Team: Building strong Teams in Interdisciplinary Visualization Courses 
G. Domik, in: ACM SIGGRAPH ASIA 2009 Educators Program, Association for Computing Machinery, New York, NY, USA, 2009.

Towards multi-movement hand prostheses: Combining adaptive classification with high precision sockets
A. Boschmann, P. Kaufmann, M. Platzner, M. Winkler, in: Proc. Technically Assisted Rehabilitation (TAR), 2009.

Evolvable Robot Controller
A. Kostin, Evolvable Robot Controller, Paderborn University, 2009.

ReconOS: Multithreaded Programming for Reconfigurable Computers
E. Lübbers, M. Platzner, ACM Transactions on Embedded Computing Systems 9 (2009) 8:1-8:33.

Compiler for a Custom Instruction Set CPU
M. Tofall, Compiler for a Custom Instruction Set CPU, Paderborn University, 2009.

Coarse-grained CGP Model using Xilinx Virte DSE Functional Units
A. Warkentin, Coarse-Grained CGP Model Using Xilinx Virte DSE Functional Units, Paderborn University, 2009.

Implementierung von Kryptographie-Hardwarebeschleunigern für das HW/SW-Betriebssystem ReconOS
B. Wildenhain, Implementierung von Kryptographie-Hardwarebeschleunigern Für Das HW/SW-Betriebssystem ReconOS, Paderborn University, 2009.