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

Kolman, Petr, and Christian Scheideler. “Towards Duality of Multicommodity Multiroute Cuts and Flows: Multilevel Ball-Growing.”10.1007/s00224-013-9454-3__Theory of Computing Systems, no. 2, Springer, 2013, pp. 341–63, doi:10.1007/s00224-013-9454-3.
LibreCat: /record/476
DOI: 10.1007/s00224-013-9454-3

Abshoff, Sebastian, et al. “Token Dissemination in Geometric Dynamic Networks.”10.1007/978-3-642-45346-5_3__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, 2013, pp. 22–34, doi:10.1007/978-3-642-45346-5_3.
LibreCat: /record/477
DOI: 10.1007/978-3-642-45346-5_3

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

Graffi, Kalman, and Lars Bremer. “Symbiotic Coupling of P and Cloud Systems: The Wikipedia Case.”10.1109/ICC.2013.6655082__Proceedings of the International Conference on Communications (ICC’13), 2013, pp. 3444–49, doi:10.1109/ICC.2013.6655082.
LibreCat: /record/481
DOI: 10.1109/ICC.2013.6655082

Platenius, Marie Christin, et al. “Service Matching under Consideration of Explicitly Specified Service Variants.”10.1109/ICWS.2013.98__IEEE 20th International Conference on Web Services (ICWS 2013), 2013, pp. 613–14, doi:10.1109/ICWS.2013.98.
LibreCat: /record/484
DOI: 10.1109/ICWS.2013.98

Mohr, Felix, and Hans Kleine Büning. “Semi-Automated Software Composition Through Generated Components.”10.1145/2539150.2539235__Proceedings of the 15th International Conference on Information Integration and Web-Based Applications &; Services (IiWAS), 2013, pp. 676–80, doi:10.1145/2539150.2539235.
LibreCat: /record/485
DOI: 10.1145/2539150.2539235

Otte, Oliver. Seitenkanalresistenz paarungsbasierter Kryptographie. Universität Paderborn, 2013.
LibreCat: /record/486

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

Blömer, Johannes, et al. “Securing Critical Unattended Systems with Identity Based Cryptography - A Case Study.” Proceedings of the 5th International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS), 2013, pp. 98–105.
LibreCat: /record/488

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

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

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

Mohr, Felix, et al. “Reducing Nondeterminism in Automated Service Composition.”10.1109/SOCA.2013.25__Proceedings of the 6th International Conference on Service Oriented Computing and Applications (SOCA), 2013, pp. 154–61, doi:10.1109/SOCA.2013.25.
LibreCat: /record/495
DOI: 10.1109/SOCA.2013.25

Benter, Markus, et al. “Reactive Planar Spanner Construction in Wireless Ad Hoc and Sensor Networks.”10.1109/INFCOM.2013.6567022__Proceedings of the 32nd IEEE International Conference on Computer Communications (INFOCOM), 2013, pp. 2193–201, doi:10.1109/INFCOM.2013.6567022.
LibreCat: /record/496
DOI: 10.1109/INFCOM.2013.6567022

Wonisch, Daniel, et al. “Programs from Proofs – A PCC Alternative.”10.1007/978-3-642-39799-8_65__Proceedings of the 25th International Conference on Computer Aided Verification (CAV), 2013, pp. 912–27, doi:10.1007/978-3-642-39799-8_65.
LibreCat: /record/498
DOI: 10.1007/978-3-642-39799-8_65

Kling, Peter, and Peter Pietrzyk. “Profitable Scheduling on Multiple Speed-Scalable Processors.”10.1145/2486159.2486183__Proceedings of the 25th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), 2013, pp. 251–60, doi:10.1145/2486159.2486183.
LibreCat: /record/499
DOI: 10.1145/2486159.2486183

de Lemos, Rogrio, et al. “Software Engineering for Self-Adaptive Systems: A Second Research Roadmap.”10.1007/978-3-642-35813-5_1__Software Engineering for Self-Adaptive Systems II, 2013, pp. 1–32, doi:10.1007/978-3-642-35813-5_1.
LibreCat: /record/7271
DOI: 10.1007/978-3-642-35813-5_1

Bouillon, Elke, et al. “Leichtgewichtige Traceability Im Agilen Entwicklungsprozess Am Beispiel von Scrum.” Softwaretechnik-Trends, vol. 33, no. 1, 2013, pp. 29–30.
LibreCat: /record/7272

