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
2012 | Conference Paper | LibreCat-ID: 2180
@inproceedings{Beisel_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
2012 | Journal Article | LibreCat-ID: 2177
@article{Grad_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
| DOI
2012 | Conference Paper | LibreCat-ID: 46397
@inproceedings{Brockhoff_Wagner_Trautmann_2012, place={New York, NY, USA}, series={GECCO ’12}, title={On the Properties of the R2 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
| DOI
2012 | Conference Paper | LibreCat-ID: 46396
@inproceedings{Bischl_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
| DOI
2012 | Conference Paper | LibreCat-ID: 46398
@inproceedings{Mersmann_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
| DOI
2012 | Journal Article | LibreCat-ID: 46399
@article{Bischl_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
| DOI
2012 | Journal Article | LibreCat-ID: 46400
@article{Rudolph_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
| DOI
2012 | Conference Paper | LibreCat-ID: 48890
@inproceedings{Mersmann_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
2012 | Book Chapter | LibreCat-ID: 48888
@inbook{Mersmann_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
| DOI
2012 | Journal Article | LibreCat-ID: 26038
@article{Kuznik_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
2011 | Dissertation | LibreCat-ID: 19619
@book{Korzeniowski_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
| Files available
2011 | Journal Article | LibreCat-ID: 19677
@article{Briest_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
| DOI
2011 | Conference Paper | LibreCat-ID: 19845
@inproceedings{Jä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
2011 | Conference Paper | LibreCat-ID: 20180
@inproceedings{Hamann_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
| DOI
2011 | Conference Paper | LibreCat-ID: 20181
@inproceedings{Hamann_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
| DOI
2011 | Conference Paper | LibreCat-ID: 20183
@inproceedings{Hamann_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
| DOI
2011 | Conference Paper | LibreCat-ID: 20184
@inproceedings{Hamann_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
2011 | Book Chapter | LibreCat-ID: 20193
@inbook{Hamann_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
2011 | Conference Paper | LibreCat-ID: 20194
@inproceedings{Hamann_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
2011 | Conference Paper | LibreCat-ID: 20195
@inproceedings{Hamann_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
| DOI
2011 | Book Chapter | LibreCat-ID: 20196
@inbook{Hamann_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
2011 | Book Chapter | LibreCat-ID: 20214
@inbook{Hamann_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
| DOI
2011 | Journal Article | LibreCat-ID: 20215
@article{Schmickl_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
| DOI
2011 | Bachelorsthesis | LibreCat-ID: 2872
@book{Böttger_2011, title={Bicriteria-Approximation für das k-Median-Clustering mit Bregman-Divergenzen}, author={Böttger, Timm}, year={2011} }
LibreCat
| Files available
2011 | Conference Paper | LibreCat-ID: 26276
@inproceedings{Hosseinimehr_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
2011 | Conference Paper | LibreCat-ID: 26279
@inproceedings{Jungmann_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
2011 | Conference Paper | LibreCat-ID: 26281
@inproceedings{Stern_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
2011 | Book Chapter | LibreCat-ID: 2662
@inbook{Dannewitz_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
| Download (ext.)
2011 | Book Chapter | LibreCat-ID: 2663
@inbook{Dannewitz_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
| Download (ext.)
2011 | Conference Paper | LibreCat-ID: 26660
@inproceedings{Rasche_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
2011 | Conference Paper | LibreCat-ID: 26663
@inproceedings{Mathews_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
2011 | Conference Paper | LibreCat-ID: 26667
@inproceedings{Kuznik_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
2011 | Conference Paper | LibreCat-ID: 26669
@inproceedings{Xie_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
2011 | Journal Article | LibreCat-ID: 26670
@article{Henkler_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
2011 | Journal Article | LibreCat-ID: 26671
@article{Baldin_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
2011 | Conference Paper | LibreCat-ID: 26673
@inproceedings{Bin 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
2011 | Conference Paper | LibreCat-ID: 26687
@inproceedings{Orfanus_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 (NaBIC2011)}, publisher={IEEE Computer Society}, author={Orfanus, Dalimir and Janacik, Peter and Eliassen, Frank and Orten, Pal}, year={2011} }
LibreCat
2011 | Conference Paper | LibreCat-ID: 26698
@inproceedings{Xie_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
2011 | Conference Paper | LibreCat-ID: 26699
@inproceedings{Jungmann_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
2011 | Conference Paper | LibreCat-ID: 26701
@inproceedings{Gausemeier_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
2011 | Conference Paper | LibreCat-ID: 26702
@inproceedings{Thuy_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
2011 | Journal Article | LibreCat-ID: 26705
@article{Kuznik_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
2011 | Conference Paper | LibreCat-ID: 26707
@inproceedings{Mathews_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
2011 | Conference Paper | LibreCat-ID: 26710
@inproceedings{Becker_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
2011 | Journal Article | LibreCat-ID: 26711
@article{Rasche_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
2011 | Conference Paper | LibreCat-ID: 26712
@inproceedings{Khaluf_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
2011 | Conference Paper | LibreCat-ID: 26713
@inproceedings{Klobedanz_König_Müller_2011, place={Grenoble, France}, title={A Reconfiguration Approach for Fault-Tolerant FlexRay Networks}, booktitle={Proceedings of Design, Automation, Test Europe - DATE2011}, publisher={IEEE Computer Society Press}, author={Klobedanz, Kay and König, A. and Müller, Wolfgang}, year={2011} }
LibreCat
2011 | Conference Paper | LibreCat-ID: 26714
@inproceedings{Klobedanz_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
2011 | Conference Paper | LibreCat-ID: 26715
@inproceedings{Kuznik_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
2011 | Conference Paper | LibreCat-ID: 26716
@inproceedings{Mischkalla_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
2011 | Conference Paper | LibreCat-ID: 26717
@inproceedings{He_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
2011 | Conference Paper | LibreCat-ID: 26782
@inproceedings{Becker_2011, title={QEMU/SystemC Cosimulation at Different Abstraction Levels}, booktitle={1st International QEMU Users Forum (QUF’11)}, author={Becker, Markus}, year={2011} }
LibreCat
2011 | Book Chapter | LibreCat-ID: 26783
@inbook{Adelt_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
2011 | Conference Paper | LibreCat-ID: 26784
@inproceedings{Gnokam 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
2011 | Conference Paper | LibreCat-ID: 26787
@inproceedings{Khaluf_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
2011 | Conference Paper | LibreCat-ID: 26789
@inproceedings{Kuznik_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
2011 | Book Chapter | LibreCat-ID: 26792
@inbook{Esau_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
2011 | Conference Paper | LibreCat-ID: 26794
@inproceedings{Jungmann_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
2011 | Book Chapter | LibreCat-ID: 26805
@inbook{Jungmann_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
| DOI
2011 | Book Chapter | LibreCat-ID: 26810
@inbook{Jungmann_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
| DOI
2011 | Conference Paper | LibreCat-ID: 3811
@inproceedings{Wachsmuth_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
| Download (ext.)
2011 | Conference Paper | LibreCat-ID: 3875
@inproceedings{Wachsmuth_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
| Download (ext.)
2011 | Mastersthesis | LibreCat-ID: 2902
@book{Märtens_2011, title={The Monotone Complexity of Computing k-Clique on Random Graphs}, author={Märtens, Marcus}, year={2011} }
LibreCat
2011 | Dissertation | LibreCat-ID: 2910
@book{Naewe_2011, title={Algorithms for lattice problems with respect to general norms}, publisher={Universität Paderborn}, author={Naewe, Stefanie}, year={2011} }
LibreCat
| Download (ext.)
2011 | Conference Paper | LibreCat-ID: 2985
@article{Ackermann_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
2011 | Book Chapter | LibreCat-ID: 2986
@inbook{Blö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
| DOI
2011 | Preprint | LibreCat-ID: 2987
@article{Blö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
2011 | Conference Paper | LibreCat-ID: 3137
@inproceedings{Hofheinz_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
| DOI
2011 | Conference Paper | LibreCat-ID: 3138
@inproceedings{Jager_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
| DOI
2011 | Journal Article | LibreCat-ID: 3183
@article{Schneider_Treharne_Wehrheim_2011, title={Bounded Retransmission in Event-B{\(\parallel\)}CSP: 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
| DOI
2011 | Journal Article | LibreCat-ID: 3184
@article{Derrick_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
| DOI
2011 | Conference Paper | LibreCat-ID: 3185
@inproceedings{Ruhroth_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
| DOI
2011 | Conference Paper | LibreCat-ID: 3186
@inproceedings{Derrick_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
| DOI
2011 | Conference Paper | LibreCat-ID: 3187
@inproceedings{Steenken_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{\~{a}}o Paulo, Brazil, September 26-30, 2011, Revised Selected Papers}, author={Steenken, Dominik and Wehrheim, Heike and Wonisch, Daniel}, editor={da Silva Sim{\~{a}}o, Adenilso and Morgan, CarrollEditors}, year={2011}, pages={92--107}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 3188
@inproceedings{Schneider_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
| DOI
2011 | Conference Paper | LibreCat-ID: 27622
@inproceedings{Nebe_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
2011 | Conference Paper | LibreCat-ID: 27623
@inproceedings{Keil_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
2011 | Conference Paper | LibreCat-ID: 27624
@inproceedings{Paelke_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
2011 | Conference Paper | LibreCat-ID: 27625
@inproceedings{Keil_2011, title={Hypothesis- guided technology design as the basis of contextual computer science}, publisher={Lit Verlag, M {\" u} nster}, author={Keil, Reinhard}, editor={Breiter, A and Wind, M}, year={2011}, pages={165–184} }
LibreCat
2011 | Conference Paper | LibreCat-ID: 27626
@inproceedings{Klompmaker_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
2011 | Conference Paper | LibreCat-ID: 27627
@inproceedings{Klompmaker_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
2011 | Conference Paper | LibreCat-ID: 27628
@inproceedings{Laroque_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
2011 | Conference Paper | LibreCat-ID: 27629
@inproceedings{Schulte_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
2011 | Conference Paper | LibreCat-ID: 27630
@inproceedings{Rudolph_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 {\" a} t Paderborn}, author={Rudolph, S and Niehus, Dominik}, year={2011} }
LibreCat
2011 | Conference Paper | LibreCat-ID: 27631
@inproceedings{Schulte_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
2011 | Conference Paper | LibreCat-ID: 27632
@inproceedings{Schulte_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
2011 | Conference Paper | LibreCat-ID: 27633
@inproceedings{Schulte_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
2011 | Conference Paper | LibreCat-ID: 27634
@inproceedings{Schulte_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
2011 | Dissertation | LibreCat-ID: 27635
@book{Erren_2011, title={Semantic Positioning - Supporting Knowledge Work through Semantic Spatial Arrangements}, publisher={Heinz Nixdorf Institut, Universit{\"a}t Paderborn}, author={Erren, Patrick}, year={2011} }
LibreCat
2011 | Conference Paper | LibreCat-ID: 27636
@article{Fischer_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
2011 | Conference Paper | LibreCat-ID: 27637
@inproceedings{Jung_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
2011 | Conference Paper | LibreCat-ID: 27638
@article{Nebe_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
2011 | Conference Paper | LibreCat-ID: 27639
@inproceedings{Fischer_Bogner_Geis_Polkehn_ Zimmermann_2011, title={Der Qualit {\ “a} tsstandard f {\” 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
2011 | Conference Paper | LibreCat-ID: 20958
@inproceedings{Holtmann_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
| DOI
2011 | Conference Paper | LibreCat-ID: 20960
@inproceedings{Meyer_Holtmann_2011, title={Eine durchgängige Entwicklungsmethode von der Systemarchitektur bis zur Softwarearchitektur mit AUTOSAR}, booktitle={Tagungsband des Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VII}, publisher={fortiss GmbH}, author={Meyer, Jan and Holtmann, Jörg}, year={2011}, pages={21–30} }
LibreCat
2011 | Conference Paper | LibreCat-ID: 20975
@inproceedings{Fockel_Travkin_von Detten_2011, place={University of Tartu, Estonia}, title={Interpreting Story Diagrams for the Static Detection of Software Patterns}, booktitle={Proceedings of the 8th International Fujaba Days}, author={Fockel, Markus and Travkin, Dietrich and von Detten, Markus}, year={2011} }
LibreCat
2011 | Conference Paper | LibreCat-ID: 17420
@inproceedings{Suess_Koch_Jähn_Fischer_2011, title={Approximative occlusion culling using the hull tree}, booktitle={Proceedings of the Graphics Interface 2011 Conference, May 25-27, St. John’s, Newfoundland, Canada}, publisher={Canadian Human-Computer Communications Society}, author={Suess, Tim and Koch, Clemens and Jähn, Claudius and Fischer, Matthias}, editor={Brooks, Stephen and Irani, Pourang}, year={2011}, pages={79--86} }
LibreCat
2011 | Conference Paper | LibreCat-ID: 17421
@inproceedings{Klaas_Laroque_Dangelmaier_Fischer_2011, title={Simulation aided, knowledge based routing for AGVs in a distribution warehouse}, DOI={10.1109/wsc.2011.6147883}, booktitle={Proceedings of the 2011 Winter Simulation Conference (WSC)}, author={Klaas, Alexander and Laroque, Christoph and Dangelmaier, Wilhelm and Fischer, Matthias}, year={2011} }
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 17450
@inproceedings{Suess_Jähn_Fischer_Meyer auf der Heide_Koch_2011, place={Paderborn}, title={Ein paralleles Out-of-Core Renderingsystem für Standard-Rechnernetze}, volume={295}, booktitle={Augmented & Virtual Reality in der Produktentstehung}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts}, author={Suess, Tim and Jähn, Claudius and Fischer, Matthias and Meyer auf der Heide, Friedhelm and Koch, Clemens}, year={2011}, pages={185--197} }
LibreCat
2011 | Dissertation | LibreCat-ID: 17454
@book{Suess_2011, place={Universität Paderborn}, title={Parallel Real-Time Rendering using Heterogeneous PC Clusters}, author={Suess, Tim}, year={2011} }
LibreCat
| Files available