Nikoletseas SE, Raptopoulos CL, Spirakis PG. Combinatorial Properties for Efficient Communication in Distributed Networks with Local Interactions. In: 10.1109/IPDPS.2009.5161002__Proceedings of IPDPS - IEEE International Parallel &; Distributed Processing Symposium. ; 2009:1--11. doi:10.1109/IPDPS.2009.5161002
LibreCat: /record/19904
DOI: 10.1109/IPDPS.2009.5161002

Deveci D, Kortenjan M, Schomaker G. Distributed Heterogeneous Hashing and Deterministic Dynamical Decompositions. In:  Parallel and Distributed Computing and Systems, Nr. 21. ; 2009.
LibreCat: /record/19934

Stradner J, Hamann H, Schmickl T, Crailsheim K. Analysis and implementation of an Artificial Homeostatic Hormone System: A first case study in robotic hardware. In: 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems. ; 2009. doi:10.1109/iros.2009.5354056
LibreCat: /record/20254
DOI: 10.1109/iros.2009.5354056

Schmickl T, Hamann H, Wörn H, Crailsheim K. Two different approaches to a macroscopic model of a bio-inspired robotic swarm. Robotics and Autonomous Systems. 2009;6(9):913-921. doi:10.1016/j.robot.2009.06.002
LibreCat: /record/20255
DOI: 10.1016/j.robot.2009.06.002

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

Wehrheim H, Wonisch D. Compositional CSP Traces Refinement Checking. Electr Notes Theor Comput Sci. 2009;(2):135--151. doi:10.1016/j.entcs.2009.08.022
LibreCat: /record/3199
DOI: 10.1016/j.entcs.2009.08.022

Ruhroth T, Wehrheim H. Static Class Elements for Object-Z. Electr Notes Theor Comput Sci. 2009:193--205. doi:10.1016/j.entcs.2009.12.025
LibreCat: /record/3200
DOI: 10.1016/j.entcs.2009.12.025

Ruhroth T, Voigt H, Wehrheim H. Measure, Diagnose, Refactor: A Formal Quality Cycle for Software Models. In: 35th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2009, Patras, Greece, August 27-29, 2009, Proceedings. ; 2009:360--367. doi:10.1109/SEAA.2009.39
LibreCat: /record/3201
DOI: 10.1109/SEAA.2009.39

Leuschel M, Wehrheim H, eds. Integrated Formal Methods, 7th International Conference, IFM 2009, D\'22usseldorf, Germany, February 16-19, 2009. Proceedings.; 2009. doi:10.1007/978-3-642-00255-7
LibreCat: /record/3202
DOI: 10.1007/978-3-642-00255-7

Schröer C. Hierarchisches Clustering Mit Minimalen Cluster-Durchmessern.; 2009.
LibreCat: /record/2880

Liske G. Analyse Und Evaluation Eines Identitätsbasierten Signcryption-Verfahrens.; 2009.
LibreCat: /record/2896

Scholz C. Die Schwierigkeit Des K-Median Clusterings Für Bregman-Divergenzen.; 2009.
LibreCat: /record/2904

Ackermann MR. Algorithms for the Bregman K-Median Problem. Universität Paderborn; 2009.
LibreCat: /record/2911

Kakvi S. Reinforcement Learning for Blackjack. In: Lecture Notes in Computer Science. Berlin, Heidelberg: Springer Berlin Heidelberg; 2009:300-301. doi:10.1007/978-3-642-04052-8_43
LibreCat: /record/2920
DOI: 10.1007/978-3-642-04052-8_43

Ackermann MR, Blömer J. Coresets and Approximate Clustering for Bregman Divergences. In: Proceedings of the Twentieth Annual ACM-SIAM Symposium on Discrete Algorithms. Philadelphia, PA: Society for Industrial and Applied Mathematics; 2009:1088-1097. doi:10.1137/1.9781611973068.118
LibreCat: /record/2995
DOI: 10.1137/1.9781611973068.118

Blömer J, Naewe S. Sampling methods for shortest vectors, closest vectors and successive minima. Theoretical Computer Science. 2009;(18):1648-1665. doi:10.1016/j.tcs.2008.12.045
LibreCat: /record/2999
DOI: 10.1016/j.tcs.2008.12.045

Schrieb J, Wehrheim H, Wonisch D. Three-Valued Spotlight Abstractions. In: FM 2009: Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg; 2009:106-122. doi:10.1007/978-3-642-05089-3_8
LibreCat: /record/3000
DOI: 10.1007/978-3-642-05089-3_8