Grieger, Marvin, et al. “Testen Bei Migrationsprojekten.” OBJEKTspektrum (Online Themenspecials), 2013, pp. 1–4.
LibreCat: /record/7273

Fazal-Baqaie, Masud, et al. “Maßgeschneidert Und Werkzeugunterstützt Entwickeln Angepasster Requirements Engineering-Methoden.” OBJEKTspektrum (Online Themenspecials), no. RE/2013, 2013, pp. 1–5.
LibreCat: /record/7274

Engels, Gregor, and Markus Luckey. “Editorial.” Computer Science - Research and Development, vol. 28, no. 1, 2013, pp. 1–2.
LibreCat: /record/7275

Engels, Gregor, et al. “Informationstechnik Spart Ressourcen.” Forschungsforum Paderborn, vol. 16/2013, 2013, pp. 54–61.
LibreCat: /record/7276

Gerth, Christian, et al. “Detection and Resolution of Conflicting Change Operations in Version Management of Process Models.” Software and Systems Modeling, vol. 12, no. 3, 2013, pp. 517–35.
LibreCat: /record/7277

Faragó, David, et al. “Wirtschaftlichkeitsberechnung Für MBT: Wann Sich Modellbasiertes Testen Lohnt.” OBJEKTspektrum, vol. 4, 2013, pp. 32–38.
LibreCat: /record/7278

Engels, Gregor, and Stefan Sauer. “Object-Oriented Modeling of Multimedia Applications.”https://doi.org/10.1142/4603__Handbook of Software Engineering and Knowledge Engineering, edited by S K Chang, vol. 2, World Scientific Publishing Company, 2013, pp. 21--53, doi:https://doi.org/10.1142/4603.
LibreCat: /record/7523
DOI: https://doi.org/10.1142/4603

Soltenborn, Christian. 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, Christian. Business Process Models - Change Management. 2013.
LibreCat: /record/7571

Biermann, Thorsten, et al. “How Backhaul Networks Influence the Feasibility of Coordinated Multipoint in Cellular Networks.”10.1109/MCOM.2013.6576356__IEEE Communications Magazine, no. 8, 2013, doi:10.1109/MCOM.2013.6576356.
LibreCat: /record/769
DOI: 10.1109/MCOM.2013.6576356

Spijkerman, Michael. “Ein Pragmatischer Ansatz Zur Entwicklung Situationsgerechter Entwicklungsmethoden.” Software Engineering 2013 - Workshopband (Inkl. Doktorandensymposium) SE 2013 (to Appear), vol. 215, GI, 2013, pp. 425--434.
LibreCat: /record/8485

Nagel , Benjamin, et al. “KaoSOA - Extending KAOS Models with Temporal and Logical Dependencies.” Proceedings of the CAiSE’13 Forum at the 25th International Conference on Advanced Information Systems Engineering (CAiSE’13), vol. 998, CEUR-WS.org, 2013, pp. 9--16.
LibreCat: /record/8486

Kehrer , Timo, and Christian Gerth. “CVSM 2013 Challenge: Recognizing High-Level Edit Operations in Evolving Models.” Proceedings of the Workshop on Comparison and Versioning of Software Models (CVSM’13), vol. 33, no. 2, FG Softwaretechnik, Gesellschaft für Informatik e.v. (GI), 2013, pp. 32–34.
LibreCat: /record/8487

Grieger , Marvin, and Stefan Sauer. “Wiederverwendbarkeit von Migrationswissen Durch Techniken Der Modellgetriebenen Softwareentwicklung.” Software Engineering 2013 Workshopband, GI, Köllen Druck+Verlag GmbH, Bonn, 2013, pp. 189–200.
LibreCat: /record/8488

Nagel , Benjamin, et al. “Goal-Driven Composition of Business Process Models.” Proceedings of the 9th Workshop on Engineering Service-Oriented Applications (WESOA 2013) (Accepted for Application), 2013.
LibreCat: /record/8489

Fazal-Baqaie , Masud, et al. “Assembly-Based Method Engineering with Method Patterns.” Software Engineering 2013 Workshopband, GI, Köllen Druck+Verlag GmbH, Bonn, 2013, pp. 435–44.
LibreCat: /record/8490

Göller, Robin, et al. “Instrumentenentwicklung Zur Messung von Lernstrategien in Mathematikhaltigen Studiengängen.” Beiträge Zum Mathematikunterricht 2013: Vorträge Auf Der 47. Tagung Für Didaktik Der Mathematik, edited by Gilbert Greefrath, WTM-Verlag, 2013, pp. 360–63.
LibreCat: /record/8547

Kolter, Jana, and Michael Liebendörfer. “Mathe – Nein Danke? Interesse Im Und Am Mathematikstudium Bei Grundschullehramtsstudierenden Mit Pflichtfach.” Mathematik Im Übergang Schule / Hochschule Und Im Ersten Studienjahr, 2013, pp. 101–02.
LibreCat: /record/8549

Liebendörfer, Michael, and Reinhard Hochmuth. “Interest and Self-Determination in the Transition to Studying Mathematics.” Proceedings of the 37th Conference of the International Group for the Psychology of Mathematics Education, edited by Anke Lindmeier and Aiso Heinze, vol. 5, 2013, p. 240.
LibreCat: /record/8551

Liebendörfer, Michael, and Reinhard Hochmuth. “Interest in Mathematics and the First Steps at the University.” Proceedings of the 8th Conference of European Research in Mathematics Education, edited by Behiye Ubuz et al., Middle East Technical University, 2013, pp. 2386–95.
LibreCat: /record/8553

Brassat, Katharina, et al. “Self-Organization of Nanospheres in Trenches on Silicon Surfaces.”10.1002/pssa.201200899__Physica Status Solidi (A), vol. 210, no. 8, Wiley, 2013, pp. 1485–89, doi:10.1002/pssa.201200899.
LibreCat: /record/4098
DOI: 10.1002/pssa.201200899

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

Engels, Gregor. “On-The-Fly Computing -- Das Entwicklungs- Und Betriebsparadigma FürSoftwaresysteme Der Zukunft.” Proceedings of the Multikonferenz Sofware Engineering 2013 (SE 2013), 2013, pp. 17–18.
LibreCat: /record/506

Abshoff, Sebastian, et al. “On Two-Party Communication Through Dynamic Networks.”10.1007/978-3-319-03850-6_2__Proceedings of the 17th International Conference on Principles of Distributed Systems (OPODIS), 2013, pp. 11–22, doi:10.1007/978-3-319-03850-6_2.
LibreCat: /record/507
DOI: 10.1007/978-3-319-03850-6_2

Wette, Philip, and Holger Karl. “On the Quality of Selfish Virtual Topology Reconfiguration in IP-over-WDM Networks.”10.1109/LANMAN.2013.6528271__Proceedings of the 19th IEEE International Workshop on Local and Metropolitan Area Networks (IEEE LANMAN), 2013, pp. 1–6, doi:10.1109/LANMAN.2013.6528271.
LibreCat: /record/508
DOI: 10.1109/LANMAN.2013.6528271

Autenrieth, Marcus, and Hannes Frey. “On Greedy Routing in Degree-Bounded Graphs over d-Dimensional Internet Coordinate Embeddings.”10.1109/NetSys.2013.10__Proceedings of the Conference on Networked Systems (NetSys), 2013, pp. 126–31, doi:10.1109/NetSys.2013.10.
LibreCat: /record/509
DOI: 10.1109/NetSys.2013.10

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

Avin, Chen, et al. “Locally Self-Adjusting Tree Networks.”10.1109/IPDPS.2013.40__Proceedings of the 27th IEEE International Parallel and Distributed Processing Symposium (IPDPS), 2013, pp. 395–406, doi:10.1109/IPDPS.2013.40.
LibreCat: /record/513
DOI: 10.1109/IPDPS.2013.40

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

Walther, Sven, and Heike Wehrheim. “Knowledge-Based Verification of Service Compositions - An SMT Approach.”10.1109/ICECCS.2013.14__Proceedings of the 18th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS), 2013, pp. 24–32, doi:10.1109/ICECCS.2013.14.
LibreCat: /record/517
DOI: 10.1109/ICECCS.2013.14

Eikel, Martina, and Christian Scheideler. “IRIS: A Robust Information System Against Insider DoS-Attacks.”10.1145/2486159.2486186__Proceedings of the 25th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), 2013, pp. 119–29, doi:10.1145/2486159.2486186.
LibreCat: /record/519
DOI: 10.1145/2486159.2486186