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.
9766 Publications
2015 | Mastersthesis | LibreCat-ID: 251
Pfannschmidt, Karlson. Solving the Aggregated Bandits Problem. Universität Paderborn, 2015.
LibreCat
2015 | Journal Article | LibreCat-ID: 25107
Jungmann, Alexander, and Felix Mohr. “An Approach towards Adaptive Service Composition in Markets of Composed Services.” Journal of Internet Services and Applications 6(1), 2015, pp. 1–18.
LibreCat
2015 | Journal Article | LibreCat-ID: 25108
Rammig, Franz-Josef, and Katharina Stahl. “Online Behavior Classification for Anomaly Detection in Self-x Real-Time Systems.” Concurrency and Computation: Practice and Experience , 2015.
LibreCat
2015 | Journal Article | LibreCat-ID: 25109
Sudhakar, Krishna, et al. “Efficient Integration of Online Model Checking into a Small-Footprint Real-Time Operating System.” Concurrency and Computation: Practice and Experience , 2015.
LibreCat
2015 | Journal Article | LibreCat-ID: 25110
Joy, M. tech. Mabel Mary, and Franz-Josef Rammig. “A Hybrid Methodology to Detect Memory Leaks in Soft Real Time Embedded Systems Software.” Int. J. of Embedded Systems, 2015.
LibreCat
2015 | Journal Article | LibreCat-ID: 25111
Khaluf, Yara, et al. “Analysis of Long-Term Swarm Performance Based on Short-Term Experiments.” Springer Jounal Soft Computing , 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 252
Dräxler, Martin, et al. “SmarterPhones: Anticipatory Download Scheduling for Wireless Video Streaming.” Proceedings of the 2nd International Conference on Networked Systems (NetSys), 2015, pp. 1--8, doi:10.1109/NetSys.2015.7089073.
LibreCat
| Files available
| DOI
| Download (ext.)
2015 | Conference Paper | LibreCat-ID: 253
Blömer, Johannes, et al. “Short Group Signatures with Distributed Traceability.” Proceedings of the Sixth International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS), 2015, pp. 166–80, doi:10.1007/978-3-319-32859-1_14.
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 19959
Wahby, Mostafa, and Heiko Hamann. “On the Tradeoff between Hardware Protection and Optimization Success: A Case Study in Onboard Evolutionary Robotics for Autonomous Parallel Parking.” Applications of Evolutionary Computation (EvoApplications 2015), 2015, doi:10.1007/978-3-319-16549-3_61.
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 19960
Hamann, Heiko, et al. “Flora Robotica - Mixed Societies of Symbiotic Robot-Plant Bio-Hybrids.” Proceedings of the 2015 IEEE Symposium on Artificial Life (IEEE ALIFE’15), 2015, doi:10.1109/ssci.2015.158.
LibreCat
| DOI
2015 | Journal Article | LibreCat-ID: 19962
Hamann, Heiko. “Lessons from Speciation Dynamics: How to Generate Selective Pressure Towards Diversity.” Artificial Life, 2015, pp. 464–80, doi:10.1162/artl_a_00186.
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 19966
Wahby, Mostafa, et al. “Revisiting BEECLUST: Aggregation of Swarm Robots with Adaptiveness to Different Light Settings.” Proceedings of the 9th EAI International Conference on Bio-Inspired Information and Communications Technologies (Formerly BIONETICS), 2015, doi:10.4108/eai.3-12-2015.2262877.
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 19967
Wahby, Mostafa, et al. “Evolution of Controllers for Robot-Plant Bio-Hybdrids: A Simple Case Study Using a Model of Plant Growth and Motion.” Proceedings. 25. Computational Intelligence Workshop, 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 19980
Hamann, Heiko, and Mohammad Divband Soorati. “The Effect of Fitness Function Design on Performance in Evolutionary Robotics: The Influence of a Priori Knowledge.” Proceedings of the Genetic and Evolutionary Computation Conference (GECCO 2015), ACM, 2015, pp. 153–60, doi:10.1145/2739480.2754676.
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 19988
Hamann, Heiko, et al. “Evolving Collective Behaviors With Diverse But Predictable Sensor States.” 13th European Conference on Artificial Life (ECAL 2015), MIT Press, 2015, p. 174, doi:10.7551/978-0-262-33027-5-ch036.
LibreCat
| DOI
2015 | Book Chapter | LibreCat-ID: 19989
Hamann, Heiko, et al. “Probabilistic Modeling of Swarming Systems.” Springer Handbook of Computational Intelligence, Springer, 2015, pp. 1423–31, doi:10.1007/978-3-662-43505-2_74.
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 19990
Ding, Hongli, and Heiko Hamann. “Dependability in Swarm Robotics: Error Detection and Correction.” First International Symposium on Swarm Behavior and Bio-Inspired Robotics (SWARM 2015), 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 19991
Hamann, Heiko, et al. “Potential of Heterogeneity in Collective Behaviors: A Case Study on Heterogeneous Swarms.” Principles and Practice of Multi-Agent Systems (PRIMA 2015), 2015, pp. 201–17.
LibreCat
2015 | Journal Article | LibreCat-ID: 19992
Valentini, Gabriele, and Heiko Hamann. “Time-Variant Feedback Processes in Collective Decision-Making Systems: Influence and Effect of Dynamic Neighborhood Sizes.” Swarm Intelligence, 2015, pp. 153–76, doi:10.1007/s11721-015-0108-8.
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 20005
Dorigo, Marco, et al. “Efficient Decision-Making in a Self-Organizing Robot Swarm: On the Speed Versus Accuracy Trade-Off.” Proceedings of the 14th Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2015), 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 20006
Dorigo, Marco, et al. “Self-Organized Collective Decisions in a Robot Swarm.” AAAI-15 Video Proceedings, 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 280
Arifulina, Svetlana, et al. “Market-Specific Service Compositions: Specification and Matching.” Proceedings of the IEEE 11th World Congress on Services (SERVICES), Visionary Track: Service Composition for the Future Internet, 2015, pp. 333--340, doi:10.1109/SERVICES.2015.58.
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 283
Czech, Mike, et al. “Just Test What You Cannot Verify!” Fundamental Approaches to Software Engineering, edited by Alexander Egyed and Ina Schaefer, 2015, pp. 100–14, doi: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, ACM, 2015, pp. 18:1--18:33, doi:10.1145/2809806.
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 285
Isenberg, Tobias. “Incremental Inductive Verification of Parameterized Timed Systems.” Proceedings of the 15th International Conference on Application of Concurrency to System Design (ACSD), 2015, pp. 1–9, doi: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.” Proceedings of the 4th European Workshop on Software Defined Networks (EWSDN 2015), 2015, pp. 1--7, doi:10.1109/EWSDN.2015.57.
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 241
Scheideler, Christian, et al. “Towards Establishing Monotonic Searchability in Self-Stabilizing Data Structures.” Proceedings of the 19th International Conference on Principles of Distributed Systems (OPODIS), 2015, doi:10.4230/LIPIcs.OPODIS.2015.24.
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 242
Koutsopoulos, Andreas, et al. “Towards a Universal Approach for the Finite Departure Problem in Overlay Networks.” Proceedings of the 17th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), 2015, pp. 201–16, doi: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.” Proceedings of the 9th International Workshop on Algorithms and Computation (WALCOM), 2015, pp. 175--186, doi: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.” Proceedings of the 4th European Workshop on Software Defined Networks (EWSDN 2015), 2015, pp. 37–42, doi: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.” Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015, pp. 1729–36, doi: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. 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, vol. 330, Publication series of the Heinz Nixdorf Institute, Paderborn, 2015, pp. 103–17.
LibreCat
2015 | Book (Editor) | LibreCat-ID: 26531
Keil, Reinhard, and Harald Selke, editors. 20 Years of Learning with the World Wide Web - Technology and Education in Dialogue. 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, vol. 330, Publishing series of the Heinz Nixdorf Institute, Paderborn, 2015, pp. 1–7.
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, vol. 330, publishing series of the Heinz Nixdorf Institute, Paderborn, 2015, pp. 39–53.
LibreCat
2015 | Dissertation | LibreCat-ID: 26534
Klompmaker, Florian. Development of a Structured Process of Interaction Design for {\ “U} r Nat {\” U} Local User Interfaces. Universitaetsbibliothek Paderborn, 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 26536
Schild, Christian, and Vanessa Petrausch. “Empirical Validation of Design Patterns.” Human and Computer 2015 - Proceedings, De Gruyter Oldenbourg, 2015, pp. 173–82.
LibreCat
2015 | Conference Paper | LibreCat-ID: 266
Markarian, Christine, and Friedhelm Meyer auf der Heide. “Online Resource Leasing.” Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing (PODC), 2015, pp. 343–44, doi:10.1145/2767386.2767454.
LibreCat
| Files available
| DOI
2015 | Dissertation | LibreCat-ID: 267
Markarian, Christine. Online Resource Leasing. Universität Paderborn, 2015.
LibreCat
| Files available
2015 | Conference Paper | LibreCat-ID: 269
Wiersema, Tobias, et al. “On-The-Fly Verification of Reconfigurable Image Processing Modules Based on a Proof-Carrying Hardware Approach.” Proceedings of the International Symposium in Reconfigurable Computing (ARC), 2015, pp. 365--372, doi:10.1007/978-3-319-16214-0_32.
LibreCat
| Files available
| DOI
2015 | Journal Article | LibreCat-ID: 320
Caragiannis, Ioannis, et al. “Approximate Pure Nash Equilibria in Weighted Congestion Games: Existence, Efficient Computation, and Structure.” Transactions on Economics and Computation, vol. 3, no. 1, 2, ACM, 2015, doi:10.1145/2614687.
LibreCat
| Files available
| DOI
2015 | Mastersthesis | LibreCat-ID: 321
Eidens, Fabian. Anonymous Credential System Based on Q-Strong Diffie-Hellman Assumption. Universität Paderborn, 2015.
LibreCat
| Files available
2015 | Conference Paper | LibreCat-ID: 322 | 
Blömer, Johannes, et al. “Anonymous and Publicly Linkable Reputation Systems.” Proceedings of the 18th International Conference on Financial Cryptography and Data Security (FC), 2015, pp. 478--488, doi:10.1007/978-3-662-47854-7_29.
LibreCat
| Files available
| DOI
| Download (ext.)
2015 | Journal Article | LibreCat-ID: 323
Jungmann, Alexander, and Felix Mohr. “An Approach towards Adaptive Service Composition in Markets of Composed Services.” Journal of Internet Services and Applications, no. 1, Springer, 2015, pp. 1–18, doi:10.1186/s13174-015-0022-8.
LibreCat
| Files available
| DOI