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.

5673 Publications


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

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

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

2011 | Conference Paper | LibreCat-ID: 26673
F-DRARE: A Framework for Deterministic runtime adaptation of Cyber Physical Systems
F. Bin Tariq, in: 1st International Workshop on Adaptive Services for the Future Internet, 4th European Conference, ServiceWave 2011, Springer-Verlag, Poznan, Poland, 2011.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 26687
High-Level Construction of Emergent Self-Organizing Behavior in Massively Distributed Embedded Systems
D. Orfanus, P. Janacik, F. Eliassen, P. Orten, in: Proceedings of Third World Congress on Nature and Biologically Inspired Computing (NaBIC2011), IEEE Computer Society, Salamanca, Spain, 2011.
LibreCat
 

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

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

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

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

2011 | Journal Article | LibreCat-ID: 26705
Verification Closure of SystemC Designs with Functional Coverage
C. Kuznik, W. Müller, North American SystemC User Group Meeting (16th) (2011).
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 26707
A Localized Planarization Algorithm for Realistic Wireless Networks
E. Mathews, H. Frey, in: IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM), IEEE Computer Society, 2011, pp. 1–9.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 26710
Virtual Prototyping softwareintensiver mechatronischer Systeme – Eine Fallstudie
M. Becker, H. Zabel, W. Müller, A. Elfeky, A. DiPasquale, in: 8. Paderborner Workshop Entwurf Mechatronischer Systeme, Band 294, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2011, pp. 315–327.
LibreCat
 

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

2011 | Conference Paper | LibreCat-ID: 26712
Self-Organized Cooperation in Swarm Robotics
Y. Khaluf, E. Mathews, F.-J. Rammig, in: 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW), IEEE Computer Society, Newport Beach, California, USA, 2011, pp. 217–226.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 26713
A Reconfiguration Approach for Fault-Tolerant FlexRay Networks
K. Klobedanz, A. König, W. Müller, in: Proceedings of Design, Automation, Test Europe - DATE2011, IEEE Computer Society Press, Grenoble, France, 2011.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 26714
Self-Reconfiguration for Fault-Tolerant FlexRay Networks
K. Klobedanz, A. König, W. Müller, A. Rettberg, in: Second IEEE Workshop on Self-Organizing Real-Time Systems - SORT 2011, IEEE Computer Society Press, Newport Beach, California, USA, 2011.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 26715
Functional Coverage-driven Verification with SystemC on Multiple Level of Abstraction
C. Kuznik, W. Müller, in: Proceedings of DVCON , 2011.
LibreCat
 

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

2011 | Conference Paper | LibreCat-ID: 26717
A SysML-based Framework with QEMU-SystemC Code Generation
D. He, F. Mischkalla, W. Müller, in: Proceedings of 1st International QEMU Users Forum, 2011.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 26782
QEMU/SystemC Cosimulation at Different Abstraction Levels
M. Becker, in: 1st International QEMU Users Forum (QUF’11), 2011.
LibreCat
 

2011 | Book Chapter | LibreCat-ID: 26783
Hybrid Planning for Self-Optimization in Railbound Mechatronic Systems
P. Adelt, N. Esau, C. Hölscher, B. Kleinjohann, L. Kleinjohann, M. Krüger, D. Zimmer, in: Intelligent Mechatronics; Kapitel 10, InTech Open Access Publisher, 2011, pp. 169–194.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 26784
Synchronisation eines SystemC Restbus-Simulators mit einem Hardware-In-the-Loop FlexRay Netzwerk
G.B. Gnokam Defo, W. Müller, in: Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV), 2011.
LibreCat
 

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

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

2011 | Book Chapter | LibreCat-ID: 26792
Emotional Robot Competence and Its Use in Robot Behavior Control
N. Esau, L. Kleinjohann, in: Emotional Engineering, Springer-Verlag London, 2011, pp. 119–142.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 26794
Towards a Real-World Scenario for Investigating Organic Computing Principles in Heterogeneous Societies of Robots
A. Jungmann, J. Lutterbeck, B. Werdehausen, B. Kleinjohann, L. Kleinjohann, in: Proceedings of the 2011 Workshop on Organic Computing, ACM, 2011, pp. 41–50.
LibreCat
 