Jager T, Schwenk J. On the Analysis of Cryptographic Assumptions in the Generic Ring Model. 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:399--416. doi:10.1007/978-3-642-10366-7_24
LibreCat: /record/3142
DOI: 10.1007/978-3-642-10366-7_24

Meyer M. Musterbasiertes Re-Engineering von Softwaresystemen. Universitaetsbibliothek Paderborn; 2009.
LibreCat: /record/20937

Meyer auf der Heide F, Rammig F-J. Self-Organisation and Self-Optimization. Public Service Review: Science and Technology. 2009;04.
LibreCat: /record/17453

Briest P. Algorithmische und komplexitätstheoretische Aspekte kombinatorischer Preisoptimierung (Computational Aspects of Combinatorial Pricing Problems). it - Information Technology. 2009;51(1):62-65. doi:10.1524/itit.2009.0524
LibreCat: /record/19031
DOI: 10.1524/itit.2009.0524

D. Kleinberg R, Scheideler C. Foreword. Theory Comput Syst. 2009;(2):187. doi:10.1007/s00224-009-9202-x
LibreCat: /record/1925
DOI: 10.1007/s00224-009-9202-x

Awerbuch B, Scheideler C. Towards a Scalable and Robust DHT. Theory Comput Syst. 2009;(2):234--260. doi:10.1007/s00224-008-9099-9
LibreCat: /record/1927
DOI: 10.1007/s00224-008-9099-9

Awerbuch B, Scheideler C. Robust random number generation for peer-to-peer systems. Theor Comput Sci. 2009;(6-7):453--466. doi:10.1016/j.tcs.2008.10.003
LibreCat: /record/1928
DOI: 10.1016/j.tcs.2008.10.003

Scheideler C, Schmid S. A Distributed and Oblivious Heap. In: Automata, Languages and Programming, 36th Internatilonal Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part II. Vol 5556. Lecture Notes in Computer Science. Springer; 2009:571--582. doi:10.1007/978-3-642-02930-1_47
LibreCat: /record/1929
DOI: 10.1007/978-3-642-02930-1_47

Jacob R, Ritscher S, Scheideler C, Schmid S. A Self-stabilizing and Local Delaunay Graph Construction. In: Algorithms and Computation, 20th International Symposium, ISAAC 2009, Honolulu, Hawaii, USA, December 16-18, 2009. Proceedings. Vol 5878. Lecture Notes in Computer Science. Springer; 2009:771--780. doi:10.1007/978-3-642-10631-6_78
LibreCat: /record/1930
DOI: 10.1007/978-3-642-10631-6_78

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

Baumgart M, Scheideler C, Schmid S. A DoS-resilient information system for dynamic data management. In: SPAA 2009: Proceedings of the 21st Annual ACM Symposium on Parallelism in Algorithms and Architectures, Calgary, Alberta, Canada, August 11-13, 2009. ; 2009:300--309. doi:10.1145/1583991.1584064
LibreCat: /record/1933
DOI: 10.1145/1583991.1584064

Gall D, Jacob R, W. Richa A, Scheideler C, Schmid S, Täubig H. Brief Announcement: On the Time Complexity of Distributed Topological Self-stabilization. In: Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings. Vol 5873. Lecture Notes in Computer Science. Springer; 2009:781--782. doi:10.1007/978-3-642-05118-0_58
LibreCat: /record/1934
DOI: 10.1007/978-3-642-05118-0_58

Doerr B, Ann Goldberg L, Minder L, Sauerwald T, Scheideler C. Stabilizing Consensus with the Power of Two Choices. In: Algorithmic Methods for Distributed Cooperative Systems, 06.09. - 11.09.2009. Vol 09371. Dagstuhl Seminar Proceedings. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany; 2009. doi:10.1145/1989493.1989516
LibreCat: /record/1935
DOI: 10.1145/1989493.1989516

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

Briest P, Hoefer M, Gualà L, Ventre C. On Stackelberg Pricing with Computationally Bounded Consumers. In: Lecture Notes in Computer Science. Berlin, Heidelberg; 2009. doi:10.1007/978-3-642-10841-9_6
LibreCat: /record/23744
DOI: 10.1007/978-3-642-10841-9_6

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

Volkhausen T, Woldegebreal DH, Karl H. Improving Network Coded Cooperation by Soft Information. In: 2009 6th IEEE Annual Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks Workshops. IEEE; 2009. doi:10.1109/sahcnw.2009.5172938
LibreCat: /record/1828
DOI: 10.1109/sahcnw.2009.5172938

