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.
7917 Publications
2014 | Conference Paper | LibreCat-ID: 329
Wette, P., Dräxler, M., Schwabe, A., Wallaschek, F., Zahraee, M. H., & Karl, H. (2014). MaxiNet: Distributed Emulation of Software-Defined Networks. In Proceedings of the 2014 IFIP Networking Conference (Networking 2014) (pp. 1–9). https://doi.org/10.1109/IFIPNetworking.2014.6857078
LibreCat
| Files available
| 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 | Conference Paper | LibreCat-ID: 339
Wette, P., & Karl, H. (2014). Using Application Layer Knowledge in Routing and Wavelength Assignment Algorithms. In Proceedings of the IEEE International Conference on Communications 2014 (pp. 3270–3276). https://doi.org/10.1109/ICC.2014.6883825
LibreCat
| Files available
| DOI
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 | Dissertation | LibreCat-ID: 343
Künsemöller, J. (2014). Tragedy of the Common Cloud - Game Theory on the Infrastructure-as-a-Service Market. Universität Paderborn.
LibreCat
| Files available
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 | Conference Paper | LibreCat-ID: 354
Keller, M., Robbert, C., & Karl, H. (2014). Template Embedding: Using Application Architecture to Allocate Resources in Distributed Clouds. In Proceedings of 7th International Conference on Utility and Cloud Computing (UCC) (pp. 387--395). https://doi.org/10.1109/UCC.2014.49
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: 360 | 
Dräxler, S., Keller, M., & Karl, H. (2014). Specifying and Placing Chains of Virtual Network Functions. In Proceedings of the 3rd International Conference on Cloud Networking (CloudNet) (pp. 7–13). https://doi.org/10.1109/CloudNet.2014.6968961
LibreCat
| Files available
| DOI
2014 | Bachelorsthesis | LibreCat-ID: 361
Roeske, D. (2014). Simulating load-dependent operation of picocells. Universität Paderborn.
LibreCat