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.
2018 Publications
2014 | Bachelorsthesis | LibreCat-ID: 332
Was tun um Kunden von der Qualität seiner Produkte zu überzeugen - Möglichkeiten der Zertifizierung und von Reputationssystemen auf Onlinemärkten
M. Lange, Was tun um Kunden von der Qualität seiner Produkte zu überzeugen - Möglichkeiten der Zertifizierung und von Reputationssystemen auf Onlinemärkten, Universität Paderborn, 2014.
LibreCat
M. Lange, Was tun um Kunden von der Qualität seiner Produkte zu überzeugen - Möglichkeiten der Zertifizierung und von Reputationssystemen auf Onlinemärkten, 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 | Bachelorsthesis | LibreCat-ID: 334
Vertical Thread Migration in FPGA based Sound Localization
P. Wagener, Vertical Thread Migration in FPGA Based Sound Localization, Universität Paderborn, 2014.
LibreCat
P. Wagener, Vertical Thread Migration in FPGA Based Sound Localization, 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 | Bachelorsthesis | LibreCat-ID: 337
Verhandlungen vs Auktionen im Beschäftigungsmanagement
C. Berkemeier, Verhandlungen vs Auktionen im Beschäftigungsmanagement, Universität Paderborn, 2014.
LibreCat
C. Berkemeier, Verhandlungen vs Auktionen im Beschäftigungsmanagement, Universität Paderborn, 2014.
2014 | Bachelorsthesis | LibreCat-ID: 338
Verhandlungen bei variablem status quo: Eine Modifikation des Adjustet Winner Verfahrens
H. Beck, Verhandlungen bei variablem status quo: Eine Modifikation des Adjustet Winner Verfahrens, Universität Paderborn, 2014.
LibreCat
H. Beck, Verhandlungen bei variablem status quo: Eine Modifikation des Adjustet Winner Verfahrens, Universität Paderborn, 2014.
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 | Conference Paper | LibreCat-ID: 339
Using Application Layer Knowledge in Routing and Wavelength Assignment Algorithms
P. Wette, H. Karl, in: Proceedings of the IEEE International Conference on Communications 2014, 2014, pp. 3270–3276.
LibreCat
| Files available
| DOI
P. Wette, H. Karl, in: Proceedings of the IEEE International Conference on Communications 2014, 2014, pp. 3270–3276.
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: 341
Two-Sided Market and Game Console Vendors
T. Fang Cheng, Two-Sided Market and Game Console Vendors, Universität Paderborn, 2014.
LibreCat
T. Fang Cheng, Two-Sided Market and Game Console Vendors, 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 | Dissertation | LibreCat-ID: 343
Tragedy of the Common Cloud - Game Theory on the Infrastructure-as-a-Service Market
J. Künsemöller, Tragedy of the Common Cloud - Game Theory on the Infrastructure-as-a-Service Market, Universität Paderborn, 2014.
LibreCat
| Files available
J. Künsemöller, Tragedy of the Common Cloud - Game Theory on the Infrastructure-as-a-Service Market, Universität Paderborn, 2014.
2014 | Conference Paper | LibreCat-ID: 3439
IT-basierte Dienstleistungen für die Elektromobilität --- Konzeptioneller Rahmen und Literaturanalyse
B. Klör, S. Bräuer, D. Beverungen, M. Matzner, in: Proceedings of the Multikonferenz Wirtschaftsinformatik 2014 (MKWI 2014), Paderborn, 2014, pp. 2047--2066.
LibreCat
B. Klör, S. Bräuer, D. Beverungen, M. Matzner, in: Proceedings of the Multikonferenz Wirtschaftsinformatik 2014 (MKWI 2014), Paderborn, 2014, pp. 2047--2066.
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 | Bachelorsthesis | LibreCat-ID: 348
The Xilinx Zynq Architecture as a Platform for Reconfigurable Heterogeneous Multi-Cores
C. Rüthing, The Xilinx Zynq Architecture as a Platform for Reconfigurable Heterogeneous Multi-Cores, Universität Paderborn, 2014.
LibreCat
C. Rüthing, The Xilinx Zynq Architecture as a Platform for Reconfigurable Heterogeneous Multi-Cores, Universität Paderborn, 2014.
2014 | Report | LibreCat-ID: 349
The Legal Classification of Identity-Based Signatures
C. Sorge, The Legal Classification of Identity-Based Signatures, 2014.
LibreCat
| Files available
C. Sorge, The Legal Classification of Identity-Based Signatures, 2014.
2014 | Journal Article | LibreCat-ID: 3491
On the Ontological Expressiveness of Conceptual Modeling Grammars for Service Productivity Management
J. Becker, D. Beverungen, R. Knackstedt, H. Peter Rauer, D. Sigge, Information Systems and E-Business Management (2014) 337--365.
LibreCat
| DOI
J. Becker, D. Beverungen, R. Knackstedt, H. Peter Rauer, D. Sigge, Information Systems and E-Business Management (2014) 337--365.