Valentin S, Woldegebreal DH, Volkhausen T, Karl H. Combining for Cooperative WLANs - A Reality Check Based on Prototype Measurements. In: 2009 IEEE International Conference on Communications Workshops. IEEE; 2009. doi:10.1109/iccw.2009.5208050
LibreCat: /record/1829
DOI: 10.1109/iccw.2009.5208050

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

Biermann T, Schwabe A, Karl H. Creating Butterflies in the Core – A Network Coding Extension for MPLS/RSVP-TE. In: NETWORKING 2009. Berlin, Heidelberg: Springer Berlin Heidelberg; 2009:883-894. doi:10.1007/978-3-642-01399-7_69
LibreCat: /record/1830
DOI: 10.1007/978-3-642-01399-7_69

Lichte HS, Weide J. Modeling obstacles in INET/Mobility framework: motivation, integration, and performance. In: Proceedings of the Second International ICST Conference on Simulation Tools and Techniques. ICST; 2009. doi:10.4108/icst.simutools2009.5680
LibreCat: /record/1832
DOI: 10.4108/icst.simutools2009.5680

Ahlgren B, Vercellone V, D’Ambrosio M, et al. Design considerations for a network of information. In: Proceedings of the 2008 ACM CoNEXT Conference on - CONEXT ’08. ACM Press; 2009. doi:10.1145/1544012.1544078
LibreCat: /record/1833
DOI: 10.1145/1544012.1544078

Fischer M, Hilbig M, Jähn C, Meyer auf der Heide F, Ziegler M. Planar Visibility Counting. In: Proc. 25th European Workshop on Computational Geometry. ; 2009:203-206.
LibreCat: /record/18346

Dumitrescu R, Gausemeier J, Dangelmaier W, Klöpper B. Solution Patterns for the Development of Self-Optimizing Systems. In: Klöpper B, Dangelmaier W, eds. Self-x in Engineering. MV Verlag; 2009.
LibreCat: /record/22941

Domik G, Scateni R. Education Programme at Eurographics 2009. In: Computer Graphics Forum. Vol 28. ; 2009:1723–1724. doi:10.1111/j.1467-8659.2009.01433.x
LibreCat: /record/21773
DOI: 10.1111/j.1467-8659.2009.01433.x

Fricke H, Elsner A, Weise R, et al. Quantitative myocardial perfusion PET combined with coronary anatomy derived from CT angiography: Validation of a new fusion and visualisation software. Zeitschrift für Medizinische Physik. 2009;19(3):182-188. doi:10.1016/j.zemedi.2009.05.005
LibreCat: /record/21774
DOI: 10.1016/j.zemedi.2009.05.005

Meixner G, Görlich D, Breiner K, et al., eds. Proceedings of the Workshop on Model Driven Development of Advanced User Interfaces (MDDAUI’09), Sanibel Island (FL, USA). Vol 439.; 2009.
LibreCat: /record/7775

Engels G, H. Reussner R, Momm C, Sauer S, eds. Proceedings of Design for Future - 1. Workshop Des GI-Arbeitskreises “Langlebige Softwaresysteme (L2).” Vol 537. Karlsruhe; 2009.
LibreCat: /record/7777

Gerth C, Küster J, Engels G. Language-Independent Change Management of Process Models. In: Proceedings of the ACM/IEEE 12th International Conference on Model Driven Engineering Languages and Systems (MODELS’09). Denver (CO, USA). Vol 5795. LNCS. Berlin/Heidelberg: Springer; 2009:152-166. doi:http://dx.doi.org/10.1007/978-3-642-04425-0_12
LibreCat: /record/8009
DOI: http://dx.doi.org/10.1007/978-3-642-04425-0_12

Assmann M, Haack M, Scheider H, vom Hagen N, Zacharias R. SOA-Business Case. In: Transform IT: Optimale Geschäftsprozesse Durch Eine Transformierende IT. Wiesbaden, Deutschland: Gabler; 2009:97-126.
LibreCat: /record/8010

Baumann A, Engels G, Hofmann A, Sauer S, Willkomm J. A Holistic Software Engineering Method for Service-Oriented Application Landscape Development. In: Proceedings of the First NAF Academy Working Conference on Practice-Driven Research on Enterprise Transformation (PRET 2009), Amsterdam (The Netherlands). Vol 28. Lecture Notes in Business Information Processing. Berlin/Heidelberg: Springer; 2009:1-17. doi:http://dx.doi.org/10.1007/978-3-642-01859-6
LibreCat: /record/8011
DOI: http://dx.doi.org/10.1007/978-3-642-01859-6

