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.
5685 Publications
2011 | Book Chapter | LibreCat-ID: 20196
Hamann, H., Schmickl, T., & Crailsheim, K. (2011). Explaining Emergent Behavior in a Swarm System Based on an Inversion of the Fluctuation Theorem. In T. Lenaerts, M. Giacobini, H. Bersini, P. Bourgine, M. Dorigo, & R. Doursat (Eds.), Advances in Artificial Life, ECAL 2011: Proceedings of the 11th European Conference on the Synthesis and Simulation of Living Systems (pp. 302--309). MIT Press.
LibreCat
2011 | Book Chapter | LibreCat-ID: 20214
Hamann, H., Schmickl, T., Stradner, J., Crailsheim, K., & Winkler, L. (2011). Major Feedback Loops Supporting Artificial Evolution in Multi-modular Robotics. In New Horizons in Evolutionary Robotics. Berlin, Heidelberg: Springer. https://doi.org/10.1007/978-3-642-18272-3_13
LibreCat
| DOI
2011 | Journal Article | LibreCat-ID: 20215
Schmickl, T., Hamann, H., & Crailsheim, K. (2011). Modelling a hormone-inspired controller for individual- and multi-modular robotic systems. Mathematical and Computer Modelling of Dynamical Systems, 17(3), 221–242. https://doi.org/10.1080/13873954.2011.557862
LibreCat
| DOI
2011 | Bachelorsthesis | LibreCat-ID: 2872
Böttger, T. (2011). Bicriteria-Approximation für das k-Median-Clustering mit Bregman-Divergenzen.
LibreCat
| Files available
2011 | Conference Paper | LibreCat-ID: 26276
Hosseinimehr, M., & Montealegre, N. (2011). Implementation of a Singular Value Decomposition Module on an FPGA. The 23rd IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS 2011).
LibreCat
2011 | Conference Paper | LibreCat-ID: 26279
Jungmann, A., & Kleinjohann, B. (2011). Automatic Feature Classification for Object Detection based on Motion Analysis. Proceedings of the 5th International Conference on Automation, Robotics and Applications (ICARA).
LibreCat
2011 | Conference Paper | LibreCat-ID: 26281
Stern, C., Rasche, C., Kleinjohann, L., & Kleinjohann, B. (2011). Towards Using Virtual Forces for Image Registration. The 5th International Conference on Automation, Robotics and Applications (ICARA 2011).
LibreCat
2011 | Book Chapter | LibreCat-ID: 2662
Dannewitz, C., & al, et. (2011). How to manage and Search/Retrieve Information Objects. In Architecture and Design for the Future Internet.
LibreCat
| Download (ext.)
2011 | Book Chapter | LibreCat-ID: 2663
Dannewitz, C., & al, et. (2011). Integrating Generic Paths and NetInf. In Architecture and Design for the Future Internet.
LibreCat
| Download (ext.)
2011 | Conference Paper | LibreCat-ID: 26660
Rasche, C., Stern, C., Kleinjohann, L., & Kleinjohann, B. (2011). A Distributed Multi-UAV Path Planning Approach for 3D Environments. The 5th International Conference on Automation, Robotics and Applications (ICARA 2011).
LibreCat
2011 | Conference Paper | LibreCat-ID: 26663
Mathews, E., Graf, T., & Kulathunga, K. S. S. B. (2011). A Bio-inspired Coverage and Connectivity Maintenance Algorithm. Sixth International ICST Conference on Bio-Inspired Models of Network, Information, and Computing Systems.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26667
Kuznik, C., & Müller, W. (2011). Aspect enhanced functional coverage driven verification in the SystemC HDVL. Proc. of the 8th International SoC Design Conference 2011 (ISOCC 2011).
LibreCat
2011 | Conference Paper | LibreCat-ID: 26669
Xie, T., & Müller, W. (2011). IP-XACT based System Level Mutation Testing. Proceedings of the 16th IEEE International High Level Design Validation and Test Workshop (HLDVT).
LibreCat
2011 | Journal Article | LibreCat-ID: 26670
Henkler, S., Oberthür, S., Giese, H., & Seibel, A. (2011). Model-driven runtime resource predictions for advanced mechatronic systems with dynamic data structures. International Journal of Computer Systems Science & Engineering 26 (6).
LibreCat
2011 | Journal Article | LibreCat-ID: 26671
Baldin, D., Grösbrink, S., & Oberthür, S. (2011). Enabling Constraint-based Binary Reconfiguration by Binary Analysis. International Journal on Computing (JoC) 1(4).
LibreCat
2011 | Conference Paper | LibreCat-ID: 26673
Bin Tariq, F. (2011). F-DRARE: A Framework for Deterministic runtime adaptation of Cyber Physical Systems. 1st International Workshop on Adaptive Services for the Future Internet, 4th European Conference, ServiceWave 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26687
Orfanus, D., Janacik, P., Eliassen, F., & Orten, P. (2011). High-Level Construction of Emergent Self-Organizing Behavior in Massively Distributed Embedded Systems. Proceedings of Third World Congress on Nature and Biologically Inspired Computing (NaBIC2011).
LibreCat
2011 | Conference Paper | LibreCat-ID: 26698
Xie, T., & Müller, W. (2011). HDL-Mutation Based Simulation Data Generation by Propagation Guided Search. Proceedings of the 14th Euromicro Conference on Digital System Design (DSD).
LibreCat
2011 | Conference Paper | LibreCat-ID: 26699
Jungmann, A., Lutterbeck, J., Werdehausen, B., & Kleinjohann, B. (2011). A Test Bed for Investigating Self-X Properties in Multi-Robot Societies. Proceedings of the 9th IEEE International Conference on Industrial Informatics (INDIN). 26. - 29. Jul. 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26701
Gausemeier, J., Schierbaum, T., Dumitrescu, R., Herbrechtsmeier, S., & Jungmann, A. (2011). Miniature Robot BeBot: Mechatronic Test Platform for Self-X Properties. Proceedings of the 9th IEEE International Conference on Industrial Informatics (INDIN). 26. - 29. Jul. 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26702
Thuy, A. (2011). Comparison of periodic and aperiodic task models for cyber-physical-systems. Reconfigurable Communication-Centric Systems-on-Chip (ReCoSoC), 2011 6th International Workshop On . 20. - 22. Jun. 2011.
LibreCat
2011 | Journal Article | LibreCat-ID: 26705
Kuznik, C., & Müller, W. (2011). Verification Closure of SystemC Designs with Functional Coverage. North American SystemC User Group Meeting (16th). Jun. 2011 - 16th North American User Group Meeting (NASCUG).
LibreCat
2011 | Conference Paper | LibreCat-ID: 26707
Mathews, E., & Frey, H. (2011). A Localized Planarization Algorithm for Realistic Wireless Networks. IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM), 1–9.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26710
Becker, M., Zabel, H., Müller, W., Elfeky, A., & DiPasquale, A. (2011). Virtual Prototyping softwareintensiver mechatronischer Systeme Eine Fallstudie. 8. Paderborner Workshop Entwurf Mechatronischer Systeme, Band 294, 294, 315–327.
LibreCat
2011 | Journal Article | LibreCat-ID: 26711
Rasche, C., Stern, C., Kleinjohann, L., & Kleinjohann, B. (2011). Coordinated Exploration and Goal-Oriented Path Planning using Multiple UAVs. ThinkMind, International Journal On Advances in Software 3 (3&4), 351–370.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26712
Khaluf, Y., Mathews, E., & Rammig, F.-J. (2011). Self-Organized Cooperation in Swarm Robotics. 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW), 217–226.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26713
Klobedanz, K., König, A., & Müller, W. (2011). A Reconfiguration Approach for Fault-Tolerant FlexRay Networks. Proceedings of Design, Automation, Test Europe - DATE2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26714
Klobedanz, K., König, A., Müller, W., & Rettberg, A. (2011). Self-Reconfiguration for Fault-Tolerant FlexRay Networks. Second IEEE Workshop on Self-Organizing Real-Time Systems - SORT 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26715
Kuznik, C., & Müller, W. (2011). Functional Coverage-driven Verification with SystemC on Multiple Level of Abstraction. Proceedings of DVCON .
LibreCat
2011 | Conference Paper | LibreCat-ID: 26716
Mischkalla, F., He, D., & Müller, W. (2011). A Retargetable SysML-based Front-End for High-Level Synthesis. Proceedings of 2nd Workshop on Model Based Engineering for Embedded Systems Design (M-BED).
LibreCat
2011 | Conference Paper | LibreCat-ID: 26717
He, D., Mischkalla, F., & Müller, W. (2011). A SysML-based Framework with QEMU-SystemC Code Generation. Proceedings of 1st International QEMU Users Forum.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26782
Becker, M. (2011). QEMU/SystemC Cosimulation at Different Abstraction Levels. 1st International QEMU Users Forum (QUF’11).
LibreCat
2011 | Book Chapter | LibreCat-ID: 26783
Adelt, P., Esau, N., Hölscher, C., Kleinjohann, B., Kleinjohann, L., Krüger, M., & Zimmer, D. (2011). Hybrid Planning for Self-Optimization in Railbound Mechatronic Systems. In Intelligent Mechatronics; Kapitel 10 (pp. 169–194). InTech Open Access Publisher.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26784
Gnokam Defo, G. B., & Müller, W. (2011). Synchronisation eines SystemC Restbus-Simulators mit einem Hardware-In-the-Loop FlexRay Netzwerk. Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV).
LibreCat
2011 | Conference Paper | LibreCat-ID: 26787
Khaluf, L., Gerth, C., & Engels, G. (2011). Pattern-Based Modeling and Formalizing of Business Process Quality Constraints. Proceedings of the 23rd International Conference on Advanced Information Systems Engineering (CAiSE’11), 521–535.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26789
Kuznik, C., & Müller, W. (2011). Native binary mutation analysis for embedded software and virtual prototypes in SystemC. Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing.
LibreCat
2011 | Book Chapter | LibreCat-ID: 26792
Esau, N., & Kleinjohann, L. (2011). Emotional Robot Competence and Its Use in Robot Behavior Control. In Emotional Engineering (pp. 119–142). Springer-Verlag London.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26794
Jungmann, A., Lutterbeck, J., Werdehausen, B., Kleinjohann, B., & Kleinjohann, L. (2011). Towards a Real-World Scenario for Investigating Organic Computing Principles in Heterogeneous Societies of Robots. Proceedings of the 2011 Workshop on Organic Computing, 41–50.
LibreCat
2011 | Book Chapter | LibreCat-ID: 26805
Jungmann, A., Kleinjohann, B., & Richert, W. (2011). A Fast Hierarchical Learning Approach for Autonomous Robots. In Organic Computing A Paradigm Shift for Complex Systems, Autonomic Systems (pp. 545–558). Springer Basel. https://doi.org/10.1007/978-3-0348-0130-0_36
LibreCat
| DOI
2011 | Book Chapter | LibreCat-ID: 26810
Jungmann, A., Kleinjohann, B., & Richert, W. (2011). Increasing Learning Speed by Imitation in Multi-robot Societies. In Organic Computing A Paradigm Shift for Complex Systems, Autonomic Systems, Band 1 (pp. 295–307). Springer Basel. https://doi.org/10.1007/978-3-0348-0130-0_19
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 3811
Wachsmuth, H., & Bujna, K. (2011). Back to the Roots of Genres: Text Classification by Language Function. In B. Berendt, A. de Vries, W. Fan, C. Macdonald, I. Ounis, & I. Ruthven (Eds.), Proceedings of 5th International Joint Conference on Natural Language Processing (pp. 632–640).
LibreCat
| Download (ext.)
2011 | Conference Paper | LibreCat-ID: 3875
Wachsmuth, H., Stein, B., & Engels, G. (2011). Constructing Efficient Information Extraction Pipelines. In B. Berendt, A. de Vries, W. Fan, C. Macdonald, I. Ounis, & I. Ruthven (Eds.), 20th ACM International Conference on Information and Knowledge Management (pp. 2237–2240).
LibreCat
| Download (ext.)
2011 | Mastersthesis | LibreCat-ID: 2902
Märtens, M. (2011). The Monotone Complexity of Computing k-Clique on Random Graphs.
LibreCat
2011 | Dissertation | LibreCat-ID: 2910
Naewe, S. (2011). Algorithms for lattice problems with respect to general norms. Universität Paderborn.
LibreCat
| Download (ext.)
2011 | Conference Paper | LibreCat-ID: 2985
Ackermann, M. R., Blömer, J., & Scholz, C. (2011). Hardness and Non-Approximability of Bregman Clustering Problems.
LibreCat
2011 | Book Chapter | LibreCat-ID: 2986
Blömer, J. (2011). How to Share a Secret. In Algorithms Unplugged (pp. 159–168). Berlin, Heidelberg: Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-15328-0_17
LibreCat
| DOI
2011 | Preprint | LibreCat-ID: 2987
Blömer, J., & Naewe, S. (2011). Solving the Closest Vector Problem with respect to Lp Norms. ArXiv:1104.3720.
LibreCat
2011 | Conference Paper | LibreCat-ID: 3137
Hofheinz, D., Jager, T., & Kiltz, E. (2011). Short Signatures from Weaker Assumptions. In Advances in Cryptology - ASIACRYPT 2011 - 17th International Conference on the Theory and Application of Cryptology and Information Security, Seoul, South Korea, December 4-8, 2011. Proceedings (pp. 647--666). https://doi.org/10.1007/978-3-642-25385-0_35
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 3138
Jager, T., & Somorovsky, J. (2011). How to break XML encryption. In Proceedings of the 18th ACM Conference on Computer and Communications Security, CCS 2011, Chicago, Illinois, USA, October 17-21, 2011 (pp. 413--422). https://doi.org/10.1145/2046707.2046756
LibreCat
| DOI
2011 | Journal Article | LibreCat-ID: 3183
Schneider, S., Treharne, H., & Wehrheim, H. (2011). Bounded Retransmission in Event-B{\(\parallel\)}CSP: a Case Study. Electr. Notes Theor. Comput. Sci., 69--80. https://doi.org/10.1016/j.entcs.2011.11.019
LibreCat
| DOI