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.
9727 Publications
2013 | Bachelorsthesis | LibreCat-ID: 486
O. Otte, Seitenkanalresistenz paarungsbasierter Kryptographie. Universität Paderborn, 2013.
LibreCat
2013 | Bachelorsthesis | LibreCat-ID: 487 | 
J. Bobolz, Security Proofs for Pairing-Based Cryptography in the Generic Group Model. Universität Paderborn, 2013.
LibreCat
| Files available
2013 | Conference Paper | LibreCat-ID: 488
J. Blömer, P. Günther, and V. 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), 2013, pp. 98–105.
LibreCat
| Files available
2013 | Bachelorsthesis | LibreCat-ID: 490
F. Wallaschek, Routing in heterogenen OpenFlow Netzwerken. Universität Paderborn, 2013.
LibreCat
2013 | Bachelorsthesis | LibreCat-ID: 492
C. Robbert, Ressource-Optimized Deployment of Multi-Tier Applications - The Data Rate-Constrained Case. Universität Paderborn, 2013.
LibreCat
2013 | Dissertation | LibreCat-ID: 494
M. von Detten, 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
F. Mohr, T. Lettmann, and H. Kleine Büning, “Reducing Nondeterminism in Automated Service Composition,” in Proceedings of the 6th International Conference on Service Oriented Computing and Applications (SOCA), 2013, pp. 154–161.
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 496
M. Benter, F. Neumann, and H. Frey, “Reactive Planar Spanner Construction in Wireless Ad Hoc and Sensor Networks,” in Proceedings of the 32nd IEEE International Conference on Computer Communications (INFOCOM), 2013, pp. 2193–2201.
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 498
D. Wonisch, A. Schremmer, and H. Wehrheim, “Programs from Proofs – A PCC Alternative,” in Proceedings of the 25th International Conference on Computer Aided Verification (CAV), 2013, pp. 912–927.
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 499
P. Kling and P. Pietrzyk, “Profitable Scheduling on Multiple Speed-Scalable Processors,” in Proceedings of the 25th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), 2013, pp. 251–260.
LibreCat
| Files available
| DOI
2013 | Journal Article | LibreCat-ID: 7272
E. Bouillon, B. Güldali, A. Herrmann, T. Keuler, D. Moldt, and M. Riebisch, “Leichtgewichtige Traceability im agilen Entwicklungsprozess am Beispiel von Scrum,” Softwaretechnik-Trends, vol. 33, no. 1, pp. 29–30, 2013.
LibreCat
2013 | Journal Article | LibreCat-ID: 7273
M. Grieger, B. Güldali, S. Sauer, and M. Mlynarski, “Testen bei Migrationsprojekten,” OBJEKTspektrum (Online Themenspecials), pp. 1–4, 2013.
LibreCat
2013 | Journal Article | LibreCat-ID: 7274
M. Fazal-Baqaie, B. Güldali, M. Luckey, S. Sauer, and M. Spijkerman, “Maßgeschneidert und werkzeugunterstützt Entwickeln angepasster Requirements Engineering-Methoden,” OBJEKTspektrum (Online Themenspecials), no. RE/2013, pp. 1–5, 2013.
LibreCat
2013 | Journal Article | LibreCat-ID: 7275
G. Engels and M. Luckey, “Editorial,” Computer Science - Research and Development, vol. 28, no. 1, pp. 1–2, 2013.
LibreCat
2013 | Journal Article | LibreCat-ID: 7276
G. Engels, C. Gerth, B. Kleinjohann, L. Kleinjohann, W. Müller, and S. Sauer, “Informationstechnik spart Ressourcen,” Forschungsforum Paderborn, vol. 16/2013, pp. 54–61, 2013.
LibreCat
2013 | Journal Article | LibreCat-ID: 7277
C. Gerth, J. Küster, M. Luckey, and G. Engels, “Detection and Resolution of Conflicting Change Operations in Version Management of Process Models,” Software and Systems Modeling, vol. 12, no. 3, pp. 517–535, 2013.
LibreCat
2013 | Journal Article | LibreCat-ID: 7278
D. Faragó, A.-M. Törsel, M. Mlynarski, S. Weißleder, B. Güldali, and C. Brandes, “Wirtschaftlichkeitsberechnung für MBT: Wann sich modellbasiertes Testen lohnt,” OBJEKTspektrum, vol. 4, pp. 32–38, 2013.
LibreCat
2013 | Dissertation | LibreCat-ID: 7571
C. Gerth, Business Process Models - Change Management. 2013.
LibreCat
| Files available
2013 | Conference Paper | LibreCat-ID: 8485
M. Spijkerman, “Ein pragmatischer Ansatz zur Entwicklung situationsgerechter Entwicklungsmethoden,” in Software Engineering 2013 - Workshopband (inkl. Doktorandensymposium) SE 2013 (to appear), 2013, vol. 215, pp. 425--434.
LibreCat
2013 | Conference Paper | LibreCat-ID: 8486
B. Nagel , C. Gerth , J. Post, and G. 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), 2013, vol. 998, pp. 9--16.
LibreCat
2013 | Conference Paper | LibreCat-ID: 8487
T. Kehrer and C. 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), 2013, vol. 33, no. 2, pp. 32–34.
LibreCat
2013 | Conference Paper | LibreCat-ID: 8488
M. Grieger and S. Sauer, “Wiederverwendbarkeit von Migrationswissen durch Techniken der modellgetriebenen Softwareentwicklung,” in Software Engineering 2013 Workshopband, 2013, pp. 189–200.
LibreCat
2013 | Conference Paper | LibreCat-ID: 8489
B. Nagel , C. Gerth , and G. 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
M. Fazal-Baqaie , M. Luckey , and G. Engels, “Assembly-based Method Engineering with Method Patterns,” in Software Engineering 2013 Workshopband, 2013, pp. 435–444.
LibreCat
2013 | Book Chapter | LibreCat-ID: 8547
R. Göller et al., “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, G. Greefrath, Ed. Münster: WTM-Verlag, 2013, pp. 360–363.
LibreCat
2013 | Conference Paper | LibreCat-ID: 8549
J. Kolter and M. Liebendörfer, “Mathe – nein danke? Interesse im und am Mathematikstudium bei Grundschullehramtsstudierenden mit Pflichtfach,” in Mathematik im Übergang Schule / Hochschule und im ersten Studienjahr, 2013, pp. 101–102.
LibreCat
2013 | Book Chapter | LibreCat-ID: 8551
M. Liebendörfer and R. 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, vol. 5, A. Lindmeier and A. Heinze, Eds. Kiel, 2013, p. 240.
LibreCat
2013 | Conference Paper | LibreCat-ID: 8553
M. Liebendörfer and R. Hochmuth, “Interest in Mathematics and the First Steps at the University,” in Proceedings of the 8th {Conference} of European Research in Mathematics Education, 2013, pp. 2386–2395.
LibreCat
2013 | Journal Article | LibreCat-ID: 4098
K. Brassat, F. Assion, U. Hilleringmann, and J. Lindner, “Self-organization of nanospheres in trenches on silicon surfaces,” physica status solidi (a), vol. 210, no. 8, pp. 1485–1489, 2013.
LibreCat
| Files available
| DOI
2013 | Dissertation | LibreCat-ID: 501
M. Happe, 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
G. Engels, “On-The-Fly Computing -- Das Entwicklungs- und Betriebsparadigma fürSoftwaresysteme der Zukunft,” in Proceedings of the Multikonferenz Sofware Engineering 2013 (SE 2013), 2013, pp. 17–18.
LibreCat
| Files available
2013 | Conference Paper | LibreCat-ID: 507
S. Abshoff, M. Benter, M. Malatyali, and F. Meyer auf der Heide, “On Two-Party Communication Through Dynamic Networks,” in Proceedings of the 17th International Conference on Principles of Distributed Systems (OPODIS), 2013, pp. 11–22.
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 508
P. Wette and H. 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), 2013, pp. 1–6.
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 509
M. Autenrieth and H. Frey, “On Greedy Routing in Degree-bounded Graphs over d-Dimensional Internet Coordinate Embeddings,” in Proceedings of the Conference on Networked Systems (NetSys), 2013, pp. 126–131.
LibreCat
| Files available
| DOI
2013 | Bachelorsthesis | LibreCat-ID: 511
M. Splietker, MapReduce in Software Defined Networks. Universität Paderborn, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 513
C. Avin, B. Häupler, Z. Lotker, C. Scheideler, and S. Schmid, “Locally Self-Adjusting Tree Networks,” in Proceedings of the 27th IEEE International Parallel and Distributed Processing Symposium (IPDPS), 2013, pp. 395–406.
LibreCat
| Files available
| DOI
2013 | Dissertation | LibreCat-ID: 514
P. Pietrzyk, Local and Online Algorithms for Facility Location. Universität Paderborn, 2013.
LibreCat
| Files available
2013 | Conference Paper | LibreCat-ID: 517
S. Walther and H. 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), 2013, pp. 24–32.
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 519
M. Eikel and C. Scheideler, “IRIS: A Robust Information System Against Insider DoS-Attacks,” in Proceedings of the 25th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), 2013, pp. 119–129.
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 520
P. Wette and H. Karl, “Incorporating feedback from application layer into routing and wavelength assignment algorithms,” in Proceedings of the 32nd IEEE International Conference on Computer Communications (INFOCOM), 2013, pp. 51–52.
LibreCat
| Files available
| DOI
| Download (ext.)
2013 | Mastersthesis | LibreCat-ID: 521
H. Riebler, Identifikation und Wiederherstellung von kryptographischen Schlüsseln mit FPGAs. Universität Paderborn, 2013.
LibreCat
2013 | Mastersthesis | LibreCat-ID: 522
M. Feldotto, HSkip+: A Self-Stabilizing Overlay Network for Nodes with Heterogeneous Bandwidths. Universität Paderborn, 2013.
LibreCat
2013 | Preprint | LibreCat-ID: 524
F. Meyer auf der Heide and K. Swirkot, “Hierarchies in Local Distributed Decision.” arXiv, 2013.
LibreCat
| Files available
| arXiv
2013 | Bachelorsthesis | LibreCat-ID: 525
T. Niklas Vinkemeier, Haptics - Hadoop performance testing in concurrent job scenarios. Universität Paderborn, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 527
M. Christin Platenius, “Fuzzy Service Matching in On-The-Fly Computing,” in Proceedings of the Doctoral Symposium of the 9th joint meeting of the European Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), 2013, pp. 715–718.
LibreCat
| Files available
| DOI
2013 | Mastersthesis | LibreCat-ID: 534
S. Satya, Emulating Wavelength Division Multiplexing using Openflow. Universität Paderborn, 2013.
LibreCat