Meixner G, Görlich D, Breiner K, et al. Model Driven Development of Advanced User Interfaces 2009. In: Proceedings of the 2009 International Conference on Intelligent User Interfaces. New York, NY, USA: ACM Press; 2009:503-504. doi:http://doi.acm.org/10.1145/1502650.1502737
LibreCat: /record/8012
DOI: http://doi.acm.org/10.1145/1502650.1502737

Küster J, Gerth C, Engels G. Dependent and Conflicting Change Operations of Process Models. In: Proceedings of the 5th European Conference on Model-Driven Architecture Foundations and Applications (ECMDA-FA’09). Vol 5562. LNCS. Berlin/Heidelberg: Springer; 2009:158-173. doi:http://dx.doi.org/10.1007/978-3-642-02674-4_12
LibreCat: /record/8013
DOI: http://dx.doi.org/10.1007/978-3-642-02674-4_12

Engels G, Geisen S, Sauer S, Port O. Sicherstellen der Betrachtung von nicht-funktionalen Anforderungen in SCRUM-Prozessen durch Etablierung von Feedback. In: Informatik 2009 - Im Focus Das Leben. Vol 154. Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik (GI); 2009:458.
LibreCat: /record/8014

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

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

Mlynarski M, Jureczko M. Zautomatyzowane testy akceptacyjne dla aplikacji internetowych w programowaniu sterowanym testami. In: Proceedings of Krajowa Konferencja In?Ynierii Oprogramowania 2009. Vol 3. Od modelu do wdro?enia: kierunki bada? i zastosowa? in?ynierii oprogramowania. Wydawnictwo Komunikacji if??czno?ci; 2009:294-305.
LibreCat: /record/8017

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

Soltenborn C, Engels G. Towards Test-Driven Semantics Specification. In: Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems (MODELS 2009), Denver, Colorado (USA). Vol 5795. LNCS. Berlin/Heidelberg: Springer; 2009:378-392. doi:http://dx.doi.org/10.1007/978-3-642-04425-0_30
LibreCat: /record/8019
DOI: http://dx.doi.org/10.1007/978-3-642-04425-0_30

Engels G, Fisseler D, Soltenborn C. Improving Reusability of Dynamic Meta Modeling Specifications with Rule Overriding. In: Proceedings of the 2009 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2009), Corvallis, Oregon (USA). Piscataway, NJ (USA): IEEE Computer Society; 2009:39-46. doi:http://dx.doi.org/10.1109/VLHCC.2009.5295302
LibreCat: /record/8020
DOI: http://dx.doi.org/10.1109/VLHCC.2009.5295302

Güldali B, Funke H, Jahnich M, Sauer S, Engels G. Semi-automated Test Planning for e-ID Systems by Using Requirements Clustering. In: 24th IEEE/ACM International Conference on Automated Software Engineering (ASE 2009), 16-20 November 2009, Auckland, New Zeland. ; 2009:29-39. doi:http://dx.doi.org/10.1109/ASE.2009.86
LibreCat: /record/8021
DOI: http://dx.doi.org/10.1109/ASE.2009.86

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

Biermann T, Dräxler M, Karl H. Flow Synchronization for Network Coding. Journal of Communications. 2009;(11):873--884. doi:10.4304/jcm.4.11.873-884
LibreCat: /record/814
DOI: 10.4304/jcm.4.11.873-884

Valentin S, S. Lichte H, Karl H, et al. Cooperative Wireless Networking Beyond Store-and-Forward . Wireless Personal Communications. 2009;(1):49--68. doi:10.1007/s11277-007-9429-2
LibreCat: /record/815
DOI: 10.1007/s11277-007-9429-2

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

S. Lichte H, Valentin S, von Malm H, Karl H, Bin Sediq A, Aad I. Rate-Per-Link Adaptation in Cooperative Wireless Networks with Multi-Rate Combining. In: Proceedings of IEEE International Conference on Communications, ICC 2009, Dresden, Germany, 14-18 June 2009. ; 2009:1--6. doi:10.1109/ICC.2009.5199393
LibreCat: /record/817
DOI: 10.1109/ICC.2009.5199393

Birkenheuer G, Brinkmann A, Karl H. The Gain of Overbooking. In: Job Scheduling Strategies for Parallel Processing, 14th International Workshop, JSSPP 2009, Rome, Italy, May 29, 2009. Revised Papers. ; 2009:80-100. doi:10.1007/978-3-642-04633-9_5
LibreCat: /record/818
DOI: 10.1007/978-3-642-04633-9_5

