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
Czech, M., Jakobs, M.-C., & Wehrheim, H. (2015). Just test what you cannot verify! In A. Egyed & I. Schaefer (Eds.), Fundamental Approaches to Software Engineering (pp. 100–114). https://doi.org/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. (2015). Vorausschau von Stakeholder-Verhalten mit der Szenario-Technik. In Symposium für Vorausschau und Technologieplanung, Band 347 , Kapitel: 1 (pp. 41–60). Heinz Nixdorf Institut, Universität Paderborn.
LibreCat
2015 | Journal Article | LibreCat-ID: 284
Eikel, M., & Scheideler, C. (2015). IRIS: A Robust Information System Against Insider DoS Attacks. Transactions on Parallel Computing, (3), 18:1--18:33. https://doi.org/10.1145/2809806
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 285
Isenberg, T. (2015). Incremental Inductive Verification of Parameterized Timed Systems. In Proceedings of the 15th International Conference on Application of Concurrency to System Design (ACSD) (pp. 1–9). https://doi.org/10.1109/ACSD.2015.13
LibreCat
| Files available
| DOI
2015 | Bachelorsthesis | LibreCat-ID: 286
Kalde, B. (2015). Implementierung eines hybriden Verschlüsselungsverfahrens nach Cramer und Shoup. Universität Paderborn.
LibreCat
2015 | Conference Paper | LibreCat-ID: 287
Wette, P., & Karl, H. (2015). 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) (pp. 1--7). https://doi.org/10.1109/EWSDN.2015.57
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 241
Scheideler, C., Setzer, A., & Strothmann, T. F. (2015). Towards Establishing Monotonic Searchability in Self-Stabilizing Data Structures. In Proceedings of the 19th International Conference on Principles of Distributed Systems (OPODIS). https://doi.org/10.4230/LIPIcs.OPODIS.2015.24
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 242
Koutsopoulos, A., Scheideler, C., & Strothmann, T. F. (2015). 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) (pp. 201–216). https://doi.org/10.1007/978-3-319-21741-3_14
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 243
Strothmann, T. F. (2015). 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) (pp. 175--186). https://doi.org/10.1007/978-3-319-15612-5_16
LibreCat
| Files available
| DOI
2015 | Journal Article | LibreCat-ID: 244
Monien, B., & Mavronicolas, M. (2015). The complexity of pure equilibria in mix-weighted congestion games on parallel links. Information Processing Letters, 115(12), 927–931. https://doi.org/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. (2015). Systematically Deriving Quality Metrics for Cloud Computing Systems. In Proceedings of the 6th ACM/SPEC International Conference on Performance Engineering (pp. 169--174). New York, NY, USA. https://doi.org/10.1145/2668930.2688043
LibreCat
| Files available
| DOI
2015 | Dissertation | LibreCat-ID: 246
Besova, G. (2015). Systematic Development and Re-Use of Model Tranformations. Universität Paderborn.
LibreCat
| Files available
2015 | Conference Paper | LibreCat-ID: 247
Schwabe, A., & Karl, H. (2015). SynRace: Decentralized Load-Adaptive Multi-path Routing without Collecting Statistics. In Proceedings of the 4th European Workshop on Software Defined Networks (EWSDN 2015) (pp. 37–42). https://doi.org/10.1109/EWSDN.2015.58
LibreCat
| Files available
| DOI
2015 | Bachelorsthesis | LibreCat-ID: 258
Sonntag, M. (2015). Reputation und Vertrauen auf Online-Märkten. Universität Paderborn.
LibreCat
2015 | Conference Abstract | LibreCat-ID: 259
Gutt, D., & Kundisch, D. (2015). Rating Aggregation in Multi-Dimensional Rating Systems: How Do Reviewers Form Overall Ratings? In INFORMS Annual Meeting. Philadelphia, USA.
LibreCat
| Files available
2015 | Journal Article | LibreCat-ID: 260
Brosig, F., Meier, P., Becker, S., Koziolek, A., Koziolek, H., & Kounev, S. (2015). Quantitative Evaluation of Model-Driven Performance Analysis and Simulation of Component-based Architectures. Transactions on Software Engineering, (2), 157--175. https://doi.org/10.1109/TSE.2014.2362755
LibreCat
| Files available
| DOI
2015 | Bachelorsthesis | LibreCat-ID: 261
Eisenhofer, T. (2015). Protokolle zur authentifizierten Schüsselvereinbarung. Universität Paderborn.
LibreCat
2015 | Journal Article | LibreCat-ID: 26123
Schiller, S., & Schmid, H.-J. (2015). Highly efficient filtration of ultrafine dust in baghouse filters using precoat materials. Powder Technology, 96–105. https://doi.org/10.1016/j.powtec.2015.03.048
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 262
Jakobs, M.-C., & Wehrheim, H. (2015). Programs from Proofs of Predicated Dataflow Analyses. In Proceedings of the 30th Annual ACM Symposium on Applied Computing (pp. 1729–1736). https://doi.org/10.1145/2695664.2695690
LibreCat
| Files available
| DOI
2015 | Journal Article | LibreCat-ID: 263
Hallmann, C., & Suhl, L. (2015). Optimizing Water Tanks in Water Distribution Systems by combining Network Reduction, Mathematical Optimization and Hydraulic Simulation. OR Spectrum, 1–19. https://doi.org/10.1007/s00291-015-0403-1
LibreCat
| Files available
| DOI