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
@inproceedings{Dorigo_Hamann_Valentini_2015, title={Self-organized collective decisions in a robot swarm}, booktitle={AAAI-15 Video Proceedings}, author={Dorigo, Marco and Hamann, Heiko and Valentini, Gabriele}, year={2015} }
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 280
@inproceedings{Arifulina_Platenius_Mohr_Engels_Schäfer_2015, title={Market-Specific Service Compositions: Specification and Matching}, DOI={10.1109/SERVICES.2015.58}, booktitle={Proceedings of the IEEE 11th World Congress on Services (SERVICES), Visionary Track: Service Composition for the Future Internet}, author={Arifulina, Svetlana and Platenius, Marie Christin and Mohr, Felix and Engels, Gregor and Schäfer, Wilhelm}, year={2015}, pages={333--340} }
LibreCat | Files available | DOI
 

2015 | Conference Paper | LibreCat-ID: 283
@inproceedings{Czech_Jakobs_Wehrheim_2015, series={Lecture Notes in Computer Science}, title={Just test what you cannot verify!}, DOI={10.1007/978-3-662-46675-9_7}, booktitle={Fundamental Approaches to Software Engineering}, author={Czech, Mike and Jakobs, Marie-Christine and Wehrheim, Heike}, editor={Egyed, Alexander and Schaefer, InaEditors}, year={2015}, pages={100–114}, collection={Lecture Notes in Computer Science} }
LibreCat | Files available | DOI
 

2015 | Journal Article | LibreCat-ID: 284
@article{Eikel_Scheideler_2015, title={IRIS: A Robust Information System Against Insider DoS Attacks}, DOI={10.1145/2809806}, number={3}, journal={Transactions on Parallel Computing}, publisher={ACM}, author={Eikel, Martina and Scheideler, Christian}, year={2015}, pages={18:1--18:33} }
LibreCat | Files available | DOI
 

2015 | Conference Paper | LibreCat-ID: 285
@inproceedings{Isenberg_2015, title={Incremental Inductive Verification of Parameterized Timed Systems}, DOI={10.1109/ACSD.2015.13}, booktitle={Proceedings of the 15th International Conference on Application of Concurrency to System Design (ACSD)}, author={Isenberg, Tobias}, year={2015}, pages={1–9} }
LibreCat | Files available | DOI
 

2015 | Bachelorsthesis | LibreCat-ID: 286
@book{Kalde_2015, title={Implementierung eines hybriden Verschlüsselungsverfahrens nach Cramer und Shoup}, publisher={Universität Paderborn}, author={Kalde, Benedikt}, year={2015} }
LibreCat
 

2015 | Bachelorsthesis | LibreCat-ID: 2865
@book{Strotmann_2015, title={Singulärwertzerlegung für μ-ähnliche Bregman-Divergenzen}, author={Strotmann, Daniela}, year={2015} }
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 287
@inproceedings{Wette_Karl_2015, title={HybridTE: Traffic Engineering for Very Low-Cost Software-Defined Data-Center Networks}, DOI={10.1109/EWSDN.2015.57}, booktitle={Proceedings of the 4th European Workshop on Software Defined Networks (EWSDN 2015)}, author={Wette, Philip and Karl, Holger}, year={2015}, pages={1--7} }
LibreCat | Files available | DOI
 

2015 | Conference Paper | LibreCat-ID: 241
@inproceedings{Scheideler_Setzer_Strothmann_2015, series={Leibniz International Proceedings in Informatics (LIPIcs)}, title={Towards Establishing Monotonic Searchability in Self-Stabilizing Data Structures}, DOI={10.4230/LIPIcs.OPODIS.2015.24}, booktitle={Proceedings of the 19th International Conference on Principles of Distributed Systems (OPODIS)}, author={Scheideler, Christian and Setzer, Alexander and Strothmann, Thim Frederik}, year={2015}, collection={Leibniz International Proceedings in Informatics (LIPIcs)} }
LibreCat | Files available | DOI
 

2015 | Conference Paper | LibreCat-ID: 242
@inproceedings{Koutsopoulos_Scheideler_Strothmann_2015, series={Lecture Notes in Computer Science}, title={Towards a Universal Approach for the Finite Departure Problem in Overlay Networks}, DOI={10.1007/978-3-319-21741-3_14}, booktitle={Proceedings of the 17th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS)}, author={Koutsopoulos, Andreas and Scheideler, Christian and Strothmann, Thim Frederik}, year={2015}, pages={201–216}, collection={Lecture Notes in Computer Science} }
LibreCat | Files available | DOI
 

