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
2013 | Conference Paper | LibreCat-ID: 3176
Isenberg, T., Steenken, D., & Wehrheim, H. (2013). Bounded Model Checking of Graph Transformation Systems via {SMT} Solving. In D. Beyer & M. Boreale (Eds.), Formal Techniques for Distributed Systems - Joint {IFIP} {WG} 6.1 International Conference, {FMOODS/FORTE} 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings (pp. 178--192). https://doi.org/10.1007/978-3-642-38592-6_13
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 3177
Travkin, O., Mütze, A., & Wehrheim, H. (2013). {SPIN} as a Linearizability Checker under Weak Memory Models. In V. Bertacco & A. Legay (Eds.), Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, {HVC} 2013, Haifa, Israel, November 5-7, 2013, Proceedings (pp. 311--326). https://doi.org/10.1007/978-3-319-03077-7_21
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 3178
Dongol, B., Travkin, O., Derrick, J., & Wehrheim, H. (2013). A High-Level Semantics for Program Execution under Total Store Order Memory. In Z. Liu, J. Woodcock, & H. Zhu (Eds.), Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings (pp. 177--194). https://doi.org/10.1007/978-3-642-39718-9_11
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 3179
Ziegert, S., & Wehrheim, H. (2013). Temporal Reconfiguration Plans for Self-Adaptive Systems. In S. Kowalewski & B. Rumpe (Eds.), Software Engineering 2013: Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar - 2. M{\"{a}}rz 2013 in Aachen (pp. 271--284).
LibreCat
2013 | Conference Paper | LibreCat-ID: 27054
Gausemeier, J., Grafe, M., & Meyer auf der Heide, F. (2013). 11. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung. 311.
LibreCat
2013 | Conference Paper | LibreCat-ID: 27168
Keil, R., & Winkelnkemper, F. (2013). Approaches for an informational separation of powers in learning platforms. 131–142.
LibreCat
2013 | Conference Paper | LibreCat-ID: 27169
Fischer, H. G., Geis, T., Molich, R., Kluge, O., Heimg{\"a}rtner, R{\"u}diger, Hunkirchen, Peter , & Polkehn, K. (2013). „Do You Speak Usability?“ – Aktueller Stand des Glossars und des Curriculums f{\"u}r den „Certified Professional for Usability and User Experience (CPUX)“ der German UPA. 28–34.
LibreCat
2013 | Dissertation | LibreCat-ID: 27171
K {\ "u} hnel, B. (2013). Contextual tagging in the coactive knowledge organization. Heinz Nixdorf Institute, Universit {\ "a} t Paderborn.
LibreCat
2013 | Conference Paper | LibreCat-ID: 27172
Fischer, H. G., Strenge, B., & Nebe, Karsten. (2013). Towards a Holistic Tool for the Selection and Validation of Usability Method Sets Supporting Human-Centered Design (pp. 252–261). Springer Verlag.
LibreCat
2013 | Journal Article | LibreCat-ID: 27173
Keil, Reinhard, Selke, H., & Winkelnkemper, F. (2013). Computer science and education - A struggle for creative sovereignty in society? FIfF-Kommunikation, 61–65.
LibreCat
2013 | Conference Paper | LibreCat-ID: 27174
Keil, R. (2013). Media contexts - context media. 217–226.
LibreCat
2013 | Conference Paper | LibreCat-ID: 27175
Klompmaker, F., Paelke, V., & Fischer, H. G. (2013). A Taxonomy-Based Approach Towards NUI Interaction Design (pp. 32–41). Springer Verlag.
LibreCat
2013 | Dissertation | LibreCat-ID: 11619
Kaufmann, P. (2013). Adapting Hardware Systems by Means of Multi-Objective Evolution. Berlin: Logos Verlag Berlin GmbH.
LibreCat
2013 | Bachelorsthesis | LibreCat-ID: 20978
Hüwe, M. (2013). Das Verteilungsproblem für mechatronische Systeme. Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik.
LibreCat
2013 | Conference Paper | LibreCat-ID: 20980
Farshizadeh, E., Briese, H., Steinmann, D., Stockmann, L., Beringer, S., Holler, D., Klobedanz, K., Heinzemann, C., Peter, K., & Leuer, M. (2013). Simulationsgestützter Entwurf für Elektrofahrzeuge. 8. Dortmunder Autotag.
LibreCat
2013 | Mastersthesis | LibreCat-ID: 20985
Koch, T. (2013). Combining Scenario-based and Architecture-based Timing Requirements. University of Paderborn.
LibreCat
2013 | Conference Paper | LibreCat-ID: 17439
Petring, R., Eikel, B., Jähn, C., Fischer, M., & Meyer auf der Heide, F. (2013). Darstellung heterogener 3-D-Szenen in Echtzeit. In 11. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung (Vol. 311, pp. 49--60). Paderborn.
LibreCat
2013 | Dissertation | LibreCat-ID: 17440
Eikel, B. (2013). Spherical visibility sampling : preprocessed visibility for occlusion culling in complex 3D scenes. Universität Paderborn.
LibreCat
| Files available
2013 | Conference Paper | LibreCat-ID: 17442
Meyer auf der Heide, F. (2013). Algorithmische Grundlagen für die Selbstorganisation von Roboterschwärmen. 11. Paderborner Workshop Augmented & Virtual Reality in Der Produktentstehung, 311, 7–16.
LibreCat
2013 | Conference (Editor) | LibreCat-ID: 17443
Gausemeier, J., Grafe, M., & Meyer auf der Heide, F. (Eds.). (2013). 11. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung (Vol. 311). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.
LibreCat