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
@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
2011 | Conference Paper | LibreCat-ID: 1891
@inproceedings{W. Richa_Scheideler_Schmid_Zhang_2011, title={Competitive and Fair Medium Access Despite Reactive Jamming}, DOI={10.1109/ICDCS.2011.8}, booktitle={2011 International Conference on Distributed Computing Systems, ICDCS 2011, Minneapolis, Minnesota, USA, June 20-24, 2011}, publisher={IEEE Computer Society}, author={W. Richa, Andrea and Scheideler, Christian and Schmid, Stefan and Zhang, Jin}, year={2011}, pages={507--516} }
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 1892
@inproceedings{W. Richa_Scheideler_Schmid_Zhang_2011, title={Towards jamming-resistant and competitive medium access in the SINR model}, DOI={10.1145/2030686.2030697}, booktitle={Proceedings of the 3rd ACM workshop on Wireless of the students, by the students, for the students, S3@MOBICOM 2011, Las Vegas, NV, USA, September 19 - 23, 2011}, publisher={ACM}, author={W. Richa, Andrea and Scheideler, Christian and Schmid, Stefan and Zhang, Jin}, year={2011}, pages={33--36} }
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 1893
@inproceedings{W. Richa_Scheideler_Schmid_Zhang_2011, title={Self-stabilizing leader election for single-hop wireless networks despite jamming}, DOI={10.1145/2107502.2107522}, booktitle={Proceedings of the 12th ACM Interational Symposium on Mobile Ad Hoc Networking and Computing, MobiHoc 2011, Paris, France, May 16-20, 2011}, publisher={ACM}, author={W. Richa, Andrea and Scheideler, Christian and Schmid, Stefan and Zhang, Jin}, year={2011}, pages={15} }
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 1895
@inproceedings{Kniesburges_Koutsopoulos_Scheideler_2011, title={Re-Chord: a self-stabilizing chord overlay network}, DOI={10.1145/1989493.1989527}, booktitle={SPAA 2011: Proceedings of the 23rd Annual ACM Symposium on Parallelism in Algorithms and Architectures, San Jose, CA, USA, June 4-6, 2011 (Co-located with FCRC 2011)}, author={Kniesburges, Sebastian and Koutsopoulos, Andreas and Scheideler, Christian}, year={2011}, pages={235--244} }
LibreCat
| DOI
2011 | Dissertation | LibreCat-ID: 18973
@book{Frahling_2011, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={Algorithms for Dynamic Geometric Data Streams}, volume={290}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, author={Frahling, Gereon}, year={2011}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }
LibreCat
| Files available
2011 | Dissertation | LibreCat-ID: 18974
@book{Mehler_2011, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={Power-Aware Online File Allocation in Dynamic Networks}, volume={287}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, author={Mehler, Jan}, year={2011}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }
LibreCat
| Files available
2011 | Dissertation | LibreCat-ID: 18976
@book{Gehweiler_2011, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={Peer-to-Peer Based Parallel Web Computing}, volume={298}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, author={Gehweiler, Joachim}, year={2011}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }
LibreCat
| Files available
2011 | Conference Paper | LibreCat-ID: 1899
@inproceedings{Kniesburges_Scheideler_2011, series={Lecture Notes in Computer Science}, title={Hashed Patricia Trie: Efficient Longest Prefix Matching in Peer-to-Peer Systems}, volume={6552}, DOI={10.1007/978-3-642-19094-0_18}, booktitle={WALCOM: Algorithms and Computation - 5th International Workshop, WALCOM 2011, New Delhi, India, February 18-20, 2011. Proceedings}, publisher={Springer}, author={Kniesburges, Sebastian and Scheideler, Christian}, year={2011}, pages={170--181}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2011 | Book Chapter | LibreCat-ID: 1900
@inbook{Scheideler_Graffi_2011, title={Programming for Distributed Computing: From Physical to Logical Networks}, DOI={10.1007/978-1-4614-1168-0_9}, booktitle={Computer Science, The Hardware, Software and Heart of It}, publisher={Springer}, author={Scheideler, Christian and Graffi, Kalman}, year={2011}, pages={155--168} }
LibreCat
| DOI
2011 | Book Chapter | LibreCat-ID: 1901
@inbook{Scheideler_2011, title={Broadcasting - How Can I Quickly Disseminate Information?}, DOI={10.1007/978-3-642-15328-0_22}, booktitle={Algorithms Unplugged}, publisher={Springer}, author={Scheideler, Christian}, year={2011}, pages={223--229} }
LibreCat
| DOI
2011 | Book | LibreCat-ID: 1902
@book{Vöcking_Alt_Dietzfelbinger_Reischuk_Scheideler_Vollmer_Wagner_2011, title={Algorithms Unplugged}, DOI={10.1007/978-3-642-15328-0}, author={Vöcking, Berthold and Alt, Helmut and Dietzfelbinger, Martin and Reischuk, Rüdiger and Scheideler, Christian and Vollmer, Heribert and Wagner, Dorothea}, year={2011} }
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 19026
@inproceedings{Briest_Raupach_2011, title={The car sharing problem}, DOI={10.1145/1989493.1989518}, booktitle={Proceedings of the 23rd ACM symposium on Parallelism in algorithms and architectures - SPAA ’11}, author={Briest, Patrick and Raupach, Christoph}, year={2011} }
LibreCat
| DOI
2011 | Dissertation | LibreCat-ID: 19040
@book{Effert_2011, place={Universität Paderborn}, title={Verfahren zur redundanten Datenplatzierung in skalierbaren Speichersystemen}, author={Effert, Sascha}, year={2011} }
LibreCat
| Files available
2011 | Conference Paper | LibreCat-ID: 1924
@inproceedings{Kolman_Scheideler_2011, title={Towards Duality of Multicommodity Multiroute Cuts and Flows: Multilevel Ball-Growing}, DOI={10.4230/LIPIcs.STACS.2011.129}, booktitle={28th International Symposium on Theoretical Aspects of Computer Science, STACS 2011, March 10-12, 2011, Dortmund, Germany}, author={Kolman, Petr and Scheideler, Christian}, year={2011}, pages={129--140} }
LibreCat
| DOI
2011 | Journal Article | LibreCat-ID: 23739
@article{Briest_Krysta_Vöcking_2011, title={Approximation Techniques for Utilitarian Mechanism Design}, DOI={10.1137/090772988}, journal={SIAM Journal on Computing}, author={Briest, Patrick and Krysta, Piotr and Vöcking, Berthold}, year={2011}, pages={1587–1622} }
LibreCat
| DOI
2011 | Journal Article | LibreCat-ID: 23740
@article{Briest_Krysta_2011, title={Buying Cheap Is Expensive: Approximability of Combinatorial Pricing Problems}, DOI={10.1137/090752353}, journal={SIAM Journal on Computing}, author={Briest, Patrick and Krysta, Piotr}, year={2011}, pages={1554–1586} }
LibreCat
| DOI
2011 | Book Chapter | LibreCat-ID: 20709
@inbook{Cord-Landwehr_Degener_Fischer_Hüllmann_Kempkes_Klaas_Kling_Kurras_Märtens_auf der Heide_et al._2011, place={Berlin, Heidelberg}, title={Collisionless Gathering of Robots with an Extent}, DOI={10.1007/978-3-642-18381-2_15}, booktitle={SOFSEM 2011: Theory and Practice of Computer Science}, author={Cord-Landwehr, Andreas and Degener, Bastian and Fischer, Matthias and Hüllmann, Martina and Kempkes, Barbara and Klaas, Alexander and Kling, Peter and Kurras, Sven and Märtens, Marcus and auf der Heide, Friedhelm Meyer and et al.}, year={2011} }
LibreCat
| DOI
2011 | Book Chapter | LibreCat-ID: 20710
@inbook{Cord-Landwehr_Degener_Fischer_Hüllmann_Kempkes_Klaas_Kling_Kurras_Märtens_Meyer auf der Heide_et al._2011, place={Berlin, Heidelberg}, title={A New Approach for Analyzing Convergence Algorithms for Mobile Robots}, DOI={10.1007/978-3-642-22012-8_52}, booktitle={Automata, Languages and Programming}, author={Cord-Landwehr, Andreas and Degener, Bastian and Fischer, Matthias and Hüllmann, Martina and Kempkes, Barbara and Klaas, Alexander and Kling, Peter and Kurras, Sven and Märtens, Marcus and Meyer auf der Heide, Friedhelm and et al.}, year={2011} }
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 20915
@inproceedings{Meyer_Holtmann_Meyer_2011, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={Formalisierung von Anforderungen und Betriebssystemeigenschaften zur fruehzeitigen Simulation von eingebetteten, automobilen Systemen}, volume={294}, booktitle={8. Paderborner Workshop Entwurf mechatronischer Systeme}, publisher={Heinz Nixdorf Institut}, author={Meyer, Jan and Holtmann, Jörg and Meyer, Matthias}, year={2011}, pages={203–215}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }
LibreCat
2011 | Conference Paper | LibreCat-ID: 20916
@inproceedings{Holtmann_Meyer_Meyer_2011, series={GI-Edition Lecture Notes in Informatics (LNI)}, title={A Seamless Model-Based Development Process for Automotive Systems}, volume={P-184}, booktitle={Software Engineering 2011 – Workshopband (inkl. Doktorandensymposium)}, publisher={Bonner Koellen Verlag}, author={Holtmann, Jörg and Meyer, Jan and Meyer, Matthias}, year={2011}, pages={79–88}, collection={GI-Edition Lecture Notes in Informatics (LNI)} }
LibreCat