Wette P, Karl H. Which Flows Are Hiding Behind My Wildcard Rule? Adding Packet Sampling to OpenFlow. In: Proceedings of the ACM SIGCOMM ’13. Digital Library. ; 2013:541-542. doi:10.1145/2486001.2491710
LibreCat: /record/470
DOI: 10.1145/2486001.2491710

Tezer A. Verteilte Erstellung und Aktualisierung von Schlüsselservern in identitätsbasierten Verschlüsselungssystemen. Universität Paderborn; 2013.
LibreCat: /record/471

Kolman P, Scheideler C. Towards Duality of Multicommodity Multiroute Cuts and Flows: Multilevel Ball-Growing. Theory of Computing Systems. 2013;(2):341-363. doi:10.1007/s00224-013-9454-3
LibreCat: /record/476
DOI: 10.1007/s00224-013-9454-3

Abshoff S, Benter M, Cord-Landwehr A, Malatyali M, Meyer auf der Heide F. Token Dissemination in Geometric Dynamic Networks. In: Algorithms for Sensor Systems - 9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, ALGOSENSORS 2013, Sophia Antipolis, France, September 5-6, 2013, Revised Selected Papers. Lecture Notes in Computer Science. ; 2013:22-34. doi:10.1007/978-3-642-45346-5_3
LibreCat: /record/477
DOI: 10.1007/978-3-642-45346-5_3

Timm N. Three-Valued Abstraction and Heuristic-Guided Refinement for Verifying Concurrent Systems. Universität Paderborn; 2013.
LibreCat: /record/478

Graffi K, Bremer L. Symbiotic Coupling of P and Cloud Systems: The Wikipedia Case. In: Proceedings of the International Conference on Communications (ICC’13). ; 2013:3444-3449. doi:10.1109/ICC.2013.6655082
LibreCat: /record/481
DOI: 10.1109/ICC.2013.6655082

Platenius MC, von Detten M, Gerth C, Schäfer W, Engels G. Service Matching under Consideration of Explicitly Specified Service Variants. In: IEEE 20th International Conference on Web Services (ICWS 2013). ; 2013:613-614. doi:10.1109/ICWS.2013.98
LibreCat: /record/484
DOI: 10.1109/ICWS.2013.98

Mohr F, Kleine Büning H. Semi-Automated Software Composition Through Generated Components. In: Proceedings of the 15th International Conference on Information Integration and Web-Based Applications &; Services (IiWAS). ; 2013:676-680. doi:10.1145/2539150.2539235
LibreCat: /record/485
DOI: 10.1145/2539150.2539235

Otte O. Seitenkanalresistenz paarungsbasierter Kryptographie. Universität Paderborn; 2013.
LibreCat: /record/486

Bobolz J. Security Proofs for Pairing-Based Cryptography in the Generic Group Model. Universität Paderborn; 2013.
LibreCat: /record/487

Blömer J, Günther P, Krummel V. Securing Critical Unattended Systems with Identity Based Cryptography - A Case Study. In: Proceedings of the 5th International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS). ; 2013:98-105.
LibreCat: /record/488

Wallaschek F. Routing in heterogenen OpenFlow Netzwerken. Universität Paderborn; 2013.
LibreCat: /record/490

Robbert C. Ressource-Optimized Deployment of Multi-Tier Applications - The Data Rate-Constrained Case. Universität Paderborn; 2013.
LibreCat: /record/492

von Detten M. Reengineering of Component-Based Software Systems in the Presence of Design Deficiencies. Universität Paderborn; 2013.
LibreCat: /record/494

Mohr F, Lettmann T, Kleine Büning H. Reducing Nondeterminism in Automated Service Composition. In: Proceedings of the 6th International Conference on Service Oriented Computing and Applications (SOCA). ; 2013:154-161. doi:10.1109/SOCA.2013.25
LibreCat: /record/495
DOI: 10.1109/SOCA.2013.25

Benter M, Neumann F, Frey H. Reactive Planar Spanner Construction in Wireless Ad Hoc and Sensor Networks. In: Proceedings of the 32nd IEEE International Conference on Computer Communications (INFOCOM). ; 2013:2193-2201. doi:10.1109/INFCOM.2013.6567022
LibreCat: /record/496
DOI: 10.1109/INFCOM.2013.6567022

Wonisch D, Schremmer A, Wehrheim H. Programs from Proofs – A PCC Alternative. In: Proceedings of the 25th International Conference on Computer Aided Verification (CAV). LNCS. ; 2013:912-927. doi:10.1007/978-3-642-39799-8_65
LibreCat: /record/498
DOI: 10.1007/978-3-642-39799-8_65

