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.

5676 Publications


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

2011 | Journal Article | LibreCat-ID: 3184
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 | DOI
 

2011 | Conference Paper | LibreCat-ID: 3185
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 | DOI
 

2011 | Conference Paper | LibreCat-ID: 3186
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 | DOI
 

2011 | Conference Paper | LibreCat-ID: 3187
Steenken D, Wehrheim H, Wonisch D. Sound and Complete Abstract Graph Transformation. In: da Silva Sim{\~{a}}o A, Morgan C, eds. Formal Methods, Foundations and Applications - 14th Brazilian Symposium, {SBMF} 2011, S{\~{a}}o 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 | DOI
 

2011 | Conference Paper | LibreCat-ID: 3188
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 | DOI
 

2011 | Conference Paper | LibreCat-ID: 27622
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
 

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

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

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

2011 | Conference Paper | LibreCat-ID: 27626
Klompmaker F, Nebe Karsten, Jung H. Smart Fiducials: Advanced Tangible Interaction Techniques through Dynamic Visual Paterns. In: ; 2011.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 27627
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
 

2011 | Conference Paper | LibreCat-ID: 27628
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
 

2011 | Conference Paper | LibreCat-ID: 27629
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
 

2011 | Conference Paper | LibreCat-ID: 27630
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 {\" a} t Paderborn; 2011.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 27631
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
 

2011 | Conference Paper | LibreCat-ID: 27632
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
 

2011 | Conference Paper | LibreCat-ID: 27633
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
 

2011 | Conference Paper | LibreCat-ID: 27634
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
 

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

2011 | Conference Paper | LibreCat-ID: 27636
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
 

2011 | Conference Paper | LibreCat-ID: 27637
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
 

2011 | Conference Paper | LibreCat-ID: 27638
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
 

2011 | Conference Paper | LibreCat-ID: 27639
Fischer HG, Bogner C, Geis T, Polkehn K, Zimmermann Dirk. Der Qualit {\ “a} tsstandard f {\” u} r Usability engineering of the German UPA: Current status of the work. In: German UPA; 2011:72-74.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 20958
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 | DOI
 

2011 | Conference Paper | LibreCat-ID: 20960
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
 

2011 | Conference Paper | LibreCat-ID: 20975
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
 

2011 | Conference Paper | LibreCat-ID: 17420
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
 

2011 | Conference Paper | LibreCat-ID: 17421
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 | DOI
 

2011 | Conference Paper | LibreCat-ID: 17450
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
 

2011 | Dissertation | LibreCat-ID: 17454
Suess T. Parallel Real-Time Rendering Using Heterogeneous PC Clusters.; 2011.
LibreCat | Files available
 

2011 | Conference Paper | LibreCat-ID: 1891
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 | DOI
 

2011 | Conference Paper | LibreCat-ID: 1892
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, S3@MOBICOM 2011, Las Vegas, NV, USA, September 19 - 23, 2011. ACM; 2011:33--36. doi:10.1145/2030686.2030697
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 1893
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 | DOI
 

2011 | Conference Paper | LibreCat-ID: 1895
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 | DOI
 

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

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

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

2011 | Conference Paper | LibreCat-ID: 1899
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 | DOI
 

2011 | Book Chapter | LibreCat-ID: 1900
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 | DOI
 

2011 | Book Chapter | LibreCat-ID: 1901
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 | DOI
 

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

2011 | Conference Paper | LibreCat-ID: 19026
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 | DOI
 

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

2011 | Conference Paper | LibreCat-ID: 1924
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 | DOI
 

2011 | Journal Article | LibreCat-ID: 23739
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 | DOI
 

2011 | Journal Article | LibreCat-ID: 23740
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 | DOI
 

2011 | Book Chapter | LibreCat-ID: 20709
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 | DOI
 

2011 | Book Chapter | LibreCat-ID: 20710
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 | DOI
 

2011 | Conference Paper | LibreCat-ID: 20915
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
 

2011 | Conference Paper | LibreCat-ID: 20916
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
 

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

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

2011 | Conference Paper | LibreCat-ID: 1807
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 | DOI
 

2011 | Conference Paper | LibreCat-ID: 1808
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 | DOI
 

2011 | Conference Paper | LibreCat-ID: 18193
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
 

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

2011 | Book Chapter | LibreCat-ID: 1838
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 | DOI
 

2011 | Conference Paper | LibreCat-ID: 18568
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 | Files available
 

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

2011 | Newspaper Article | LibreCat-ID: 22938
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
 

2011 | Conference Paper | LibreCat-ID: 21763
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 | DOI
 

2011 | Conference Paper | LibreCat-ID: 21764
Radkowski R, Huck W, Domik G, Holtmann M. Serious Games for the Therapy of the Posttraumatic Stress Disorder of Children and Adolescents. In: Shumaker R, ed. Virtual and Mixed Reality - Systems and Applications. Vol 6774. Virtual and Mixed Reality - Systems and Applications. Lecture Notes in Computer Science. . Berlin, Heidelberg: Springer Berlin Heidelberg; 2011:44-53. doi:10.1007/978-3-642-22024-1_6
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 21765
Arens S, Bolte M, Domik G. Seamless Integration of Multimodal Shader Compositing into a Flexible Ray Casting Pipeline. In: Eisert P, Hornegger J, Polthier K, eds. Vision, Modeling, and Visualization (2011). The Eurographics Association; 2011. doi:10.2312/PE/VMV/VMV11/347-352
LibreCat | DOI
 

2011 | Journal Article | LibreCat-ID: 21766
Santos BS, Dias P, Silva S, Ferreira C, Madeira J. Integrating User Studies into Computer Graphics-Related Courses. IEEE Computer Graphics and Applications. 2011;31(5):14-17. doi:10.1109/MCG.2011.78
LibreCat | DOI
 

2011 | Journal Article | LibreCat-ID: 21767
Linares-Pellicer J, Micó P, Esparza-Peidro J, Carrasquer-Moya E. Computer Graphics: From Desktop to Mobile and Web. IEEE Computer Graphics and Applications. 2011;31(4):94-96, c3. doi:10.1109/MCG.2011.56
LibreCat | DOI
 

2011 | Journal Article | LibreCat-ID: 21768
Diefenbach PJ. Practical Game Design and Development Pedagogy. IEEE Computer Graphics and Applications. 2011;31(3):84-88. doi:10.1109/MCG.2011.45
LibreCat | DOI
 

2011 | Journal Article | LibreCat-ID: 21769
Angel E, Shreiner D. Teaching a Shader-Based Introduction to Computer Graphics. IEEE Computer Graphics and Applications. 2011;31(2):9-13. doi:10.1109/MCG.2011.27
LibreCat | DOI
 

2011 | Journal Article | LibreCat-ID: 21770
Schweppe M, Geigel J. Live Theater on a Virtual Stage: Incorporating Soft Skills and Teamwork in Computer Graphics Education. IEEE Computer Graphics and Applications. 2011;31(1):85-89. doi:10.1109/MCG.2011.9
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 2191
Kenter T, Plessl C, Platzner M, Kauschke M. Estimation and Partitioning for CPU-Accelerator Architectures. In: Intel European Research and Innovation Conference. ; 2011.
LibreCat
 

2011 | Book Chapter | LibreCat-ID: 2202
Plessl C, Platzner M. Hardware Virtualization on Dynamically Reconfigurable Embedded Processors. In: Khalgui M, Hanisch H-M, eds. Reconfigurable Embedded Control Systems: Applications for Flexibility and Agility. Hershey, PA, USA: IGI Global; 2011. doi:10.4018/978-1-60960-086-0
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 2204
Graf T, Lorenz U, Platzner M, Schaefers L. Parallel Monte-Carlo Tree Search for HPC Systems. In: Proc. European Conf. on Parallel Processing (Euro-Par). Vol 6853. Lecture Notes in Computer Science (LNCS). Berlin / Heidelberg: Springer; 2011. doi:10.1007/978-3-642-23397-5_36
LibreCat | DOI
 

2011 | Conference (Editor) | LibreCat-ID: 929
Frey H, Li X, R{ührup S, eds. Ad-Hoc, Mobile, and Wireless Networks - 10th International Conference, ADHOC-NOW 2011, Paderborn, Germany, July 18-20, 2011. Proceedings.; 2011. doi:10.1007/978-3-642-22450-8
LibreCat | DOI
 

2011 | Journal Article | LibreCat-ID: 793
Ahlgren B, A. Aranda-Gutierrez P, Chemouil P, et al. Content, connectivity, and cloud: ingredients for the network of the future. IEEE Communications Magazine. 2011;(7):62--70. doi:10.1109/MCOM.2011.5936156
LibreCat | DOI
 

2011 | Journal Article | LibreCat-ID: 794
Conti M, Chong S, Fdida S, et al. Research challenges towards the Future Internet. Computer Communications. 2011;(18):2115--2134. doi:10.1016/j.comcom.2011.09.001
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 795
D’Ambrosio M, Dannewitz C, Karl H, Vercellone V. MDHT: A hierarchical name resolution service for information-centric networks. In: 2011 ACM SIGCOMM Workshop on Information-Centric Networking, ICN 2011, Toronto, ON, Canada, August 19, 2011. ; 2011:7--12. doi:10.1145/2018584.2018587
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 796
Azeem M. Khan R, Karl H. Multihop Performance of Cooperative Preamble Sampling MAC(CPS-MAC) in Wireless Sensor Networks. In: Ad-Hoc, Mobile, and Wireless Networks - 10th International Conference, ADHOC-NOW 2011, Paderborn, Germany, July 18-20, 2011. Proceedings. ; 2011:145--149. doi:10.1007/978-3-642-22450-8_11
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 797
Herlich M, Karl H. Reducing power consumption of mobile access networks with cooperation. In: 2nd International Conference on Energy-Efficient Computing and Networking 2011, e-Energy ’11, New York, NY, USA - May 31 - June 01, 2011. ; 2011:77--86. doi:10.1145/2318716.2318731
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 798
Künsemöller J, Karl H. A Game-Theoretical Approach to the Benefits of Cloud Computing. In: Economics of Grids, Clouds, Systems, and Services - 8th International Workshop, GECON 2011, Paphos, Cyprus, December 5, 2011, Revised Selected Papers. ; 2011:148--160. doi:10.1007/978-3-642-28675-9_11
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 799
Volkhausen T, Schinköthe K, Karl H. Coding Opportunities from Similar Data in Wireless Cooperation Diversity Systems. In: IEEE 8th International Conference on Mobile Adhoc and Sensor Systems, MASS 2011, Valencia, Spain, October 17-22, 2011. ; 2011:146--148. doi:10.1109/MASS.2011.126
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 800
Biermann T, Scalia L, Karl H. Designing optical metro and access networks for future cooperative cellular systems. In: Proceedings of the 14th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, MSWiM 2011, Miami, Florida, USA, October 31 - November 4, 2011. ; 2011:265--274. doi:10.1145/2068897.2068945
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 801
Herlich M, Karl H. The Trade-Off between Power Consumption and Latency in Computer Networks. In: NETWORKING 2011 Workshops - International IFIP TC 6 Workshops, PE-CRN, NC-Pro, WCNS, and SUNSET 2011, Held at {NETWORKING} 2011, Valencia, Spain, May 13, 2011, Revised Selected Papers. ; 2011:273--280. doi:10.1007/978-3-642-23041-7_26
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 802
Biermann T, Scalia L, Choi C, Karl H, Kellerer W. Improving CoMP cluster feasibility by dynamic serving base station reassignment. In: IEEE 22nd International Symposium on Personal, Indoor and Mobile Radio Communications, PIMRC 2011, Toronto, ON, Canada, September 11-14, 2011. ; 2011:1325--1330. doi:10.1109/PIMRC.2011.6139716
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 803
Biermann T, Scalia L, Widmer J, Karl H. Backhaul Design and Controller Placement for Cooperative Mobile Access Networks. In: Proceedings of the 73rd IEEE Vehicular Technology Conference, VTC Spring 2011, 15-18 May 2011, Budapest, Hungary. ; 2011:1--5. doi:10.1109/VETECS.2011.5956269
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 804
Biermann T, Scalia L, Choi C, Karl H, Kellerer W. Backhaul network pre-clustering in cooperative cellular mobile access networks. In: 12th IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks, WOWMOM 2011, Lucca, Italy, 20-24 June, 2011. ; 2011:1--9. doi:10.1109/WoWMoM.2011.5986377
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 8044
Christ F, Bals J-C. Kompatibilitätsanalyse bei Evolution framework-basierter Anwendungen. In: Proceedings of the 3rd Design for Future Workshop Held at the Software Engineering 2011 Conference (SE2011), Karlsruhe (Germany). Vol P-184. LNI. GI; 2011:29-40.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 8045
Christ F, Nagel B. A Reference Architecture for Semantic Content Management Systems. In: Proceeding of the Enterprise Modelling and Information Systems Architectures Workshop 2011 (EMISA’11), Hamburg (Germany). Vol P-190. LNI. GI; 2011:135-148.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 8046
Engels G, Kremer M. Situational Software Engineering: Ein Rahmenwerk für eine situationsgerechte Auswahl von Entwicklungsmethoden und Vorgehensmodellen. In: Proceedings Der41. Jahrestagung Der Gesellschaft Für Informatik - Informatik 2011;. Vol 192. LNI. GI; 2011.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 8047
Engels G. Services aus der Cloud = Fahren im Nebel? Wie minimiere ich die Risiken und erreiche hohe Qualität? In: Proceedings Der 41. Jahrestagung Der Gesellschaft Für Informatik - Informatik 2011. Vol 192. LNI. GI; 2011.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 8048
Gerth C, Luckey M, Küster J, Engels G. Precise Mappings between Business Process Models in Versioning Scenarios. In: Proceedings of the IEEE 8th International Conference on Services Computing (SCC’11). IEEE Computer Society; 2011:218-225. doi:http://dx.doi.org/10.1109/SCC.2011.65
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 8049
Heinemann M, Palme M, Rothmann A, Salger F, Schönke J, Engels G. Selektionswerkzeug zur Auswahl projektspezifischer Vorgehensstrategien. In: Software Engineering 2011. Vol P-183. Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik (GI); 2011:33-36.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 8050
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 System Engineering (CAiSE’11). Vol 6741. LNCS. Berlin/Heidelberg: Springer; 2011:521-535. doi:http://dx.doi.org/10.1007/978-3-642-21640-4_39
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 8051
Jung H, Nebe K, Klompmaker F, Fischer HG. Authentifizierte Eingaben auf Multitouch-Tischen. In: Mensch & Computer 2011, 11. Fachübergreifende Konferenz Für Interaktive Und Kooperative Medien, ÜberMEDIEN - ÜBERmorgen. Oldenbourg Wissenschaftsverlag; 2011:305-308.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 8052
Luckey M, Nagel B, Gerth C, Engels G. Adapt Cases: Extending Use Cases for Adaptive Systems. In: Proceeding of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems. SEAMS ’11. New York, NY, USA: ACM; 2011:30-39.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 8053
Luckey M, Gerth C, Soltenborn C, Engels G. QUAASY - QUality Assurance of Adaptive SYstems. In: Proceedings of the 8th International Conference on Autonomic Computing (ICAC’11). ACM; 2011. doi:http://dx.doi.org/10.1145/1998582.1998617
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 8054
Bandener N, Soltenborn C, Engels G. Extending DMM Behavior Specifications for Visual Execution and Debugging. In: Proceedings of the 3rd International Conference on Software Language Engineering (SLE 2010). Vol 6563. LNCS. Berlin/Heidelberg: Springer; 2011:357-376. doi:http://dx.doi.org/10.1007/978-3-642-19440-5_24
LibreCat | DOI
 

2011 | Report | LibreCat-ID: 8221
Brüseke F, Christ F, Sauer S, Wübbeke A. Testen von Software-Produktlinien. University of Paderborn, Software Quality Lab (s-lab); 2011.
LibreCat
 

2011 | Book Chapter | LibreCat-ID: 6293
Nebe K, Klompmaker F, Jung H, Fischer HG. Exploiting New Interaction Techniques for Disaster Control Management Using Multitouch-, Tangible- and Pen-Based-Interaction. In: Jacko JA, ed. Human-Computer Interaction. Interaction Techniques and Environments. Vol 6762. Lecture Notes in Computer Science. Berlin, Heidelberg: Springer Berlin Heidelberg; 2011:100-109. doi:10.1007/978-3-642-21605-3_11
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 6298
Nebe K, Fischer HG, Klompmaker F, Jung H. Multitouch-, Be-Greifbare- und Stiftbasierte-Interaktion in der Einsatzlageplanung. In: Mensch & Computer 2011, 11. fachübergreifende Konferenz für interaktive und kooperative Medien, überMEDIEN - ÜBERmorgen. Oldenbourg Wissenschaftsverlag; 2011:263-273.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 6299
Jung H, Nebe K, Klompmaker F, Fischer HG. Authentifizierte Eingaben auf Multitouch-Tischen. In: Mensch & Computer 2011, 11. fachübergreifende Konferenz für interaktive und kooperative Medien, überMEDIEN - ÜBERmorgen. Oldenbourg Wissenschaftsverlag; 2011:305-308.
LibreCat
 

Filters and Search Terms

department=7

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed