SPIN as a Linearizability Checker under Weak Memory Models
O. Travkin, A. Mütze, H. Wehrheim, 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, 2013, pp. 311--326.

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.

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\'22arz 2013 in Aachen, 2013, pp. 271--284.

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.

Approaches for an informational separation of powers in learning platforms
R. Keil, F. Winkelnkemper, in: Society for Informatics, 2013, pp. 131–142.

eDo You Speak Usability?c 3 Aktueller Stand des Glossars und des Curriculums f\'22ur den eCertified Professional for Usability and User Experience (CPUX)c der German UPA
H.G. Fischer, T. Geis, R.  Molich, O. Kluge,  R\'22udiger Heimg\'22artner,  Peter  Hunkirchen, K. Polkehn, in: German UPA, 2013, pp. 28–34.

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 \'22 a t Paderborn, Heinz Nixdorf Institute, Contextual Computer Science, 2013.

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.

Computer science and education - A struggle for creative sovereignty in society?
Reinhard Keil, H. Selke, F. Winkelnkemper, FIfF-Kommunikation (2013) 61–65.

Media contexts - context media
R. Keil, in: Verbrecher Verlag, Berlin, 2013, pp. 217–226.

A Taxonomy-Based Approach Towards NUI Interaction Design
F. Klompmaker, V. Paelke, H.G. Fischer, (2013) 32–41.

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.

Das Verteilungsproblem für mechatronische Systeme
M. Hüwe, Das Verteilungsproblem Für Mechatronische Systeme, Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik, 2013.

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.

Combining Scenario-based and Architecture-based Timing Requirements
T. Koch, Combining Scenario-Based and Architecture-Based Timing Requirements, University of Paderborn, 2013.

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.

Spherical visibility sampling : preprocessed visibility for occlusion culling in complex 3D scenes
B. Eikel, Spherical Visibility Samplingf: Preprocessed Visibility for Occlusion Culling in Complex 3D Scenes, Universität Paderborn, 2013.

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.

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.

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.