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.
6951 Publications
2013 | Book Chapter | LibreCat-ID: 6279
Fischer, Holger Gerhard, et al. “Towards a Holistic Tool for the Selection and Validation of Usability Method Sets Supporting Human-Centered Design.” Design, User Experience, and Usability. Design Philosophy, Methods, and Tools, vol. 8012, Springer Berlin Heidelberg, 2013, pp. 252–61, doi:10.1007/978-3-642-39229-0_28.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 4481
Jenert, Tobias, and Taiga Brahm. Die Entwicklung Studien-Und Hochschulbezogener Einstellungen an Einer Wirtschaftsuniversität: Eine Qualitative Längsschnittstudie. Institut für Psychologie, 2013.
LibreCat
2013 | Book Chapter | LibreCat-ID: 4509
Jenert, Tobias, and Taiga Brahm . “Eine strategische Perspektive auf die Qualitätsentwicklung in Studienumgebungen .” Lehrforschung wird Praxis: Hochschuldidaktische Forschungsergebnisse und ihre Integration in die Praxis, edited by Annette Spiekermann, 1st ed., vol. 124, W. Bertelsmann Verlag , 2013, pp. 69–84.
LibreCat
2013 | Book | LibreCat-ID: 4628
Beran, Jan, et al. Long-Memory Processes. Springer Berlin Heidelberg, 2013, doi:10.1007/978-3-642-35512-7.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 469
Wonisch, Daniel, et al. “Zero Overhead Runtime Monitoring.” Proceedings of the 11th International Conference on Software Engineering and Formal Methods (SEFM), 2013, pp. 244–58, doi:10.1007/978-3-642-40561-7_17.
LibreCat
| Files available
| DOI
2013 | Bachelorsthesis | LibreCat-ID: 472
Engelbrecht, Marco. Vergleichsstudie zur Ausdrucksstärke von SMT-Solvern. Universität Paderborn, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 473
Petrlic, Ronald, and Stephan Sekula. “Unlinkable Content Playbacks in a Multiparty DRM System.” Data and Applications Security and Privacy XXVII, edited by Lingyu Wang and Basit Shafiq, 2013, pp. 289–96, doi:10.1007/978-3-642-39256-6_21.
LibreCat
| Files available
| DOI
2013 | Journal Article | LibreCat-ID: 476
Kolman, Petr, and Christian Scheideler. “Towards Duality of Multicommodity Multiroute Cuts and Flows: Multilevel Ball-Growing.” Theory of Computing Systems, no. 2, Springer, 2013, pp. 341–63, doi:10.1007/s00224-013-9454-3.
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 477
Abshoff, Sebastian, et al. “Token Dissemination in Geometric Dynamic Networks.” Algorithms for Sensor Systems - 9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, {ALGOSENSORS} 2013, Sophia Antipolis, France, September 5-6, 2013, Revised Selected Papers, 2013, pp. 22–34, doi:10.1007/978-3-642-45346-5_3.
LibreCat
| Files available
| DOI
2013 | Dissertation | LibreCat-ID: 478
Timm, Nils. Three-Valued Abstraction and Heuristic-Guided Refinement for Verifying Concurrent Systems. Universität Paderborn, 2013.
LibreCat
| Files available
2013 | Bachelorsthesis | LibreCat-ID: 482
Bieshaar, Maarten. Statistisches Planen von Aktionen für autonome mobile Roboter in realen Umgebungen. Universität Paderborn, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 483
Becker, Matthias, et al. “SimuLizar: Design-Time Modeling and Performance Analysis of Self-Adaptive Systems.” Proceedings of the Software Engineering Conference (SE), 2013, pp. 71–84.
LibreCat
| Files available
| Download (ext.)
2013 | Conference Paper | LibreCat-ID: 484
Platenius, Marie Christin, et al. “Service Matching under Consideration of Explicitly Specified Service Variants.” IEEE 20th International Conference on Web Services (ICWS 2013), 2013, pp. 613–14, doi:10.1109/ICWS.2013.98.
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 485
Mohr, Felix, and Hans Kleine Büning. “Semi-Automated Software Composition Through Generated Components.” Proceedings of the 15th International Conference on Information Integration and Web-Based Applications & Services (IiWAS), 2013, pp. 676–80, doi:10.1145/2539150.2539235.
LibreCat
| Files available
| DOI
2013 | Dissertation | LibreCat-ID: 494
von Detten, Markus. Reengineering of Component-Based Software Systems in the Presence of Design Deficiencies. Universität Paderborn, 2013.
LibreCat
| Files available
2013 | Conference Paper | LibreCat-ID: 495
Mohr, Felix, et al. “Reducing Nondeterminism in Automated Service Composition.” Proceedings of the 6th International Conference on Service Oriented Computing and Applications (SOCA), 2013, pp. 154–61, doi:10.1109/SOCA.2013.25.
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 498
Wonisch, Daniel, et al. “Programs from Proofs – A PCC Alternative.” Proceedings of the 25th International Conference on Computer Aided Verification (CAV), 2013, pp. 912–27, doi:10.1007/978-3-642-39799-8_65.
LibreCat
| Files available
| DOI
2013 | Journal Article | LibreCat-ID: 7271
de Lemos, Rogrio, et al. “Software Engineering for Self-Adaptive Systems: A Second Research Roadmap.” Software Engineering for Self-Adaptive Systems II, 2013, pp. 1–32, doi:10.1007/978-3-642-35813-5_1.
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 7294
Nichele, F., et al. “Aharonov–Bohm Rings with Strong Spin–Orbit Interaction: The Role of Sample-Specific Properties.” New Journal of Physics, vol. 15, no. 3, 033029, IOP Publishing, 2013, doi:10.1088/1367-2630/15/3/033029.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 7331
Klochan, O., et al. “Observation of the Kondo Effect in a Spin-3/2 Hole Quantum Dot.” COMMAD 2012, IEEE, 2013, doi:10.1109/commad.2012.6472429.
LibreCat
| DOI