Kuznik C, Müller W. Aspect enhanced functional coverage driven verification in the SystemC HDVL. In: Proc. of the 8th International SoC Design Conference 2011 (ISOCC 2011). ; 2011.
LibreCat: /record/26667

Xie T, Müller W. IP-XACT based System Level Mutation Testing. In: Proceedings of the 16th IEEE International High Level Design Validation and Test Workshop (HLDVT). ; 2011.
LibreCat: /record/26669

Henkler S, Oberthür S, Giese H, Seibel A. Model-driven runtime resource predictions for advanced mechatronic systems with dynamic data structures. International Journal of Computer Systems Science &; Engineering 26 (6). Published online 2011.
LibreCat: /record/26670

Baldin D, Grösbrink S, Oberthür S. Enabling Constraint-based Binary Reconfiguration by Binary Analysis. International Journal on Computing (JoC) 1(4). Published online 2011.
LibreCat: /record/26671

Bin Tariq F. F-DRARE: A Framework for Deterministic runtime adaptation of Cyber Physical Systems. In:  1st International Workshop on Adaptive Services for the Future Internet, 4th European Conference, ServiceWave 2011. Springer-Verlag; 2011.
LibreCat: /record/26673

Orfanus D, Janacik P, Eliassen F, Orten P. High-Level Construction of Emergent Self-Organizing Behavior in Massively Distributed Embedded Systems. In: Proceedings of Third World Congress on Nature and Biologically Inspired Computing (NaB). IEEE Computer Society; 2011.
LibreCat: /record/26687

Xie T, Müller W. HDL-Mutation Based Simulation Data Generation by Propagation Guided Search. In: Proceedings of the 14th Euromicro Conference on Digital System Design (DSD). ; 2011.
LibreCat: /record/26698

Jungmann A, Lutterbeck J, Werdehausen B, Kleinjohann B. A Test Bed for Investigating Self-X Properties in Multi-Robot Societies. In: Proceedings of the 9th IEEE International Conference on Industrial Informatics (INDIN). IEEE; 2011.
LibreCat: /record/26699

Gausemeier J, Schierbaum T, Dumitrescu R, Herbrechtsmeier S, Jungmann A. Miniature Robot BeBot: Mechatronic Test Platform for Self-X Properties. In: Proceedings of the 9th IEEE International Conference on Industrial Informatics (INDIN). IEEE; 2011.
LibreCat: /record/26701

Thuy A.  Comparison of periodic and aperiodic task models for cyber-physical-systems. In: Reconfigurable Communication-Centric Systems-on-Chip (ReCoSoC), 2011 6th International Workshop On . IEEE Xplore; 2011.
LibreCat: /record/26702

Kuznik C, Müller W. Verification Closure of SystemC Designs with Functional Coverage. North American SystemC User Group Meeting (16th). Published online 2011.
LibreCat: /record/26705

Mathews E, Frey H. A Localized Planarization Algorithm for Realistic Wireless Networks. In: IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM).  IEEE Computer Society; 2011:1-9.
LibreCat: /record/26707

Becker M, Zabel H, Müller W, Elfeky A, DiPasquale A. Virtual Prototyping softwareintensiver mechatronischer Systeme – Eine Fallstudie. In: 8. Paderborner Workshop Entwurf Mechatronischer Systeme, Band 294. Vol 294. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2011:315-327.
LibreCat: /record/26710

Rasche C, Stern C, Kleinjohann L, Kleinjohann B. Coordinated Exploration and Goal-Oriented Path Planning using Multiple UAVs. ThinkMind, International Journal On Advances in Software 3 (3&;4). Published online 2011:351-370.
LibreCat: /record/26711

Khaluf Y, Mathews E, Rammig F-J.  Self-Organized Cooperation in Swarm Robotics. In: 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW). IEEE Computer Society; 2011:217-226.
LibreCat: /record/26712

Klobedanz K, König A, Müller W. A Reconfiguration Approach for Fault-Tolerant FlexRay Networks. In: Proceedings of Design, Automation, Test Europe - DA. IEEE Computer Society Press; 2011.
LibreCat: /record/26713

