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.

9562 Publications


2015 | Conference Paper | LibreCat-ID: 20005
Dorigo M, Hamann H, Valentini G. Efficient Decision-Making in a Self-Organizing Robot Swarm: On the Speed Versus Accuracy Trade-Off. In: Proceedings of the 14th Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2015). ; 2015.
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 20006
Dorigo M, Hamann H, Valentini G. Self-organized collective decisions in a robot swarm. In: AAAI-15 Video Proceedings. ; 2015.
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 280
Arifulina S, Platenius MC, Mohr F, Engels G, Schäfer W. 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. ; 2015:333--340. doi:10.1109/SERVICES.2015.58
LibreCat | Files available | DOI
 

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 | 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 | Bachelorsthesis | LibreCat-ID: 2865
Strotmann D. Singulärwertzerlegung Für μ-Ähnliche Bregman-Divergenzen.; 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 | 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: 261
Eisenhofer T. Protokolle zur authentifizierten Schüsselvereinbarung. Universität Paderborn; 2015.
LibreCat
 

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
 

2015 | Dissertation | LibreCat-ID: 264
Wette P. Optimizing Software-Defined Networks Using Application-Layer Knowledge. Universität Paderborn; 2015.
LibreCat | Files available
 

2015 | Book | LibreCat-ID: 26446
Pongratz H, Keil R. 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; 2015.
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 26449
Winkelnkemper F, Oberhoff A. WebArena - R {\ “a} spacious structures for {\” u} r the learning locations of the future. In: wedge R, Selke H, eds. Vol 330. Publication series of the Heinz Nixdorf Institute, Paderborn; 2015:103-117.
LibreCat
 

2015 | Book (Editor) | LibreCat-ID: 26531
Keil R, Selke H, eds. 20 Years of Learning with the World Wide Web - Technology and Education in Dialogue. Vol 330. publishing series of the Heinz Nixdorf Institute, Paderborn; 2015.
LibreCat
 

Filters and Search Terms

department=34

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed