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


2016 | Journal Article | LibreCat-ID: 46372
Schütze O, Sosa HV, Trautmann H, Rudolph G. The Hypervolume based Directed Search Method for Multi-Objective Optimization Problems. Journal of Heuristics. 2016;22(3):273–300. doi:10.1007/s10732-016-9310-0
LibreCat | DOI
 

2016 | Conference Paper | LibreCat-ID: 46368
Kerschke P, Trautmann H. The R-Package FLACCO for Exploratory Landscape Analysis with Applications to Multi-Objective Optimization Problems. In: Proceedings of the IEEE Congress on Evolutionary Computation (CEC). ; 2016. doi:10.1109/CEC.2016.7748359
LibreCat | DOI
 

2016 | Journal Article | LibreCat-ID: 46370
Neumann F, Trautmann H. Working Group Report: Bridging the Gap Between Experiments and Theory Using Feature-Based Run-Time Analysis; Theory of Evolutionary Algorithms (Dagstuhl Seminar 15211). Dagstuhl Reports. 2016;5(5):78–79. doi:10.4230/DagRep.5.5.57
LibreCat | DOI
 

2016 | Conference Paper | LibreCat-ID: 48309
Habernal I, Gurevych I. What makes a convincing argument? Empirical analysis and detecting            attributes of convincingness in Web argumentation. In: Proceedings of the 2016 Conference on Empirical Methods in Natural          Language Processing. Association for Computational Linguistics; 2016. doi:10.18653/v1/d16-1129
LibreCat | DOI
 

2016 | Conference Paper | LibreCat-ID: 11890 | OA
Schmalenstroeer J, Haeb-Umbach R. Investigations into Bluetooth Low Energy Localization Precision Limits. In: 24th European Signal Processing Conference (EUSIPCO 2016). ; 2016.
LibreCat | Files available | Download (ext.)
 

2016 | Conference Paper | LibreCat-ID: 47241
Acar Y, Backes M, Fahl S, Kim D, Mazurek ML, Stransky C. You Get Where You’re Looking for: The Impact of Information Sources on Code Security. In: 2016 IEEE Symposium on Security and Privacy (SP). IEEE; 2016. doi:10.1109/sp.2016.25
LibreCat | DOI
 

2016 | Conference Paper | LibreCat-ID: 47239
Dechand S, Schürmann D, Busse K, Acar Y, Fahl S, Smith M. An Empirical Study of Textual Key-Fingerprint Representations. In: Holz T, Savage S, eds. 25th USENIX Security Symposium, USENIX Security 16, Austin, TX, USA, August 10-12, 2016. USENIX Association; 2016:193–208.
LibreCat
 

2016 | Conference Paper | LibreCat-ID: 48873
Bossek J, Trautmann H. Evolving Instances for Maximizing Performance Differences of State-of-the-Art Inexact TSP Solvers. In: Festa P, Sellmann M, Vanschoren J, eds. Learning and Intelligent Optimization. Lecture Notes in Computer Science. Springer International Publishing; 2016:48–59. doi:10.1007/978-3-319-50349-3_4
LibreCat | DOI
 

2016 | Book Chapter | LibreCat-ID: 51464
Hilgert J. Schwierigkeiten beim Übergang von Schule zu Hochschule im zeitlichen Vergleich - Ein Blick auf Defizite beim Erwerb von Schlüsselkompetenzen. In: Hoppenbrock A, et al., eds. Lehren und Lernen von Mathematik in der Studieneingangsphase. Springer Spektrum; 2016.
LibreCat
 

2016 | Book Chapter | LibreCat-ID: 51463
Hilgert J, Pasquale A, Przebinda T. Resonances for the Laplacian: the cases BC2 and C2 (except SO(p,2) with p>2 odd). In: Kielanowski P, et al., eds. Geometric Methods in Physics. Birkhäuser; 2016.
LibreCat
 

2016 | Book (Editor) | LibreCat-ID: 51489
Hilgert J, ed. Mathematische Strukturen. Springer Spektrum; 2016.
LibreCat | Download (ext.)
 