Klobedanz K, König A, Müller W, Rettberg A. Self-Reconfiguration for Fault-Tolerant FlexRay Networks. In: Second IEEE Workshop on Self-Organizing Real-Time Systems - SORT 2011. IEEE Computer Society Press; 2011.
LibreCat: /record/26714

Kuznik C, Müller W. Functional Coverage-driven Verification with SystemC on Multiple Level of Abstraction. In: Proceedings of DVCON . ; 2011.
LibreCat: /record/26715

Mischkalla F, He D, Müller W. A Retargetable SysML-based Front-End for High-Level Synthesis. In: Proceedings of 2nd Workshop on Model Based Engineering for Embedded Systems Design (M-BED). ; 2011.
LibreCat: /record/26716

He D, Mischkalla F, Müller W. A SysML-based Framework with QEMU-SystemC Code Generation. In: Proceedings of 1st International QEMU Users Forum. ; 2011.
LibreCat: /record/26717

Becker M. QEMU/SystemC Cosimulation at Different Abstraction Levels. In: 1st International QEMU Users Forum (QUF’11). ; 2011.
LibreCat: /record/26782

Adelt P, Esau N, Hölscher C, et al. Hybrid Planning for Self-Optimization in Railbound Mechatronic Systems. In:  Intelligent Mechatronics; Kapitel 10. InTech Open Access Publisher; 2011:169-194.
LibreCat: /record/26783

Gnokam Defo GB, Müller W. Synchronisation eines SystemC Restbus-Simulators mit einem Hardware-In-the-Loop FlexRay Netzwerk. In: Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV). ; 2011.
LibreCat: /record/26784

Khaluf L, Gerth C, Engels G. Pattern-Based Modeling and Formalizing of Business Process Quality Constraints. In: Proceedings of the 23rd International Conference on Advanced Information Systems Engineering (CAiSE’11). Springer Verlag; 2011:521-535.
LibreCat: /record/26787

Kuznik C, Müller W. Native binary mutation analysis for embedded software and virtual prototypes in SystemC. In: Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing. ; 2011.
LibreCat: /record/26789

Esau N, Kleinjohann L. Emotional Robot Competence and Its Use in Robot Behavior Control. In: Emotional Engineering. Springer-Verlag London; 2011:119-142.
LibreCat: /record/26792

Jungmann A, Lutterbeck J, Werdehausen B, Kleinjohann B, Kleinjohann L. Towards a Real-World Scenario for Investigating Organic Computing Principles in Heterogeneous Societies of Robots. In: Proceedings of the 2011 Workshop on Organic Computing. ACM; 2011:41-50.
LibreCat: /record/26794

Jungmann A, Kleinjohann B, Richert W. A Fast Hierarchical Learning Approach for Autonomous Robots. In: Organic Computing — A Paradigm Shift for Complex Systems, Autonomic Systems. Springer Basel; 2011:545-558. doi:10.1007/978-3-0348-0130-0_36
LibreCat: /record/26805
DOI: 10.1007/978-3-0348-0130-0_36

Jungmann A, Kleinjohann B, Richert W. Increasing Learning Speed by Imitation in Multi-robot Societies. In: Organic Computing — A Paradigm Shift for Complex Systems, Autonomic Systems, Band 1 . Springer Basel; 2011:295-307. doi:10.1007/978-3-0348-0130-0_19
LibreCat: /record/26810
DOI: 10.1007/978-3-0348-0130-0_19

Wachsmuth H, Bujna K. Back to the Roots of Genres: Text Classification by Language Function. In: Berendt B, de Vries A, Fan W, Macdonald C, Ounis I, Ruthven I, eds. Proceedings of 5th International Joint Conference on Natural Language Processing. ; 2011:632-640.
LibreCat: /record/3811