Simon Lichte H, Valentin S, Karl H, Aad I, Widmer J. Analyzing space/capacity tradeoffs of cooperative wireless networks using a probabilistic model of interference. 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:54--62. doi:10.1145/1641804.1641817
LibreCat: /record/819
DOI: 10.1145/1641804.1641817

Biermann T, Schwabe A, Karl H. Creating Butterflies in the Core - A Network Coding Extension for MPLS/RSVP-TE. In: NETWORKING 2009, 8th International IFIP-TC 6 Networking Conference, Aachen, Germany, May 11-15, 2009. Proceedings. ; 2009:883--894. doi:10.1007/978-3-642-01399-7_69
LibreCat: /record/820
DOI: 10.1007/978-3-642-01399-7_69

Lischka J, Karl H. A virtual network mapping algorithm based on subgraph isomorphism detection. In: Proceedings of the 1st ACM SIGCOMM Workshop on Virtualized Infrastructure Systems and Architectures, VISA 2009, Barcelona, Spain, August 17, 2009. ; 2009:81--88. doi:10.1145/1592648.1592662
LibreCat: /record/821
DOI: 10.1145/1592648.1592662

Gehrke M, Güldali B, Meyer J, Sancar Y, Spijkerman M. “Metriken” – Kennzahlen Zur Verbesserung Der Softwarequalität, Teile 1 Und 2. University of Paderborn, s-lab; 2009.
LibreCat: /record/8217

Gehrke M, Güldali B, Meyer J, Sancar Y, Spijkerman M. “Metriken” - Kennzahlen Zur Verbesserung Der Softwarequalität, Teile 1 Und 2. University of Paderborn, s-lab; 2009.
LibreCat: /record/8218

Yigitbas E. Evaluierung von Bewertungsmodellen Für Den Testprozess.; 2009.
LibreCat: /record/5761

Engels G. Guest Editorial to the Special Section on MODELS 2007. Software &; Systems Modeling. 2009;9(1):5-6. doi:10.1007/s10270-009-0140-5
LibreCat: /record/7365
DOI: 10.1007/s10270-009-0140-5

Spijkerman M, Eckardt T. Modellbasiertes Testen auf Basis des fundamentalen Testprozesses. Softwaretechnik-Trends. 2009;29(4).
LibreCat: /record/7366

Sauer S, Engels G, Willkomm J, Baumann A, Hofmann A. A Holistic Software Engineering Method for Service-Oriented Application Landscape Development. Advances in Enterprise Engineering II. 2009:1-17.
LibreCat: /record/7367

Engels G, Goedicke M, Goltz U, Rausch A, Reussner R. Design for Future – Legacy-Probleme von morgen vermeidbar? Informatik-Spektrum. 2009;32(5):393-397. doi:10.1007/s00287-009-0356-3
LibreCat: /record/7368
DOI: 10.1007/s00287-009-0356-3

Voigt H. Kontextsensitive Qualitätsplanung von Softwaremodellen.; 2009.
LibreCat: /record/7574

Schattkowsky T. Platform Independent Modeling of Synthesizable Software Systems Using UML 2.; 2009.
LibreCat: /record/7575

Förster A. Pattern Based Business Process Design and Verification.; 2009.
LibreCat: /record/7577

Assmann M. Model-Based Evaluation of Service-Oriented Enterprise Architectures.; 2009.
LibreCat: /record/7578

Mlynarski M, Güldali B, Späth M, Engels G. From Design Models to Test Models by Means of Test Ideas. In: MoDeVVa ’09: Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation. New York, NY, USA: ACM; 2009:1-10. doi:http://doi.acm.org/10.1145/1656485.1656492
LibreCat: /record/8431
DOI: http://doi.acm.org/10.1145/1656485.1656492

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

Salger F, Engels G, Hofmann A. Inspection Effectiveness for Different Quality Attributes of Software Requirement Specifications - An Industrial Case Study. In: Proceedings of the ICSE Workshop on Software Quality (WoSQ 2009). ; 2009:15-21.
LibreCat: /record/8433

Salger F, Sauer S, Engels G. An Integrated Quality Assurance Framework for Specifying Business Information Systems. In: Proceedings of the Forum at the CAiSE 2009 Conference, Amsterdam (The Netherlands). Vol 453. CEUR; 2009:25-30.
LibreCat: /record/8434

