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.
7290 Publications
2014 | Book Chapter | LibreCat-ID: 26395
Kollektive Orientierungsmuster als Teil individueller Handlungskompetenz: Eine komparative Analyse kooperierender Grundschullehrkräfte
T. Bloh, in: Perspektiven Auf Inklusive Bildung, Wiesbaden, 2014.
LibreCat
| DOI
T. Bloh, in: Perspektiven Auf Inklusive Bildung, Wiesbaden, 2014.
2014 | Journal Article | LibreCat-ID: 26512
Formation and interaction of resonance chains in the open three-disk system
T. Weich, S. Barkhofen, U. Kuhl, C. Poli, H. Schomerus, New Journal of Physics (2014).
LibreCat
| DOI
T. Weich, S. Barkhofen, U. Kuhl, C. Poli, H. Schomerus, New Journal of Physics (2014).
2014 | Book Chapter | LibreCat-ID: 26683
Individuelles Feedback in heterogen zusammengesetzten Lerngruppen im Leseunterricht der Grundschule – Befunde aus einer empirischen Studie
F.K. Hoya, F. Hellmich, in: D. Blömer , M. Lichtblau, A.-K. Jüttner, K. Koch, M. Krüger, R. Werning (Eds.), Perspektiven auf inklusive Bildung, Springer VS, Wiesbaden, 2014, pp. 267–272.
LibreCat
| DOI
F.K. Hoya, F. Hellmich, in: D. Blömer , M. Lichtblau, A.-K. Jüttner, K. Koch, M. Krüger, R. Werning (Eds.), Perspektiven auf inklusive Bildung, Springer VS, Wiesbaden, 2014, pp. 267–272.
2014 | Book Chapter | LibreCat-ID: 26741
Lesefähigkeiten und metakognitive Lesestrategien bei Kindern mit Deutsch als Erst- und Zweitsprache im Vergleich
F. Hellmich, S. Niebuhr-Siebert, S. Förster, in: B. Kopp, S. Martschinke, M. Munser-Kiefer, M. Haider, E.-M. Kirschhock, G. Ranger, G. Renner (Eds.), Individuelle Förderung und Lernen in der Gemeinschaft, Springer VS, Wiesbaden, 2014, pp. 238–241.
LibreCat
| DOI
F. Hellmich, S. Niebuhr-Siebert, S. Förster, in: B. Kopp, S. Martschinke, M. Munser-Kiefer, M. Haider, E.-M. Kirschhock, G. Ranger, G. Renner (Eds.), Individuelle Förderung und Lernen in der Gemeinschaft, Springer VS, Wiesbaden, 2014, pp. 238–241.
2014 | Bachelorsthesis | LibreCat-ID: 331
Webcam application using virtual FPGA
S. Wu, Webcam Application Using Virtual FPGA, Universität Paderborn, 2014.
LibreCat
S. Wu, Webcam Application Using Virtual FPGA, Universität Paderborn, 2014.
2014 | Bachelorsthesis | LibreCat-ID: 333
Visualisierung von SMT-Solver-Ausgaben
S. Osterbrink, Visualisierung von SMT-Solver-Ausgaben, Universität Paderborn, 2014.
LibreCat
S. Osterbrink, Visualisierung von SMT-Solver-Ausgaben, Universität Paderborn, 2014.
2014 | Conference Paper | LibreCat-ID: 336
Verified Service Compositions by Template-Based Construction
S. Walther, H. Wehrheim, in: I. Lanese, E. Madelaine (Eds.), Proceedings of the 11th International Symposium on Formal Aspects of Component Software (FACS), 2014, pp. 31–48.
LibreCat
| Files available
| DOI
S. Walther, H. Wehrheim, in: I. Lanese, E. Madelaine (Eds.), Proceedings of the 11th International Symposium on Formal Aspects of Component Software (FACS), 2014, pp. 31–48.
2014 | Book | LibreCat-ID: 3389
Finanzierung - Grundlagen, Institutionen, Instrumente und Kapitalmarkttheorie
H. Gräfer, B. Schiller, S. Rösner, Finanzierung - Grundlagen, Institutionen, Instrumente und Kapitalmarkttheorie, 8th ed., Erich Schmidt Verlag, Berlin, 2014.
LibreCat
H. Gräfer, B. Schiller, S. Rösner, Finanzierung - Grundlagen, Institutionen, Instrumente und Kapitalmarkttheorie, 8th ed., Erich Schmidt Verlag, Berlin, 2014.
2014 | Bachelorsthesis | LibreCat-ID: 340
Untersuchung transitiver Eigenschaften der Technik "Programs from Proofs"
P. Korth, Untersuchung transitiver Eigenschaften der Technik “Programs from Proofs,” Universität Paderborn, 2014.
LibreCat
P. Korth, Untersuchung transitiver Eigenschaften der Technik “Programs from Proofs,” Universität Paderborn, 2014.
2014 | Bachelorsthesis | LibreCat-ID: 342
Transformation graphischer Protokollspezifikationen in Model-Checker-Anfragen
C. Klauke, Transformation Graphischer Protokollspezifikationen in Model-Checker-Anfragen, Universität Paderborn, 2014.
LibreCat
C. Klauke, Transformation Graphischer Protokollspezifikationen in Model-Checker-Anfragen, Universität Paderborn, 2014.
2014 | Conference Paper | LibreCat-ID: 344
Towards Systematic Configuration for Architecture Validation
M. Becker, S. Becker, G. Besova, S. Walther, H. Wehrheim, in: Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications (Work in Progress Session), 2014.
LibreCat
| Files available
M. Becker, S. Becker, G. Besova, S. Walther, H. Wehrheim, in: Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications (Work in Progress Session), 2014.
2014 | Conference Paper | LibreCat-ID: 345
Towards Context-Sensitive Service Composition for Service-Oriented Image Processing
A. Jungmann, B. Kleinjohann, in: Proceedings of the 6th International Conference on Cloud Computing Technology and Science (CloudCom), 2014, pp. 755–758.
LibreCat
| Files available
| DOI
A. Jungmann, B. Kleinjohann, in: Proceedings of the 6th International Conference on Cloud Computing Technology and Science (CloudCom), 2014, pp. 755–758.
2014 | Conference Paper | LibreCat-ID: 346
Towards a Flexible and Privacy-Preserving Reputation System for Markets of Composed Services
S. Brangewitz, A. Jungmann, R. Petrlic, M.C. Platenius, in: Proceedings of the 6th International Conferences on Advanced Service Computing (SERVICE COMPUTATION), 2014, pp. 49–57.
LibreCat
| Files available
S. Brangewitz, A. Jungmann, R. Petrlic, M.C. Platenius, in: Proceedings of the 6th International Conferences on Advanced Service Computing (SERVICE COMPUTATION), 2014, pp. 49–57.
2014 | Conference Paper | LibreCat-ID: 347
Thread Shadowing: Using Dynamic Redundancy on Hybrid Multi-cores for Error Detection
S. Meisner, M. Platzner, in: D. Goehringer, M. Santambrogio, J.P. Cardoso, K. Bertels (Eds.), Proceedings of the 10th International Symposium on Applied Reconfigurable Computing (ARC), Springer, 2014, pp. 283–290.
LibreCat
| Files available
| DOI
S. Meisner, M. Platzner, in: D. Goehringer, M. Santambrogio, J.P. Cardoso, K. Bertels (Eds.), Proceedings of the 10th International Symposium on Applied Reconfigurable Computing (ARC), Springer, 2014, pp. 283–290.
2014 | Journal Article | LibreCat-ID: 3492
Exploring the Interplay of the Design and Emergence of Business Processes as Organizational Routines
D. Beverungen, Business and Information Systems Engineering (2014) 191--202.
LibreCat
| DOI
D. Beverungen, Business and Information Systems Engineering (2014) 191--202.
2014 | Journal Article | LibreCat-ID: 3493
Über das Zusammenwirken der Gestaltung und Emergenz von Geschäftsprozessen als Organisationsroutinen
D. Beverungen, WIRTSCHAFTSINFORMATIK (2014) 209--222.
LibreCat
| DOI
D. Beverungen, WIRTSCHAFTSINFORMATIK (2014) 209--222.
2014 | Conference Paper | LibreCat-ID: 353
Template-based Generation of Semantic Services
F. Mohr, S. Walther, in: Proceedings of the 14th International Conference on Software Reuse (ICSR), 2014, pp. 188–203.
LibreCat
| Files available
| DOI
F. Mohr, S. Walther, in: Proceedings of the 14th International Conference on Software Reuse (ICSR), 2014, pp. 188–203.
2014 | Mastersthesis | LibreCat-ID: 359
Statistisches Testen von unbeweisbaren Anforderungen an Programmspezifikationen in SMT-LIB
M. Töws, Statistisches Testen von unbeweisbaren Anforderungen an Programmspezifikationen in SMT-LIB, Universität Paderborn, 2014.
LibreCat
M. Töws, Statistisches Testen von unbeweisbaren Anforderungen an Programmspezifikationen in SMT-LIB, Universität Paderborn, 2014.
2014 | Conference Paper | LibreCat-ID: 364
SeSAME: Modeling and Analyzing High-Quality Service Compositions
S. Arifulina, M. Becker, M.C. Platenius, S. Walther, in: Proceedings of the 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014), 2014, pp. 839–842.
LibreCat
| Files available
| DOI
S. Arifulina, M. Becker, M.C. Platenius, S. Walther, in: Proceedings of the 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014), 2014, pp. 839–842.
2014 | Conference Paper | LibreCat-ID: 366
Security and Privacy Challenges in On-The-Fly Computing
R. Petrlic, A. Jungmann, M.C. Platenius, W. Schäfer, C. Sorge, in: Tagungsband Der 4. Konferenz Software-Technologien Und -Prozesse (STeP 2014), 2014, pp. 131–142.
LibreCat
| Files available
R. Petrlic, A. Jungmann, M.C. Platenius, W. Schäfer, C. Sorge, in: Tagungsband Der 4. Konferenz Software-Technologien Und -Prozesse (STeP 2014), 2014, pp. 131–142.