Kling P, Pietrzyk P. Profitable Scheduling on Multiple Speed-Scalable Processors. In: Proceedings of the 25th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA). ; 2013:251-260. doi:10.1145/2486159.2486183
LibreCat: /record/499
DOI: 10.1145/2486159.2486183

de Lemos R, Giese H, A. Müller H, et al. Software Engineering for Self-Adaptive Systems: A Second Research Roadmap. Software Engineering for Self-Adaptive Systems II. 2013:1-32. doi:10.1007/978-3-642-35813-5_1
LibreCat: /record/7271
DOI: 10.1007/978-3-642-35813-5_1

Bouillon E, Güldali B, Herrmann A, Keuler T, Moldt D, Riebisch M. Leichtgewichtige Traceability im agilen Entwicklungsprozess am Beispiel von Scrum. Softwaretechnik-Trends. 2013;33(1):29-30.
LibreCat: /record/7272

Grieger M, Güldali B, Sauer S, Mlynarski M. Testen bei Migrationsprojekten. OBJEKTspektrum (Online Themenspecials). 2013:1-4.
LibreCat: /record/7273

Fazal-Baqaie M, Güldali B, Luckey M, Sauer S, Spijkerman M. Maßgeschneidert und werkzeugunterstützt Entwickeln angepasster Requirements Engineering-Methoden. OBJEKTspektrum (Online Themenspecials). 2013;(RE/2013):1-5.
LibreCat: /record/7274

Engels G, Luckey M. Editorial. Computer Science - Research and Development. 2013;28(1):1-2.
LibreCat: /record/7275

Engels G, Gerth C, Kleinjohann B, Kleinjohann L, Müller W, Sauer S. Informationstechnik spart Ressourcen. Forschungsforum Paderborn. 2013;16/2013:54-61.
LibreCat: /record/7276

Gerth C, Küster J, Luckey M, Engels G. Detection and Resolution of Conflicting Change Operations in Version Management of Process Models. Software and Systems Modeling. 2013;12(3):517-535.
LibreCat: /record/7277

Faragó D, Törsel A-M, Mlynarski M, Weißleder S, Güldali B, Brandes C. Wirtschaftlichkeitsberechnung für MBT: Wann sich modellbasiertes Testen lohnt. OBJEKTspektrum. 2013;4:32-38.
LibreCat: /record/7278

Engels G, Sauer S. Object-oriented Modeling of Multimedia Applications. In: Chang SK, ed. Handbook of Software Engineering and Knowledge Engineering. Vol 2. Singapore: World Scientific Publishing Company; 2013:21--53. doi:https://doi.org/10.1142/4603
LibreCat: /record/7523
DOI: https://doi.org/10.1142/4603

Soltenborn C. Quality Assurance with Dynamic Meta Modeling. Universität Paderborn; 2013. doi:http://nbn-resolving.de/urn:nbn:de:hbz:466:2-12420
LibreCat: /record/7569
DOI: http://nbn-resolving.de/urn:nbn:de:hbz:466:2-12420

Gerth C. Business Process Models - Change Management.; 2013.
LibreCat: /record/7571

Biermann T, Scalia L, Choi C, Kellerer W, Karl H. How backhaul networks influence the feasibility of coordinated multipoint in cellular networks. IEEE Communications Magazine. 2013;(8). doi:10.1109/MCOM.2013.6576356
LibreCat: /record/769
DOI: 10.1109/MCOM.2013.6576356

Spijkerman M. Ein pragmatischer Ansatz zur Entwicklung situationsgerechter Entwicklungsmethoden. In: Software Engineering 2013 - Workshopband (Inkl. Doktorandensymposium) SE 2013 (to Appear). Vol 215. LNI. GI; 2013:425--434.
LibreCat: /record/8485

Nagel  B, Gerth  C, Post J, Engels G. KaoSOA - Extending KAOS Models with Temporal and Logical Dependencies. In: Proceedings of the CAiSE’13 Forum at the 25th International Conference on Advanced Information Systems Engineering (CAiSE’13). Vol 998. CEUR Workshop Proceedings. CEUR-WS.org; 2013:9--16.
LibreCat: /record/8486

Kehrer  T, Gerth C. CVSM 2013 Challenge: Recognizing High-level Edit Operations in Evolving Models. In: Proceedings of the Workshop on Comparison and Versioning of Software Models (CVSM’13). Vol 33. Softwaretechnik-Trends. FG Softwaretechnik, Gesellschaft für Informatik e.v. (GI); 2013:32-34.
LibreCat: /record/8487

Grieger  M, Sauer S. Wiederverwendbarkeit von Migrationswissen durch Techniken der modellgetriebenen Softwareentwicklung. In: Software Engineering 2013 Workshopband. GI, Köllen Druck+Verlag GmbH, Bonn; 2013:189-200.
LibreCat: /record/8488