Wachsmuth H, Stein B, Engels G. Constructing Efficient Information Extraction Pipelines. In: Berendt B, de Vries A, Fan W, Macdonald C, Ounis I, Ruthven I, eds. 20th ACM International Conference on Information and Knowledge Management. ; 2011:2237-2240.
LibreCat: /record/3875

Märtens M. The Monotone Complexity of Computing K-Clique on Random Graphs.; 2011.
LibreCat: /record/2902

Naewe S. Algorithms for Lattice Problems with Respect to General Norms. Universität Paderborn; 2011.
LibreCat: /record/2910

Ackermann MR, Blömer J, Scholz C. Hardness and Non-Approximability of Bregman Clustering Problems. 2011.
LibreCat: /record/2985

Blömer J. How to Share a Secret. In: Algorithms Unplugged. Berlin, Heidelberg: Springer Berlin Heidelberg; 2011:159-168. doi:10.1007/978-3-642-15328-0_17
LibreCat: /record/2986
DOI: 10.1007/978-3-642-15328-0_17

Blömer J, Naewe S. Solving the Closest Vector Problem with respect to Lp Norms. arXiv:11043720. 2011.
LibreCat: /record/2987

Hofheinz D, Jager T, Kiltz E. Short Signatures from Weaker Assumptions. In: Advances in Cryptology - ASIACRYPT 2011 - 17th International Conference on the Theory and Application of Cryptology and Information Security, Seoul, South Korea, December 4-8, 2011. Proceedings. ; 2011:647--666. doi:10.1007/978-3-642-25385-0_35
LibreCat: /record/3137
DOI: 10.1007/978-3-642-25385-0_35

Jager T, Somorovsky J. How to break XML encryption. In: Proceedings of the 18th ACM Conference on Computer and Communications Security, CCS 2011, Chicago, Illinois, USA, October 17-21, 2011. ; 2011:413--422. doi:10.1145/2046707.2046756
LibreCat: /record/3138
DOI: 10.1145/2046707.2046756

Schneider S, Treharne H, Wehrheim H. Bounded Retransmission in Event-B\'70arallelCSP: a Case Study. Electr Notes Theor Comput Sci. 2011:69--80. doi:10.1016/j.entcs.2011.11.019
LibreCat: /record/3183
DOI: 10.1016/j.entcs.2011.11.019

Derrick J, Schellhorn G, Wehrheim H. Mechanically verified proof obligations for linearizability. ACM Trans Program Lang Syst. 2011;(1):4:1--4:43. doi:10.1145/1889997.1890001
LibreCat: /record/3184
DOI: 10.1145/1889997.1890001

Ruhroth T, Wehrheim H, Ziegert S. ReL: A Generic Refactoring Language for Specification and Execution. In: 37th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2011, Oulu, Finland, August 30 - September 2, 2011. ; 2011:83--90. doi:10.1109/SEAA.2011.22
LibreCat: /record/3185
DOI: 10.1109/SEAA.2011.22

Derrick J, Schellhorn G, Wehrheim H. Verifying Linearisability with Potential Linearisation Points. In: J. Butler M, Schulte W, eds. FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings. Lecture Notes in Computer Science. ; 2011:323--337. doi:10.1007/978-3-642-21437-0_25
LibreCat: /record/3186
DOI: 10.1007/978-3-642-21437-0_25

Steenken D, Wehrheim H, Wonisch D. Sound and Complete Abstract Graph Transformation. In: da Silva Sim\'7eao A, Morgan C, eds. Formal Methods, Foundations and Applications - 14th Brazilian Symposium, SBMF 2011, S\'7eao Paulo, Brazil, September 26-30, 2011, Revised Selected Papers. Lecture Notes in Computer Science. ; 2011:92--107. doi:10.1007/978-3-642-25032-3_7
LibreCat: /record/3187
DOI: 10.1007/978-3-642-25032-3_7

Schneider S, Treharne H, Wehrheim H. A CSP Account of Event-B Refinement. In: Derrick J, A. Boiten E, Reeves S, eds. Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011. EPTCS. ; 2011:139--154. doi:10.4204/EPTCS.55.9
LibreCat: /record/3188
DOI: 10.4204/EPTCS.55.9