2015 | Conference Paper | LibreCat-ID: 243
@inproceedings{Strothmann_2015, series={LNCS}, title={The impact of communication patterns on distributed locally self-adjusting binary search trees}, DOI={10.1007/978-3-319-15612-5_16}, booktitle={Proceedings of the 9th International Workshop on Algorithms and Computation (WALCOM)}, author={Strothmann, Thim Frederik}, year={2015}, pages={175--186}, collection={LNCS} }
LibreCat | Files available | DOI
 

2015 | Dissertation | LibreCat-ID: 246
@book{Besova_2015, title={Systematic Development and Re-Use of Model Tranformations}, publisher={Universität Paderborn}, author={Besova, Galina}, year={2015} }
LibreCat | Files available
 

2015 | Conference Paper | LibreCat-ID: 247
@inproceedings{Schwabe_Karl_2015, title={SynRace: Decentralized Load-Adaptive Multi-path Routing without Collecting Statistics}, DOI={10.1109/EWSDN.2015.58}, booktitle={Proceedings of the 4th European Workshop on Software Defined Networks (EWSDN 2015)}, author={Schwabe, Arne and Karl, Holger}, year={2015}, pages={37–42} }
LibreCat | Files available | DOI
 

2015 | Bachelorsthesis | LibreCat-ID: 261
@book{Eisenhofer_2015, title={Protokolle zur authentifizierten Schüsselvereinbarung}, publisher={Universität Paderborn}, author={Eisenhofer, Thorsten}, year={2015} }
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 262
@inproceedings{Jakobs_Wehrheim_2015, series={SAC ’15}, title={Programs from Proofs of Predicated Dataflow Analyses}, DOI={10.1145/2695664.2695690}, booktitle={Proceedings of the 30th Annual ACM Symposium on Applied Computing}, author={Jakobs, Marie-Christine and Wehrheim, Heike}, year={2015}, pages={1729–1736}, collection={SAC ’15} }
LibreCat | Files available | DOI
 

2015 | Dissertation | LibreCat-ID: 264
@book{Wette_2015, title={Optimizing Software-Defined Networks using Application-Layer Knowledge}, publisher={Universität Paderborn}, author={Wette, Philip}, year={2015} }
LibreCat | Files available
 

2015 | Book | LibreCat-ID: 26446
@book{Pongratz_Keil_2015, series={GI-Edition Lecture Notes in Informatics (LNI)}, title={DeLFI 2015 - The 13th e-Learning Conference on Computer Science of the E-Learning Section of the Society for Computer Science eV}, publisher={Koellen Druck + Verlag GmbH}, author={Pongratz, Hans and Keil, Reinhard}, year={2015}, collection={GI-Edition Lecture Notes in Informatics (LNI)} }
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 26449
@inproceedings{Winkelnkemper_Oberhoff_2015, title={WebArena - R {\ “a} spacious structures for {\” u} r the learning locations of the future}, volume={330}, publisher={Publication series of the Heinz Nixdorf Institute, Paderborn}, author={Winkelnkemper, Felix and Oberhoff, Andreas}, editor={wedge, Reinhard and Selke, Harald}, year={2015}, pages={103–117} }
LibreCat
 

2015 | Book (Editor) | LibreCat-ID: 26531
@book{Keil_Selke_2015, series={Heinz publishing house series Nixdorf Institute, Paderborn}, title={20 years of learning with the World Wide Web - technology and education in dialogue}, volume={330}, publisher={publishing series of the Heinz Nixdorf Institute, Paderborn}, year={2015}, collection={Heinz publishing house series Nixdorf Institute, Paderborn} }
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 26532
@inproceedings{Keil_Selke_2015, title={Learn with, through and {\ "about the WWW}, volume={330}, publisher={Publishing series of the Heinz Nixdorf Institute, Paderborn}, author={Keil, Reinhard and Selke, Harald}, editor={Keil, Reinhard and Selke, Harald}, year={2015}, pages={1–7} }
LibreCat
 

Filters and Search Terms

department=7

Search

Filter Publications

Display / Sort

Citation Style: BibTeX

Export / Embed