2011 | Book Chapter | LibreCat-ID: 26805
A Fast Hierarchical Learning Approach for Autonomous Robots
A. Jungmann, B. Kleinjohann, W. Richert, in: Organic Computing — A Paradigm Shift for Complex Systems, Autonomic Systems, Springer Basel, 2011, pp. 545–558.
LibreCat | DOI
 

2011 | Book Chapter | LibreCat-ID: 26810
Increasing Learning Speed by Imitation in Multi-robot Societies
A. Jungmann, B. Kleinjohann, W. Richert, in: Organic Computing — A Paradigm Shift for Complex Systems, Autonomic Systems, Band 1 , Springer Basel, 2011, pp. 295–307.
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 3811
Back to the Roots of Genres: Text Classification by Language Function
H. Wachsmuth, K. Bujna, in: B. Berendt, A. de Vries, W. Fan, C. Macdonald, I. Ounis, I. Ruthven (Eds.), Proceedings of 5th International Joint Conference on Natural Language Processing, 2011, pp. 632–640.
LibreCat | Download (ext.)
 

2011 | Conference Paper | LibreCat-ID: 3875
Constructing Efficient Information Extraction Pipelines
H. Wachsmuth, B. Stein, G. Engels, in: B. Berendt, A. de Vries, W. Fan, C. Macdonald, I. Ounis, I. Ruthven (Eds.), 20th ACM International Conference on Information and Knowledge Management, 2011, pp. 2237–2240.
LibreCat | Download (ext.)
 

2011 | Mastersthesis | LibreCat-ID: 2902
The Monotone Complexity of Computing k-Clique on Random Graphs
M. Märtens, The Monotone Complexity of Computing K-Clique on Random Graphs, 2011.
LibreCat
 

2011 | Dissertation | LibreCat-ID: 2910
Algorithms for lattice problems with respect to general norms
S. Naewe, Algorithms for Lattice Problems with Respect to General Norms, Universität Paderborn, 2011.
LibreCat | Download (ext.)
 

2011 | Conference Paper | LibreCat-ID: 2985
Hardness and Non-Approximability of Bregman Clustering Problems.
M.R. Ackermann, J. Blömer, C. Scholz, (2011).
LibreCat
 

2011 | Book Chapter | LibreCat-ID: 2986
How to Share a Secret
J. Blömer, in: Algorithms Unplugged, Springer Berlin Heidelberg, Berlin, Heidelberg, 2011, pp. 159–168.
LibreCat | DOI
 

2011 | Preprint | LibreCat-ID: 2987
Solving the Closest Vector Problem with respect to Lp Norms
J. Blömer, S. Naewe, ArXiv:1104.3720 (2011).
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 3137
Short Signatures from Weaker Assumptions
D. Hofheinz, T. Jager, E. Kiltz, 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, pp. 647--666.
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 3138
How to break XML encryption
T. Jager, J. Somorovsky, in: Proceedings of the 18th ACM Conference on Computer and Communications Security, CCS 2011, Chicago, Illinois, USA, October 17-21, 2011, 2011, pp. 413--422.
LibreCat | DOI
 

2011 | Journal Article | LibreCat-ID: 3183
Bounded Retransmission in Event-B{\(\parallel\)}CSP: a Case Study
S. Schneider, H. Treharne, H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2011) 69--80.
LibreCat | DOI
 