Nebe K, Fischer HG, Klompmaker F, Jung H. Multi-touch, tangible and pen-based interaction in incident planning. In: Oldenbourg Wissenschaftsverlag GmbH, M  "u nchen; 2011:263-273.
LibreCat: /record/27622

Keil R, Selke H. Virtual Learning Spaces for Co-Active Learning. In: Proc. of Int. Conf. on Improving University Teaching. ; 2011:191-202.
LibreCat: /record/27623

Paelke V, Nebe K, Klompmaker F, Jung H. Multi-Touch Interaction for Disaster Management.. In: ; 2011.
LibreCat: /record/27624

Keil R. Hypothesis- guided technology design as the basis of contextual computer science. In: Breiter A, Wind M, eds. Lit Verlag, M \'22 u nster; 2011:165-184.
LibreCat: /record/27625

Klompmaker F, Nebe  Karsten, Jung H. Smart Fiducials: Advanced Tangible Interaction Techniques through Dynamic Visual Paterns. In: ; 2011.
LibreCat: /record/27626

Klompmaker F, Nebe  Karsten,  Busch C, Willemsen  Detlev. User Centered Design Process of OSAMI-D: Developing User Interfaces for a Remote Ergometer Training Application. In: Proceedings of the International Conference on Health Informatics. ; 2011.
LibreCat: /record/27627

Laroque C, Schulte J. KoProV: A Learning Approach for Coordinated Learning of Modeling and Simulation Based on Knowledge Modules. In: Chinni MI, Weed D, eds. Proceedings of the 2011 Spring Simulation Multiconference. ; 2011.
LibreCat: /record/27628

Schulte J. WasabiBeans - Web Application Services and Business Integration. In: Zhang R, Cordeiro J,  Li X, Zhang Z, Zhang J, eds. Proceedings of the 13th International Conference on Enterprise Information Systems, SciTePress - Science and Technology Publications, Beijing, China. ; 2011:348-357.
LibreCat: /record/27629

Rudolph S, Niehus D. Computer scientists, ergonomists and chemists are shaping the future. E-Portofolios support  "u the flow rate in education and training. In: Universit \'22 a t Paderborn; 2011.
LibreCat: /record/27630

Schulte J, Keil R, Klaholt D, Sauer J. Koi School - Towards the Next Level of Communication, Organization and Integration in Education. In: Zhang R, Cordeiro J, Li X, Zhang Z, Zhang J, eds. Proceedings of the 13th International Conference on Enterprise Information Systems, SciTePress - Science and Technology Publications, Beijing, China. ; 2011:43-52.
LibreCat: /record/27631

Schulte J, Keil R, Oberhoff A. Support  "u support of the co-active research discourse through synergies between e-learning and e-science. In: K  "o hler Th, Neumann J, eds. Waxmann Verlag, M   "u nster; 2011.
LibreCat: /record/27632

Schulte J, Keil R, Rybka J, Ferber F. Laboratory 2.0 - Towards and Integrated Research Environment for Engineering Mechanics. In: Zhang R, Cordeiro J, Li X, Zhang Z, Zhang J, eds. Proceedings of the 13th International Conference on Enterprise Information Systems, SciTePress - Science and Technology Publications, Bejing, China. ; 2011:407-412.
LibreCat: /record/27633

Schulte J, Rybka J, Ferber F, Keil R. KoForum - Cooperative research environment for  "u for cross-organizational scientific Laboratory work. In: K  "o hler  Th., Neumann J, eds. Waxmann Verlag, M  "u nster; 2011:92-101.
LibreCat: /record/27634

Erren P. Semantic Positioning - Supporting Knowledge Work through Semantic Spatial Arrangements. Heinz Nixdorf Institut, Universit\'22at Paderborn; 2011.
LibreCat: /record/27635

Fischer HG, Nebe  Karsten, Klompmaker  Florian. A Holistic Model for Integrating Usability Engineering and Software Engineering Enriched with Marketing Activities. Published online 2011:28-37.
LibreCat: /record/27636

