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.
7291 Publications
2013 | Book Chapter | LibreCat-ID: 21910
Students’ general English proficiency prior to CLIL: Empirical evidence for substantial differences between prospective CLIL and non-CLIL students in Germany
D. Rumlich, in: S. Breidbach, B. Viebrock (Eds.), Content and Language Integrated Learning (CLIL) in Europe, Lang, Frankfurt am Main, Germany, 2013, pp. 181–201.
LibreCat
D. Rumlich, in: S. Breidbach, B. Viebrock (Eds.), Content and Language Integrated Learning (CLIL) in Europe, Lang, Frankfurt am Main, Germany, 2013, pp. 181–201.
2013 | Conference Paper | LibreCat-ID: 774
The playground of Wireless Dense networks of the future
C. Cicconetti, A. Morelli, M. Dräxler, H. Karl, V. Mancuso, V. Sciancalepore, R. Gupta, A. de la Oliva, M. Isabel Sanchez, P. Serrano, L. Roullet, in: 2013 Future Network & Mobile Summit, Lisboa, Portugal, July 3-5, 2013, 2013, pp. 1--4.
LibreCat
C. Cicconetti, A. Morelli, M. Dräxler, H. Karl, V. Mancuso, V. Sciancalepore, R. Gupta, A. de la Oliva, M. Isabel Sanchez, P. Serrano, L. Roullet, in: 2013 Future Network & Mobile Summit, Lisboa, Portugal, July 3-5, 2013, 2013, pp. 1--4.
2013 | Book Chapter | LibreCat-ID: 6276
A Taxonomy-Based Approach towards NUI Interaction Design
F. Klompmaker, V. Paelke, H.G. Fischer, in: Distributed, Ambient, and Pervasive Interactions, Springer Berlin Heidelberg, Berlin, Heidelberg, 2013, pp. 32–41.
LibreCat
| DOI
F. Klompmaker, V. Paelke, H.G. Fischer, in: Distributed, Ambient, and Pervasive Interactions, Springer Berlin Heidelberg, Berlin, Heidelberg, 2013, pp. 32–41.
2013 | Book Chapter | LibreCat-ID: 6279
Towards a Holistic Tool for the Selection and Validation of Usability Method Sets Supporting Human-Centered Design
H.G. Fischer, B. Strenge, K. Nebe, in: Design, User Experience, and Usability. Design Philosophy, Methods, and Tools, Springer Berlin Heidelberg, Berlin, Heidelberg, 2013, pp. 252–261.
LibreCat
| DOI
H.G. Fischer, B. Strenge, K. Nebe, in: Design, User Experience, and Usability. Design Philosophy, Methods, and Tools, Springer Berlin Heidelberg, Berlin, Heidelberg, 2013, pp. 252–261.
2013 | Conference Paper | LibreCat-ID: 4481
Die Entwicklung studien-und hochschulbezogener Einstellungen an einer Wirtschaftsuniversität: eine qualitative Längsschnittstudie
T. Jenert, T. Brahm, in: Institut für Psychologie, 2013.
LibreCat
T. Jenert, T. Brahm, in: Institut für Psychologie, 2013.
2013 | Book Chapter | LibreCat-ID: 4509
Eine strategische Perspektive auf die Qualitätsentwicklung in Studienumgebungen
T. Jenert, T. Brahm , in: A. Spiekermann (Ed.), Lehrforschung wird Praxis: Hochschuldidaktische Forschungsergebnisse und ihre Integration in die Praxis, 1st ed., W. Bertelsmann Verlag , Bielefeld, 2013, pp. 69–84.
LibreCat
T. Jenert, T. Brahm , in: A. Spiekermann (Ed.), Lehrforschung wird Praxis: Hochschuldidaktische Forschungsergebnisse und ihre Integration in die Praxis, 1st ed., W. Bertelsmann Verlag , Bielefeld, 2013, pp. 69–84.
2013 | Book | LibreCat-ID: 4628
Long-Memory Processes
J. Beran, Y. Feng, S. Ghosh, R. Kulik, Long-Memory Processes, Springer Berlin Heidelberg, Berlin, Heidelberg, 2013.
LibreCat
| DOI
J. Beran, Y. Feng, S. Ghosh, R. Kulik, Long-Memory Processes, Springer Berlin Heidelberg, Berlin, Heidelberg, 2013.
2013 | Conference Paper | LibreCat-ID: 469
Zero Overhead Runtime Monitoring
D. Wonisch, A. Schremmer, H. Wehrheim, in: Proceedings of the 11th International Conference on Software Engineering and Formal Methods (SEFM), 2013, pp. 244–258.
LibreCat
| Files available
| DOI
D. Wonisch, A. Schremmer, H. Wehrheim, in: Proceedings of the 11th International Conference on Software Engineering and Formal Methods (SEFM), 2013, pp. 244–258.
2013 | Bachelorsthesis | LibreCat-ID: 472
Vergleichsstudie zur Ausdrucksstärke von SMT-Solvern
M. Engelbrecht, Vergleichsstudie zur Ausdrucksstärke von SMT-Solvern, Universität Paderborn, 2013.
LibreCat
M. Engelbrecht, Vergleichsstudie zur Ausdrucksstärke von SMT-Solvern, Universität Paderborn, 2013.
2013 | Conference Paper | LibreCat-ID: 473
Unlinkable content playbacks in a multiparty DRM system
R. Petrlic, S. Sekula, in: L. Wang, B. Shafiq (Eds.), Data and Applications Security and Privacy XXVII, 2013, pp. 289–296.
LibreCat
| Files available
| DOI
R. Petrlic, S. Sekula, in: L. Wang, B. Shafiq (Eds.), Data and Applications Security and Privacy XXVII, 2013, pp. 289–296.
2013 | Journal Article | LibreCat-ID: 476
Towards Duality of Multicommodity Multiroute Cuts and Flows: Multilevel Ball-Growing
P. Kolman, C. Scheideler, Theory of Computing Systems (2013) 341–363.
LibreCat
| Files available
| DOI
P. Kolman, C. Scheideler, Theory of Computing Systems (2013) 341–363.
2013 | Conference Paper | LibreCat-ID: 477
Token Dissemination in Geometric Dynamic Networks
S. Abshoff, M. Benter, A. Cord-Landwehr, M. Malatyali, F. Meyer auf der Heide, 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, 2013, pp. 22–34.
LibreCat
| Files available
| DOI
S. Abshoff, M. Benter, A. Cord-Landwehr, M. Malatyali, F. Meyer auf der Heide, 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, 2013, pp. 22–34.
2013 | Dissertation | LibreCat-ID: 478
Three-Valued Abstraction and Heuristic-Guided Refinement for Verifying Concurrent Systems
N. Timm, Three-Valued Abstraction and Heuristic-Guided Refinement for Verifying Concurrent Systems, Universität Paderborn, 2013.
LibreCat
| Files available
N. Timm, Three-Valued Abstraction and Heuristic-Guided Refinement for Verifying Concurrent Systems, Universität Paderborn, 2013.
2013 | Conference Paper | LibreCat-ID: 481
Symbiotic Coupling of P2P and Cloud Systems: The Wikipedia Case
K. Graffi, L. Bremer, in: Proceedings of the International Conference on Communications (ICC’13), 2013, pp. 3444–3449.
LibreCat
| Files available
| DOI
K. Graffi, L. Bremer, in: Proceedings of the International Conference on Communications (ICC’13), 2013, pp. 3444–3449.
2013 | Bachelorsthesis | LibreCat-ID: 482
Statistisches Planen von Aktionen für autonome mobile Roboter in realen Umgebungen
M. Bieshaar, Statistisches Planen von Aktionen für autonome mobile Roboter in realen Umgebungen, Universität Paderborn, 2013.
LibreCat
M. Bieshaar, Statistisches Planen von Aktionen für autonome mobile Roboter in realen Umgebungen, Universität Paderborn, 2013.
2013 | Conference Paper | LibreCat-ID: 483
SimuLizar: Design-Time modeling and Performance Analysis of Self-Adaptive Systems
M. Becker, S. Becker, J. Meyer, in: Proceedings of the Software Engineering Conference (SE), 2013, pp. 71–84.
LibreCat
| Files available
| Download (ext.)
M. Becker, S. Becker, J. Meyer, in: Proceedings of the Software Engineering Conference (SE), 2013, pp. 71–84.
2013 | Conference Paper | LibreCat-ID: 484
Service Matching under Consideration of Explicitly Specified Service Variants
M.C. Platenius, M. von Detten, C. Gerth, W. Schäfer, G. Engels, in: IEEE 20th International Conference on Web Services (ICWS 2013), 2013, pp. 613–614.
LibreCat
| Files available
| DOI
M.C. Platenius, M. von Detten, C. Gerth, W. Schäfer, G. Engels, in: IEEE 20th International Conference on Web Services (ICWS 2013), 2013, pp. 613–614.
2013 | Conference Paper | LibreCat-ID: 485
Semi-Automated Software Composition Through Generated Components
F. Mohr, H. Kleine Büning, in: Proceedings of the 15th International Conference on Information Integration and Web-Based Applications & Services (IiWAS), 2013, pp. 676–680.
LibreCat
| Files available
| DOI
F. Mohr, H. Kleine Büning, in: Proceedings of the 15th International Conference on Information Integration and Web-Based Applications & Services (IiWAS), 2013, pp. 676–680.
2013 | Dissertation | LibreCat-ID: 494
Reengineering of Component-Based Software Systems in the Presence of Design Deficiencies
M. von Detten, Reengineering of Component-Based Software Systems in the Presence of Design Deficiencies, Universität Paderborn, 2013.
LibreCat
| Files available
M. von Detten, Reengineering of Component-Based Software Systems in the Presence of Design Deficiencies, Universität Paderborn, 2013.
2013 | Conference Paper | LibreCat-ID: 495
Reducing Nondeterminism in Automated Service Composition
F. Mohr, T. Lettmann, H. Kleine Büning, in: Proceedings of the 6th International Conference on Service Oriented Computing and Applications (SOCA), 2013, pp. 154–161.
LibreCat
| Files available
| DOI
F. Mohr, T. Lettmann, H. Kleine Büning, in: Proceedings of the 6th International Conference on Service Oriented Computing and Applications (SOCA), 2013, pp. 154–161.