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 | Journal Article | LibreCat-ID: 3184
Derrick, J., Schellhorn, G., & Wehrheim, H. (2011). Mechanically verified proof obligations for linearizability. {ACM} Trans. Program. Lang. Syst., (1), 4:1--4:43. https://doi.org/10.1145/1889997.1890001
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 3185
Ruhroth, T., Wehrheim, H., & Ziegert, S. (2011). 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 (pp. 83--90). https://doi.org/10.1109/SEAA.2011.22
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 3186
Derrick, J., Schellhorn, G., & Wehrheim, H. (2011). Verifying Linearisability with Potential Linearisation Points. In M. J. Butler & W. Schulte (Eds.), {FM} 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings (pp. 323--337). https://doi.org/10.1007/978-3-642-21437-0_25
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 3187
Steenken, D., Wehrheim, H., & Wonisch, D. (2011). Sound and Complete Abstract Graph Transformation. 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 (pp. 92--107). https://doi.org/10.1007/978-3-642-25032-3_7
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 3188
Schneider, S., Treharne, H., & Wehrheim, H. (2011). A {CSP} Account of Event-B Refinement. In J. Derrick, E. A. Boiten, & S. Reeves (Eds.), Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011. (pp. 139--154). https://doi.org/10.4204/EPTCS.55.9
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 27622
Nebe, K., Fischer, H. G., Klompmaker, F., & Jung, H. (2011). Multi-touch, tangible and pen-based interaction in incident planning. 263–273.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27623
Keil, R., & Selke, H. (2011). Virtual Learning Spaces for Co-Active Learning. Proc. of Int. Conf. on Improving University Teaching, 191–202.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27624
Paelke, V., Nebe, K., Klompmaker, F., & Jung, H. (2011). Multi-Touch Interaction for Disaster Management.}.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27625
Keil, R. (2011). Hypothesis- guided technology design as the basis of contextual computer science (A. Breiter & M. Wind, Eds.; pp. 165–184). Lit Verlag, M {\" u} nster.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27626
Klompmaker, F., Nebe, Karsten, & Jung, H. (2011). Smart Fiducials: Advanced Tangible Interaction Techniques through Dynamic Visual Paterns.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27627
Klompmaker, F., Nebe, Karsten, Busch, C., & Willemsen, Detlev. (2011). User Centered Design Process of OSAMI-D: Developing User Interfaces for a Remote Ergometer Training Application. Proceedings of the International Conference on Health Informatics.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27628
Laroque, C., & Schulte, J. (2011). KoProV: A Learning Approach for Coordinated Learning of Modeling and Simulation Based on Knowledge Modules. In M. I. Chinni & D. Weed (Eds.), Proceedings of the 2011 Spring Simulation Multiconference.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27629
Schulte, J. (2011). WasabiBeans - Web Application Services and Business Integration. 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 (pp. 348–357).
LibreCat
2011 | Conference Paper | LibreCat-ID: 27630
Rudolph, S., & Niehus, D. (2011). Computer scientists, ergonomists and chemists are shaping the future. E-Portofolios support {\ "u} the flow rate in education and training.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27631
Schulte, J., Keil, R., Klaholt, D., & Sauer, J. (2011). Koi School - Towards the Next Level of Communication, Organization and Integration in Education. 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 (pp. 43–52).
LibreCat
2011 | Conference Paper | LibreCat-ID: 27632
Schulte, J., Keil, R., & Oberhoff, A. (2011). Support {\ "u} support of the co-active research discourse through synergies between e-learning and e-science (Th. K {\ "o} hler & J. Neumann, Eds.). Waxmann Verlag, M { \ "u} nster.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27633
Schulte, J., Keil, R., Rybka, J., & Ferber, F. (2011). Laboratory 2.0 - Towards and Integrated Research Environment for Engineering Mechanics. 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 (pp. 407–412).
LibreCat
2011 | Conference Paper | LibreCat-ID: 27634
Schulte, J., Rybka, J., Ferber, F., & Keil, R. (2011). KoForum - Cooperative research environment for {\ "u} for cross-organizational scientific Laboratory work ( Th. K {\ "o} hler & J. Neumann, Eds.; pp. 92–101). Waxmann Verlag, M {\ "u} nster.
LibreCat
2011 | Dissertation | LibreCat-ID: 27635
Erren, P. (2011). Semantic Positioning - Supporting Knowledge Work through Semantic Spatial Arrangements. Heinz Nixdorf Institut, Universit{\"a}t Paderborn.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27636
Fischer, H. G., Nebe, Karsten, & Klompmaker, Florian. (2011). A Holistic Model for Integrating Usability Engineering and Software Engineering Enriched with Marketing Activities (pp. 28–37). Springer-Verlag.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27637
Jung, H., Nebe, K., Klompmaker, F., & Fischer, H. G. (2011). Authenticated entries on multi-touch tables. 305–308.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27638
Nebe, Karsten, Klompmaker, F., Jung, H., & Fischer, H. G. (2011). Exploiting New Interaction Techniques for Disaster Control Management using Multitouch-, Tangible- and Pen-based-Interaction (pp. 100–109). Springer Verlag.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27639
Fischer, H. G., Bogner, C., Geis, T., Polkehn, K., & Zimmermann, Dirk. (2011). Der Qualit {\ “a} tsstandard f {\” u} r Usability engineering of the German UPA: Current status of the work. 72–74.
LibreCat
2011 | Conference Paper | LibreCat-ID: 20958
Holtmann, J., Meyer, J., & von Detten, M. (2011). Automatic Validation and Correction of Formalized, Textual Requirements. 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops. https://doi.org/10.1109/icstw.2011.17
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 20960
Meyer, J., & Holtmann, J. (2011). Eine durchgängige Entwicklungsmethode von der Systemarchitektur bis zur Softwarearchitektur mit AUTOSAR. Tagungsband Des Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung Eingebetteter Systeme VII, 21–30.
LibreCat
2011 | Conference Paper | LibreCat-ID: 20975
Fockel, M., Travkin, D., & von Detten, M. (2011). Interpreting Story Diagrams for the Static Detection of Software Patterns. Proceedings of the 8th International Fujaba Days.
LibreCat
2011 | Conference Paper | LibreCat-ID: 17420
Suess, T., Koch, C., Jähn, C., & Fischer, M. (2011). Approximative occlusion culling using the hull tree. In S. Brooks & P. Irani (Eds.), Proceedings of the Graphics Interface 2011 Conference, May 25-27, St. John’s, Newfoundland, Canada (pp. 79--86). Canadian Human-Computer Communications Society.
LibreCat
2011 | Conference Paper | LibreCat-ID: 17421
Klaas, A., Laroque, C., Dangelmaier, W., & Fischer, M. (2011). Simulation aided, knowledge based routing for AGVs in a distribution warehouse. In Proceedings of the 2011 Winter Simulation Conference (WSC). https://doi.org/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. (2011). Ein paralleles Out-of-Core Renderingsystem für Standard-Rechnernetze. Augmented & Virtual Reality in Der Produktentstehung, 295, 185--197.
LibreCat
2011 | Dissertation | LibreCat-ID: 17454
Suess, T. (2011). Parallel Real-Time Rendering using Heterogeneous PC Clusters.
LibreCat
| Files available
2011 | Conference Paper | LibreCat-ID: 1891
W. Richa, A., Scheideler, C., Schmid, S., & Zhang, J. (2011). 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 (pp. 507--516). IEEE Computer Society. https://doi.org/10.1109/ICDCS.2011.8
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 1892
W. Richa, A., Scheideler, C., Schmid, S., & Zhang, J. (2011). 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 (pp. 33--36). ACM. https://doi.org/10.1145/2030686.2030697
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 1893
W. Richa, A., Scheideler, C., Schmid, S., & Zhang, J. (2011). 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 (p. 15). ACM. https://doi.org/10.1145/2107502.2107522
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 1895
Kniesburges, S., Koutsopoulos, A., & Scheideler, C. (2011). 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) (pp. 235--244). https://doi.org/10.1145/1989493.1989527
LibreCat
| DOI
2011 | Dissertation | LibreCat-ID: 18973
Frahling, G. (2011). Algorithms for Dynamic Geometric Data Streams (Vol. 290). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.
LibreCat
| Files available
2011 | Dissertation | LibreCat-ID: 18974
Mehler, J. (2011). Power-Aware Online File Allocation in Dynamic Networks (Vol. 287). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.
LibreCat
| Files available
2011 | Dissertation | LibreCat-ID: 18976
Gehweiler, J. (2011). Peer-to-Peer Based Parallel Web Computing (Vol. 298). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.
LibreCat
| Files available
2011 | Conference Paper | LibreCat-ID: 1899
Kniesburges, S., & Scheideler, C. (2011). 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, pp. 170--181). Springer. https://doi.org/10.1007/978-3-642-19094-0_18
LibreCat
| DOI
2011 | Book Chapter | LibreCat-ID: 1900
Scheideler, C., & Graffi, K. (2011). Programming for Distributed Computing: From Physical to Logical Networks. In Computer Science, The Hardware, Software and Heart of It (pp. 155--168). Springer. https://doi.org/10.1007/978-1-4614-1168-0_9
LibreCat
| DOI
2011 | Book Chapter | LibreCat-ID: 1901
Scheideler, C. (2011). Broadcasting - How Can I Quickly Disseminate Information? In Algorithms Unplugged (pp. 223--229). Springer. https://doi.org/10.1007/978-3-642-15328-0_22
LibreCat
| DOI
2011 | Book | LibreCat-ID: 1902
Vöcking, B., Alt, H., Dietzfelbinger, M., Reischuk, R., Scheideler, C., Vollmer, H., & Wagner, D. (2011). Algorithms Unplugged. https://doi.org/10.1007/978-3-642-15328-0
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 19026
Briest, P., & Raupach, C. (2011). The car sharing problem. In Proceedings of the 23rd ACM symposium on Parallelism in algorithms and architectures - SPAA ’11. https://doi.org/10.1145/1989493.1989518
LibreCat
| DOI
2011 | Dissertation | LibreCat-ID: 19040
Effert, S. (2011). Verfahren zur redundanten Datenplatzierung in skalierbaren Speichersystemen. Universität Paderborn.
LibreCat
| Files available
2011 | Conference Paper | LibreCat-ID: 1924
Kolman, P., & Scheideler, C. (2011). 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 (pp. 129--140). https://doi.org/10.4230/LIPIcs.STACS.2011.129
LibreCat
| DOI
2011 | Journal Article | LibreCat-ID: 23739
Briest, P., Krysta, P., & Vöcking, B. (2011). Approximation Techniques for Utilitarian Mechanism Design. SIAM Journal on Computing, 1587–1622. https://doi.org/10.1137/090772988
LibreCat
| DOI
2011 | Journal Article | LibreCat-ID: 23740
Briest, P., & Krysta, P. (2011). Buying Cheap Is Expensive: Approximability of Combinatorial Pricing Problems. SIAM Journal on Computing, 1554–1586. https://doi.org/10.1137/090752353
LibreCat
| DOI
2011 | Book Chapter | LibreCat-ID: 20709
Cord-Landwehr, A., Degener, B., Fischer, M., Hüllmann, M., Kempkes, B., Klaas, A., … Wonisch, D. (2011). Collisionless Gathering of Robots with an Extent. In SOFSEM 2011: Theory and Practice of Computer Science. Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-18381-2_15
LibreCat
| DOI
2011 | Book Chapter | LibreCat-ID: 20710
Cord-Landwehr, A., Degener, B., Fischer, M., Hüllmann, M., Kempkes, B., Klaas, A., … Wonisch, D. (2011). A New Approach for Analyzing Convergence Algorithms for Mobile Robots. In Automata, Languages and Programming. Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-22012-8_52
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 20915
Meyer, J., Holtmann, J., & Meyer, M. (2011). Formalisierung von Anforderungen und Betriebssystemeigenschaften zur fruehzeitigen Simulation von eingebetteten, automobilen Systemen. 8. Paderborner Workshop Entwurf Mechatronischer Systeme, 294, 203–215.
LibreCat
2011 | Conference Paper | LibreCat-ID: 20916
Holtmann, J., Meyer, J., & Meyer, M. (2011). A Seamless Model-Based Development Process for Automotive Systems. Software Engineering 2011 – Workshopband (Inkl. Doktorandensymposium), P-184, 79–88.
LibreCat