Jung H, Nebe K,  Klompmaker F, Fischer HG. Authenticated entries on multi-touch tables. In: Oldenbourg Wissenschaftsverlag GmbH, M  "u nchen; 2011:305-308.
LibreCat: /record/27637

Nebe  Karsten, Klompmaker F, Jung H, Fischer HG. Exploiting New Interaction Techniques for Disaster Control Management using Multitouch-, Tangible- and Pen-based-Interaction. Published online 2011:100-109.
LibreCat: /record/27638

Fischer HG, Bogner C, Geis T, Polkehn K,  Zimmermann  Dirk. Der Qualit  “a tsstandard f \rdblquote  u r Usability engineering of the German UPA: Current status of the work. In: German UPA; 2011:72-74.
LibreCat: /record/27639

Holtmann J, Meyer J, von Detten M. Automatic Validation and Correction of Formalized, Textual Requirements. In: 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops. ; 2011. doi:10.1109/icstw.2011.17
LibreCat: /record/20958
DOI: 10.1109/icstw.2011.17

Meyer J, Holtmann J. Eine durchgängige Entwicklungsmethode von der Systemarchitektur bis zur Softwarearchitektur mit AUTOSAR. In: Tagungsband Des Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung Eingebetteter Systeme VII. fortiss GmbH; 2011:21-30.
LibreCat: /record/20960

Fockel M, Travkin D, von Detten M. Interpreting Story Diagrams for the Static Detection of Software Patterns. In: Proceedings of the 8th International Fujaba Days. ; 2011.
LibreCat: /record/20975

Suess T, Koch C, Jähn C, Fischer M. Approximative occlusion culling using the hull tree. In: Brooks S, Irani P, eds. Proceedings of the Graphics Interface 2011 Conference, May 25-27, St. John’s, Newfoundland, Canada. Canadian Human-Computer Communications Society; 2011:79--86.
LibreCat: /record/17420

Klaas A, Laroque C, Dangelmaier W, Fischer M. Simulation aided, knowledge based routing for AGVs in a distribution warehouse. In: Proceedings of the 2011 Winter Simulation Conference (WSC). ; 2011. doi:10.1109/wsc.2011.6147883
LibreCat: /record/17421
DOI: 10.1109/wsc.2011.6147883

Suess T, Jähn C, Fischer M, Meyer auf der Heide F, Koch C. Ein paralleles Out-of-Core Renderingsystem für Standard-Rechnernetze. In: Augmented &; Virtual Reality in Der Produktentstehung. Vol 295. Verlagsschriftenreihe des Heinz Nixdorf Instituts; 2011:185--197.
LibreCat: /record/17450

Suess T. Parallel Real-Time Rendering Using Heterogeneous PC Clusters.; 2011.
LibreCat: /record/17454

W. Richa A, Scheideler C, Schmid S, Zhang J. Competitive and Fair Medium Access Despite Reactive Jamming. In: 2011 International Conference on Distributed Computing Systems, ICDCS 2011, Minneapolis, Minnesota, USA, June 20-24, 2011. IEEE Computer Society; 2011:507--516. doi:10.1109/ICDCS.2011.8
LibreCat: /record/1891
DOI: 10.1109/ICDCS.2011.8

W. Richa A, Scheideler C, Schmid S, Zhang J. Towards jamming-resistant and competitive medium access in the SINR model. In: Proceedings of the 3rd ACM Workshop on Wireless of the Students, by the Students, for the Students, @MOBICOM 2011, Las Vegas, NV, USA, September 19 - 23, 2011. ACM; 2011:33--36. doi:10.1145/2030686.2030697
LibreCat: /record/1892
DOI: 10.1145/2030686.2030697

W. Richa A, Scheideler C, Schmid S, Zhang J. Self-stabilizing leader election for single-hop wireless networks despite jamming. In: Proceedings of the 12th ACM Interational Symposium on Mobile Ad Hoc Networking and Computing, MobiHoc 2011, Paris, France, May 16-20, 2011. ACM; 2011:15. doi:10.1145/2107502.2107522
LibreCat: /record/1893
DOI: 10.1145/2107502.2107522

