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.
7574 Publications
2014 | Bachelorsthesis | LibreCat-ID: 332
Lange, Maximilian. 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
2014 | Bachelorsthesis | LibreCat-ID: 333
Osterbrink, Sebastian. Visualisierung von SMT-Solver-Ausgaben. Universität Paderborn, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 336
Walther, Sven, and Heike Wehrheim. “Verified Service Compositions by Template-Based Construction.” In Proceedings of the 11th International Symposium on Formal Aspects of Component Software (FACS), edited by Ivan Lanese and Eric Madelaine, 31–48. LNCS, 2014. https://doi.org/10.1007/978-3-319-15317-9_3.
LibreCat
| Files available
| DOI
2014 | Book | LibreCat-ID: 3389
Gräfer, Horst, Bettina Schiller, and Sabrina Rösner. Finanzierung - Grundlagen, Institutionen, Instrumente und Kapitalmarkttheorie. 8th ed. Vol. 8. Berlin: Erich Schmidt Verlag, 2014.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 340
Korth, Philipp. Untersuchung transitiver Eigenschaften der Technik “Programs from Proofs.” Universität Paderborn, 2014.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 342
Klauke, Christoph. Transformation Graphischer Protokollspezifikationen in Model-Checker-Anfragen. Universität Paderborn, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 344
Becker, Matthias, Steffen Becker, Galina Besova, Sven Walther, and Heike Wehrheim. “Towards Systematic Configuration for Architecture Validation.” In Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications (Work in Progress Session), 2014.
LibreCat
| Files available
2014 | Conference Paper | LibreCat-ID: 345
Jungmann, Alexander, and Bernd Kleinjohann. “Towards Context-Sensitive Service Composition for Service-Oriented Image Processing.” In Proceedings of the 6th International Conference on Cloud Computing Technology and Science (CloudCom), 755–58, 2014. https://doi.org/10.1109/CloudCom.2014.154.
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 346
Brangewitz, Sonja, Alexander Jungmann, Ronald Petrlic, and Marie Christin Platenius. “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), 49–57, 2014.
LibreCat
| Files available
2014 | Conference Paper | LibreCat-ID: 347
Meisner, Sebastian, and Marco Platzner. “Thread Shadowing: Using Dynamic Redundancy on Hybrid Multi-Cores for Error Detection.” In Proceedings of the 10th International Symposium on Applied Reconfigurable Computing (ARC), edited by Diana Goehringer, MarcoDomenico Santambrogio, JoãoM.P. Cardoso, and Koen Bertels, 283–90. Lecture Notes in Computer Science. Springer, 2014. https://doi.org/10.1007/978-3-319-05960-0_30.
LibreCat
| Files available
| DOI
2014 | Journal Article | LibreCat-ID: 3492
Beverungen, Daniel. “Exploring the Interplay of the Design and Emergence of Business Processes as Organizational Routines.” Business and Information Systems Engineering, no. 4 (2014): 191--202. https://doi.org/10.1007/s12599-014-0335-3.
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 3493
Beverungen, Daniel. “Über Das Zusammenwirken Der Gestaltung Und Emergenz von Geschäftsprozessen Als Organisationsroutinen.” WIRTSCHAFTSINFORMATIK, no. 4 (2014): 209--222. https://doi.org/10.1007/s11576-014-0425-3.
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 353
Mohr, Felix, and Sven Walther. “Template-Based Generation of Semantic Services.” In Proceedings of the 14th International Conference on Software Reuse (ICSR), 188–203. LNCS, 2014. https://doi.org/10.1007/978-3-319-14130-5_14.
LibreCat
| Files available
| DOI
2014 | Mastersthesis | LibreCat-ID: 359
Töws, Manuel. Statistisches Testen von unbeweisbaren Anforderungen an Programmspezifikationen in SMT-LIB. Universität Paderborn, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 364
Arifulina, Svetlana, Matthias Becker, Marie Christin Platenius, and Sven Walther. “SeSAME: Modeling and Analyzing High-Quality Service Compositions.” In Proceedings of the 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014), 839–42, 2014. https://doi.org/10.1145/2642937.2648621.
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 366
Petrlic, Ronald, Alexander Jungmann, Marie Christin Platenius, Wilhelm Schäfer, and Christoph Sorge. “Security and Privacy Challenges in On-The-Fly Computing.” In Tagungsband Der 4. Konferenz Software-Technologien Und -Prozesse (STeP 2014), 131–42, 2014.
LibreCat
| Files available
2014 | Bachelorsthesis | LibreCat-ID: 369
Rath, Timo. RSA-Full Domain Hash Revisited. Universität Paderborn, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 371
Scheideler, Christian, Alexander Setzer, and Martina Eikel. “RoBuSt: A Crash-Failure-Resistant Distributed Storage System.” In Proceedings of the 18th International Conference on Principles of Distributed Systems (OPODIS), 107--122. LNCS, 2014. https://doi.org/10.1007/978-3-319-14472-6_8.
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 374
Wold, Alexander, Andreas Agne, and Jim Torresen. “Relocatable Hardware Threads in Run-Time Reconfigurable Systems.” In Proceedings of the 10th International Symposium on Reconfigurable Computing: Architectures, Tools, and Applications, edited by Diana Goehringer, MarcoDomenico Santambrogio, JoãoM.P. Cardoso, and Koen Bertels, 61–72. LNCS, 2014. https://doi.org/10.1007/978-3-319-05960-0_6.
LibreCat
| Files available
| DOI
2014 | Journal Article | LibreCat-ID: 375
Detten, Markus von, Marie Christin Platenius, and Steffen Becker. “Reengineering Component-Based Software Systems with Archimetrix.” Journal of Software and Systems Modeling, no. 4 (2014): 1239--1268. https://doi.org/10.1007/s10270-013-0341-9.
LibreCat
| Files available
| DOI