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.
6951 Publications
2011 | Conference Paper | LibreCat-ID: 644
Towards Systematic, Comprehensive Trace Generation for Behavioral Pattern Detection through Symbolic Execution
M. von Detten, in: Proceedings of the 10th ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE), 2011, pp. 17–20.
LibreCat
| Files available
| DOI
M. von Detten, in: Proceedings of the 10th ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE), 2011, pp. 17–20.
2011 | Conference Paper | LibreCat-ID: 4490
Fertigkeiten und Einstellungen Studierender zum Bloggen in Praxisprojekten oder: Spannungsfelder und Teufelskreise beim selbstorganisierten Lernen
A. Gebhardt, T. Jenert, in: Waxmann, 2011, pp. 284–392.
LibreCat
A. Gebhardt, T. Jenert, in: Waxmann, 2011, pp. 284–392.
2011 | Book Chapter | LibreCat-ID: 4513
Besseres Feedback, mehr Reflexion? Fertigkeiten und Einstellungen Studierender zum Bloggen in Praxisprojekten
T. Jenert, A. Gebhardt , in: T. Köhler, J. Neumann (Eds.), Wissensgemeinschaften. Digitale Medien - Öffnung und Offenheit in Forschung und Lehre , Waxmann Verlag GmbH , Münster, 2011, pp. 284–293.
LibreCat
T. Jenert, A. Gebhardt , in: T. Köhler, J. Neumann (Eds.), Wissensgemeinschaften. Digitale Medien - Öffnung und Offenheit in Forschung und Lehre , Waxmann Verlag GmbH , Münster, 2011, pp. 284–293.
2011 | Book Chapter | LibreCat-ID: 4514
Konsistente Gestaltung von Selbstlernumgebungen
T. Jenert, F. Zellweger, in: Kompetenzorientierte Hochschullehre: Die Notwendigkeit von Kohärenz zwischen Lernzielen, Prüfungsformen und Lehr-Lern-Methoden , hep verlag ag , Bern, 2011, pp. 80–117.
LibreCat
T. Jenert, F. Zellweger, in: Kompetenzorientierte Hochschullehre: Die Notwendigkeit von Kohärenz zwischen Lernzielen, Prüfungsformen und Lehr-Lern-Methoden , hep verlag ag , Bern, 2011, pp. 80–117.
2011 | Book Chapter | LibreCat-ID: 4524
QualiAss - ein Werkzeug zur Prozess- und Qualitätsunterstützung für schriftliche Prüfungen an Hochschulen : Nutzungsszenarien - Spezifikation - Einführung
T. Jenert, C. Meier, T. Brahm, in: T. Köhler, J. Neumann (Eds.), Wissensgemeinschaften: Digitale Medien, Öffnung und Offenheit in Forschung und Lehre , Waxmann Verlag GmbH , Münster, 2011, pp. 136–145.
LibreCat
T. Jenert, C. Meier, T. Brahm, in: T. Köhler, J. Neumann (Eds.), Wissensgemeinschaften: Digitale Medien, Öffnung und Offenheit in Forschung und Lehre , Waxmann Verlag GmbH , Münster, 2011, pp. 136–145.
2011 | Book Chapter | LibreCat-ID: 4559
Besseres Feedback, mehr Reflexion? – Fertigkeiten und Einstellungen Studierender zum Bloggen in Praxisprojekten
T. Jenert, A. Gebhardt , in: T. Köhler, J. Neumann (Eds.), Wissensgemeinschaften : Digitale Medien - Öffnung und Offenheit in Forschung und Lehre, Waxmann Verlag GmbH , Münster , 2011, pp. 284–293.
LibreCat
T. Jenert, A. Gebhardt , in: T. Köhler, J. Neumann (Eds.), Wissensgemeinschaften : Digitale Medien - Öffnung und Offenheit in Forschung und Lehre, Waxmann Verlag GmbH , Münster , 2011, pp. 284–293.
2011 | Conference Paper | LibreCat-ID: 4707
A blueprint for event-driven business activity management
C. Janiesch, M. Matzner, O. Müller, in: Lecture Notes in Computer Science, 2011.
LibreCat
| DOI
C. Janiesch, M. Matzner, O. Müller, in: Lecture Notes in Computer Science, 2011.
2011 | Conference Paper | LibreCat-ID: 8348
The Challenge of Renewable Energies & Decentralized Power Systems – State of the Art, Potentials & Perspectives
S. Krauter, in: Proceedings of Decentralized Power Systems (DPS) 2011, Paderborn (Deutschland), 2. September 2011., 2011.
LibreCat
S. Krauter, in: Proceedings of Decentralized Power Systems (DPS) 2011, Paderborn (Deutschland), 2. September 2011., 2011.
2011 | Journal Article | LibreCat-ID: 9769
Improved Process for Hydrothermal Lead-Free Piezoelectric Powders and Performances of Sintered (K0.48Na0.52)NbO3 Ceramics
T. Maeda, T. Hemsel, T. Morita, Japanese Journal of Applied Physics 50 (2011) 07HC01.
LibreCat
T. Maeda, T. Hemsel, T. Morita, Japanese Journal of Applied Physics 50 (2011) 07HC01.
2011 | Book Chapter | LibreCat-ID: 5039
Engineering, Sales, and Delivery of Modular Value Bundles --- A Framework for Configurative Modeling
J. Becker, D. Beverungen, R. Knackstedt, A. Stein, in: T. Böhmann, W. Burr, T. Herrmann, H. Krcmar (Eds.), Implementing International Services: A Tailorable Method for Market Assessment, Modularization, and Process Transfer, Wiesbaden, 2011, pp. 399--424.
LibreCat
J. Becker, D. Beverungen, R. Knackstedt, A. Stein, in: T. Böhmann, W. Burr, T. Herrmann, H. Krcmar (Eds.), Implementing International Services: A Tailorable Method for Market Assessment, Modularization, and Process Transfer, Wiesbaden, 2011, pp. 399--424.
2011 | Journal Article | LibreCat-ID: 5195
Adverse selection, investor experience and security choice in venture capital finance: evidence from Germany
T. Hartmann-Wendels, G. Keienburg, S. Sievers, European Financial Management (VHB-JOURQUAL 3 Ranking B) 17 (2011) 464–499.
LibreCat
| DOI
| Download (ext.)
T. Hartmann-Wendels, G. Keienburg, S. Sievers, European Financial Management (VHB-JOURQUAL 3 Ranking B) 17 (2011) 464–499.
2011 | Conference Paper | LibreCat-ID: 646
Self-Stabilizing DeBruijn Networks
A.W. Richa, C. Scheideler, in: Proceedings of the 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), 2011, pp. 416–430.
LibreCat
| Files available
| DOI
A.W. Richa, C. Scheideler, in: Proceedings of the 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), 2011, pp. 416–430.
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
M. Leuschel, H. Wehrheim, Science of Computer Programming (2011) 835--836.
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
G. Besova, H. Wehrheim, A. Wagner, Electronic Notes in Theoretical Computer Science (2011) 3–16.
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
M.C. Platenius, Reengineering of Design Deficiencies in Component-Based Software Architectures, Universität Paderborn, 2011.
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
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.
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
S. Lehrig, T. Zolynski, in: Proceedings of the Palladio Days 2011, 2011, pp. 15–22.
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
J. Meyer, Modellgetriebene Skalierbarkeitsanalyse von selbst-adaptiven Komponentenbasierten Softwaresystemen in der Cloud, Universität Paderborn, 2011.
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
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.
2011 | Mastersthesis | LibreCat-ID: 658
Function Specification Inference Using Craig Interpolation
A. Schremmer, Function Specification Inference Using Craig Interpolation, Universität Paderborn, 2011.
LibreCat
A. Schremmer, Function Specification Inference Using Craig Interpolation, Universität Paderborn, 2011.