Kniesburges S, Koutsopoulos A, Scheideler C. Re-Chord: a self-stabilizing chord overlay network. In: 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). ; 2011:235--244. doi:10.1145/1989493.1989527
LibreCat: /record/1895
DOI: 10.1145/1989493.1989527

Frahling G. Algorithms for Dynamic Geometric Data Streams. Vol 290. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2011.
LibreCat: /record/18973

Mehler J. Power-Aware Online File Allocation in Dynamic Networks. Vol 287. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2011.
LibreCat: /record/18974

Gehweiler J. Peer-to-Peer Based Parallel Web Computing. Vol 298. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2011.
LibreCat: /record/18976

Kniesburges S, Scheideler C. Hashed Patricia Trie: Efficient Longest Prefix Matching in Peer-to-Peer Systems. In: WALCOM: Algorithms and Computation - 5th International Workshop, WALCOM 2011, New Delhi, India, February 18-20, 2011. Proceedings. Vol 6552. Lecture Notes in Computer Science. Springer; 2011:170--181. doi:10.1007/978-3-642-19094-0_18
LibreCat: /record/1899
DOI: 10.1007/978-3-642-19094-0_18

Scheideler C, Graffi K. Programming for Distributed Computing: From Physical to Logical Networks. In: Computer Science, The Hardware, Software and Heart of It. Springer; 2011:155--168. doi:10.1007/978-1-4614-1168-0_9
LibreCat: /record/1900
DOI: 10.1007/978-1-4614-1168-0_9

Scheideler C. Broadcasting - How Can I Quickly Disseminate Information? In: Algorithms Unplugged. Springer; 2011:223--229. doi:10.1007/978-3-642-15328-0_22
LibreCat: /record/1901
DOI: 10.1007/978-3-642-15328-0_22

Vöcking B, Alt H, Dietzfelbinger M, et al. Algorithms Unplugged.; 2011. doi:10.1007/978-3-642-15328-0
LibreCat: /record/1902
DOI: 10.1007/978-3-642-15328-0

Briest P, Raupach C. The car sharing problem. In: Proceedings of the 23rd ACM Symposium on Parallelism in Algorithms and Architectures - SPAA ’11. ; 2011. doi:10.1145/1989493.1989518
LibreCat: /record/19026
DOI: 10.1145/1989493.1989518

Effert S. Verfahren Zur Redundanten Datenplatzierung in Skalierbaren Speichersystemen. Universität Paderborn; 2011.
LibreCat: /record/19040

Kolman P, Scheideler C. Towards Duality of Multicommodity Multiroute Cuts and Flows: Multilevel Ball-Growing. In: 28th International Symposium on Theoretical Aspects of Computer Science, STACS 2011, March 10-12, 2011, Dortmund, Germany. ; 2011:129--140. doi:10.4230/LIPIcs.STACS.2011.129
LibreCat: /record/1924
DOI: 10.4230/LIPIcs.STACS.2011.129

Briest P, Krysta P, Vöcking B. Approximation Techniques for Utilitarian Mechanism Design. SIAM Journal on Computing. 2011:1587-1622. doi:10.1137/090772988
LibreCat: /record/23739
DOI: 10.1137/090772988

Briest P, Krysta P. Buying Cheap Is Expensive: Approximability of Combinatorial Pricing Problems. SIAM Journal on Computing. 2011:1554-1586. doi:10.1137/090752353
LibreCat: /record/23740
DOI: 10.1137/090752353

Cord-Landwehr A, Degener B, Fischer M, et al. Collisionless Gathering of Robots with an Extent. In: SOFSEM 2011: Theory and Practice of Computer Science. Berlin, Heidelberg; 2011. doi:10.1007/978-3-642-18381-2_15
LibreCat: /record/20709
DOI: 10.1007/978-3-642-18381-2_15

