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