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.
7006 Publications
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
2015 | Dissertation | LibreCat-ID: 264
Wette, P. (2015). Optimizing Software-Defined Networks using Application-Layer Knowledge. Universität Paderborn.
LibreCat
| Files available
2015 | Conference Paper | LibreCat-ID: 26434
Unger, C., Forascu, C., López, V., Ngonga Ngomo, A.-C., Cabrio, E., Cimiano, P., & Walter, S. (2015). Question Answering over Linked Data (QALD-5). In L. Cappellato, N. Ferro, G. J. F. Jones, & E. SanJuan (Eds.), Working Notes of {CLEF} 2015 - Conference and Labs of the Evaluation forum, Toulouse, France, September 8-11, 2015 (Vol. 1391). CEUR-WS.org.
LibreCat
2015 | Conference Paper | LibreCat-ID: 26444
Avdiyenko, L., Nettling, M., Lemke, C., Wauer, M., Ngonga Ngomo, A.-C., & Both, A. (2015). Motive-based Search. In A. L. N. Fred, J. L. G. Dietz, D. Aveiro, K. Liu, & J. Filipe (Eds.), {KDIR} 2015 - Proceedings of the International Conference on Knowledge Discovery and Information Retrieval, part of the 7th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management {(IC3K} 2015), Volume 1, Lisbon, Portugal, November 12-14, 2015 (pp. 469–474). SciTePress. https://doi.org/10.5220/0005635004690474
LibreCat
| DOI