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.
9750 Publications
2013 | Conference Paper | LibreCat-ID: 496
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
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 498
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
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 499
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
| Files available
| DOI
2013 | Journal Article | LibreCat-ID: 7271
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
| DOI
2013 | Journal Article | LibreCat-ID: 7272
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
2013 | Journal Article | LibreCat-ID: 7273
Grieger M, Güldali B, Sauer S, Mlynarski M. Testen bei Migrationsprojekten. OBJEKTspektrum (Online Themenspecials). 2013:1-4.
LibreCat
2013 | Journal Article | LibreCat-ID: 7274
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
2013 | Journal Article | LibreCat-ID: 7275
Engels G, Luckey M. Editorial. Computer Science - Research and Development. 2013;28(1):1-2.
LibreCat
2013 | Journal Article | LibreCat-ID: 7276
Engels G, Gerth C, Kleinjohann B, Kleinjohann L, Müller W, Sauer S. Informationstechnik spart Ressourcen. Forschungsforum Paderborn. 2013;16/2013:54-61.
LibreCat
2013 | Journal Article | LibreCat-ID: 7277
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
2013 | Journal Article | LibreCat-ID: 7278
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
2013 | Book Chapter | LibreCat-ID: 7523
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
| DOI
2013 | Dissertation | LibreCat-ID: 7569
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
| DOI
2013 | Dissertation | LibreCat-ID: 7571
Gerth C. Business Process Models - Change Management.; 2013.
LibreCat
| Files available
2013 | Journal Article | LibreCat-ID: 769
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
| DOI
2013 | Conference Paper | LibreCat-ID: 8485
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
2013 | Conference Paper | LibreCat-ID: 8486
Nagel B, Gerth C, Post J, Engels G. 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). Vol 998. CEUR Workshop Proceedings. CEUR-WS.org; 2013:9--16.
LibreCat
2013 | Conference Paper | LibreCat-ID: 8487
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
2013 | Conference Paper | LibreCat-ID: 8488
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
2013 | Conference Paper | LibreCat-ID: 8489
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
2013 | Conference Paper | LibreCat-ID: 8490
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
2013 | Book Chapter | LibreCat-ID: 8547
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
2013 | Conference Paper | LibreCat-ID: 8549
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
2013 | Book Chapter | LibreCat-ID: 8551
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
2013 | Conference Paper | LibreCat-ID: 8553
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
2013 | Journal Article | LibreCat-ID: 4098
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
| Files available
| DOI
2013 | Dissertation | LibreCat-ID: 501
Happe M. 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 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
| Files available
2013 | Conference Paper | LibreCat-ID: 507
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
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 508
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
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 509
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
| Files available
| DOI
2013 | Bachelorsthesis | LibreCat-ID: 511
Splietker M. MapReduce in Software Defined Networks. Universität Paderborn; 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 513
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
| Files available
| DOI
2013 | Dissertation | LibreCat-ID: 514
Pietrzyk P. Local and Online Algorithms for Facility Location. Universität Paderborn; 2013.
LibreCat
| Files available
2013 | Conference Paper | LibreCat-ID: 517
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
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 519
Eikel M, Scheideler C. IRIS: A Robust Information System Against Insider DoS-Attacks. In: Proceedings of the 25th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA). ; 2013:119-129. doi:10.1145/2486159.2486186
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 520
Wette P, Karl H. Incorporating feedback from application layer into routing and wavelength assignment algorithms. In: Proceedings of the 32nd IEEE International Conference on Computer Communications (INFOCOM). ; 2013:51-52. doi:10.1109/INFCOMW.2013.6970733
LibreCat
| Files available
| DOI
| Download (ext.)
2013 | Mastersthesis | LibreCat-ID: 521
Riebler H. Identifikation und Wiederherstellung von kryptographischen Schlüsseln mit FPGAs. Universität Paderborn; 2013.
LibreCat
2013 | Mastersthesis | LibreCat-ID: 522
Feldotto M. HSkip+: A Self-Stabilizing Overlay Network for Nodes with Heterogeneous Bandwidths. Universität Paderborn; 2013.
LibreCat
2013 | Preprint | LibreCat-ID: 524
Meyer auf der Heide F, Swirkot K. Hierarchies in Local Distributed Decision. 2013.
LibreCat
| Files available
| arXiv
2013 | Bachelorsthesis | LibreCat-ID: 525
Niklas Vinkemeier T. Haptics - Hadoop Performance Testing in Concurrent Job Scenarios. Universität Paderborn; 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 527
Christin Platenius M. 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:715-718. doi:10.1145/2491411.2492405
LibreCat
| Files available
| DOI
2013 | Mastersthesis | LibreCat-ID: 534
Satya S. Emulating Wavelength Division Multiplexing Using Openflow. Universität Paderborn; 2013.
LibreCat
2013 | Preprint | LibreCat-ID: 538 | 
Blömer J, Liske G. Direct Chosen-Ciphertext Secure Attribute-Based Key Encapsulations without Random Oracles. 2013.
LibreCat
| Files available
| Download (ext.)
2013 | Conference Paper | LibreCat-ID: 541
Graffi K, Rapp V. Continuous Gossip-based Aggregation through Dynamic Information Aging. In: Proceedings of the International Conference on Computer Communications and Networks (ICCCN’13). ; 2013:1-7. doi:10.1109/ICCCN.2013.6614118
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 542
Kniesburges S, Koutsopoulos A, Scheideler C. CONE-DHT: A distributed self-stabilizing algorithm for a heterogeneous storage system. In: Proceedings of the 27th International Symposium on Distributed Computing (DISC). LNCS. ; 2013:537-549. doi:10.1007/978-3-642-41527-2_37
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 544
Feldotto M, Graffi K. Comparative Evaluation of Peer-to-Peer Systems Using PeerfactSim.KOM. In: Proceedings of the International Conference on High Performance Computing and Simulation (HPCS’13). ; 2013:99-106. doi:10.1109/HPCSim.2013.6641399
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 546
Graffi K, Benter M, Divband M, Kniesburges S, Koutsopoulos A. Ca-Re-Chord: A Churn Resistant Self-stabilizing Chord Overlay Network. In: Proceedings of the Conference on Networked Systems (NetSys). ; 2013:27-34. doi:10.1109/NetSys.2013.11
LibreCat
| Files available
| DOI
2013 | Dissertation | LibreCat-ID: 547
Gerth C. Business Process Models - Change Management. Universität Paderborn; 2013. doi:10.1007/978-3-642-38604-6
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 548
Graffi K, Klerx T. Bootstrapping Skynet: Calibration and Autonomic Self-Control of Structured Peer-to-Peer Networks. In: Proceedings of the International Conference on Peer-to-Peer Computing (P2P’13). ; 2013:1-5. doi:10.1109/P2P.2013.6688720
LibreCat
| Files available
| DOI