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.
5711 Publications
2011 | Conference Paper | LibreCat-ID: 26787
Khaluf, Lial, et al. “Pattern-Based Modeling and Formalizing of Business Process Quality Constraints.” Proceedings of the 23rd International Conference on Advanced Information Systems Engineering (CAiSE’11), Springer Verlag, 2011, pp. 521–35.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26789
Kuznik, Christoph, and Wolfgang Müller. “Native Binary Mutation Analysis for Embedded Software and Virtual Prototypes in SystemC.” Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing, 2011.
LibreCat
2011 | Book Chapter | LibreCat-ID: 26792
Esau, Natascha, and Lisa Kleinjohann. “Emotional Robot Competence and Its Use in Robot Behavior Control.” Emotional Engineering, Springer-Verlag London, 2011, pp. 119–42.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26794
Jungmann, Alexander, et al. “Towards a Real-World Scenario for Investigating Organic Computing Principles in Heterogeneous Societies of Robots.” Proceedings of the 2011 Workshop on Organic Computing, ACM, 2011, pp. 41–50.
LibreCat
2011 | Book Chapter | LibreCat-ID: 26805
Jungmann, Alexander, et al. “A Fast Hierarchical Learning Approach for Autonomous Robots.” Organic Computing A Paradigm Shift for Complex Systems, Autonomic Systems, Springer Basel, 2011, pp. 545–58, doi:10.1007/978-3-0348-0130-0_36.
LibreCat
| DOI
2011 | Book Chapter | LibreCat-ID: 26810
Jungmann, Alexander, et al. “Increasing Learning Speed by Imitation in Multi-Robot Societies.” Organic Computing A Paradigm Shift for Complex Systems, Autonomic Systems, Band 1 , Springer Basel, 2011, pp. 295–307, doi:10.1007/978-3-0348-0130-0_19.
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 3811
Wachsmuth, Henning, and Kathrin Bujna. “Back to the Roots of Genres: Text Classification by Language Function.” Proceedings of 5th International Joint Conference on Natural Language Processing, edited by Bettina Berendt et al., 2011, pp. 632–40.
LibreCat
| Download (ext.)
2011 | Conference Paper | LibreCat-ID: 3875
Wachsmuth, Henning, et al. “Constructing Efficient Information Extraction Pipelines.” 20th ACM International Conference on Information and Knowledge Management, edited by Bettina Berendt et al., 2011, pp. 2237–40.
LibreCat
| Download (ext.)
2011 | Mastersthesis | LibreCat-ID: 2902
Märtens, Marcus. The Monotone Complexity of Computing K-Clique on Random Graphs. 2011.
LibreCat
2011 | Dissertation | LibreCat-ID: 2910
Naewe, Stefanie. Algorithms for Lattice Problems with Respect to General Norms. Universität Paderborn, 2011.
LibreCat
| Download (ext.)
2011 | Conference Paper | LibreCat-ID: 2985
Ackermann, Marcel R., et al. Hardness and Non-Approximability of Bregman Clustering Problems. 2011.
LibreCat
2011 | Book Chapter | LibreCat-ID: 2986
Blömer, Johannes. “How to Share a Secret.” Algorithms Unplugged, Springer Berlin Heidelberg, 2011, pp. 159–68, doi:10.1007/978-3-642-15328-0_17.
LibreCat
| DOI
2011 | Preprint | LibreCat-ID: 2987
Blömer, Johannes, and Stefanie Naewe. “Solving the Closest Vector Problem with Respect to Lp Norms.” ArXiv:1104.3720, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 3137
Hofheinz, Dennis, et al. “Short Signatures from Weaker Assumptions.” 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, doi:10.1007/978-3-642-25385-0_35.
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 3138
Jager, Tibor, and Juraj Somorovsky. “How to Break XML Encryption.” Proceedings of the 18th ACM Conference on Computer and Communications Security, CCS 2011, Chicago, Illinois, USA, October 17-21, 2011, 2011, pp. 413--422, doi:10.1145/2046707.2046756.
LibreCat
| DOI
2011 | Journal Article | LibreCat-ID: 3183
Schneider, Steve, et al. “Bounded Retransmission in Event-B{\(\parallel\)}CSP: A Case Study.” Electr. Notes Theor. Comput. Sci., 2011, pp. 69--80, doi:10.1016/j.entcs.2011.11.019.
LibreCat
| DOI
2011 | Journal Article | LibreCat-ID: 3184
Derrick, John, et al. “Mechanically Verified Proof Obligations for Linearizability.” {ACM} Trans. Program. Lang. Syst., no. 1, 2011, pp. 4:1--4:43, doi:10.1145/1889997.1890001.
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 3185
Ruhroth, Thomas, et al. “ReL: {A} Generic Refactoring Language for Specification and Execution.” 37th {EUROMICRO} Conference on Software Engineering and Advanced Applications, {SEAA} 2011, Oulu, Finland, August 30 - September 2, 2011, 2011, pp. 83--90, doi:10.1109/SEAA.2011.22.
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 3186
Derrick, John, et al. “Verifying Linearisability with Potential Linearisation Points.” {FM} 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings, edited by Michael J. Butler and Wolfram Schulte, 2011, pp. 323--337, doi:10.1007/978-3-642-21437-0_25.
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 3187
Steenken, Dominik, et al. “Sound and Complete Abstract Graph Transformation.” Formal Methods, Foundations and Applications - 14th Brazilian Symposium, {SBMF} 2011, S{\~{a}}o Paulo, Brazil, September 26-30, 2011, Revised Selected Papers, edited by Adenilso da Silva Sim{\~{a}}o and Carroll Morgan, 2011, pp. 92--107, doi:10.1007/978-3-642-25032-3_7.
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 3188
Schneider, Steve, et al. “A {CSP} Account of Event-B Refinement.” Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011., edited by John Derrick et al., 2011, pp. 139--154, doi:10.4204/EPTCS.55.9.
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 27622
Nebe, Karsten, et al. Multi-Touch, Tangible and Pen-Based Interaction in Incident Planning. Oldenbourg Wissenschaftsverlag GmbH, M {\ "u} nchen, 2011, pp. 263–73.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27623
Keil, Reinhard, and Harald Selke. “Virtual Learning Spaces for Co-Active Learning.” Proc. of Int. Conf. on Improving University Teaching, 2011, pp. 191–202.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27624
Paelke, Volker, et al. Multi-Touch Interaction for Disaster Management.}. 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27625
Keil, Reinhard. Hypothesis- Guided Technology Design as the Basis of Contextual Computer Science. Edited by A Breiter and M Wind, Lit Verlag, M {\" u} nster, 2011, pp. 165–84.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27626
Klompmaker, Florian, et al. Smart Fiducials: Advanced Tangible Interaction Techniques through Dynamic Visual Paterns. 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27627
Klompmaker, Florian, et al. “User Centered Design Process of OSAMI-D: Developing User Interfaces for a Remote Ergometer Training Application.” Proceedings of the International Conference on Health Informatics, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27628
Laroque, Christoph, and Jonas Schulte. “KoProV: A Learning Approach for Coordinated Learning of Modeling and Simulation Based on Knowledge Modules.” Proceedings of the 2011 Spring Simulation Multiconference, edited by M.I Chinni and D Weed, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27629
Schulte, Jonas. “WasabiBeans - Web Application Services and Business Integration.” Proceedings of the 13th International Conference on Enterprise Information Systems, SciTePress - Science and Technology Publications, Beijing, China, edited by R Zhang et al., 2011, pp. 348–57.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27630
Rudolph, S., and Dominik Niehus. Computer Scientists, Ergonomists and Chemists Are Shaping the Future. E-Portofolios Support {\ "u} the Flow Rate in Education and Training. Universit {\" a} t Paderborn, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27631
Schulte, Jonas, et al. “Koi School - Towards the Next Level of Communication, Organization and Integration in Education.” Proceedings of the 13th International Conference on Enterprise Information Systems, SciTePress - Science and Technology Publications, Beijing, China, edited by R Zhang et al., 2011, pp. 43–52.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27632
Schulte, Jonas, et al. Support {\ "u} Support of the Co-Active Research Discourse through Synergies between e-Learning and e-Science. Edited by Th. K {\ "o} hler and J Neumann, Waxmann Verlag, M { \ "u} nster, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27633
Schulte, Jonas, et al. “Laboratory 2.0 - Towards and Integrated Research Environment for Engineering Mechanics.” Proceedings of the 13th International Conference on Enterprise Information Systems, SciTePress - Science and Technology Publications, Bejing, China, edited by R Zhang et al., 2011, pp. 407–12.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27634
Schulte, Jonas, et al. KoForum - Cooperative Research Environment for {\ "u} for Cross-Organizational Scientific Laboratory Work. Edited by Th. K {\ "o} hler and J Neumann, Waxmann Verlag, M {\ "u} nster, 2011, pp. 92–101.
LibreCat
2011 | Dissertation | LibreCat-ID: 27635
Erren, Patrick. 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, Holger Gerhard, et al. A Holistic Model for Integrating Usability Engineering and Software Engineering Enriched with Marketing Activities. Springer-Verlag, 2011, pp. 28–37.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27637
Jung, Helge, et al. Authenticated Entries on Multi-Touch Tables. Oldenbourg Wissenschaftsverlag GmbH, M {\ "u} nchen, 2011, pp. 305–08.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27638
Nebe, Karsten, et al. Exploiting New Interaction Techniques for Disaster Control Management Using Multitouch-, Tangible- and Pen-Based-Interaction. Springer Verlag, 2011, pp. 100–09.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27639
Fischer, Holger Gerhard, et al. Der Qualit {\ “A} Tsstandard f {\” U} r Usability Engineering of the German UPA: Current Status of the Work. German UPA, 2011, pp. 72–74.
LibreCat
2011 | Conference Paper | LibreCat-ID: 20958
Holtmann, Jörg, et al. “Automatic Validation and Correction of Formalized, Textual Requirements.” 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, Jan, and Jörg Holtmann. “Eine Durchgängige Entwicklungsmethode von Der Systemarchitektur Bis Zur Softwarearchitektur Mit AUTOSAR.” Tagungsband Des Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung Eingebetteter Systeme VII, fortiss GmbH, 2011, pp. 21–30.
LibreCat
2011 | Conference Paper | LibreCat-ID: 20975
Fockel, Markus, et al. “Interpreting Story Diagrams for the Static Detection of Software Patterns.” Proceedings of the 8th International Fujaba Days, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 17420
Suess, Tim, et al. “Approximative Occlusion Culling Using the Hull Tree.” Proceedings of the Graphics Interface 2011 Conference, May 25-27, St. John’s, Newfoundland, Canada, edited by Stephen Brooks and Pourang Irani, Canadian Human-Computer Communications Society, 2011, pp. 79--86.
LibreCat
2011 | Conference Paper | LibreCat-ID: 17421
Klaas, Alexander, et al. “Simulation Aided, Knowledge Based Routing for AGVs in a Distribution Warehouse.” Proceedings of the 2011 Winter Simulation Conference (WSC), 2011, doi:10.1109/wsc.2011.6147883.
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 17450
Suess, Tim, et al. “Ein Paralleles Out-of-Core Renderingsystem Für Standard-Rechnernetze.” Augmented & Virtual Reality in Der Produktentstehung, vol. 295, Verlagsschriftenreihe des Heinz Nixdorf Instituts, 2011, pp. 185--197.
LibreCat
2011 | Dissertation | LibreCat-ID: 17454
Suess, Tim. Parallel Real-Time Rendering Using Heterogeneous PC Clusters. 2011.
LibreCat
| Files available
2011 | Conference Paper | LibreCat-ID: 1891
W. Richa, Andrea, et al. “Competitive and Fair Medium Access Despite Reactive Jamming.” 2011 International Conference on Distributed Computing Systems, ICDCS 2011, Minneapolis, Minnesota, USA, June 20-24, 2011, IEEE Computer Society, 2011, pp. 507--516, doi:10.1109/ICDCS.2011.8.
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 1892
W. Richa, Andrea, et al. “Towards Jamming-Resistant and Competitive Medium Access in the SINR Model.” 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, doi:10.1145/2030686.2030697.
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 1893
W. Richa, Andrea, et al. “Self-Stabilizing Leader Election for Single-Hop Wireless Networks despite Jamming.” 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, doi:10.1145/2107502.2107522.
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 1895
Kniesburges, Sebastian, et al. “Re-Chord: A Self-Stabilizing Chord Overlay Network.” 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, doi:10.1145/1989493.1989527.
LibreCat
| DOI