Nagel  B, Gerth  C, Engels G. Goal-driven Composition of Business Process Models. In: Proceedings of the 9th Workshop on Engineering Service-Oriented Applications (WESOA 2013) (Accepted for Application). ; 2013.
LibreCat: /record/8489

Fazal-Baqaie  M, Luckey  M, Engels G. Assembly-based Method Engineering with Method Patterns. In: Software Engineering 2013 Workshopband. GI, Köllen Druck+Verlag GmbH, Bonn; 2013:435-444.
LibreCat: /record/8490

Göller R, Kortemeyer J, Liebendörfer M, et al. Instrumentenentwicklung zur Messung von Lernstrategien in mathematikhaltigen Studiengängen. In: Greefrath G, ed. Beiträge Zum Mathematikunterricht 2013: Vorträge Auf Der 47. Tagung Für Didaktik Der Mathematik. Münster: WTM-Verlag; 2013:360-363.
LibreCat: /record/8547

Kolter J, Liebendörfer M. Mathe – nein danke? Interesse im und am Mathematikstudium bei Grundschullehramtsstudierenden mit Pflichtfach. In: Mathematik Im Übergang Schule / Hochschule Und Im Ersten Studienjahr. Kassel; 2013:101-102.
LibreCat: /record/8549

Liebendörfer M, Hochmuth R. Interest and Self-Determination in the Transition to Studying Mathematics. In: Lindmeier A, Heinze A, eds. Proceedings of the 37th Conference of the International Group for the Psychology of Mathematics Education. Vol 5. Kiel; 2013:240.
LibreCat: /record/8551

Liebendörfer M, Hochmuth R. Interest in Mathematics and the First Steps at the University. In: Ubuz B, Haser Ç, Mariotti MA, eds. Proceedings of the 8th Conference of European Research in Mathematics Education. Ankara: Middle East Technical University; 2013:2386-2395.
LibreCat: /record/8553

Brassat K, Assion F, Hilleringmann U, Lindner J. Self-organization of nanospheres in trenches on silicon surfaces. physica status solidi (a). 2013;210(8):1485-1489. doi:10.1002/pssa.201200899
LibreCat: /record/4098
DOI: 10.1002/pssa.201200899

Happe M. Performance and Thermal Management on Self-Adaptive Hybrid Multi-Cores. Berlin: Logos Verlag Berlin GmbH; 2013.
LibreCat: /record/501

Engels G. On-The-Fly Computing -- Das Entwicklungs- und Betriebsparadigma fürSoftwaresysteme der Zukunft. In: Proceedings of the Multikonferenz Sofware Engineering 2013 (SE 2013). LNI. ; 2013:17-18.
LibreCat: /record/506

Abshoff S, Benter M, Malatyali M, Meyer auf der Heide F. On Two-Party Communication Through Dynamic Networks. In: Proceedings of the 17th International Conference on Principles of Distributed Systems (OPODIS). LNCS. ; 2013:11-22. doi:10.1007/978-3-319-03850-6_2
LibreCat: /record/507
DOI: 10.1007/978-3-319-03850-6_2

Wette P, Karl H. On the Quality of Selfish Virtual Topology Reconfiguration in IP-over-WDM Networks. In: Proceedings of the 19th IEEE International Workshop on Local and Metropolitan Area Networks (IEEE LANMAN). ; 2013:1-6. doi:10.1109/LANMAN.2013.6528271
LibreCat: /record/508
DOI: 10.1109/LANMAN.2013.6528271

Autenrieth M, Frey H. On Greedy Routing in Degree-bounded Graphs over d-Dimensional Internet Coordinate Embeddings. In: Proceedings of the Conference on Networked Systems (NetSys). ; 2013:126-131. doi:10.1109/NetSys.2013.10
LibreCat: /record/509
DOI: 10.1109/NetSys.2013.10

Splietker M. MapReduce in Software Defined Networks. Universität Paderborn; 2013.
LibreCat: /record/511

Avin C, Häupler B, Lotker Z, Scheideler C, Schmid S. Locally Self-Adjusting Tree Networks. In: Proceedings of the 27th IEEE International Parallel and Distributed Processing Symposium (IPDPS). ; 2013:395-406. doi:10.1109/IPDPS.2013.40
LibreCat: /record/513
DOI: 10.1109/IPDPS.2013.40

Pietrzyk P. Local and Online Algorithms for Facility Location. Universität Paderborn; 2013.
LibreCat: /record/514

Walther S, Wehrheim H. Knowledge-Based Verification of Service Compositions - An SMT approach. In: Proceedings of the 18th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS). ; 2013:24-32. doi:10.1109/ICECCS.2013.14
LibreCat: /record/517
DOI: 10.1109/ICECCS.2013.14