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.
7272 Publications
2013 | Conference Paper | LibreCat-ID: 4481
Jenert T, Brahm T. Die Entwicklung studien-und hochschulbezogener Einstellungen an einer Wirtschaftsuniversität: eine qualitative Längsschnittstudie. In: Institut für Psychologie; 2013.
LibreCat
2013 | Book Chapter | LibreCat-ID: 4509
Jenert T, Brahm T. Eine strategische Perspektive auf die Qualitätsentwicklung in Studienumgebungen . In: Spiekermann A, ed. Lehrforschung wird Praxis: Hochschuldidaktische Forschungsergebnisse und ihre Integration in die Praxis. Vol 124. 1st ed. Blickpunkt Hochschuldidaktik. Bielefeld: W. Bertelsmann Verlag ; 2013:69-84.
LibreCat
2013 | Book | LibreCat-ID: 4628
Beran J, Feng Y, Ghosh S, Kulik R. Long-Memory Processes. Berlin, Heidelberg: Springer Berlin Heidelberg; 2013. doi:10.1007/978-3-642-35512-7
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 469
Wonisch D, Schremmer A, Wehrheim H. Zero Overhead Runtime Monitoring. In: Proceedings of the 11th International Conference on Software Engineering and Formal Methods (SEFM). LNCS. ; 2013:244-258. doi:10.1007/978-3-642-40561-7_17
LibreCat
| Files available
| DOI
2013 | Bachelorsthesis | LibreCat-ID: 472
Engelbrecht M. Vergleichsstudie zur Ausdrucksstärke von SMT-Solvern. Universität Paderborn; 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 473
Petrlic R, Sekula S. Unlinkable content playbacks in a multiparty DRM system. In: Wang L, Shafiq B, eds. Data and Applications Security and Privacy XXVII. Lecture Notes in Computer Science. ; 2013:289-296. doi:10.1007/978-3-642-39256-6_21
LibreCat
| Files available
| DOI
2013 | Journal Article | LibreCat-ID: 476
Kolman P, Scheideler C. Towards Duality of Multicommodity Multiroute Cuts and Flows: Multilevel Ball-Growing. Theory of Computing Systems. 2013;(2):341-363. doi:10.1007/s00224-013-9454-3
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 477
Abshoff S, Benter M, Cord-Landwehr A, Malatyali M, Meyer auf der Heide F. Token Dissemination in Geometric Dynamic Networks. In: 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. Lecture Notes in Computer Science. ; 2013:22-34. doi:10.1007/978-3-642-45346-5_3
LibreCat
| Files available
| DOI
2013 | Dissertation | LibreCat-ID: 478
Timm N. Three-Valued Abstraction and Heuristic-Guided Refinement for Verifying Concurrent Systems. Universität Paderborn; 2013.
LibreCat
| Files available
2013 | Bachelorsthesis | LibreCat-ID: 482
Bieshaar M. Statistisches Planen von Aktionen für autonome mobile Roboter in realen Umgebungen. Universität Paderborn; 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 483
Becker M, Becker S, Meyer J. SimuLizar: Design-Time modeling and Performance Analysis of Self-Adaptive Systems. In: Proceedings of the Software Engineering Conference (SE). Lecture Notes in Informatics (LNI). ; 2013:71-84.
LibreCat
| Files available
| Download (ext.)
2013 | Conference Paper | LibreCat-ID: 484
Platenius MC, von Detten M, Gerth C, Schäfer W, Engels G. Service Matching under Consideration of Explicitly Specified Service Variants. In: IEEE 20th International Conference on Web Services (ICWS 2013). ; 2013:613-614. doi:10.1109/ICWS.2013.98
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 485
Mohr F, Kleine Büning H. Semi-Automated Software Composition Through Generated Components. In: Proceedings of the 15th International Conference on Information Integration and Web-Based Applications & Services (IiWAS). ; 2013:676-680. doi:10.1145/2539150.2539235
LibreCat
| Files available
| DOI
2013 | Dissertation | LibreCat-ID: 494
von Detten M. 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 F, Lettmann T, Kleine Büning H. Reducing Nondeterminism in Automated Service Composition. In: Proceedings of the 6th International Conference on Service Oriented Computing and Applications (SOCA). ; 2013:154-161. doi:10.1109/SOCA.2013.25
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 498
Wonisch D, Schremmer A, Wehrheim H. Programs from Proofs – A PCC Alternative. In: Proceedings of the 25th International Conference on Computer Aided Verification (CAV). LNCS. ; 2013:912-927. doi:10.1007/978-3-642-39799-8_65
LibreCat
| Files available
| DOI
2013 | Journal Article | LibreCat-ID: 7271
de Lemos R, Giese H, A. Müller H, et al. Software Engineering for Self-Adaptive Systems: A Second Research Roadmap. Software Engineering for Self-Adaptive Systems II. 2013:1-32. doi:10.1007/978-3-642-35813-5_1
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 7294
Nichele F, Komijani Y, Hennel S, et al. Aharonov–Bohm rings with strong spin–orbit interaction: the role of sample-specific properties. New Journal of Physics. 2013;15(3). doi:10.1088/1367-2630/15/3/033029
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 7331
Klochan O, Micolich AP, Hamilton AR, Trunov K, Reuter D, Wieck AD. Observation of the Kondo effect in a spin-3/2 hole quantum dot. In: COMMAD 2012. IEEE; 2013. doi:10.1109/commad.2012.6472429
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 7332
Moody G, Singh R, Li H, et al. Excitons, Biexcitons, and Trions in an InAs Quantum Dot Ensemble Studied with 2D Fourier-Transform Spectroscopy. In: Conference on Lasers and Electro-Optics 2012. OSA; 2013. doi:10.1364/qels.2012.qm3g.3
LibreCat
| DOI