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.

1399 Publications


2011 | Journal Article | LibreCat-ID: 6469 LibreCat
 

2011 | Journal Article | LibreCat-ID: 647
Selected papers on Integrated Formal Methods (iFM09)
M. Leuschel, H. Wehrheim, Science of Computer Programming (2011) 835--836.
LibreCat | Files available | DOI
 

2011 | Book Chapter | LibreCat-ID: 6470
Berufsorientierung als Herausforderung für berufsbildende Schulen!
H.-H. Kremer, in: J. Rützel, A. Zöller (Eds.), bwp@ Sepzial 5 - Hochschultage Berufliche Bildung 2011, Workshop 02, 2011, pp. 1–12.
LibreCat | Download (ext.)
 

2011 | Book Chapter | LibreCat-ID: 6471
Zwischenbilanz des Lernfeldkonzepts - erfolgreiche Neuorientierung oder Irrweg
T. Tramm, H.-H. Kremer, in: T. Bals, H. Hinrichs, M. Ebbinghaus, R. Tenberg (Eds.), Übergänge in der Berufsbildung nachhaltig gestalten: Potentiale erkennen - Chancen nutzen, Paderborn, 2011.
LibreCat
 

2011 | Book Chapter | LibreCat-ID: 6472
Editorial Fachtagung Wirtschaft und Verwaltung: Zwischenbilanz des Lernfeldkonzepts - erfolgreiche Neuorientierung oder Irrweg
H.-H. Kremer, T. Tramm, in: H.-H. Kremer, T. Tramm (Eds.), bwp@ Sepzial 5 - Hochschultage Berufliche Bildung 2011, Fachtagung 19, 2011, pp. 1–13.
LibreCat | Download (ext.)
 

2011 | Book Chapter | LibreCat-ID: 6473
Kooperationsvorhaben ‚berufliches Gymnasium‘ und Bachelor Wirtschaftswissenschaften. Ein Paderborner Modellprojekt zur Berufs- und Studienorientierung
H.-H. Kremer, D. Sandmann, in: K.-H. Gerholz, P.F.E. Sloane (Eds.), bwp@ Spezial 5 - Hochschultage Berufliche Bildung 2011, Workshop 29, 2011, pp. 1–18.
LibreCat | Download (ext.)
 

2011 | Journal Article | LibreCat-ID: 6474
bwp@ Berufs- und Wirtschaftspädagogik - online 2011-2011: Verortung, Selbstverständnis und Entwicklung
K. Büchter, F. Gramlinger, H.-H. Kremer, R. Tenberg , T. Tramm, bwp@ Berufs- und Wirtschaftspädagogik - online, Jubiläumsausgabe (2011) 1–11.
LibreCat | Download (ext.)
 

2011 | Mastersthesis | LibreCat-ID: 648
Robust Distributed Computation in Dynamic Networks
P. Brandes, Robust Distributed Computation in Dynamic Networks, Universität Paderborn, 2011.
LibreCat
 

2011 | Journal Article | LibreCat-ID: 649
Reputation-based Reliability Prediction of Service Compositions
G. Besova, H. Wehrheim, A. Wagner, Electronic Notes in Theoretical Computer Science (2011) 3–16.
LibreCat | Files available | DOI
 

2011 | Mastersthesis | LibreCat-ID: 650
Reengineering of Design Deficiencies in Component-Based Software Architectures
M.C. Platenius, Reengineering of Design Deficiencies in Component-Based Software Architectures, Universität Paderborn, 2011.
LibreCat
 

2011 | Bachelorsthesis | LibreCat-ID: 651
Prozedurale Ansätze zur Lösung mehrdimensionaler Verhandlungsprobleme
N. Stroh-Maraun, Prozedurale Ansätze zur Lösung mehrdimensionaler Verhandlungsprobleme, Universität Paderborn, 2011.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 652
Precise Mappings between Business Process Models in Versioning Scenarios
C. Gerth, M. Luckey, J. Küster, G. Engels, 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
Performance Prototyping with ProtoCom in a Virtualised Environment: A Case Study
S. Lehrig, T. Zolynski, in: Proceedings of the Palladio Days 2011, 2011, pp. 15–22.
LibreCat | Files available | DOI
 

2011 | Conference Paper | LibreCat-ID: 654
PeerfactSim.KOM: A PSP System Simulator - Experiences and Lessons Learned
K. Graffi, 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
Modellgetriebene Skalierbarkeitsanalyse von selbst-adaptiven Komponentenbasierten Softwaresystemen in der Cloud
J. Meyer, Modellgetriebene Skalierbarkeitsanalyse von selbst-adaptiven Komponentenbasierten Softwaresystemen in der Cloud, Universität Paderborn, 2011.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 657
Local Approximation Algorithms for the Uncapacitated Metric Facility Location Problem in Power-Aware Sensor Networks
S. Abshoff, A. Cord-Landwehr, B. Degener, B. Kempkes, P. Pietrzyk, 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
Function Specification Inference Using Craig Interpolation
A. Schremmer, Function Specification Inference Using Craig Interpolation, Universität Paderborn, 2011.
LibreCat
 

2011 | Mastersthesis | LibreCat-ID: 659
Fault attacks in pairing-based cryptography
G. Liske, Fault Attacks in Pairing-Based Cryptography, Universität Paderborn, 2011.
LibreCat | Files available
 

2011 | Bachelorsthesis | LibreCat-ID: 660
Defining and Deploying Complex Applicances in Multi-Site Cloud Environments
M. Peuster, Defining and Deploying Complex Applicances in Multi-Site Cloud Environments, Universität Paderborn, 2011.
LibreCat
 

2011 | Mastersthesis | LibreCat-ID: 661
Coverage Criteria for Testing DMM Specifications
S. Arifulina, Coverage Criteria for Testing DMM Specifications, Universität Paderborn, 2011.
LibreCat
 

Filters and Search Terms

year=2011

Search

Filter Publications

Display / Sort

Export / Embed