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.
5710 Publications
2013 | Conference Paper | LibreCat-ID: 3177
Travkin, Oleg, et al. “{SPIN} as a Linearizability Checker under Weak Memory Models.” Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, {HVC} 2013, Haifa, Israel, November 5-7, 2013, Proceedings, edited by Valeria Bertacco and Axel Legay, 2013, pp. 311--326, doi:10.1007/978-3-319-03077-7_21.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 3178
Dongol, Brijesh, et al. “A High-Level Semantics for Program Execution under Total Store Order Memory.” Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings, edited by Zhiming Liu et al., 2013, pp. 177--194, doi:10.1007/978-3-642-39718-9_11.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 3179
Ziegert, Steffen, and Heike Wehrheim. “Temporal Reconfiguration Plans for Self-Adaptive Systems.” Software Engineering 2013: Fachtagung Des GI-Fachbereichs Softwaretechnik, 26. Februar - 2. M{\"{a}}rz 2013 in Aachen, edited by Stefan Kowalewski and Bernhard Rumpe, 2013, pp. 271--284.
LibreCat
2013 | Conference Paper | LibreCat-ID: 27054
Gausemeier, Jürgen, et al. 11. Paderborner Workshop Augmented & Virtual Reality in Der Produktentstehung. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 311 , 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 27168
Keil, Reinhard, and Felix Winkelnkemper. Approaches for an Informational Separation of Powers in Learning Platforms. Society for Informatics, 2013, pp. 131–42.
LibreCat
2013 | Conference Paper | LibreCat-ID: 27169
Fischer, Holger Gerhard, et al. „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. German UPA, 2013, pp. 28–34.
LibreCat
2013 | Dissertation | LibreCat-ID: 27171
K {\ "u} hnel, Birger. Contextual Tagging in the Coactive Knowledge Organization. Heinz Nixdorf Institute, Universit {\ "a} t Paderborn, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 27172
Fischer, Holger Gerhard, et al. Towards a Holistic Tool for the Selection and Validation of Usability Method Sets Supporting Human-Centered Design. Springer Verlag, 2013, pp. 252–61.
LibreCat
2013 | Journal Article | LibreCat-ID: 27173
Keil, Reinhard, et al. “Computer Science and Education - A Struggle for Creative Sovereignty in Society?” FIfF-Kommunikation, 2013, pp. 61–65.
LibreCat
2013 | Conference Paper | LibreCat-ID: 27174
Keil, Reinhard. Media Contexts - Context Media. Verbrecher Verlag, 2013, pp. 217–26.
LibreCat
2013 | Conference Paper | LibreCat-ID: 27175
Klompmaker, Florian, et al. A Taxonomy-Based Approach Towards NUI Interaction Design. Springer Verlag, 2013, pp. 32–41.
LibreCat
2013 | Dissertation | LibreCat-ID: 11619
Kaufmann, Paul. Adapting Hardware Systems by Means of Multi-Objective Evolution. Logos Verlag Berlin GmbH, 2013.
LibreCat
2013 | Bachelorsthesis | LibreCat-ID: 20978
Hüwe, Marcus. Das Verteilungsproblem Für Mechatronische Systeme. Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 20980
Farshizadeh, Emad, et al. “Simulationsgestützter Entwurf Für Elektrofahrzeuge.” 8. Dortmunder Autotag, 2013.
LibreCat
2013 | Mastersthesis | LibreCat-ID: 20985
Koch, Thorsten. Combining Scenario-Based and Architecture-Based Timing Requirements. University of Paderborn, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 17439
Petring, Ralf, et al. “Darstellung Heterogener 3-D-Szenen in Echtzeit.” 11. Paderborner Workshop Augmented & Virtual Reality in Der Produktentstehung, vol. 311, 2013, pp. 49--60.
LibreCat
2013 | Dissertation | LibreCat-ID: 17440
Eikel, Benjamin. Spherical Visibility Sampling : Preprocessed Visibility for Occlusion Culling in Complex 3D Scenes. 2013.
LibreCat
| Files available
2013 | Conference Paper | LibreCat-ID: 17442
Meyer auf der Heide, Friedhelm. “Algorithmische Grundlagen Für Die Selbstorganisation von Roboterschwärmen.” 11. Paderborner Workshop Augmented & Virtual Reality in Der Produktentstehung, vol. 311, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2013, pp. 7–16.
LibreCat
2013 | Conference (Editor) | LibreCat-ID: 17443
Gausemeier, Jürgen, et al., editors. 11. Paderborner Workshop Augmented & Virtual Reality in Der Produktentstehung. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2013.
LibreCat
2013 | Journal Article | LibreCat-ID: 17663
Cohen, R., et al. “On the Admission of Dependent Flows in Powerful Sensor Networks.” Networking, IEEE/ACM Transactions On, vol. 21, no. 5, 2013, pp. 1461–71, doi:10.1109/TNET.2012.2227792.
LibreCat
| DOI