2016 | Conference Paper | LibreCat-ID: 52575
Werth G. Ziehen und Beweisen mit DGS - Welche Beweiskraft haben für Studierende die Erkenntnisse, die sie im Zugmodus gewinnen? In: Institut für Mathematik und Informatik der Pädagogischen Hochschule Heidelberg, ed. Beiträge zum Mathematikunterricht. WTM; 2016.
LibreCat
 

2016 | Journal Article | LibreCat-ID: 52803
Borgwardt S, Mailis T, Peñaloza R, Turhan A-Y. Answering Fuzzy Conjunctive Queries Over Finitely Valued Fuzzy Ontologies. Journal on Data Semantics. 2016;5(2):55-75. doi:10.1007/s13740-015-0055-y
LibreCat | DOI
 

2015 | Conference Paper | LibreCat-ID: 250
Jakobs M-C. Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning. In: Proceedings of the 13th International Conference on Software Engineering and Formal Methods (SEFM). LNCS. ; 2015:159--174. doi:10.1007/978-3-319-22969-0_12
LibreCat | Files available | DOI
 

2015 | Conference Paper | LibreCat-ID: 25073
Jungmann A, Jatzkowski J, Kleinjohann B. Combining Service-oriented Computing with Embedded Systems - A Robotics Case Study. In: Proceedings of the 5th IFIP International Embedded Systems Symposium (IESS). Springer-Verlag; 2015.
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 25074
Jatzkowski J, Kreutz ME, Rettberg A. Hierarchical Multicore-Scheduling for Virtualization of Dependent Real-Time Systems. In: Proceedings of the 5th IFIP International Embedded Systems Symposium (IESS). Springer; 2015.
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 25075
Stahl K, Stöcklein J, Li S. Evaluation of Autonomous Approaches using Virtual Environments. In: Shumaker R, Lackey S, eds. Virtual, Augmented and Mixed Reality VAMR 2015 Held as Part of HCI International 2015. Vol 9179. LNCS. Springer International Publishing Switzerland; 2015:499-512.
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 25076
Jungmann A. On Adaptivity for Automated Composition of Service Functionality. In: Proceedings of the IEEE 11th World Congress on Services (SERVICES). IEEE Computer Society; 2015:329-332.
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 25080
Mohr F, Jungmann A, Kleine Büning H. Automated Online Service Composition. In: Proceedings of the 12th IEEE International Conference on Services Computing (SCC). IEEE Computer Society; 2015:57-64.
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 25082
Jatzkowski J, Kreutz ME, Rettberg A. Towards Hierarchical Scheduling of Dependent Systems with Hypervisor-based Virtualization. In: Proceedings of Electronic System Level Synthesis Conference (ESLsyn). ; 2015.
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 25083
Jatzkowski J, Kleinjohann B. Self-Reconfiguration of Real-Time Communication within Cyber-Physical Systems. In: Mechatronics. Elsevier; 2015.
LibreCat
 

2015 | Mastersthesis | LibreCat-ID: 251
Pfannschmidt K. Solving the Aggregated Bandits Problem. Universität Paderborn; 2015.
LibreCat
 

2015 | Journal Article | LibreCat-ID: 25107
Jungmann A, Mohr F. An approach towards adaptive service composition in markets of composed services. Journal of Internet Services and Applications 6(1). Published online 2015:1-18.
LibreCat
 

2015 | Journal Article | LibreCat-ID: 25108
Rammig F-J, Stahl K. Online behavior classification for anomaly detection in self-x real-time systems. Concurrency and Computation: Practice and Experience . Published online 2015.
LibreCat
 

2015 | Journal Article | LibreCat-ID: 25109
Sudhakar K, Zhao Y, Rammig F-J. Efficient Integration of Online Model Checking into a Small-Footprint Real-Time Operating System. Concurrency and Computation: Practice and Experience . Published online 2015.
LibreCat
 

2015 | Journal Article | LibreCat-ID: 25110
Joy M tech. MM, Rammig F-J. A hybrid methodology to detect memory leaks in soft real time embedded systems software. Int J of Embedded Systems. Published online 2015.
LibreCat
 

