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
Leuschel M, Wehrheim H. Selected papers on Integrated Formal Methods (iFM09). Science of Computer Programming. 2011;(10):835--836. doi:10.1016/j.scico.2011.01.009
LibreCat
| Files available
| DOI
2011 | Book Chapter | LibreCat-ID: 6470
Kremer H-H. Berufsorientierung als Herausforderung für berufsbildende Schulen! In: Rützel J, Zöller A, eds. bwp@ Sepzial 5 - Hochschultage Berufliche Bildung 2011, Workshop 02. ; 2011:1-12.
LibreCat
| Download (ext.)
2011 | Book Chapter | LibreCat-ID: 6471
Tramm T, Kremer H-H. Zwischenbilanz des Lernfeldkonzepts - erfolgreiche Neuorientierung oder Irrweg. In: Bals T, Hinrichs H, Ebbinghaus M, Tenberg R, eds. Übergänge in der Berufsbildung nachhaltig gestalten: Potentiale erkennen - Chancen nutzen. Paderborn; 2011.
LibreCat
2011 | Book Chapter | LibreCat-ID: 6472
Kremer H-H, Tramm T. Editorial Fachtagung Wirtschaft und Verwaltung: Zwischenbilanz des Lernfeldkonzepts - erfolgreiche Neuorientierung oder Irrweg. In: Kremer H-H, Tramm T, eds. bwp@ Sepzial 5 - Hochschultage Berufliche Bildung 2011, Fachtagung 19. ; 2011:1-13.
LibreCat
| Download (ext.)
2011 | Book Chapter | LibreCat-ID: 6473
Kremer H-H, Sandmann D. Kooperationsvorhaben ‚berufliches Gymnasium‘ und Bachelor Wirtschaftswissenschaften. Ein Paderborner Modellprojekt zur Berufs- und Studienorientierung. In: Gerholz K-H, Sloane PFE, eds. bwp@ Spezial 5 - Hochschultage Berufliche Bildung 2011, Workshop 29. ; 2011:1-18.
LibreCat
| Download (ext.)
2011 | Journal Article | LibreCat-ID: 6474
Büchter K, Gramlinger F, Kremer H-H, Tenberg R, Tramm T. bwp@ Berufs- und Wirtschaftspädagogik - online 2011-2011: Verortung, Selbstverständnis und Entwicklung. bwp@ Berufs- und Wirtschaftspädagogik - online, Jubiläumsausgabe. 2011:1-11.
LibreCat
| Download (ext.)
2011 | Mastersthesis | LibreCat-ID: 648
Brandes P. Robust Distributed Computation in Dynamic Networks. Universität Paderborn; 2011.
LibreCat
2011 | Journal Article | LibreCat-ID: 649
Besova G, Wehrheim H, Wagner A. Reputation-based Reliability Prediction of Service Compositions. Electronic Notes in Theoretical Computer Science. 2011;(2):3-16. doi:10.1016/j.entcs.2011.11.008
LibreCat
| Files available
| DOI
2011 | Mastersthesis | LibreCat-ID: 650
Platenius MC. Reengineering of Design Deficiencies in Component-Based Software Architectures. Universität Paderborn; 2011.
LibreCat
2011 | Bachelorsthesis | LibreCat-ID: 651
Stroh-Maraun N. Prozedurale Ansätze zur Lösung mehrdimensionaler Verhandlungsprobleme. Universität Paderborn; 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 652
Gerth C, Luckey M, Küster J, Engels G. Precise Mappings between Business Process Models in Versioning Scenarios. In: Proceedings of the IEEE 8th International Conference on Service Computingt (SCC). ; 2011:218--225. doi:10.1109/SCC.2011.65
LibreCat
| Files available
| DOI
2011 | Conference Paper | LibreCat-ID: 653
Lehrig S, Zolynski T. Performance Prototyping with ProtoCom in a Virtualised Environment: A Case Study. In: Proceedings of the Palladio Days 2011. Karlsruhe Reports in Informatics. ; 2011:15-22. doi:10.5445/IR/1000025188
LibreCat
| Files available
| DOI
2011 | Conference Paper | LibreCat-ID: 654
Graffi K. 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:154-155. doi:10.1109/P2P.2011.6038673
LibreCat
| Files available
| DOI
2011 | Mastersthesis | LibreCat-ID: 655
Meyer J. Modellgetriebene Skalierbarkeitsanalyse von selbst-adaptiven Komponentenbasierten Softwaresystemen in der Cloud. Universität Paderborn; 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 657
Abshoff S, Cord-Landwehr A, Degener B, Kempkes B, Pietrzyk P. 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). LNCS. ; 2011:13-27. doi:10.1007/978-3-642-28209-6_3
LibreCat
| Files available
| DOI
2011 | Mastersthesis | LibreCat-ID: 658
Schremmer A. Function Specification Inference Using Craig Interpolation. Universität Paderborn; 2011.
LibreCat
2011 | Mastersthesis | LibreCat-ID: 659
Liske G. Fault Attacks in Pairing-Based Cryptography. Universität Paderborn; 2011.
LibreCat
| Files available
2011 | Bachelorsthesis | LibreCat-ID: 660
Peuster M. Defining and Deploying Complex Applicances in Multi-Site Cloud Environments. Universität Paderborn; 2011.
LibreCat
2011 | Mastersthesis | LibreCat-ID: 661
Arifulina S. Coverage Criteria for Testing DMM Specifications. Universität Paderborn; 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 662
Nesterenko M, Mohd R, Scheideler C. Corona: A Stabilizing Deterministic Message-Passing Skip List. In: Proceedings of the 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS). LNCS. ; 2011:356--370. doi:10.1007/978-3-642-24550-3_27
LibreCat
| Files available
| DOI