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.
9825 Publications
2015 | Conference Paper | LibreCat-ID: 283
Czech, Mike, Marie-Christine Jakobs, and Heike Wehrheim. “Just Test What You Cannot Verify!” In Fundamental Approaches to Software Engineering, edited by Alexander Egyed and Ina Schaefer, 100–114. Lecture Notes in Computer Science, 2015. https://doi.org/10.1007/978-3-662-46675-9_7.
LibreCat
| Files available
| DOI
2015 | Journal Article | LibreCat-ID: 284
Eikel, Martina, and Christian Scheideler. “IRIS: A Robust Information System Against Insider DoS Attacks.” Transactions on Parallel Computing, no. 3 (2015): 18:1--18:33. https://doi.org/10.1145/2809806.
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 285
Isenberg, Tobias. “Incremental Inductive Verification of Parameterized Timed Systems.” In Proceedings of the 15th International Conference on Application of Concurrency to System Design (ACSD), 1–9, 2015. https://doi.org/10.1109/ACSD.2015.13.
LibreCat
| Files available
| DOI
2015 | Bachelorsthesis | LibreCat-ID: 286
Kalde, Benedikt. Implementierung eines hybriden Verschlüsselungsverfahrens nach Cramer und Shoup. Universität Paderborn, 2015.
LibreCat
2015 | Bachelorsthesis | LibreCat-ID: 2865
Strotmann, Daniela. Singulärwertzerlegung Für μ-Ähnliche Bregman-Divergenzen, 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 287
Wette, Philip, and Holger 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), 1--7, 2015. https://doi.org/10.1109/EWSDN.2015.57.
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 241
Scheideler, Christian, Alexander Setzer, and Thim Frederik Strothmann. “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. https://doi.org/10.4230/LIPIcs.OPODIS.2015.24.
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 242
Koutsopoulos, Andreas, Christian Scheideler, and Thim Frederik 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), 201–16. Lecture Notes in Computer Science, 2015. https://doi.org/10.1007/978-3-319-21741-3_14.
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 243
Strothmann, Thim Frederik. “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), 175--186. LNCS, 2015. https://doi.org/10.1007/978-3-319-15612-5_16.
LibreCat
| Files available
| DOI
2015 | Dissertation | LibreCat-ID: 246
Besova, Galina. Systematic Development and Re-Use of Model Tranformations. Universität Paderborn, 2015.
LibreCat
| Files available
2015 | Conference Paper | LibreCat-ID: 247
Schwabe, Arne, and Holger Karl. “SynRace: Decentralized Load-Adaptive Multi-Path Routing without Collecting Statistics.” In Proceedings of the 4th European Workshop on Software Defined Networks (EWSDN 2015), 37–42, 2015. https://doi.org/10.1109/EWSDN.2015.58.
LibreCat
| Files available
| DOI
2015 | Bachelorsthesis | LibreCat-ID: 261
Eisenhofer, Thorsten. Protokolle zur authentifizierten Schüsselvereinbarung. Universität Paderborn, 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 262
Jakobs, Marie-Christine, and Heike Wehrheim. “Programs from Proofs of Predicated Dataflow Analyses.” In Proceedings of the 30th Annual ACM Symposium on Applied Computing, 1729–36. SAC ’15, 2015. https://doi.org/10.1145/2695664.2695690.
LibreCat
| Files available
| DOI
2015 | Dissertation | LibreCat-ID: 264
Wette, Philip. Optimizing Software-Defined Networks Using Application-Layer Knowledge. Universität Paderborn, 2015.
LibreCat
| Files available
2015 | Book | LibreCat-ID: 26446
Pongratz, Hans, and Reinhard Keil. DeLFI 2015 - The 13th e-Learning Conference on Computer Science of the E-Learning Section of the Society for Computer Science EV. GI-Edition Lecture Notes in Informatics (LNI). Koellen Druck + Verlag GmbH, 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 26449
Winkelnkemper, Felix, and Andreas Oberhoff. “WebArena - R {\ ‘A} Spacious Structures for {\’ U} r the Learning Locations of the Future.” edited by Reinhard wedge and Harald Selke, 330:103–17. Publication series of the Heinz Nixdorf Institute, Paderborn, 2015.
LibreCat
2015 | Book (Editor) | LibreCat-ID: 26531
Keil, Reinhard, and Harald Selke, eds. 20 Years of Learning with the World Wide Web - Technology and Education in Dialogue. Vol. 330. Heinz Publishing House Series Nixdorf Institute, Paderborn. publishing series of the Heinz Nixdorf Institute, Paderborn, 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 26532
Keil, Reinhard , and Harald Selke. “Learn with, through and {\ "about the WWW.” edited by Reinhard Keil and Harald Selke, 330:1–7. Publishing series of the Heinz Nixdorf Institute, Paderborn, 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 26533
Keil, Reinhard , and Harald Selke. “Virtual Knowledge {\ ‘A} Ume - From the Presentation of Content to Virtual Learning {\’ A} Tten.” edited by Reinhard Keil and Harald Selke, 330:39–53. publishing series of the Heinz Nixdorf Institute, Paderborn, 2015.
LibreCat
2015 | Dissertation | LibreCat-ID: 26534
Klompmaker, Florian. Development of a Structured Process of Interaction Design for {\ “U} r Nat {\” U} Local User Interfaces. Universit {\ "a} t Paderborn, Heinz Nixdorf Institute, Contextual Computer Science: Universitaetsbibliothek Paderborn, 2015.
LibreCat