Cord-Landwehr A, Degener B, Fischer M, et al. A New Approach for Analyzing Convergence Algorithms for Mobile Robots. In: Automata, Languages and Programming. Berlin, Heidelberg; 2011. doi:10.1007/978-3-642-22012-8_52
LibreCat: /record/20710
DOI: 10.1007/978-3-642-22012-8_52

Meyer J, Holtmann J, Meyer M. Formalisierung von Anforderungen und Betriebssystemeigenschaften zur fruehzeitigen Simulation von eingebetteten, automobilen Systemen. In: 8. Paderborner Workshop Entwurf Mechatronischer Systeme. Vol 294. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn. Heinz Nixdorf Institut; 2011:203-215.
LibreCat: /record/20915

Holtmann J, Meyer J, Meyer M. A Seamless Model-Based Development Process for Automotive Systems. In: Software Engineering 2011 – Workshopband (Inkl. Doktorandensymposium). Vol P-184. GI-Edition Lecture Notes in Informatics (LNI). Bonner Koellen Verlag; 2011:79-88.
LibreCat: /record/20916

Setzer A. Lokale Online-Strategien Zur Linearen Anordnung von Teilnehmern in Einem Peer-to-Peer Netzwerk. Universität Paderborn; 2011.
LibreCat: /record/17997

Sascha B. Implementierung Eines Verfahrens Zur Lösung Des 3-Mincut-Problems.; 2011.
LibreCat: /record/17998

Scalia L, Biermann T, Choi C, Kozu K, Kellerer W. Power-efficient mobile backhaul design for CoMP support in future wireless access systems. In: 2011 IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS). IEEE; 2011. doi:10.1109/infcomw.2011.5928819
LibreCat: /record/1807
DOI: 10.1109/infcomw.2011.5928819

Willig A, Kipnis D, Karl H. Segment-based packet combining in a cluster: To combine or not to combine? In: 2010 Sixth International Conference on Intelligent Sensors, Sensor Networks and Information Processing. IEEE; 2011. doi:10.1109/issnip.2010.5706758
LibreCat: /record/1808
DOI: 10.1109/issnip.2010.5706758

Renken H, Laroque C, Fischer M. An Easy Extendable Modeling Framework for Discrete Event Simulation Models and their Visualization. In: Proceedings of The 25th European Simulation and Modelling Conference - ESM2011. ; 2011.
LibreCat: /record/18193

Suess T, Koch C, Jähn C, Fischer M, Meyer auf der Heide F. Parallel Out-of-Core Occlusion Culling. Published online 2011.
LibreCat: /record/18194

Kanter T, Kardeby V, Forsström S, Walters J. Scenarios, Research Issues, and Architecture for Ubiquitous Sensing. In: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering. Berlin, Heidelberg: Springer Berlin Heidelberg; 2011:285-297. doi:10.1007/978-3-642-21444-8_25
LibreCat: /record/1838
DOI: 10.1007/978-3-642-21444-8_25

Vöcking B, Hoefer M, Skopalik A, Penn M, Polukarov M. Considerate Equilibrium. In: IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence,. ; 2011:234--239.
LibreCat: /record/18568

Franke J, Dumitrescu R, Gausemeier J, Goth C. MID-Marktanalyse: Schwerpunkte und Chancen von MID. Sonderausgabe Räumliche elektronische Baugruppen, Fachzeitschrift Elektronik. 2011.
LibreCat: /record/22937

Gausemeier J, Dumitrescu R, Kahl S, Nordsiek D. Integrative Development of Product and Production System. Robotics and Computer Integrated Manufacturing 27(4). 2011:772-778.
LibreCat: /record/22938

Domik G, Steffen F, Arens S, Scharlau I. Usefulness of Style Transfer Functions in Medical Diagnosis. In: ACM SIGGRAPH 2011 Posters. SIGGRAPH ’11. New York, NY, USA: Association for Computing Machinery; 2011. doi:10.1145/2037715.2037815
LibreCat: /record/21763
DOI: 10.1145/2037715.2037815