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.
4679 Publications
2015 | Conference Paper | LibreCat-ID: 283
M. Czech, M.-C. Jakobs, and H. Wehrheim, “Just test what you cannot verify!,” in Fundamental Approaches to Software Engineering, 2015, pp. 100–114.
LibreCat
| Files available
| DOI
2015 | Book Chapter | LibreCat-ID: 28336
S. Peter, J. Gausemeier, B. Amshoff, and C. Koldewey, “Vorausschau von Stakeholder-Verhalten mit der Szenario-Technik,” in Symposium für Vorausschau und Technologieplanung, Band 347 , Kapitel: 1, Heinz Nixdorf Institut, Universität Paderborn, 2015, pp. 41–60.
LibreCat
2015 | Journal Article | LibreCat-ID: 284
M. Eikel and C. Scheideler, “IRIS: A Robust Information System Against Insider DoS Attacks,” Transactions on Parallel Computing, no. 3, pp. 18:1--18:33, 2015.
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 285
T. Isenberg, “Incremental Inductive Verification of Parameterized Timed Systems,” in Proceedings of the 15th International Conference on Application of Concurrency to System Design (ACSD), 2015, pp. 1–9.
LibreCat
| Files available
| DOI
2015 | Bachelorsthesis | LibreCat-ID: 286
B. Kalde, Implementierung eines hybriden Verschlüsselungsverfahrens nach Cramer und Shoup. Universität Paderborn, 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 287
P. Wette and H. Karl, “HybridTE: Traffic Engineering for Very Low-Cost Software-Defined Data-Center Networks,” in Proceedings of the 4th European Workshop on Software Defined Networks (EWSDN 2015), 2015, pp. 1--7.
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 241
C. Scheideler, A. Setzer, and T. F. Strothmann, “Towards Establishing Monotonic Searchability in Self-Stabilizing Data Structures,” in Proceedings of the 19th International Conference on Principles of Distributed Systems (OPODIS), 2015.
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 242
A. Koutsopoulos, C. Scheideler, and T. F. Strothmann, “Towards a Universal Approach for the Finite Departure Problem in Overlay Networks,” in Proceedings of the 17th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), 2015, pp. 201–216.
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 243
T. F. Strothmann, “The impact of communication patterns on distributed locally self-adjusting binary search trees,” in Proceedings of the 9th International Workshop on Algorithms and Computation (WALCOM), 2015, pp. 175--186.
LibreCat
| Files available
| DOI
2015 | Journal Article | LibreCat-ID: 244
B. Monien and M. Mavronicolas, “The complexity of pure equilibria in mix-weighted congestion games on parallel links,” Information Processing Letters, vol. 115, no. 12, pp. 927–931, 2015.
LibreCat
| Files available
| DOI
| Download (ext.)
2015 | Conference Paper | LibreCat-ID: 245
M. Becker, S. Lehrig, and S. Becker, “Systematically Deriving Quality Metrics for Cloud Computing Systems,” in Proceedings of the 6th ACM/SPEC International Conference on Performance Engineering, 2015, pp. 169--174.
LibreCat
| Files available
| DOI
2015 | Dissertation | LibreCat-ID: 246
G. Besova, Systematic Development and Re-Use of Model Tranformations. Universität Paderborn, 2015.
LibreCat
| Files available
2015 | Conference Paper | LibreCat-ID: 247
A. Schwabe and H. Karl, “SynRace: Decentralized Load-Adaptive Multi-path Routing without Collecting Statistics,” in Proceedings of the 4th European Workshop on Software Defined Networks (EWSDN 2015), 2015, pp. 37–42.
LibreCat
| Files available
| DOI
2015 | Bachelorsthesis | LibreCat-ID: 258
M. Sonntag, Reputation und Vertrauen auf Online-Märkten. Universität Paderborn, 2015.
LibreCat
2015 | Conference Abstract | LibreCat-ID: 259
D. Gutt and D. Kundisch, “Rating Aggregation in Multi-Dimensional Rating Systems: How Do Reviewers Form Overall Ratings?,” in INFORMS Annual Meeting, Philadelphia, USA, 2015.
LibreCat
| Files available
2015 | Journal Article | LibreCat-ID: 260
F. Brosig, P. Meier, S. Becker, A. Koziolek, H. Koziolek, and S. Kounev, “Quantitative Evaluation of Model-Driven Performance Analysis and Simulation of Component-based Architectures,” Transactions on Software Engineering, no. 2, pp. 157--175, 2015.
LibreCat
| Files available
| DOI
2015 | Bachelorsthesis | LibreCat-ID: 261
T. Eisenhofer, Protokolle zur authentifizierten Schüsselvereinbarung. Universität Paderborn, 2015.
LibreCat
2015 | Journal Article | LibreCat-ID: 26123
S. Schiller and H.-J. Schmid, “Highly efficient filtration of ultrafine dust in baghouse filters using precoat materials,” Powder Technology, pp. 96–105, 2015, doi: 10.1016/j.powtec.2015.03.048.
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 262
M.-C. Jakobs and H. Wehrheim, “Programs from Proofs of Predicated Dataflow Analyses,” in Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015, pp. 1729–1736.
LibreCat
| Files available
| DOI
2015 | Journal Article | LibreCat-ID: 263
C. Hallmann and L. Suhl, “Optimizing Water Tanks in Water Distribution Systems by combining Network Reduction, Mathematical Optimization and Hydraulic Simulation,” OR Spectrum, pp. 1–19, 2015.
LibreCat
| Files available
| DOI