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.
5719 Publications
2015 | Conference Paper | LibreCat-ID: 20006
Dorigo, M., Hamann, H., & Valentini, G. (2015). Self-organized collective decisions in a robot swarm. In AAAI-15 Video Proceedings.
LibreCat
2015 | Conference Paper | LibreCat-ID: 280
Arifulina, S., Platenius, M. C., Mohr, F., Engels, G., & Schäfer, W. (2015). Market-Specific Service Compositions: Specification and Matching. In Proceedings of the IEEE 11th World Congress on Services (SERVICES), Visionary Track: Service Composition for the Future Internet (pp. 333--340). https://doi.org/10.1109/SERVICES.2015.58
LibreCat
| Files available
| DOI
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 | 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 | Bachelorsthesis | LibreCat-ID: 2865
Strotmann, D. (2015). Singulärwertzerlegung für μ-ähnliche Bregman-Divergenzen.
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 | 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: 261
Eisenhofer, T. (2015). Protokolle zur authentifizierten Schüsselvereinbarung. Universität Paderborn.
LibreCat
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 | Dissertation | LibreCat-ID: 264
Wette, P. (2015). Optimizing Software-Defined Networks using Application-Layer Knowledge. Universität Paderborn.
LibreCat
| Files available
2015 | Book | LibreCat-ID: 26446
Pongratz, H., & Keil, R. (2015). DeLFI 2015 - The 13th e-Learning Conference on Computer Science of the E-Learning Section of the Society for Computer Science eV. Koellen Druck + Verlag GmbH.
LibreCat
2015 | Conference Paper | LibreCat-ID: 26449
Winkelnkemper, F., & Oberhoff, A. (2015). WebArena - R {\ “a} spacious structures for {\” u} r the learning locations of the future (R. wedge & H. Selke, Eds.; Vol. 330, pp. 103–117). Publication series of the Heinz Nixdorf Institute, Paderborn.
LibreCat
2015 | Book (Editor) | LibreCat-ID: 26531
Keil, R., & Selke, H. (Eds.). (2015). 20 years of learning with the World Wide Web - technology and education in dialogue (Vol. 330). publishing series of the Heinz Nixdorf Institute, Paderborn.
LibreCat
2015 | Conference Paper | LibreCat-ID: 26532
Keil, R., & Selke, H. (2015). Learn with, through and {\ "about the WWW (R. Keil & H. Selke, Eds.; Vol. 330, pp. 1–7). Publishing series of the Heinz Nixdorf Institute, Paderborn.
LibreCat