2015 | Journal Article | LibreCat-ID: 25111
Khaluf Y, Birattari M, Rammig F-J. Analysis of long-term swarm performance based on short-term experiments. Springer Jounal Soft Computing . Published online 2015.
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 252
Dräxler M, Blobel J, Dreimann P, Valentin S, Karl H. SmarterPhones: Anticipatory Download Scheduling for Wireless Video Streaming. In: Proceedings of the 2nd International Conference on Networked Systems (NetSys). ; 2015:1--8. doi:10.1109/NetSys.2015.7089073
LibreCat | Files available | DOI | Download (ext.)
 

2015 | Conference Paper | LibreCat-ID: 253
Blömer J, Juhnke J, Löken N. Short Group Signatures with Distributed Traceability. In: Proceedings of the Sixth International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS). LNCS. ; 2015:166-180. doi:10.1007/978-3-319-32859-1_14
LibreCat | Files available | DOI
 

2015 | Conference Paper | LibreCat-ID: 19959
Wahby M, Hamann H. On the Tradeoff between Hardware Protection and Optimization Success: A Case Study in Onboard Evolutionary Robotics for Autonomous Parallel Parking. In: 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 H, Wahby M, Schmickl T, et al. Flora Robotica - Mixed Societies of Symbiotic Robot-Plant Bio-Hybrids. In: 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 H. Lessons from Speciation Dynamics: How to Generate Selective Pressure Towards Diversity. Artificial Life. 2015:464-480. doi:10.1162/artl_a_00186
LibreCat | DOI
 

2015 | Conference Paper | LibreCat-ID: 19966
Wahby M, Weinhold A, Hamann H. Revisiting BEECLUST: Aggregation of Swarm Robots with Adaptiveness to Different Light Settings. In: 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 M, Divband Soorati M, von Mammen S, Hamann H. Evolution of Controllers for Robot-Plant Bio-Hybdrids: A Simple Case Study Using a Model of Plant Growth and Motion. In: Proceedings. 25. Computational Intelligence Workshop. ; 2015.
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 19980
Hamann H, Divband Soorati M. The Effect of Fitness Function Design on Performance in Evolutionary Robotics: The Influence of a Priori Knowledge. In: Proceedings of the Genetic and Evolutionary Computation Conference (GECCO 2015). ACM; 2015:153-160. doi:10.1145/2739480.2754676
LibreCat | DOI
 

2015 | Conference Paper | LibreCat-ID: 19988
Hamann H, Schmickl T, Zahadat P. Evolving Collective Behaviors With Diverse But Predictable Sensor States. In: 13th European Conference on Artificial Life (ECAL 2015). MIT Press; 2015:174. doi:10.7551/978-0-262-33027-5-ch036
LibreCat | DOI
 

2015 | Book Chapter | LibreCat-ID: 19989
Hamann H, Correll N, Kacprzyk J, Pedrycz W. Probabilistic Modeling of Swarming Systems. In: Springer Handbook of Computational Intelligence. Springer; 2015:1423-1431. doi:10.1007/978-3-662-43505-2_74
LibreCat | DOI
 

2015 | Conference Paper | LibreCat-ID: 19990
Ding H, Hamann H. Dependability in Swarm Robotics: Error Detection and Correction. In: First International Symposium on Swarm Behavior and Bio-Inspired Robotics (SWARM 2015). ; 2015.
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 19991
Hamann H, Schmickl T, Kengyel D, Zahadat P, Radspieler G, Wotawa F. Potential of Heterogeneity in Collective Behaviors: A Case Study on Heterogeneous Swarms. In: Principles and Practice of Multi-Agent Systems (PRIMA 2015). ; 2015:201-217.
LibreCat
 

2015 | Journal Article | LibreCat-ID: 19992
Valentini G, Hamann H. Time-variant feedback processes in collective decision-making systems: influence and effect of dynamic neighborhood sizes. Swarm Intelligence. 2015:153-176. doi:10.1007/s11721-015-0108-8
LibreCat | DOI
 

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
 

Filters and Search Terms

department=34

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed