@articleSchumacher_Plessl_Platzner_2012, title=IMORC: An Infrastructure and Architecture Template for Implementing High-Performance Reconfigurable FPGA Accelerators, volume=36, DOI=10.1016/j.micpro.2011.04.002, number=2, journal=Microprocessors and Microsystems, author=Schumacher, Tobias and Plessl, Christian and Platzner, Marco, year=2012, pages=110–126 
LibreCat: /record/2108
DOI: 10.1016/j.micpro.2011.04.002

@inproceedingsHappe_Hangmann_Agne_Plessl_2012, title=Eight Ways to put your FPGA on Fire – A Systematic Study of Heat Generators, DOI=10.1109/ReConFig.2012.6416745, booktitle=Proceedings of the International Conference on Reconfigurable Computing and FPGAs (ReConFig), publisher=IEEE, author=Happe, Markus and Hangmann, Hendrik and Agne, Andreas and Plessl, Christian, year=2012, pages=1–8 
LibreCat: /record/615
DOI: 10.1109/ReConFig.2012.6416745

@inproceedingsKenter_Plessl_Schmitz_2012, title=Pragma based parallelization - Trading hardware efficiency for ease of use?, DOI=10.1109/ReConFig.2012.6416773, booktitle=Proceedings of the International Conference on ReConFigurable Computing and FPGAs (ReConFig), publisher=IEEE, author=Kenter, Tobias and Plessl, Christian and Schmitz, Henning, year=2012, pages=1–8 
LibreCat: /record/591
DOI: 10.1109/ReConFig.2012.6416773

@inproceedingsHappe_Agne_Plessl_Platzner_2012, title=Hardware/Software Platform for Self-aware Compute Nodes, booktitle=Proceedings of the Workshop on Self-Awareness in Reconfigurable Computing Systems (SRCS), author=Happe, Markus and Agne, Andreas and Plessl, Christian and Platzner, Marco, year=2012, pages=8–9 
LibreCat: /record/609

@inproceedingsBarrio_Carreras_Sierra_Kenter_Plessl_2012, title=Turning control flow graphs into function calls: Code generation for heterogeneous architectures, DOI=10.1109/HPCSim.2012.6266973, booktitle=Proceedings of the International Conference on High Performance Computing and Simulation (HPCS), publisher=IEEE, author=Barrio, Pablo and Carreras, Carlos and Sierra, Roberto and Kenter, Tobias and Plessl, Christian, year=2012, pages=559–565 
LibreCat: /record/567
DOI: 10.1109/HPCSim.2012.6266973

@inproceedingsRüthing_Happe_Agne_Plessl_2012, title=Exploration of Ring Oscillator Design Space for Temperature Measurements on FPGAs, DOI=10.1109/FPL.2012.6339370, booktitle=Proceedings of the International Conference on Field Programmable Logic and Applications (FPL), publisher=IEEE, author=Rüthing, Christoph and Happe, Markus and Agne, Andreas and Plessl, Christian, year=2012, pages=559–562 
LibreCat: /record/612
DOI: 10.1109/FPL.2012.6339370

@inproceedingsBeisel_Wiersema_Plessl_Brinkmann_2012, title=Programming and Scheduling Model for Supporting Heterogeneous Accelerators in Linux, booktitle=Proc. Workshop on Computer Architecture and Operating System Co-design (CAOS), author=Beisel, Tobias and Wiersema, Tobias and Plessl, Christian and Brinkmann, André, year=2012 
LibreCat: /record/2180

@articleGrad_Plessl_2012, title=On the Feasibility and Limitations of Just-In-Time Instruction Set Extension for FPGA-based Reconfigurable Processors, DOI=10.1155/2012/418315, journal=Int. Journal of Reconfigurable Computing (IJRC), publisher=Hindawi Publishing Corp., author=Grad, Mariusz and Plessl, Christian, year=2012 
LibreCat: /record/2177
DOI: 10.1155/2012/418315

@inproceedingsBrockhoff_Wagner_Trautmann_2012, place=New York, NY, USA, series=GECCO ’12, title=On the Properties of the10.1145/2330163.2330230__Indicator, DOI=10.1145/2330163.2330230, booktitle=Proceedings of the 14th Annual Conference on Genetic and Evolutionary Computation, publisher=Association for Computing Machinery, author=Brockhoff, Dimo and Wagner, Tobias and Trautmann, Heike, year=2012, pages=465–472, collection=GECCO ’12 
LibreCat: /record/46397
DOI: 10.1145/2330163.2330230

@inproceedingsBischl_Mersmann_Trautmann_Preuß_2012, place=New York, NY, USA, series=GECCO ’12, title=Algorithm Selection Based on Exploratory Landscape Analysis and Cost-Sensitive Learning, DOI=10.1145/2330163.2330209, booktitle=Proceedings of the 14th Annual Conference on Genetic and Evolutionary Computation, publisher=Association for Computing Machinery, author=Bischl, Bernd and Mersmann, Olaf and Trautmann, Heike and Preuß, Mike, year=2012, pages=313–320, collection=GECCO ’12 
LibreCat: /record/46396
DOI: 10.1145/2330163.2330209

@inproceedingsMersmann_Bischl_Bossek_Trautmann_Wagner_Neumann_2012, place=Berlin, Heidelberg, title=Local Search and the Traveling Salesman Problem: A Feature-Based Characterization of Problem Hardness, DOI=https://doi.org/10.1007/978-3-642-34413-8_9, booktitle=Learning and Intelligent Optimization, publisher=Springer Berlin Heidelberg, author=Mersmann, Olaf and Bischl, Bernd and Bossek, Jakob and Trautmann, Heike and Wagner, Markus and Neumann, Frank, editor=Hamadi, Youssef and Schoenauer, Marc, year=2012, pages=115–129 
LibreCat: /record/46398
DOI: https://doi.org/10.1007/978-3-642-34413-8_9

@articleBischl_Mersmann_Trautmann_Weihs_2012, title=Resampling Methods in Model Validation, volume=20, DOI=10.1162/EVCO_a_00069, number=2, journal=Evolutionary Computation Journal, author=Bischl, B and Mersmann, O and Trautmann, Heike and Weihs, C, year=2012, pages=249–275 
LibreCat: /record/46399
DOI: 10.1162/EVCO_a_00069

@articleRudolph_Trautmann_Schütze_2012, title=Homogene Approximation der Paretofront bei mehrkriteriellen Kontrollproblemen, volume=60, DOI=10.1524/auto.2012.1033, journal=at-Automatisierungstechnik, author=Rudolph, G and Trautmann, Heike and Schütze, O, year=2012, pages=610–621 
LibreCat: /record/46400
DOI: 10.1524/auto.2012.1033

@inproceedingsMersmann_Bischl_Bossek_Trautmann_Wagner_Neumann_2012, place=Berlin, Heidelberg, series=LION 6, title=Local Search and the Traveling Salesman Problem: A Feature-Based Characterization of Problem Hardness, booktitle=Revised Selected Papers of the 6th International Conference on Learning and Intelligent Optimization - Volume 7219, publisher=Springer-Verlag, author=Mersmann, Olaf and Bischl, Bernd and Bossek, Jakob and Trautmann, Heike and Wagner, Markus and Neumann, Frank, year=2012, pages=115–129, collection=LION 6 
LibreCat: /record/48890

@inbookMersmann_Bischl_Bossek_Trautmann_Wagner_Neumann_2012, place=Berlin, Heidelberg, title=Local Search and the Traveling Salesman Problem: A Feature-Based Characterization of Problem Hardness, volume=7219, DOI=10.1007/978-3-642-34413-8_9, booktitle=Learning and Intelligent Optimization, publisher=Springer Berlin Heidelberg, author=Mersmann, Olaf and Bischl, Bernd and Bossek, Jakob and Trautmann, Heike and Wagner, Markus and Neumann, Frank, year=2012, pages=115–129 
LibreCat: /record/48888
DOI: 10.1007/978-3-642-34413-8_9

@articleKuznik_Oliveira_Müller_2012, title=SYSTEMC UVM VERIFICATION COMPONENTS, journal=Design, Automation and Test in Europe DATE, author=Kuznik, Christoph and Oliveira, Marcio F. and Müller, Wolfgang, year=2012 
LibreCat: /record/26038

@bookKorzeniowski_2011, series=Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, title=Dynamic Load Balancing in Peer-to-Peer Networks, volume=289, publisher=Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, author=Korzeniowski, Miroslaw, year=2011, collection=Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn 
LibreCat: /record/19619

@articleBriest_Krysta_Hoefer_2011, title=Stackelberg Network Pricing Games, volume=62, DOI=10.1007/s00453-010-9480-3, journal=Algorithmica, author=Briest, Patrick and Krysta, Piotr and Hoefer, Martin, year=2011, pages=733–753 
LibreCat: /record/19677
DOI: 10.1007/s00453-010-9480-3

@inproceedingsJähn_Petring_Eikel_2011, title=PADrend: Platform for Algorithm Development and Rendering, volume=295, booktitle=Augmented &; Virtual Reality in der Produktentstehung, publisher=Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, author=Jähn, Claudius and Petring, Ralf and Eikel, Benjamin, year=2011, pages=159--170 
LibreCat: /record/19845

@inproceedingsHamann_Schmickl_Crailsheim_Krasnogor_Luca Lanzi_2011, title=Coupled inverted pendulums: A benchmark for evolving decentral controllers in modular robotics, DOI=10.1145/2001576.2001604, booktitle=Proceedings of the 13th Annual Genetic and Evolutionary Computation Conference, GECCO 2011, author=Hamann, Heiko and Schmickl, Thomas and Crailsheim, Karl and Krasnogor, Natalio and Luca Lanzi, Pier, year=2011, pages=195--202 
LibreCat: /record/20180
DOI: 10.1145/2001576.2001604

@inproceedingsHamann_Schmickl_Crailsheim_2011, title=Thermodynamics of Emergence: Langton’s Ant Meets Boltzmann, DOI=10.1109/ALIFE.2011.5954660, booktitle=IEEE Symposium on Artificial Life (IEEE ALIFE 2011), author=Hamann, Heiko and Schmickl, Thomas and Crailsheim, Karl, year=2011, pages=62--69 
LibreCat: /record/20181
DOI: 10.1109/ALIFE.2011.5954660

@inproceedingsHamann_Schmickl_Crailsheim_2011, title=Evolving for Creativity: Maximizing Complexity in a Self-organized Multi-particle System, volume=5777, DOI=10.1007/978-3-642-21283-3_55, booktitle=10th European Conference on Artificial Life (ECAL’09), author=Hamann, Heiko and Schmickl, Thomas and Crailsheim, Karl, year=2011, pages=442--449 
LibreCat: /record/20183
DOI: 10.1007/978-3-642-21283-3_55

@inproceedingsHamann_Schmickl_Stradner_Crailsheim_Thenius_Fitch_2011, title=Robotic Organisms: Artificial Homeostatic Hormone System and Virtual Embryogenesis as Examples for Adaptive Reaction-Diffusion Controllers, booktitle=Robotic Organisms: Artificial Homeostatic Hormone System and Virtual Embryogenesis as Examples, author=Hamann, Heiko and Schmickl, Thomas and Stradner, Jürgen and Crailsheim, Karl and Thenius, Rona and Fitch, Robert, year=2011 
LibreCat: /record/20184

@inbookHamann_Schmickl_2011, place=Boca Raton, FL, USA, title=BEECLUST: A Swarm Algorithm Derived from Honeybees, booktitle=Bio-inspired Computing and Communication Networks, publisher=CRC Press, author=Hamann, Heiko and Schmickl, Thomas, editor=Xiao, YangEditor, year=2011 
LibreCat: /record/20193

@inproceedingsHamann_Karsai_Schmickl_Stradner_Crailsheim_Thenius_Kampis_Szathmary_2011, title=Evolving a novel bio-inspired controller in reconfigurable robots, booktitle=Advances in Artificial Life, 10th European Conference, ECAL 2009, author=Hamann, Heiko and Karsai, Istvan and Schmickl, Thomas and Stradner, Jürgen and Crailsheim, Karl and Thenius, Ronald and Kampis, Gyoergy and Szathmary, Eoers, year=2011, pages=132--139 
LibreCat: /record/20194

@inproceedingsHamann_Schmickl_Crailsheim_Thenius_Kengyel_2011, title=Embodiment of Honeybee’s Thermotaxis in a Mobile Robot Swarm, DOI=10.1007/978-3-642-21314-4_9, booktitle=10th European Conference on Artificial Life (ECAL’09), author=Hamann, Heiko and Schmickl, Thomas and Crailsheim, Karl and Thenius, Ronald and Kengyel, Daniela, year=2011 
LibreCat: /record/20195
DOI: 10.1007/978-3-642-21314-4_9

@inbookHamann_Schmickl_Crailsheim_2011, title=Explaining Emergent Behavior in a Swarm System Based on an Inversion of the Fluctuation Theorem, booktitle=Advances in Artificial Life, ECAL 2011: Proceedings of the 11th European Conference on the Synthesis and Simulation of Living Systems, publisher=MIT Press, author=Hamann, Heiko and Schmickl, Thomas and Crailsheim, Karl, editor=Lenaerts, Tom and Giacobini, Mario and Bersini, Hugues and Bourgine, Paul and Dorigo, Marco and Doursat, ReneEditors, year=2011, pages=302--309 
LibreCat: /record/20196

@inbookHamann_Schmickl_Stradner_Crailsheim_Winkler_2011, place=Berlin, Heidelberg, title=Major Feedback Loops Supporting Artificial Evolution in Multi-modular Robotics, DOI=10.1007/978-3-642-18272-3_13, booktitle=New Horizons in Evolutionary Robotics, publisher=Springer, author=Hamann, Heiko and Schmickl, Thomas and Stradner, Jürgen and Crailsheim, Karl and Winkler, Lutz, year=2011 
LibreCat: /record/20214
DOI: 10.1007/978-3-642-18272-3_13

@articleSchmickl_Hamann_Crailsheim_2011, title=Modelling a hormone-inspired controller for individual- and multi-modular robotic systems, volume=17, DOI=10.1080/13873954.2011.557862, number=3, journal=Mathematical and Computer Modelling of Dynamical Systems, author=Schmickl, Thomas and Hamann, Heiko and Crailsheim, Karl, year=2011, pages=221–242 
LibreCat: /record/20215
DOI: 10.1080/13873954.2011.557862

@bookBöttger_2011, title=Bicriteria-Approximation für das k-Median-Clustering mit Bregman-Divergenzen, author=Böttger, Timm, year=2011 
LibreCat: /record/2872

@inproceedingsHosseinimehr_Montealegre_2011, place=Calgary, Canada, title=Implementation of a Singular Value Decomposition Module on an FPGA, booktitle=The 23rd IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS 2011), publisher=ACTA Press, author=Hosseinimehr, Masoud and Montealegre, Norma, year=2011 
LibreCat: /record/26276

@inproceedingsJungmann_Kleinjohann_2011, place=Wellington, New Zealand, title=Automatic Feature Classification for Object Detection based on Motion Analysis, booktitle=Proceedings of the 5th International Conference on Automation, Robotics and Applications (ICARA), publisher=IEEE, author=Jungmann, Alexander and Kleinjohann, Bernd, year=2011 
LibreCat: /record/26279

@inproceedingsStern_Rasche_Kleinjohann_Kleinjohann_2011, place=Wellington, New Zealand, title=Towards Using Virtual Forces for Image Registration, booktitle=The 5th International Conference on Automation, Robotics and Applications (ICARA 2011), author=Stern, Claudius and Rasche, Christoph and Kleinjohann, Lisa and Kleinjohann, Bernd, year=2011 
LibreCat: /record/26281

@inbookDannewitz_al_2011, title=How to manage and Search/Retrieve Information Objects, booktitle=Architecture and Design for the Future Internet, author=Dannewitz, Christian and al, et, year=2011 
LibreCat: /record/2662

@inbookDannewitz_al_2011, title=Integrating Generic Paths and NetInf, booktitle=Architecture and Design for the Future Internet, author=Dannewitz, Christian and al, et, year=2011 
LibreCat: /record/2663

@inproceedingsRasche_Stern_Kleinjohann_Kleinjohann_2011, place=Wellington, New Zealand,, title=A Distributed Multi-UAV Path Planning Approach for 3D Environments, booktitle=The 5th International Conference on Automation, Robotics and Applications (ICARA 2011), author=Rasche, Christoph and Stern, Claudius and Kleinjohann, Lisa and Kleinjohann, Bernd, year=2011 
LibreCat: /record/26660

@inproceedingsMathews_Graf_Kulathunga_2011, title=A Bio-inspired Coverage and Connectivity Maintenance Algorithm, booktitle=Sixth International ICST Conference on Bio-Inspired Models of Network, Information, and Computing Systems, publisher=Lecture Notes of ICST, author=Mathews, Emi and Graf, Tobias and Kulathunga, K. S. S. B., year=2011 
LibreCat: /record/26663

@inproceedingsKuznik_Müller_2011, title=Aspect enhanced functional coverage driven verification in the SystemC HDVL, booktitle=Proc. of the 8th International SoC Design Conference 2011 (ISOCC 2011), author=Kuznik, Christoph and Müller, Wolfgang, year=2011 
LibreCat: /record/26667

@inproceedingsXie_Müller_2011, title=IP-XACT based System Level Mutation Testing, booktitle=Proceedings of the 16th IEEE International High Level Design Validation and Test Workshop (HLDVT), author=Xie, Tao and Müller, Wolfgang, year=2011 
LibreCat: /record/26669

@articleHenkler_Oberthür_Giese_Seibel_2011, title=Model-driven runtime resource predictions for advanced mechatronic systems with dynamic data structures, journal=International Journal of Computer Systems Science &; Engineering 26 (6), author=Henkler, Stefan and Oberthür, Simon and Giese, Holger and Seibel, Andreas, year=2011 
LibreCat: /record/26670

@articleBaldin_Grösbrink_Oberthür_2011, title=Enabling Constraint-based Binary Reconfiguration by Binary Analysis, journal=International Journal on Computing (JoC) 1(4), author=Baldin, Daniel and Grösbrink, Stefan and Oberthür, Simon, year=2011 
LibreCat: /record/26671

@inproceedingsBin Tariq_2011, place=Poznan, Poland, title=F-DRARE: A Framework for Deterministic runtime adaptation of Cyber Physical Systems, booktitle= 1st International Workshop on Adaptive Services for the Future Internet, 4th European Conference, ServiceWave 2011, publisher=Springer-Verlag, author=Bin Tariq, Fahad, year=2011 
LibreCat: /record/26673

@inproceedingsOrfanus_Janacik_Eliassen_Orten_2011, place=Salamanca, Spain, title=High-Level Construction of Emergent Self-Organizing Behavior in Massively Distributed Embedded Systems, booktitle=Proceedings of Third World Congress on Nature and Biologically Inspired Computing (NaB), publisher=IEEE Computer Society, author=Orfanus, Dalimir and Janacik, Peter and Eliassen, Frank and Orten, Pal, year=2011 
LibreCat: /record/26687

@inproceedingsXie_Müller_2011, title=HDL-Mutation Based Simulation Data Generation by Propagation Guided Search, booktitle=Proceedings of the 14th Euromicro Conference on Digital System Design (DSD), author=Xie, Tao and Müller, Wolfgang, year=2011 
LibreCat: /record/26698

@inproceedingsJungmann_Lutterbeck_Werdehausen_Kleinjohann_2011, title=A Test Bed for Investigating Self-X Properties in Multi-Robot Societies, booktitle=Proceedings of the 9th IEEE International Conference on Industrial Informatics (INDIN), publisher=IEEE, author=Jungmann, Alexander and Lutterbeck, Jan and Werdehausen, Benjamin and Kleinjohann, Bernd, year=2011 
LibreCat: /record/26699

@inproceedingsGausemeier_Schierbaum_Dumitrescu_Herbrechtsmeier_Jungmann_2011, title=Miniature Robot BeBot: Mechatronic Test Platform for Self-X Properties, booktitle=Proceedings of the 9th IEEE International Conference on Industrial Informatics (INDIN), publisher=IEEE, author=Gausemeier, Jürgen and Schierbaum, Thomas and Dumitrescu, Roman and Herbrechtsmeier, Stefan and Jungmann, Alexander, year=2011 
LibreCat: /record/26701

@inproceedingsThuy_2011, title= Comparison of periodic and aperiodic task models for cyber-physical-systems, booktitle=Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC), 2011 6th International Workshop on , publisher=IEEE Xplore, author=Thuy, Andreas, year=2011 
LibreCat: /record/26702

@articleKuznik_Müller_2011, title=Verification Closure of SystemC Designs with Functional Coverage, journal=North American SystemC User Group Meeting (16th), author=Kuznik, Christoph and Müller, Wolfgang, year=2011 
LibreCat: /record/26705

@inproceedingsMathews_Frey_2011, title=A Localized Planarization Algorithm for Realistic Wireless Networks, booktitle=IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM), publisher= IEEE Computer Society, author=Mathews, Emi and Frey, Hannes, year=2011, pages=1–9 
LibreCat: /record/26707

@inproceedingsBecker_Zabel_Müller_Elfeky_DiPasquale_2011, title=Virtual Prototyping softwareintensiver mechatronischer Systeme – Eine Fallstudie, volume=294, booktitle=8. Paderborner Workshop Entwurf mechatronischer Systeme, Band 294, publisher=Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, author=Becker, Markus and Zabel, Henning and Müller, Wolfgang and Elfeky, Ahmed and DiPasquale, Anthony, year=2011, pages=315–327 
LibreCat: /record/26710

@articleRasche_Stern_Kleinjohann_Kleinjohann_2011, title=Coordinated Exploration and Goal-Oriented Path Planning using Multiple UAVs, journal=ThinkMind, International Journal On Advances in Software 3 (3&;4), author=Rasche, Christoph and Stern, Claudius and Kleinjohann, Lisa and Kleinjohann, Bernd, year=2011, pages=351–370 
LibreCat: /record/26711

@inproceedingsKhaluf_Mathews_Rammig_2011, place=Newport Beach, California, USA, title= Self-Organized Cooperation in Swarm Robotics, booktitle=14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW), publisher=IEEE Computer Society, author=Khaluf, Yara and Mathews, Emi and Rammig, Franz-Josef, year=2011, pages=217–226 
LibreCat: /record/26712

@inproceedingsKlobedanz_König_Müller_2011, place=Grenoble, France, title=A Reconfiguration Approach for Fault-Tolerant FlexRay Networks, booktitle=Proceedings of Design, Automation, Test Europe - DA, publisher=IEEE Computer Society Press, author=Klobedanz, Kay and König, A. and Müller, Wolfgang, year=2011 
LibreCat: /record/26713

@inproceedingsKlobedanz_König_Müller_Rettberg_2011, place=Newport Beach, California, USA, title=Self-Reconfiguration for Fault-Tolerant FlexRay Networks, booktitle=Second IEEE Workshop on Self-Organizing Real-Time Systems - SORT 2011, publisher=IEEE Computer Society Press, author=Klobedanz, Kay and König, A. and Müller, Wolfgang and Rettberg, Achim, year=2011 
LibreCat: /record/26714

@inproceedingsKuznik_Müller_2011, title=Functional Coverage-driven Verification with SystemC on Multiple Level of Abstraction, booktitle=Proceedings of DVCON , author=Kuznik, Christoph and Müller, Wolfgang, year=2011 
LibreCat: /record/26715

@inproceedingsMischkalla_He_Müller_2011, title=A Retargetable SysML-based Front-End for High-Level Synthesis, booktitle=Proceedings of 2nd Workshop on Model Based Engineering for Embedded Systems Design (M-BED), author=Mischkalla, Fabian and He, Da and Müller, Wolfgang, year=2011 
LibreCat: /record/26716

@inproceedingsHe_Mischkalla_Müller_2011, title=A SysML-based Framework with QEMU-SystemC Code Generation, booktitle=Proceedings of 1st international QEMU Users Forum, author=He, Da and Mischkalla, Fabian and Müller, Wolfgang, year=2011 
LibreCat: /record/26717

@inproceedingsBecker_2011, title=QEMU/SystemC Cosimulation at Different Abstraction Levels, booktitle=1st International QEMU Users Forum (QUF’11), author=Becker, Markus, year=2011 
LibreCat: /record/26782

@inbookAdelt_Esau_Hölscher_Kleinjohann_Kleinjohann_Krüger_Zimmer_2011, title=Hybrid Planning for Self-Optimization in Railbound Mechatronic Systems, booktitle= Intelligent Mechatronics; Kapitel 10, publisher=InTech Open Access Publisher, author=Adelt, Philipp and Esau, Natascha and Hölscher, Christian and Kleinjohann, Bernd and Kleinjohann, Lisa and Krüger, Martin and Zimmer, Detmar, year=2011, pages=169–194 
LibreCat: /record/26783

@inproceedingsGnokam Defo_Müller_2011, title=Synchronisation eines SystemC Restbus-Simulators mit einem Hardware-In-the-Loop FlexRay Netzwerk, booktitle=Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), author=Gnokam Defo, Gilles Bertrand and Müller, Wolfgang, year=2011 
LibreCat: /record/26784

@inproceedingsKhaluf_Gerth_Engels_2011, title=Pattern-Based Modeling and Formalizing of Business Process Quality Constraints, booktitle=Proceedings of the 23rd international conference on Advanced information systems engineering (CAiSE’11), publisher=Springer Verlag, author=Khaluf, Lial and Gerth, Christian and Engels, Gregor, year=2011, pages=521–535 
LibreCat: /record/26787

@inproceedingsKuznik_Müller_2011, title=Native binary mutation analysis for embedded software and virtual prototypes in SystemC, booktitle=Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing, author=Kuznik, Christoph and Müller, Wolfgang, year=2011 
LibreCat: /record/26789

@inbookEsau_Kleinjohann_2011, title=Emotional Robot Competence and Its Use in Robot Behavior Control, booktitle=Emotional Engineering, publisher=Springer-Verlag London, author=Esau, Natascha and Kleinjohann, Lisa, year=2011, pages=119–142 
LibreCat: /record/26792

@inproceedingsJungmann_Lutterbeck_Werdehausen_Kleinjohann_Kleinjohann_2011, title=Towards a Real-World Scenario for Investigating Organic Computing Principles in Heterogeneous Societies of Robots, booktitle=Proceedings of the 2011 workshop on Organic computing, publisher=ACM, author=Jungmann, Alexander and Lutterbeck, Jan and Werdehausen, Benjamin and Kleinjohann, Bernd and Kleinjohann, Lisa, year=2011, pages=41–50 
LibreCat: /record/26794

@inbookJungmann_Kleinjohann_Richert_2011, title=A Fast Hierarchical Learning Approach for Autonomous Robots, DOI=10.1007/978-3-0348-0130-0_36, booktitle=Organic Computing — A Paradigm Shift for Complex Systems, Autonomic Systems, publisher=Springer Basel, author=Jungmann, Alexander and Kleinjohann, Bernd and Richert, Willi, year=2011, pages=545–558 
LibreCat: /record/26805
DOI: 10.1007/978-3-0348-0130-0_36

@inbookJungmann_Kleinjohann_Richert_2011, title=Increasing Learning Speed by Imitation in Multi-robot Societies, DOI=10.1007/978-3-0348-0130-0_19, booktitle=Organic Computing — A Paradigm Shift for Complex Systems, Autonomic Systems, Band 1 , publisher=Springer Basel, author=Jungmann, Alexander and Kleinjohann, Bernd and Richert, Willi, year=2011, pages=295–307 
LibreCat: /record/26810
DOI: 10.1007/978-3-0348-0130-0_19

@inproceedingsWachsmuth_Bujna_2011, title=Back to the Roots of Genres: Text Classification by Language Function, booktitle=Proceedings of 5th International Joint Conference on Natural Language Processing, author=Wachsmuth, Henning and Bujna, Kathrin, editor=Berendt, Bettina and de Vries, Arjen and Fan, Wenfei and Macdonald, Craig and Ounis, Iadh and Ruthven, IanEditors, year=2011, pages=632–640 
LibreCat: /record/3811

@inproceedingsWachsmuth_Stein_Engels_2011, title=Constructing Efficient Information Extraction Pipelines, booktitle=20th ACM International Conference on Information and Knowledge Management, author=Wachsmuth, Henning and Stein, Benno and Engels, Gregor, editor=Berendt, Bettina and de Vries, Arjen and Fan, Wenfei and Macdonald, Craig and Ounis, Iadh and Ruthven, IanEditors, year=2011, pages=2237–2240 
LibreCat: /record/3875

@bookMärtens_2011, title=The Monotone Complexity of Computing k-Clique on Random Graphs, author=Märtens, Marcus, year=2011 
LibreCat: /record/2902

@bookNaewe_2011, title=Algorithms for lattice problems with respect to general norms, publisher=Universität Paderborn, author=Naewe, Stefanie, year=2011 
LibreCat: /record/2910

@articleAckermann_Blömer_Scholz_2011, series=Electronic Colloquium on Computational Complexity (ECCC), title=Hardness and Non-Approximability of Bregman Clustering Problems., author=Ackermann, Marcel R and Blömer, Johannes and Scholz, Christoph, year=2011, collection=Electronic Colloquium on Computational Complexity (ECCC) 
LibreCat: /record/2985

@inbookBlömer_2011, place=Berlin, Heidelberg, title=How to Share a Secret, DOI=10.1007/978-3-642-15328-0_17, booktitle=Algorithms Unplugged, publisher=Springer Berlin Heidelberg, author=Blömer, Johannes, year=2011, pages=159–168 
LibreCat: /record/2986
DOI: 10.1007/978-3-642-15328-0_17

@articleBlömer_Naewe_2011, title=Solving the Closest Vector Problem with respect to Lp Norms, journal=arXiv:1104.3720, author=Blömer, Johannes and Naewe, Stefanie, year=2011 
LibreCat: /record/2987

@inproceedingsHofheinz_Jager_Kiltz_2011, title=Short Signatures from Weaker Assumptions, DOI=10.1007/978-3-642-25385-0_35, booktitle=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, author=Hofheinz, Dennis and Jager, Tibor and Kiltz, Eike, year=2011, pages=647--666 
LibreCat: /record/3137
DOI: 10.1007/978-3-642-25385-0_35

@inproceedingsJager_Somorovsky_2011, title=How to break XML encryption, DOI=10.1145/2046707.2046756, booktitle=Proceedings of the 18th ACM Conference on Computer and Communications Security, CCS 2011, Chicago, Illinois, USA, October 17-21, 2011, author=Jager, Tibor and Somorovsky, Juraj, year=2011, pages=413--422 
LibreCat: /record/3138
DOI: 10.1145/2046707.2046756

@articleSchneider_Treharne_Wehrheim_2011, title=Bounded Retransmission in Event-B\'70arallelCSP: a Case Study, DOI=10.1016/j.entcs.2011.11.019, journal=Electr. Notes Theor. Comput. Sci., author=Schneider, Steve and Treharne, Helen and Wehrheim, Heike, year=2011, pages=69--80 
LibreCat: /record/3183
DOI: 10.1016/j.entcs.2011.11.019

@articleDerrick_Schellhorn_Wehrheim_2011, title=Mechanically verified proof obligations for linearizability, DOI=10.1145/1889997.1890001, number=1, journal=ACM Trans. Program. Lang. Syst., author=Derrick, John and Schellhorn, Gerhard and Wehrheim, Heike, year=2011, pages=4:1--4:43 
LibreCat: /record/3184
DOI: 10.1145/1889997.1890001

@inproceedingsRuhroth_Wehrheim_Ziegert_2011, title=ReL: A Generic Refactoring Language for Specification and Execution, DOI=10.1109/SEAA.2011.22, booktitle=37th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2011, Oulu, Finland, August 30 - September 2, 2011, author=Ruhroth, Thomas and Wehrheim, Heike and Ziegert, Steffen, year=2011, pages=83--90 
LibreCat: /record/3185
DOI: 10.1109/SEAA.2011.22

@inproceedingsDerrick_Schellhorn_Wehrheim_2011, series=Lecture Notes in Computer Science, title=Verifying Linearisability with Potential Linearisation Points, DOI=10.1007/978-3-642-21437-0_25, booktitle=FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings, author=Derrick, John and Schellhorn, Gerhard and Wehrheim, Heike, editor=J. Butler, Michael and Schulte, WolframEditors, year=2011, pages=323--337, collection=Lecture Notes in Computer Science 
LibreCat: /record/3186
DOI: 10.1007/978-3-642-21437-0_25

@inproceedingsSteenken_Wehrheim_Wonisch_2011, series=Lecture Notes in Computer Science, title=Sound and Complete Abstract Graph Transformation, DOI=10.1007/978-3-642-25032-3_7, booktitle=Formal Methods, Foundations and Applications - 14th Brazilian Symposium, SBMF 2011, S\'7eao Paulo, Brazil, September 26-30, 2011, Revised Selected Papers, author=Steenken, Dominik and Wehrheim, Heike and Wonisch, Daniel, editor=da Silva Sim\'7eao, Adenilso and Morgan, CarrollEditors, year=2011, pages=92--107, collection=Lecture Notes in Computer Science 
LibreCat: /record/3187
DOI: 10.1007/978-3-642-25032-3_7

@inproceedingsSchneider_Treharne_Wehrheim_2011, series=EPTCS, title=A CSP Account of Event-B Refinement, DOI=10.4204/EPTCS.55.9, booktitle=Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011., author=Schneider, Steve and Treharne, Helen and Wehrheim, Heike, editor=Derrick, John and A. Boiten, Eerke and Reeves, SteveEditors, year=2011, pages=139--154, collection=EPTCS 
LibreCat: /record/3188
DOI: 10.4204/EPTCS.55.9

@inproceedingsNebe_Fischer_Klompmaker_Jung_2011, title=Multi-touch, tangible and pen-based interaction in incident planning, publisher=Oldenbourg Wissenschaftsverlag GmbH, M  "u nchen, author=Nebe, Karsten and Fischer, Holger Gerhard and Klompmaker, Florian  and Jung, Helge, year=2011, pages=263–273 
LibreCat: /record/27622

@inproceedingsKeil_Selke_2011, title=Virtual Learning Spaces for Co-Active Learning, booktitle=Proc. of Int. Conf. on Improving University Teaching, author=Keil, Reinhard and Selke, Harald, year=2011, pages=191–202 
LibreCat: /record/27623

@inproceedingsPaelke_Nebe_Klompmaker_Jung_2011, title=Multi-Touch Interaction for Disaster Management., author=Paelke, Volker and Nebe, Karsten and Klompmaker, Florian and Jung, Helge, year=2011 
LibreCat: /record/27624

@inproceedingsKeil_2011, title=Hypothesis- guided technology design as the basis of contextual computer science, publisher=Lit Verlag, M \'22 u nster, author=Keil, Reinhard, editor=Breiter, A and Wind, M, year=2011, pages=165–184 
LibreCat: /record/27625

@inproceedingsKlompmaker_Nebe_Jung_2011, title=Smart Fiducials: Advanced Tangible Interaction Techniques through Dynamic Visual Paterns, author=Klompmaker, Florian and Nebe,  Karsten and Jung, H, year=2011 
LibreCat: /record/27626

@inproceedingsKlompmaker_Nebe _Busch_Willemsen_2011, title=User Centered Design Process of OSAMI-D: Developing User Interfaces for a Remote Ergometer Training Application, booktitle=Proceedings of the International Conference on Health Informatics, author=Klompmaker, Florian  and Nebe,  Karsten and  Busch, Clemens and Willemsen,  Detlev, year=2011 
LibreCat: /record/27627

@inproceedingsLaroque_Schulte_2011, title=KoProV: A Learning Approach for Coordinated Learning of Modeling and Simulation Based on Knowledge Modules, booktitle=Proceedings of the 2011 Spring Simulation Multiconference, author=Laroque, Christoph and Schulte, Jonas, editor=Chinni, M.I and Weed, D, year=2011 
LibreCat: /record/27628

@inproceedingsSchulte_2011, title=WasabiBeans - Web Application Services and Business Integration, booktitle=Proceedings of the 13th International Conference on Enterprise Information Systems, SciTePress - Science and Technology Publications, Beijing, China, author=Schulte, Jonas, editor=Zhang, R and Cordeiro, José  and  Li, X and Zhang, Z and Zhang, J, year=2011, pages=348–357 
LibreCat: /record/27629

@inproceedingsRudolph_Niehus_2011, title=Computer scientists, ergonomists and chemists are shaping the future. E-Portofolios support  "u the flow rate in education and training, publisher=Universit \'22 a t Paderborn, author=Rudolph, S and Niehus, Dominik, year=2011 
LibreCat: /record/27630

@inproceedingsSchulte_Keil_Klaholt_Sauer_2011, title=Koi School - Towards the Next Level of Communication, Organization and Integration in Education, booktitle=Proceedings of the 13th International Conference on Enterprise Information Systems, SciTePress - Science and Technology Publications, Beijing, China, author=Schulte, Jonas and Keil, Reinhard  and Klaholt, D and Sauer, J, editor=Zhang, R and Cordeiro, José  and Li, X and Zhang, Z and Zhang, J, year=2011, pages=43–52 
LibreCat: /record/27631

@inproceedingsSchulte_Keil_Oberhoff_2011, title=Support  "u support of the co-active research discourse through synergies between e-learning and e-science, publisher=Waxmann Verlag, M   "u nster, author=Schulte, Jonas and Keil, Reinhard and Oberhoff, Andreas, editor=K  "o hler, Th.  and Neumann, J, year=2011 
LibreCat: /record/27632

@inproceedingsSchulte_Keil_Rybka_Ferber_2011, title=Laboratory 2.0 - Towards and Integrated Research Environment for Engineering Mechanics, booktitle=Proceedings of the 13th International Conference on Enterprise Information Systems, SciTePress - Science and Technology Publications, Bejing, China, author=Schulte, Jonas and Keil, Reinhard  and Rybka, Johann and Ferber, Ferdinand, editor=Zhang, R and Cordeiro, J and Li, X and Zhang, Z and Zhang, J, year=2011, pages=407–412 
LibreCat: /record/27633

@inproceedingsSchulte_Rybka_Ferber_Keil_2011, title=KoForum - Cooperative research environment for  "u for cross-organizational scientific Laboratory work, publisher=Waxmann Verlag, M  "u nster, author=Schulte, Jonas and Rybka, Johann and Ferber, Ferdinand  and Keil, Reinhard, editor=K  "o hler,  Th. and Neumann, J, year=2011, pages=92–101 
LibreCat: /record/27634

@bookErren_2011, title=Semantic Positioning - Supporting Knowledge Work through Semantic Spatial Arrangements, publisher=Heinz Nixdorf Institut, Universit\'22at Paderborn, author=Erren, Patrick, year=2011 
LibreCat: /record/27635

@articleFischer_Nebe_Klompmaker_2011, series=LNCS 6776, title=A Holistic Model for Integrating Usability Engineering and Software Engineering Enriched with Marketing Activities, publisher=Springer-Verlag, author=Fischer, Holger Gerhard and Nebe,  Karsten and Klompmaker,  Florian, year=2011, pages=28–37, collection=LNCS 6776 
LibreCat: /record/27636

@inproceedingsJung_Nebe _Klompmaker_Fischer_2011, title=Authenticated entries on multi-touch tables, publisher=Oldenbourg Wissenschaftsverlag GmbH, M  "u nchen, author=Jung, Helge and Nebe, Karsten and  Klompmaker, Florian and Fischer, Holger Gerhard, year=2011, pages=305–308 
LibreCat: /record/27637

@articleNebe_Klompmaker_Jung_Fischer_2011, series=LNCS 6762, title=Exploiting New Interaction Techniques for Disaster Control Management using Multitouch-, Tangible- and Pen-based-Interaction, publisher=Springer Verlag, author=Nebe,  Karsten and Klompmaker, Florian and Jung, Helge and Fischer, Holger Gerhard, year=2011, pages=100–109, collection=LNCS 6762 
LibreCat: /record/27638

@inproceedingsFischer_Bogner_Geis_Polkehn _Zimmermann_2011, title=Der Qualit  “a tsstandard f \rdblquote  u r Usability engineering of the German UPA: Current status of the work, publisher=German UPA, author=Fischer, Holger Gerhard and Bogner, Christian and Geis, Thomas and Polkehn, Knut  and  Zimmermann,  Dirk, year=2011, pages=72–74 
LibreCat: /record/27639

@inproceedingsHoltmann_Meyer_von Detten_2011, title=Automatic Validation and Correction of Formalized, Textual Requirements, DOI=10.1109/icstw.2011.17, booktitle=2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops, author=Holtmann, Jörg and Meyer, Jan and von Detten, Markus, year=2011 
LibreCat: /record/20958
DOI: 10.1109/icstw.2011.17