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, Tobias, Dominik Steenken, and Heike Wehrheim. “Bounded Model Checking of Graph Transformation Systems via {SMT} Solving.” In 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, edited by Dirk Beyer and Michele Boreale, 178--192. Lecture Notes in Computer Science, 2013. https://doi.org/10.1007/978-3-642-38592-6_13.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 3177
Travkin, Oleg, Annika Mütze, and Heike Wehrheim. “{SPIN} as a Linearizability Checker under Weak Memory Models.” In 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, 311--326. Lecture Notes in Computer Science, 2013. https://doi.org/10.1007/978-3-319-03077-7_21.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 3178
Dongol, Brijesh, Oleg Travkin, John Derrick, and Heike Wehrheim. “A High-Level Semantics for Program Execution under Total Store Order Memory.” In Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings, edited by Zhiming Liu, Jim Woodcock, and Huibiao Zhu, 177--194. Lecture Notes in Computer Science, 2013. https://doi.org/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.” In Software Engineering 2013: Fachtagung Des GI-Fachbereichs Softwaretechnik, 26. Februar - 2. M{\"{a}}rz 2013 in Aachen, edited by Stefan Kowalewski and Bernhard Rumpe, 271--284. {LNI}, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 27054
Gausemeier, Jürgen, Michael Grafe, and Friedhelm Meyer auf der Heide. “11. Paderborner Workshop Augmented & Virtual Reality in Der Produktentstehung,” Vol. 311. 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,” 131–42. Society for Informatics, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 27169
Fischer, Holger Gerhard, Thomas Geis, Rolf Molich, Oliver Kluge, R{\"u}diger Heimg{\"a}rtner, Peter Hunkirchen, and Knut Polkehn. “„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. German UPA, 2013.
LibreCat
2013 | Dissertation | LibreCat-ID: 27171
K {\ "u} hnel, Birger. Contextual Tagging in the Coactive Knowledge Organization. Universit {\" a} t Paderborn, Heinz Nixdorf Institute, Contextual Computer Science: Heinz Nixdorf Institute, Universit {\ "a} t Paderborn, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 27172
Fischer, Holger Gerhard, Benjamin Strenge, and Karsten Nebe. “Towards a Holistic Tool for the Selection and Validation of Usability Method Sets Supporting Human-Centered Design.” LNCS 8012. Springer Verlag, 2013.
LibreCat
2013 | Journal Article | LibreCat-ID: 27173
Keil, Reinhard, Harald Selke, and Felix Winkelnkemper. “Computer Science and Education - A Struggle for Creative Sovereignty in Society?” FIfF-Kommunikation, 2013, 61–65.
LibreCat
2013 | Conference Paper | LibreCat-ID: 27174
Keil, Reinhard. “Media Contexts - Context Media,” 217–26. Berlin: Verbrecher Verlag, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 27175
Klompmaker, Florian, Volker Paelke, and Holger Gerhard Fischer. “A Taxonomy-Based Approach Towards NUI Interaction Design.” LNCS 8028. Springer Verlag, 2013.
LibreCat
2013 | Dissertation | LibreCat-ID: 11619
Kaufmann, Paul. Adapting Hardware Systems by Means of Multi-Objective Evolution. Berlin: 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, Hermann Briese, David Steinmann, Lars Stockmann, Steffen Beringer, Dominik Holler, Kay Klobedanz, Christian Heinzemann, Klaus Peter, and Michael Leuer. “Simulationsgestützter Entwurf Für Elektrofahrzeuge.” In 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, Benjamin Eikel, Claudius Jähn, Matthias Fischer, and Friedhelm Meyer auf der Heide. “Darstellung Heterogener 3-D-Szenen in Echtzeit.” In 11. Paderborner Workshop Augmented & Virtual Reality in Der Produktentstehung, 311:49--60. Verlagsschriftenreihe Des Heinz Nixdorf Instituts. Paderborn, 2013.
LibreCat
2013 | Dissertation | LibreCat-ID: 17440
Eikel, Benjamin. Spherical Visibility Sampling : Preprocessed Visibility for Occlusion Culling in Complex 3D Scenes. Universität Paderborn, 2013.
LibreCat
| Files available
2013 | Conference Paper | LibreCat-ID: 17442
Meyer auf der Heide, Friedhelm. “Algorithmische Grundlagen Für Die Selbstorganisation von Roboterschwärmen.” In 11. Paderborner Workshop Augmented & Virtual Reality in Der Produktentstehung, 311:7–16. Verlagsschriftenreihe Des Heinz Nixdorf Instituts, Paderborn. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2013.
LibreCat
2013 | Conference (Editor) | LibreCat-ID: 17443
Gausemeier, Jürgen, Michael Grafe, and Friedhelm Meyer auf der Heide, eds. 11. Paderborner Workshop Augmented & Virtual Reality in Der Produktentstehung. Vol. 311. Verlagsschriftenreihe Des Heinz Nixdorf Instituts, Paderborn. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2013.
LibreCat