Soltenborn C, Engels G. Towards Generalizing Visual Process Pattern. In: Proceedings of the 1st International Workshop on Visual Formalisms for Patterns (VFfP 2009), Corvallis, OR (USA). Vol 25. Electronic Communications of the EASST. European Association of Software Science and Technology; 2009.
LibreCat: /record/8435

von der Maßen T, Wübbeke A. Lösungsorientierte Software Produktlinienentwicklung in heterogenen Systemlandschaften. In: Proceedings of Produktlinien Im Kontext (PIK09). Hildesheimer Informatikberichte. ; 2009:15-23.
LibreCat: /record/8436

Kakvi S. Reinforcement Learning for Blackjack. In: Lecture Notes in Computer Science. Berlin, Heidelberg; 2009. doi:10.1007/978-3-642-04052-8_43
LibreCat: /record/9616
DOI: 10.1007/978-3-642-04052-8_43

Kutyowski J, Meyer auf der Heide F. Optimal strategies for maintaining a chain of relays between an explorer and a base camp. Theoretical Computer Science. 2009:3391-3405. doi:10.1016/j.tcs.2008.04.010
LibreCat: /record/16429
DOI: 10.1016/j.tcs.2008.04.010

Mehler J, Meyer auf der Heide F. Power-aware online file allocation in mobile ad hoc networks. In: Proceedings of the Twenty-First Annual Symposium on Parallelism in Algorithms and Architectures - SPAA ’09. ; 2009. doi:10.1145/1583991.1584072
LibreCat: /record/16430
DOI: 10.1145/1583991.1584072

Meyer auf der Heide F, Bender MA, eds. Proceedings of the Twenty-First Annual Symposium on Parallelism in Algorithms and Architectures - SPAA ’09.; 2009. doi:10.1145/1583991
LibreCat: /record/16431
DOI: 10.1145/1583991

Domik G. Who is on my Team: Building strong Teams in Interdisciplinary Visualization Courses . In: ACM SIGGRAPH ASIA 2009 Educators Program. Vol 1. SIGGRAPH ASIA ’09. New York, NY, USA: Association for Computing Machinery; 2009. doi:10.1145/1666611.1666620
LibreCat: /record/16637
DOI: 10.1145/1666611.1666620

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

Kostin A. Evolvable Robot Controller. Paderborn University; 2009.
LibreCat: /record/10702

Lübbers E, Platzner M. ReconOS: Multithreaded Programming for Reconfigurable Computers. ACM Transactions on Embedded Computing Systems. 2009;9(1):8:1-8:33. doi:10.1145/1596532.1596540
LibreCat: /record/10703
DOI: 10.1145/1596532.1596540

Tofall M. Compiler for a Custom Instruction Set CPU. Paderborn University; 2009.
LibreCat: /record/10746

Warkentin A. Coarse-Grained CGP Model Using Xilinx Virte DSE Functional Units. Paderborn University; 2009.
LibreCat: /record/10749

Wildenhain B. Implementierung von Kryptographie-Hardwarebeschleunigern Für Das HW/SW-Betriebssystem ReconOS. Paderborn University; 2009.
LibreCat: /record/10753

Ghasemzadeh Mohammadi H, Miremadi SG, Ejlali A. Signature Self Checking (SSC): A Low-Cost Reliable Control Logic for Pipelined Microprocessors. In: Dependable Computing (PRDC), 2009 IEEE Pacific Rim International Symposium On. IEEE; 2009:252-255. doi:10.1109/PRDC.2009.69
LibreCat: /record/10777
DOI: 10.1109/PRDC.2009.69

Sommer C, Dietrich I, Dressler F. Simulation of Ad Hoc Routing Protocols using OMNeT++. Mobile Networks and Applications. 2009:786-801. doi:10.1007/s11036-009-0174-5
LibreCat: /record/12060
DOI: 10.1007/s11036-009-0174-5

Börstler J, S. Hall M, Nordström M, et al. An evaluation of object oriented example programs in introductory programming textbooks. SIGCSE Bulletin. 2009;41(4):126-143.
LibreCat: /record/15680

Schulte C, Tolksdorf R. Qualitätssicherung in einer interaktiven und lerneraktivierenden E-Learning-Umgebung. In: DeLFI Workshops. Logos Verlag; 2009:219-225.
LibreCat: /record/15681

Ehlert A, Schulte C. Empirical comparison of objects-first and objects-later. In: ICER. ACM; 2009:15-26.
LibreCat: /record/15682