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.
9842 Publications
2013 | Conference Paper | LibreCat-ID: 3178
A High-Level Semantics for Program Execution under Total Store Order Memory
B. Dongol, O. Travkin, J. Derrick, H. Wehrheim, in: Z. Liu, J. Woodcock, H. Zhu (Eds.), Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings, 2013, pp. 177--194.
LibreCat
| DOI
B. Dongol, O. Travkin, J. Derrick, H. Wehrheim, in: Z. Liu, J. Woodcock, H. Zhu (Eds.), Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings, 2013, pp. 177--194.
2013 | Conference Paper | LibreCat-ID: 3179
Temporal Reconfiguration Plans for Self-Adaptive Systems
S. Ziegert, H. Wehrheim, in: S. Kowalewski, B. Rumpe (Eds.), Software Engineering 2013: Fachtagung Des GI-Fachbereichs Softwaretechnik, 26. Februar - 2. M{\"{a}}rz 2013 in Aachen, 2013, pp. 271--284.
LibreCat
S. Ziegert, H. Wehrheim, in: S. Kowalewski, B. Rumpe (Eds.), Software Engineering 2013: Fachtagung Des GI-Fachbereichs Softwaretechnik, 26. Februar - 2. M{\"{a}}rz 2013 in Aachen, 2013, pp. 271--284.
2013 | Conference Paper | LibreCat-ID: 27054
11. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung
J. Gausemeier, M. Grafe, F. Meyer auf der Heide, in: Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 311 , 2013.
LibreCat
J. Gausemeier, M. Grafe, F. Meyer auf der Heide, in: Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 311 , 2013.
2013 | Conference Paper | LibreCat-ID: 27168
Approaches for an informational separation of powers in learning platforms
R. Keil, F. Winkelnkemper, in: Society for Informatics, 2013, pp. 131–142.
LibreCat
R. Keil, F. Winkelnkemper, in: Society for Informatics, 2013, pp. 131–142.
2013 | Conference Paper | LibreCat-ID: 27169
„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
H.G. Fischer, T. Geis, R. Molich, O. Kluge, R{\"u}diger Heimg{\"a}rtner, Peter Hunkirchen, K. Polkehn, in: German UPA, 2013, pp. 28–34.
LibreCat
H.G. Fischer, T. Geis, R. Molich, O. Kluge, R{\"u}diger Heimg{\"a}rtner, Peter Hunkirchen, K. Polkehn, in: German UPA, 2013, pp. 28–34.
2013 | Dissertation | LibreCat-ID: 27171
Contextual tagging in the coactive knowledge organization
B. K {\ "u} hnel, Contextual Tagging in the Coactive Knowledge Organization, Heinz Nixdorf Institute, Universit {\ "a} t Paderborn, Universit {\" a} t Paderborn, Heinz Nixdorf Institute, Contextual Computer Science, 2013.
LibreCat
B. K {\ "u} hnel, Contextual Tagging in the Coactive Knowledge Organization, Heinz Nixdorf Institute, Universit {\ "a} t Paderborn, Universit {\" a} t Paderborn, Heinz Nixdorf Institute, Contextual Computer Science, 2013.
2013 | Conference Paper | LibreCat-ID: 27172
Towards a Holistic Tool for the Selection and Validation of Usability Method Sets Supporting Human-Centered Design
H.G. Fischer, B. Strenge, Karsten Nebe, (2013) 252–261.
LibreCat
H.G. Fischer, B. Strenge, Karsten Nebe, (2013) 252–261.
2013 | Journal Article | LibreCat-ID: 27173
Computer science and education - A struggle for creative sovereignty in society?
Reinhard Keil, H. Selke, F. Winkelnkemper, FIfF-Kommunikation (2013) 61–65.
LibreCat
Reinhard Keil, H. Selke, F. Winkelnkemper, FIfF-Kommunikation (2013) 61–65.
2013 | Conference Paper | LibreCat-ID: 27174
Media contexts - context media
R. Keil, in: Verbrecher Verlag, Berlin, 2013, pp. 217–226.
LibreCat
R. Keil, in: Verbrecher Verlag, Berlin, 2013, pp. 217–226.
2013 | Conference Paper | LibreCat-ID: 27175
A Taxonomy-Based Approach Towards NUI Interaction Design
F. Klompmaker, V. Paelke, H.G. Fischer, (2013) 32–41.
LibreCat
F. Klompmaker, V. Paelke, H.G. Fischer, (2013) 32–41.
2013 | Dissertation | LibreCat-ID: 11619
Adapting Hardware Systems by Means of Multi-Objective Evolution
P. Kaufmann, Adapting Hardware Systems by Means of Multi-Objective Evolution, Logos Verlag Berlin GmbH, Berlin, 2013.
LibreCat
P. Kaufmann, Adapting Hardware Systems by Means of Multi-Objective Evolution, Logos Verlag Berlin GmbH, Berlin, 2013.
2013 | Bachelorsthesis | LibreCat-ID: 20978
Das Verteilungsproblem für mechatronische Systeme
M. Hüwe, Das Verteilungsproblem Für Mechatronische Systeme, Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik, 2013.
LibreCat
M. Hüwe, Das Verteilungsproblem Für Mechatronische Systeme, Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik, 2013.
2013 | Conference Paper | LibreCat-ID: 20980
Simulationsgestützter Entwurf für Elektrofahrzeuge
E. Farshizadeh, H. Briese, D. Steinmann, L. Stockmann, S. Beringer, D. Holler, K. Klobedanz, C. Heinzemann, K. Peter, M. Leuer, in: 8. Dortmunder Autotag, 2013.
LibreCat
E. Farshizadeh, H. Briese, D. Steinmann, L. Stockmann, S. Beringer, D. Holler, K. Klobedanz, C. Heinzemann, K. Peter, M. Leuer, in: 8. Dortmunder Autotag, 2013.
2013 | Mastersthesis | LibreCat-ID: 20985
Combining Scenario-based and Architecture-based Timing Requirements
T. Koch, Combining Scenario-Based and Architecture-Based Timing Requirements, University of Paderborn, 2013.
LibreCat
T. Koch, Combining Scenario-Based and Architecture-Based Timing Requirements, University of Paderborn, 2013.
2013 | Conference Paper | LibreCat-ID: 17439
Darstellung heterogener 3-D-Szenen in Echtzeit
R. Petring, B. Eikel, C. Jähn, M. Fischer, F. Meyer auf der Heide, in: 11. Paderborner Workshop Augmented & Virtual Reality in Der Produktentstehung, Paderborn, 2013, pp. 49--60.
LibreCat
R. Petring, B. Eikel, C. Jähn, M. Fischer, F. Meyer auf der Heide, in: 11. Paderborner Workshop Augmented & Virtual Reality in Der Produktentstehung, Paderborn, 2013, pp. 49--60.
2013 | Dissertation | LibreCat-ID: 17440
Spherical visibility sampling : preprocessed visibility for occlusion culling in complex 3D scenes
B. Eikel, Spherical Visibility Sampling : Preprocessed Visibility for Occlusion Culling in Complex 3D Scenes, Universität Paderborn, 2013.
LibreCat
| Files available
B. Eikel, Spherical Visibility Sampling : Preprocessed Visibility for Occlusion Culling in Complex 3D Scenes, Universität Paderborn, 2013.
2013 | Conference Paper | LibreCat-ID: 17442
Algorithmische Grundlagen für die Selbstorganisation von Roboterschwärmen
F. Meyer auf der Heide, in: 11. Paderborner Workshop Augmented & Virtual Reality in Der Produktentstehung, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2013, pp. 7–16.
LibreCat
F. Meyer auf der Heide, in: 11. Paderborner Workshop Augmented & Virtual Reality in Der Produktentstehung, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2013, pp. 7–16.
2013 | Conference (Editor) | LibreCat-ID: 17443
11. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung
J. Gausemeier, M. Grafe, F. Meyer auf der Heide, eds., 11. Paderborner Workshop Augmented & Virtual Reality in Der Produktentstehung, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2013.
LibreCat
J. Gausemeier, M. Grafe, F. Meyer auf der Heide, eds., 11. Paderborner Workshop Augmented & Virtual Reality in Der Produktentstehung, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2013.
2013 | Journal Article | LibreCat-ID: 17663
On the Admission of Dependent Flows in Powerful Sensor Networks
R. Cohen, I. Nudelman, G. Polevoy, Networking, IEEE/ACM Transactions On 21 (2013) 1461–1471.
LibreCat
| DOI
R. Cohen, I. Nudelman, G. Polevoy, Networking, IEEE/ACM Transactions On 21 (2013) 1461–1471.
2013 | Journal Article | LibreCat-ID: 1783
Light scattering by randomly irregular dielectric particles larger than the wavelength
Y. Grynko, Y. Shkuratov, J. Förstner, Optical Letters 38 (2013) 5153–5156.
LibreCat
| DOI
Y. Grynko, Y. Shkuratov, J. Förstner, Optical Letters 38 (2013) 5153–5156.