Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
9720 Publications
2013 | Bachelorsthesis | LibreCat-ID: 471
Tezer, Alina. Verteilte Erstellung und Aktualisierung von Schlüsselservern in identitätsbasierten Verschlüsselungssystemen. Universität Paderborn, 2013.
LibreCat
2013 | Journal Article | LibreCat-ID: 476
Kolman, Petr, and Christian Scheideler. “Towards Duality of Multicommodity Multiroute Cuts and Flows: Multilevel Ball-Growing.” Theory of Computing Systems, no. 2 (2013): 341–63. https://doi.org/10.1007/s00224-013-9454-3.
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 477
Abshoff, Sebastian, Markus Benter, Andreas Cord-Landwehr, Manuel Malatyali, and Friedhelm Meyer auf der Heide. “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, 22–34. Lecture Notes in Computer Science, 2013. https://doi.org/10.1007/978-3-642-45346-5_3.
LibreCat
| Files available
| DOI
2013 | Dissertation | LibreCat-ID: 478
Timm, Nils. Three-Valued Abstraction and Heuristic-Guided Refinement for Verifying Concurrent Systems. Universität Paderborn, 2013.
LibreCat
| Files available
2013 | Conference Paper | LibreCat-ID: 481
Graffi, Kalman, and Lars Bremer. “Symbiotic Coupling of P2P and Cloud Systems: The Wikipedia Case.” In Proceedings of the International Conference on Communications (ICC’13), 3444–49, 2013. https://doi.org/10.1109/ICC.2013.6655082.
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 484
Platenius, Marie Christin, Markus von Detten, Christian Gerth, Wilhelm Schäfer, and Gregor Engels. “Service Matching under Consideration of Explicitly Specified Service Variants.” In IEEE 20th International Conference on Web Services (ICWS 2013), 613–14, 2013. https://doi.org/10.1109/ICWS.2013.98.
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 485
Mohr, Felix, and Hans Kleine Büning. “Semi-Automated Software Composition Through Generated Components.” In Proceedings of the 15th International Conference on Information Integration and Web-Based Applications & Services (IiWAS), 676–80, 2013. https://doi.org/10.1145/2539150.2539235.
LibreCat
| Files available
| DOI
2013 | Bachelorsthesis | LibreCat-ID: 486
Otte, Oliver. Seitenkanalresistenz paarungsbasierter Kryptographie. Universität Paderborn, 2013.
LibreCat
2013 | Bachelorsthesis | LibreCat-ID: 487 | 
Bobolz, Jan. Security Proofs for Pairing-Based Cryptography in the Generic Group Model. Universität Paderborn, 2013.
LibreCat
| Files available
2013 | Conference Paper | LibreCat-ID: 488
Blömer, Johannes, Peter Günther, and Volker Krummel. “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), 98–105, 2013.
LibreCat
| Files available
2013 | Bachelorsthesis | LibreCat-ID: 490
Wallaschek, Felix. Routing in heterogenen OpenFlow Netzwerken. Universität Paderborn, 2013.
LibreCat
2013 | Bachelorsthesis | LibreCat-ID: 492
Robbert, Christoph. Ressource-Optimized Deployment of Multi-Tier Applications - The Data Rate-Constrained Case. Universität Paderborn, 2013.
LibreCat
2013 | Dissertation | LibreCat-ID: 494
Detten, Markus von. Reengineering of Component-Based Software Systems in the Presence of Design Deficiencies. Universität Paderborn, 2013.
LibreCat
| Files available
2013 | Conference Paper | LibreCat-ID: 495
Mohr, Felix, Theodor Lettmann, and Hans Kleine Büning. “Reducing Nondeterminism in Automated Service Composition.” In Proceedings of the 6th International Conference on Service Oriented Computing and Applications (SOCA), 154–61, 2013. https://doi.org/10.1109/SOCA.2013.25.
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 496
Benter, Markus, Florentin Neumann, and Hannes Frey. “Reactive Planar Spanner Construction in Wireless Ad Hoc and Sensor Networks.” In Proceedings of the 32nd IEEE International Conference on Computer Communications (INFOCOM), 2193–2201, 2013. https://doi.org/10.1109/INFCOM.2013.6567022.
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 498
Wonisch, Daniel, Alexander Schremmer, and Heike Wehrheim. “Programs from Proofs – A PCC Alternative.” In Proceedings of the 25th International Conference on Computer Aided Verification (CAV), 912–27. LNCS, 2013. https://doi.org/10.1007/978-3-642-39799-8_65.
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 499
Kling, Peter, and Peter Pietrzyk. “Profitable Scheduling on Multiple Speed-Scalable Processors.” In Proceedings of the 25th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), 251–60, 2013. https://doi.org/10.1145/2486159.2486183.
LibreCat
| Files available
| DOI
2013 | Journal Article | LibreCat-ID: 7271
Lemos, Rogrio de, Holger Giese, Hausi A. Müller, Mary Shaw, Jesper Andersson, Marin Litoiu, Bradley Schmerl, et al. “Software Engineering for Self-Adaptive Systems: A Second Research Roadmap.” Software Engineering for Self-Adaptive Systems II, 2013, 1–32. https://doi.org/10.1007/978-3-642-35813-5_1.
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 7272
Bouillon, Elke, Baris Güldali, Andrea Herrmann, Thorsten Keuler, Daniel Moldt, and Matthias Riebisch. “Leichtgewichtige Traceability Im Agilen Entwicklungsprozess Am Beispiel von Scrum.” Softwaretechnik-Trends 33, no. 1 (2013): 29–30.
LibreCat
2013 | Journal Article | LibreCat-ID: 7273
Grieger, Marvin, Baris Güldali, Stefan Sauer, and Michael Mlynarski. “Testen Bei Migrationsprojekten.” OBJEKTspektrum (Online Themenspecials), 2013, 1–4.
LibreCat
2013 | Journal Article | LibreCat-ID: 7274
Fazal-Baqaie, Masud, Baris Güldali, Markus Luckey, Stefan Sauer, and Michael Spijkerman. “Maßgeschneidert Und Werkzeugunterstützt Entwickeln Angepasster Requirements Engineering-Methoden.” OBJEKTspektrum (Online Themenspecials), no. RE/2013 (2013): 1–5.
LibreCat
2013 | Journal Article | LibreCat-ID: 7275
Engels, Gregor, and Markus Luckey. “Editorial.” Computer Science - Research and Development 28, no. 1 (2013): 1–2.
LibreCat
2013 | Journal Article | LibreCat-ID: 7276
Engels, Gregor, Christian Gerth, Bernd Kleinjohann, Lisa Kleinjohann, Wolfgang Müller, and Stefan Sauer. “Informationstechnik Spart Ressourcen.” Forschungsforum Paderborn 16/2013 (2013): 54–61.
LibreCat
2013 | Journal Article | LibreCat-ID: 7277
Gerth, Christian, Jochen Küster, Markus Luckey, and Gregor Engels. “Detection and Resolution of Conflicting Change Operations in Version Management of Process Models.” Software and Systems Modeling 12, no. 3 (2013): 517–35.
LibreCat
2013 | Journal Article | LibreCat-ID: 7278
Faragó, David, Arne-Michael Törsel, Michael Mlynarski, Stephan Weißleder, Baris Güldali, and Christian Brandes. “Wirtschaftlichkeitsberechnung Für MBT: Wann Sich Modellbasiertes Testen Lohnt.” OBJEKTspektrum 4 (2013): 32–38.
LibreCat
2013 | Book Chapter | LibreCat-ID: 7523
Engels, Gregor, and Stefan Sauer. “Object-Oriented Modeling of Multimedia Applications.” In Handbook of Software Engineering and Knowledge Engineering, edited by S K Chang, 2:21--53. Singapore: World Scientific Publishing Company, 2013. https://doi.org/10.1142/4603.
LibreCat
| DOI
2013 | Dissertation | LibreCat-ID: 7569
Soltenborn, Christian. Quality Assurance with Dynamic Meta Modeling. Universität Paderborn, 2013. http://nbn-resolving.de/urn:nbn:de:hbz:466:2-12420.
LibreCat
| DOI
2013 | Dissertation | LibreCat-ID: 7571
Gerth, Christian. Business Process Models - Change Management, 2013.
LibreCat
| Files available
2013 | Journal Article | LibreCat-ID: 769
Biermann, Thorsten, Luca Scalia, Changsoon Choi, Wolfgang Kellerer, and Holger Karl. “How Backhaul Networks Influence the Feasibility of Coordinated Multipoint in Cellular Networks.” {IEEE} Communications Magazine, no. 8 (2013). https://doi.org/10.1109/MCOM.2013.6576356.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 8485
Spijkerman, Michael . “Ein Pragmatischer Ansatz Zur Entwicklung Situationsgerechter Entwicklungsmethoden.” In Software Engineering 2013 - Workshopband (Inkl. Doktorandensymposium) SE 2013 (to Appear), 215:425--434. LNI. GI, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 8486
Nagel , Benjamin , Christian Gerth , Jennifer Post, and Gregor Engels. “Kaos4SOA - 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), 998:9--16. CEUR Workshop Proceedings. CEUR-WS.org, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 8487
Kehrer , Timo , and Christian Gerth. “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), 33:32–34. Softwaretechnik-Trends. FG Softwaretechnik, Gesellschaft für Informatik e.v. (GI), 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 8488
Grieger , Marvin , and Stefan Sauer. “Wiederverwendbarkeit von Migrationswissen Durch Techniken Der Modellgetriebenen Softwareentwicklung.” In Software Engineering 2013 Workshopband, 189–200. GI, Köllen Druck+Verlag GmbH, Bonn, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 8489
Nagel , Benjamin , Christian Gerth , and Gregor Engels. “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
2013 | Conference Paper | LibreCat-ID: 8490
Fazal-Baqaie , Masud , Markus Luckey , and Gregor Engels. “Assembly-Based Method Engineering with Method Patterns.” In Software Engineering 2013 Workshopband, 435–44. GI, Köllen Druck+Verlag GmbH, Bonn, 2013.
LibreCat
2013 | Book Chapter | LibreCat-ID: 8547
Göller, Robin, Jörg Kortemeyer, Michael Liebendörfer, Rolf Biehler, Reinhard Hochmuth, Jana Krämer, Laura Ostsieker, and Stephan Schreiber. “Instrumentenentwicklung Zur Messung von Lernstrategien in Mathematikhaltigen Studiengängen.” In Beiträge Zum Mathematikunterricht 2013: Vorträge Auf Der 47. Tagung Für Didaktik Der Mathematik, edited by Gilbert Greefrath, 360–63. Münster: WTM-Verlag, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 8549
Kolter, Jana, and Michael Liebendörfer. “Mathe – Nein Danke? Interesse Im Und Am Mathematikstudium Bei Grundschullehramtsstudierenden Mit Pflichtfach.” In Mathematik Im Übergang Schule / Hochschule Und Im Ersten Studienjahr, 101–2. Kassel, 2013.
LibreCat
2013 | Book Chapter | LibreCat-ID: 8551
Liebendörfer, Michael, and Reinhard Hochmuth. “Interest and Self-Determination in the Transition to Studying Mathematics.” In Proceedings of the 37th Conference of the International Group for the Psychology of Mathematics Education, edited by Anke Lindmeier and Aiso Heinze, 5:240. Kiel, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 8553
Liebendörfer, Michael, and Reinhard Hochmuth. “Interest in Mathematics and the First Steps at the University.” In Proceedings of the 8th {Conference} of European Research in Mathematics Education, edited by Behiye Ubuz, Çiğdem} Haser, and Maria Alessandra Mariotti, 2386–95. Ankara: Middle East Technical University, 2013.
LibreCat
2013 | Journal Article | LibreCat-ID: 4098
Brassat, Katharina, Fabian Assion, Ulrich Hilleringmann, and Jörg Lindner. “Self-Organization of Nanospheres in Trenches on Silicon Surfaces.” Physica Status Solidi (A) 210, no. 8 (2013): 1485–89. https://doi.org/10.1002/pssa.201200899.
LibreCat
| Files available
| DOI
2013 | Dissertation | LibreCat-ID: 501
Happe, Markus. Performance and Thermal Management on Self-Adaptive Hybrid Multi-Cores. Berlin: Logos Verlag Berlin GmbH, 2013.
LibreCat
| Files available
2013 | Conference Paper | LibreCat-ID: 506
Engels, Gregor. “On-The-Fly Computing -- Das Entwicklungs- Und Betriebsparadigma FürSoftwaresysteme Der Zukunft.” In Proceedings of the Multikonferenz Sofware Engineering 2013 (SE 2013), 17–18. LNI, 2013.
LibreCat
| Files available
2013 | Conference Paper | LibreCat-ID: 507
Abshoff, Sebastian, Markus Benter, Manuel Malatyali, and Friedhelm Meyer auf der Heide. “On Two-Party Communication Through Dynamic Networks.” In Proceedings of the 17th International Conference on Principles of Distributed Systems (OPODIS), 11–22. LNCS, 2013. https://doi.org/10.1007/978-3-319-03850-6_2.
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 508
Wette, Philip, and Holger Karl. “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), 1–6, 2013. https://doi.org/10.1109/LANMAN.2013.6528271.
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 509
Autenrieth, Marcus, and Hannes Frey. “On Greedy Routing in Degree-Bounded Graphs over d-Dimensional Internet Coordinate Embeddings.” In Proceedings of the Conference on Networked Systems (NetSys), 126–31, 2013. https://doi.org/10.1109/NetSys.2013.10.
LibreCat
| Files available
| DOI
2013 | Bachelorsthesis | LibreCat-ID: 511
Splietker, Malte. MapReduce in Software Defined Networks. Universität Paderborn, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 513
Avin, Chen, Bernhard Häupler, Zvi Lotker, Christian Scheideler, and Stefan Schmid. “Locally Self-Adjusting Tree Networks.” In Proceedings of the 27th IEEE International Parallel and Distributed Processing Symposium (IPDPS), 395–406, 2013. https://doi.org/10.1109/IPDPS.2013.40.
LibreCat
| Files available
| DOI
2013 | Dissertation | LibreCat-ID: 514
Pietrzyk, Peter. Local and Online Algorithms for Facility Location. Universität Paderborn, 2013.
LibreCat
| Files available
2013 | Conference Paper | LibreCat-ID: 517
Walther, Sven, and Heike Wehrheim. “Knowledge-Based Verification of Service Compositions - An SMT Approach.” In Proceedings of the 18th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS), 24–32, 2013. https://doi.org/10.1109/ICECCS.2013.14.
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 519
Eikel, Martina, and Christian Scheideler. “IRIS: A Robust Information System Against Insider DoS-Attacks.” In Proceedings of the 25th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), 119–29, 2013. https://doi.org/10.1145/2486159.2486186.
LibreCat
| Files available
| DOI