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.
1416 Publications
2011 | Journal Article | LibreCat-ID: 647
M. Leuschel and H. Wehrheim, “Selected papers on Integrated Formal Methods (iFM09),” Science of Computer Programming, no. 10, pp. 835--836, 2011.
LibreCat
| Files available
| DOI
2011 | Book Chapter | LibreCat-ID: 6470
H.-H. Kremer, “Berufsorientierung als Herausforderung für berufsbildende Schulen!,” in bwp@ Sepzial 5 - Hochschultage Berufliche Bildung 2011, Workshop 02, J. Rützel and A. Zöller, Eds. 2011, pp. 1–12.
LibreCat
| Download (ext.)
2011 | Book Chapter | LibreCat-ID: 6471
T. Tramm and H.-H. Kremer, “Zwischenbilanz des Lernfeldkonzepts - erfolgreiche Neuorientierung oder Irrweg,” in Übergänge in der Berufsbildung nachhaltig gestalten: Potentiale erkennen - Chancen nutzen, T. Bals, H. Hinrichs, M. Ebbinghaus, and R. Tenberg, Eds. Paderborn, 2011.
LibreCat
2011 | Book Chapter | LibreCat-ID: 6472
H.-H. Kremer and T. Tramm, “Editorial Fachtagung Wirtschaft und Verwaltung: Zwischenbilanz des Lernfeldkonzepts - erfolgreiche Neuorientierung oder Irrweg,” in bwp@ Sepzial 5 - Hochschultage Berufliche Bildung 2011, Fachtagung 19, H.-H. Kremer and T. Tramm, Eds. 2011, pp. 1–13.
LibreCat
| Download (ext.)
2011 | Book Chapter | LibreCat-ID: 6473
H.-H. Kremer and D. Sandmann, “Kooperationsvorhaben ‚berufliches Gymnasium‘ und Bachelor Wirtschaftswissenschaften. Ein Paderborner Modellprojekt zur Berufs- und Studienorientierung,” in bwp@ Spezial 5 - Hochschultage Berufliche Bildung 2011, Workshop 29, K.-H. Gerholz and P. F. E. Sloane, Eds. 2011, pp. 1–18.
LibreCat
| Download (ext.)
2011 | Journal Article | LibreCat-ID: 6474
K. Büchter, F. Gramlinger, H.-H. Kremer, R. Tenberg , and T. Tramm, “bwp@ Berufs- und Wirtschaftspädagogik - online 2011-2011: Verortung, Selbstverständnis und Entwicklung,” bwp@ Berufs- und Wirtschaftspädagogik - online, Jubiläumsausgabe, pp. 1–11, 2011.
LibreCat
| Download (ext.)
2011 | Mastersthesis | LibreCat-ID: 648
P. Brandes, Robust Distributed Computation in Dynamic Networks. Universität Paderborn, 2011.
LibreCat
2011 | Journal Article | LibreCat-ID: 649
G. Besova, H. Wehrheim, and A. Wagner, “Reputation-based Reliability Prediction of Service Compositions,” Electronic Notes in Theoretical Computer Science, no. 2, pp. 3–16, 2011.
LibreCat
| Files available
| DOI
2011 | Mastersthesis | LibreCat-ID: 650
M. C. Platenius, Reengineering of Design Deficiencies in Component-Based Software Architectures. Universität Paderborn, 2011.
LibreCat
2011 | Bachelorsthesis | LibreCat-ID: 651
N. Stroh-Maraun, Prozedurale Ansätze zur Lösung mehrdimensionaler Verhandlungsprobleme. Universität Paderborn, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 652
C. Gerth, M. Luckey, J. Küster, and G. Engels, “Precise Mappings between Business Process Models in Versioning Scenarios,” in Proceedings of the IEEE 8th International Conference on Service Computingt (SCC), 2011, pp. 218--225.
LibreCat
| Files available
| DOI
2011 | Conference Paper | LibreCat-ID: 653
S. Lehrig and T. Zolynski, “Performance Prototyping with ProtoCom in a Virtualised Environment: A Case Study,” in Proceedings of the Palladio Days 2011, 2011, pp. 15–22.
LibreCat
| Files available
| DOI
2011 | Conference Paper | LibreCat-ID: 654
K. Graffi, “PeerfactSim.KOM: A PSP System Simulator - Experiences and Lessons Learned,” in Proceedings of the IEEE International Conference on Peer-to-Peer Computing (IEEE PsP), 2011, pp. 154–155.
LibreCat
| Files available
| DOI
2011 | Mastersthesis | LibreCat-ID: 655
J. Meyer, Modellgetriebene Skalierbarkeitsanalyse von selbst-adaptiven Komponentenbasierten Softwaresystemen in der Cloud. Universität Paderborn, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 657
S. Abshoff, A. Cord-Landwehr, B. Degener, B. Kempkes, and P. Pietrzyk, “Local Approximation Algorithms for the Uncapacitated Metric Facility Location Problem in Power-Aware Sensor Networks,” in Proceedings of the 7th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities (ALGOSENSORS), 2011, pp. 13–27.
LibreCat
| Files available
| DOI
2011 | Mastersthesis | LibreCat-ID: 658
A. Schremmer, Function Specification Inference Using Craig Interpolation. Universität Paderborn, 2011.
LibreCat
2011 | Mastersthesis | LibreCat-ID: 659
G. Liske, Fault attacks in pairing-based cryptography. Universität Paderborn, 2011.
LibreCat
| Files available
2011 | Bachelorsthesis | LibreCat-ID: 660
M. Peuster, Defining and Deploying Complex Applicances in Multi-Site Cloud Environments. Universität Paderborn, 2011.
LibreCat
2011 | Mastersthesis | LibreCat-ID: 661
S. Arifulina, Coverage Criteria for Testing DMM Specifications. Universität Paderborn, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 662
M. Nesterenko, R. Mohd, and C. Scheideler, “Corona: A Stabilizing Deterministic Message-Passing Skip List,” in Proceedings of the 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), 2011, pp. 356--370.
LibreCat
| Files available
| DOI