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.
4189 Publications
2015 | Dissertation | LibreCat-ID: 28222
Bauer F. Planungswerkzeug zur wissensbasierten Produktionssystemkonzipierung. Vol 341. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 283
Czech M, Jakobs M-C, Wehrheim H. Just test what you cannot verify! In: Egyed A, Schaefer I, eds. Fundamental Approaches to Software Engineering. Lecture Notes in Computer Science. ; 2015:100-114. doi:10.1007/978-3-662-46675-9_7
LibreCat
| Files available
| DOI
2015 | Book Chapter | LibreCat-ID: 28336
Peter S, Gausemeier J, Amshoff B, Koldewey C. 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:41-60.
LibreCat
2015 | Journal Article | LibreCat-ID: 284
Eikel M, Scheideler C. IRIS: A Robust Information System Against Insider DoS Attacks. Transactions on Parallel Computing. 2015;(3):18:1--18:33. doi:10.1145/2809806
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 285
Isenberg T. Incremental Inductive Verification of Parameterized Timed Systems. In: Proceedings of the 15th International Conference on Application of Concurrency to System Design (ACSD). ; 2015:1-9. doi:10.1109/ACSD.2015.13
LibreCat
| Files available
| DOI
2015 | Bachelorsthesis | LibreCat-ID: 286
Kalde B. Implementierung eines hybriden Verschlüsselungsverfahrens nach Cramer und Shoup. Universität Paderborn; 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 287
Wette P, Karl H. 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:1--7. doi:10.1109/EWSDN.2015.57
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 241
Scheideler C, Setzer A, Strothmann TF. Towards Establishing Monotonic Searchability in Self-Stabilizing Data Structures. In: Proceedings of the 19th International Conference on Principles of Distributed Systems (OPODIS). Leibniz International Proceedings in Informatics (LIPIcs). ; 2015. doi:10.4230/LIPIcs.OPODIS.2015.24
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 242
Koutsopoulos A, Scheideler C, Strothmann TF. 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). Lecture Notes in Computer Science. ; 2015:201-216. doi:10.1007/978-3-319-21741-3_14
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 243
Strothmann TF. 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). LNCS. ; 2015:175--186. doi:10.1007/978-3-319-15612-5_16
LibreCat
| Files available
| DOI
2015 | Journal Article | LibreCat-ID: 244
Monien B, Mavronicolas M. The complexity of pure equilibria in mix-weighted congestion games on parallel links. Information Processing Letters. 2015;115(12):927-931. doi:10.1016/j.ipl.2015.07.012
LibreCat
| Files available
| DOI
| Download (ext.)
2015 | Conference Paper | LibreCat-ID: 245
Becker M, Lehrig S, Becker S. Systematically Deriving Quality Metrics for Cloud Computing Systems. In: Proceedings of the 6th ACM/SPEC International Conference on Performance Engineering. ICPE ’15. New York, NY, USA; 2015:169--174. doi:10.1145/2668930.2688043
LibreCat
| Files available
| DOI
2015 | Dissertation | LibreCat-ID: 246
Besova G. Systematic Development and Re-Use of Model Tranformations. Universität Paderborn; 2015.
LibreCat
| Files available
2015 | Conference Paper | LibreCat-ID: 247
Schwabe A, Karl H. SynRace: Decentralized Load-Adaptive Multi-path Routing without Collecting Statistics. In: Proceedings of the 4th European Workshop on Software Defined Networks (EWSDN 2015). ; 2015:37-42. doi:10.1109/EWSDN.2015.58
LibreCat
| Files available
| DOI
2015 | Bachelorsthesis | LibreCat-ID: 258
Sonntag M. Reputation und Vertrauen auf Online-Märkten. Universität Paderborn; 2015.
LibreCat
2015 | Conference Abstract | LibreCat-ID: 259
Gutt D, Kundisch D. Rating Aggregation in Multi-Dimensional Rating Systems: How Do Reviewers Form Overall Ratings? In: INFORMS Annual Meeting. ; 2015.
LibreCat
| Files available
2015 | Journal Article | LibreCat-ID: 260
Brosig F, Meier P, Becker S, Koziolek A, Koziolek H, Kounev S. Quantitative Evaluation of Model-Driven Performance Analysis and Simulation of Component-based Architectures. Transactions on Software Engineering. 2015;(2):157--175. doi:10.1109/TSE.2014.2362755
LibreCat
| Files available
| DOI
2015 | Bachelorsthesis | LibreCat-ID: 261
Eisenhofer T. Protokolle zur authentifizierten Schüsselvereinbarung. Universität Paderborn; 2015.
LibreCat
2015 | Journal Article | LibreCat-ID: 26123
Schiller S, Schmid H-J. Highly efficient filtration of ultrafine dust in baghouse filters using precoat materials. Powder Technology. Published online 2015:96-105. doi:10.1016/j.powtec.2015.03.048
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 262
Jakobs M-C, Wehrheim H. Programs from Proofs of Predicated Dataflow Analyses. In: Proceedings of the 30th Annual ACM Symposium on Applied Computing. SAC ’15. ; 2015:1729-1736. doi:10.1145/2695664.2695690
LibreCat
| Files available
| DOI