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.
9730 Publications
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 | Journal Article | LibreCat-ID: 356
Blazovics, Laszlo, Tamas Lukovszki, and Bertalan Forstner. “Surrounding Robots -- A Discrete Localized Solution for the Intruder Problem.” Journal of Advanced Computational Intelligence and Intelligent Informatics, no. 3 (2014): 315--319. https://doi.org/10.20965/jaciii.2014.p0315.
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 | Conference Paper | LibreCat-ID: 367
Janiuk, Jens, Alexander Mäcker, and Kalman Graffi. “Secure Distributed Data Structures for Peer-to-Peer-Based Social Networks.” In Proceedings of the International Conference on Collaboration Technologies and Systems (CTS), 396–405, 2014. https://doi.org/10.1109/CTS.2014.6867595.
LibreCat
| Files available
| DOI
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