2011 | Journal Article | LibreCat-ID: 3184
Mechanically verified proof obligations for linearizability
J. Derrick, G. Schellhorn, H. Wehrheim, {ACM} Trans. Program. Lang. Syst. (2011) 4:1--4:43.
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 3185
ReL: {A} Generic Refactoring Language for Specification and Execution
T. Ruhroth, H. Wehrheim, S. Ziegert, in: 37th {EUROMICRO} Conference on Software Engineering and Advanced Applications, {SEAA} 2011, Oulu, Finland, August 30 - September 2, 2011, 2011, pp. 83--90.
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 3186
Verifying Linearisability with Potential Linearisation Points
J. Derrick, G. Schellhorn, H. Wehrheim, in: M. J. Butler, W. Schulte (Eds.), {FM} 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings, 2011, pp. 323--337.
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 3187
Sound and Complete Abstract Graph Transformation
D. Steenken, H. Wehrheim, D. Wonisch, in: A. da Silva Sim{\~{a}}o, C. Morgan (Eds.), Formal Methods, Foundations and Applications - 14th Brazilian Symposium, {SBMF} 2011, S{\~{a}}o Paulo, Brazil, September 26-30, 2011, Revised Selected Papers, 2011, pp. 92--107.
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 3188
A {CSP} Account of Event-B Refinement
S. Schneider, H. Treharne, H. Wehrheim, in: J. Derrick, E. A. Boiten, S. Reeves (Eds.), Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011., 2011, pp. 139--154.
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 27622
Multi-touch, tangible and pen-based interaction in incident planning
K. Nebe, H.G. Fischer, F. Klompmaker, H. Jung, in: Oldenbourg Wissenschaftsverlag GmbH, M {\ "u} nchen, 2011, pp. 263–273.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 27623
Virtual Learning Spaces for Co-Active Learning
R. Keil, H. Selke, in: Proc. of Int. Conf. on Improving University Teaching, 2011, pp. 191–202.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 27624
Multi-Touch Interaction for Disaster Management.}
V. Paelke, K. Nebe, F. Klompmaker, H. Jung, in: 2011.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 27625
Hypothesis- guided technology design as the basis of contextual computer science
R. Keil, in: A. Breiter, M. Wind (Eds.), Lit Verlag, M {\" u} nster, 2011, pp. 165–184.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 27626 LibreCat
 

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

2011 | Conference Paper | LibreCat-ID: 27628
KoProV: A Learning Approach for Coordinated Learning of Modeling and Simulation Based on Knowledge Modules
C. Laroque, J. Schulte, in: M.I. Chinni, D. Weed (Eds.), Proceedings of the 2011 Spring Simulation Multiconference, 2011.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 27629
WasabiBeans - Web Application Services and Business Integration
J. Schulte, in: R. Zhang, J. Cordeiro, X. Li, Z. Zhang, J. Zhang (Eds.), Proceedings of the 13th International Conference on Enterprise Information Systems, SciTePress - Science and Technology Publications, Beijing, China, 2011, pp. 348–357.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 27630 LibreCat
 

2011 | Conference Paper | LibreCat-ID: 27631
Koi School - Towards the Next Level of Communication, Organization and Integration in Education
J. Schulte, R. Keil, D. Klaholt, J. Sauer, in: R. Zhang, J. Cordeiro, X. Li, Z. Zhang, J. Zhang (Eds.), Proceedings of the 13th International Conference on Enterprise Information Systems, SciTePress - Science and Technology Publications, Beijing, China, 2011, pp. 43–52.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 27632
Support {\ "u} support of the co-active research discourse through synergies between e-learning and e-science
J. Schulte, R. Keil, A. Oberhoff, in: Th. K {\ "o} hler, J. Neumann (Eds.), Waxmann Verlag, M { \ "u} nster, 2011.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 27633
Laboratory 2.0 - Towards and Integrated Research Environment for Engineering Mechanics
J. Schulte, R. Keil, J. Rybka, F. Ferber, in: R. Zhang, J. Cordeiro, X. Li, Z. Zhang, J. Zhang (Eds.), Proceedings of the 13th International Conference on Enterprise Information Systems, SciTePress - Science and Technology Publications, Bejing, China, 2011, pp. 407–412.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 27634
KoForum - Cooperative research environment for {\ "u} for cross-organizational scientific Laboratory work
J. Schulte, J. Rybka, F. Ferber, R. Keil, in: Th. K {\ "o} hler, J. Neumann (Eds.), Waxmann Verlag, M {\ "u} nster, 2011, pp. 92–101.
LibreCat
 

2011 | Dissertation | LibreCat-ID: 27635
Semantic Positioning - Supporting Knowledge Work through Semantic Spatial Arrangements
P. Erren, Semantic Positioning - Supporting Knowledge Work through Semantic Spatial Arrangements, Heinz Nixdorf Institut, Universit{\"a}t Paderborn, 2011.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 27636 LibreCat
 

2011 | Conference Paper | LibreCat-ID: 27637
Authenticated entries on multi-touch tables
H. Jung, K. Nebe, F. Klompmaker, H.G. Fischer, in: Oldenbourg Wissenschaftsverlag GmbH, M {\ "u} nchen, 2011, pp. 305–308.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 27638 LibreCat
 

2011 | Conference Paper | LibreCat-ID: 27639
Der Qualit {\ "a} tsstandard f {\" u} r Usability engineering of the German UPA: Current status of the work
H.G. Fischer, C. Bogner, T. Geis, K. Polkehn, Dirk Zimmermann, in: German UPA, 2011, pp. 72–74.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 20958
Automatic Validation and Correction of Formalized, Textual Requirements
J. Holtmann, J. Meyer, M. von Detten, in: 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops, 2011.
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 20960
Eine durchgängige Entwicklungsmethode von der Systemarchitektur bis zur Softwarearchitektur mit AUTOSAR
J. Meyer, J. Holtmann, in: Tagungsband Des Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung Eingebetteter Systeme VII, fortiss GmbH, 2011, pp. 21–30.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 20975
Interpreting Story Diagrams for the Static Detection of Software Patterns
M. Fockel, D. Travkin, M. von Detten, in: Proceedings of the 8th International Fujaba Days, University of Tartu, Estonia, 2011.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 17420
Approximative occlusion culling using the hull tree
T. Suess, C. Koch, C. Jähn, M. Fischer, in: S. Brooks, P. Irani (Eds.), Proceedings of the Graphics Interface 2011 Conference, May 25-27, St. John’s, Newfoundland, Canada, Canadian Human-Computer Communications Society, 2011, pp. 79--86.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 17421
Simulation aided, knowledge based routing for AGVs in a distribution warehouse
A. Klaas, C. Laroque, W. Dangelmaier, M. Fischer, in: Proceedings of the 2011 Winter Simulation Conference (WSC), 2011.
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 17450
Ein paralleles Out-of-Core Renderingsystem für Standard-Rechnernetze
T. Suess, C. Jähn, M. Fischer, F. Meyer auf der Heide, C. Koch, in: Augmented & Virtual Reality in Der Produktentstehung, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2011, pp. 185--197.
LibreCat
 

2011 | Dissertation | LibreCat-ID: 17454
Parallel Real-Time Rendering using Heterogeneous PC Clusters
T. Suess, Parallel Real-Time Rendering Using Heterogeneous PC Clusters, Universität Paderborn, 2011.
LibreCat | Files available
 

2011 | Conference Paper | LibreCat-ID: 1891
Competitive and Fair Medium Access Despite Reactive Jamming
A. W. Richa, C. Scheideler, S. Schmid, J. Zhang, in: 2011 International Conference on Distributed Computing Systems, ICDCS 2011, Minneapolis, Minnesota, USA, June 20-24, 2011, IEEE Computer Society, 2011, pp. 507--516.
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 1892
Towards jamming-resistant and competitive medium access in the SINR model
A. W. Richa, C. Scheideler, S. Schmid, J. Zhang, in: 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, ACM, 2011, pp. 33--36.
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 1893
Self-stabilizing leader election for single-hop wireless networks despite jamming
A. W. Richa, C. Scheideler, S. Schmid, J. Zhang, 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, p. 15.
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 1895
Re-Chord: a self-stabilizing chord overlay network
S. Kniesburges, A. Koutsopoulos, C. Scheideler, 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, pp. 235--244.
LibreCat | DOI
 

2011 | Dissertation | LibreCat-ID: 18973
Algorithms for Dynamic Geometric Data Streams
G. Frahling, Algorithms for Dynamic Geometric Data Streams, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2011.
LibreCat | Files available
 

2011 | Dissertation | LibreCat-ID: 18974
Power-Aware Online File Allocation in Dynamic Networks
J. Mehler, Power-Aware Online File Allocation in Dynamic Networks, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2011.
LibreCat | Files available
 

2011 | Dissertation | LibreCat-ID: 18976
Peer-to-Peer Based Parallel Web Computing
J. Gehweiler, Peer-to-Peer Based Parallel Web Computing, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2011.
LibreCat | Files available
 

2011 | Conference Paper | LibreCat-ID: 1899
Hashed Patricia Trie: Efficient Longest Prefix Matching in Peer-to-Peer Systems
S. Kniesburges, C. Scheideler, in: WALCOM: Algorithms and Computation - 5th International Workshop, WALCOM 2011, New Delhi, India, February 18-20, 2011. Proceedings, Springer, 2011, pp. 170--181.
LibreCat | DOI
 

2011 | Book Chapter | LibreCat-ID: 1900
Programming for Distributed Computing: From Physical to Logical Networks
C. Scheideler, K. Graffi, in: Computer Science, The Hardware, Software and Heart of It, Springer, 2011, pp. 155--168.
LibreCat | DOI
 

2011 | Book Chapter | LibreCat-ID: 1901
Broadcasting - How Can I Quickly Disseminate Information?
C. Scheideler, in: Algorithms Unplugged, Springer, 2011, pp. 223--229.
LibreCat | DOI
 

2011 | Book | LibreCat-ID: 1902
Algorithms Unplugged
B. Vöcking, H. Alt, M. Dietzfelbinger, R. Reischuk, C. Scheideler, H. Vollmer, D. Wagner, Algorithms Unplugged, 2011.
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 19026
The car sharing problem
P. Briest, C. Raupach, in: Proceedings of the 23rd ACM Symposium on Parallelism in Algorithms and Architectures - SPAA ’11, 2011.
LibreCat | DOI
 

2011 | Dissertation | LibreCat-ID: 19040
Verfahren zur redundanten Datenplatzierung in skalierbaren Speichersystemen
S. Effert, Verfahren Zur Redundanten Datenplatzierung in Skalierbaren Speichersystemen, Universität Paderborn, 2011.
LibreCat | Files available
 

2011 | Conference Paper | LibreCat-ID: 1924
Towards Duality of Multicommodity Multiroute Cuts and Flows: Multilevel Ball-Growing
P. Kolman, C. Scheideler, in: 28th International Symposium on Theoretical Aspects of Computer Science, STACS 2011, March 10-12, 2011, Dortmund, Germany, 2011, pp. 129--140.
LibreCat | DOI
 

2011 | Journal Article | LibreCat-ID: 23739
Approximation Techniques for Utilitarian Mechanism Design
P. Briest, P. Krysta, B. Vöcking, SIAM Journal on Computing (2011) 1587–1622.
LibreCat | DOI
 

2011 | Journal Article | LibreCat-ID: 23740
Buying Cheap Is Expensive: Approximability of Combinatorial Pricing Problems
P. Briest, P. Krysta, SIAM Journal on Computing (2011) 1554–1586.
LibreCat | DOI
 

2011 | Book Chapter | LibreCat-ID: 20709
Collisionless Gathering of Robots with an Extent
A. Cord-Landwehr, B. Degener, M. Fischer, M. Hüllmann, B. Kempkes, A. Klaas, P. Kling, S. Kurras, M. Märtens, F.M. auf der Heide, C. Raupach, K. Swierkot, D. Warner, C. Weddemann, D. Wonisch, in: SOFSEM 2011: Theory and Practice of Computer Science, Berlin, Heidelberg, 2011.
LibreCat | DOI
 

2011 | Book Chapter | LibreCat-ID: 20710
A New Approach for Analyzing Convergence Algorithms for Mobile Robots
A. Cord-Landwehr, B. Degener, M. Fischer, M. Hüllmann, B. Kempkes, A. Klaas, P. Kling, S. Kurras, M. Märtens, F. Meyer auf der Heide, C. Raupach, K. Swierkot, D. Warner, C. Weddemann, D. Wonisch, in: Automata, Languages and Programming, Berlin, Heidelberg, 2011.
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 20915
Formalisierung von Anforderungen und Betriebssystemeigenschaften zur fruehzeitigen Simulation von eingebetteten, automobilen Systemen
J. Meyer, J. Holtmann, M. Meyer, in: 8. Paderborner Workshop Entwurf Mechatronischer Systeme, Heinz Nixdorf Institut, 2011, pp. 203–215.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 20916
A Seamless Model-Based Development Process for Automotive Systems
J. Holtmann, J. Meyer, M. Meyer, in: Software Engineering 2011 – Workshopband (Inkl. Doktorandensymposium), Bonner Koellen Verlag, 2011, pp. 79–88.
LibreCat
 

2011 | Bachelorsthesis | LibreCat-ID: 17997
Lokale Online-Strategien zur linearen Anordnung von Teilnehmern in einem Peer-to-Peer Netzwerk
A. Setzer, Lokale Online-Strategien Zur Linearen Anordnung von Teilnehmern in Einem Peer-to-Peer Netzwerk, Universität Paderborn, 2011.
LibreCat
 

2011 | Bachelorsthesis | LibreCat-ID: 17998
Implementierung eines Verfahrens zur Lösung des 3-Mincut-Problems
B. Sascha, Implementierung Eines Verfahrens Zur Lösung Des 3-Mincut-Problems, 2011.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 1807
Power-efficient mobile backhaul design for CoMP support in future wireless access systems
L. Scalia, T. Biermann, C. Choi, K. Kozu, W. Kellerer, in: 2011 IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS), IEEE, 2011.
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 1808
Segment-based packet combining in a cluster: To combine or not to combine?
A. Willig, D. Kipnis, H. Karl, in: 2010 Sixth International Conference on Intelligent Sensors, Sensor Networks and Information Processing, IEEE, 2011.
LibreCat | DOI
 

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

2011 | Preprint | LibreCat-ID: 18194
Parallel Out-of-Core Occlusion Culling
T. Suess, C. Koch, C. Jähn, M. Fischer, F. Meyer auf der Heide, (2011).
LibreCat | Files available
 

2011 | Book Chapter | LibreCat-ID: 1838
Scenarios, Research Issues, and Architecture for Ubiquitous Sensing
T. Kanter, V. Kardeby, S. Forsström, J. Walters, in: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, Springer Berlin Heidelberg, Berlin, Heidelberg, 2011, pp. 285–297.
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 18568
Considerate Equilibrium
B. Vöcking, M. Hoefer, A. Skopalik, M. Penn, M. Polukarov, in: {IJCAI} 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, 2011, pp. 234--239.
LibreCat | Files available
 

2011 | Newspaper Article | LibreCat-ID: 22937
MID-Marktanalyse: Schwerpunkte und Chancen von MID
J. Franke, R. Dumitrescu, J. Gausemeier, C. Goth, Sonderausgabe Räumliche Elektronische Baugruppen, Fachzeitschrift Elektronik (2011).
LibreCat
 

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

2011 | Conference Paper | LibreCat-ID: 21763
Usefulness of Style Transfer Functions in Medical Diagnosis
G. Domik, F. Steffen, S. Arens, I. Scharlau, in: ACM SIGGRAPH 2011 Posters, Association for Computing Machinery, New York, NY, USA, 2011.
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 21764
Serious Games for the Therapy of the Posttraumatic Stress Disorder of Children and Adolescents
R. Radkowski, W. Huck, G. Domik, M. Holtmann, in: R. Shumaker (Ed.), Virtual and Mixed Reality - Systems and Applications, Springer Berlin Heidelberg, Berlin, Heidelberg, 2011, pp. 44–53.
LibreCat | DOI
 

Filters and Search Terms

department=7

Search

Filter Publications

Display / Sort

Export / Embed