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 | Conference Paper | LibreCat-ID: 3811
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
| Download (ext.)
2011 | Conference Paper | LibreCat-ID: 3875
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
| Download (ext.)
2011 | Mastersthesis | LibreCat-ID: 2902
Märtens M. The Monotone Complexity of Computing K-Clique on Random Graphs.; 2011.
LibreCat
2011 | Dissertation | LibreCat-ID: 2910
Naewe S. Algorithms for Lattice Problems with Respect to General Norms. Universität Paderborn; 2011.
LibreCat
| Download (ext.)
2011 | Conference Paper | LibreCat-ID: 2985
Ackermann MR, Blömer J, Scholz C. Hardness and Non-Approximability of Bregman Clustering Problems. 2011.
LibreCat
2011 | Book Chapter | LibreCat-ID: 2986
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
| DOI
2011 | Preprint | LibreCat-ID: 2987
Blömer J, Naewe S. Solving the Closest Vector Problem with respect to Lp Norms. arXiv:11043720. 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 3137
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
| DOI
2011 | Conference Paper | LibreCat-ID: 3138
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
| DOI
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