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.
7291 Publications
2013 | Conference Paper | LibreCat-ID: 498
Programs from Proofs – A PCC Alternative
D. Wonisch, A. Schremmer, H. Wehrheim, in: Proceedings of the 25th International Conference on Computer Aided Verification (CAV), 2013, pp. 912–927.
LibreCat
| Files available
| DOI
D. Wonisch, A. Schremmer, H. Wehrheim, in: Proceedings of the 25th International Conference on Computer Aided Verification (CAV), 2013, pp. 912–927.
2013 | Journal Article | LibreCat-ID: 7271
Software Engineering for Self-Adaptive Systems: A Second Research Roadmap
R. de Lemos, H. Giese, H. A. Müller, M. Shaw, J. Andersson, M. Litoiu, B. Schmerl, G. Tamura, N. M. Villegas, T. Vogel, D. Weyns, L. Baresi, B. Becker, N. Bencomo, Y. Brun, B. Cukic, R. Desmarais, S. Dustdar, G. Engels, K. Geihs, K. M. Göschka, A. Gorla, V. Grassi, P. Inverardi, G. Karsai, J. Kramer, A. Lopes, J. Magee, S. Malek, S. Mankovskii, R. Mirandola, J. Mylopoulos, O. Nierstrasz, M. Pezzè, C. Prehofer, W. Schäfer, R. Schlichting, D. B. Smith, J. Pedro Sousa, L. Tahvildari, K. Wong, J. Wuttke, Software Engineering for Self-Adaptive Systems II (2013) 1–32.
LibreCat
| DOI
R. de Lemos, H. Giese, H. A. Müller, M. Shaw, J. Andersson, M. Litoiu, B. Schmerl, G. Tamura, N. M. Villegas, T. Vogel, D. Weyns, L. Baresi, B. Becker, N. Bencomo, Y. Brun, B. Cukic, R. Desmarais, S. Dustdar, G. Engels, K. Geihs, K. M. Göschka, A. Gorla, V. Grassi, P. Inverardi, G. Karsai, J. Kramer, A. Lopes, J. Magee, S. Malek, S. Mankovskii, R. Mirandola, J. Mylopoulos, O. Nierstrasz, M. Pezzè, C. Prehofer, W. Schäfer, R. Schlichting, D. B. Smith, J. Pedro Sousa, L. Tahvildari, K. Wong, J. Wuttke, Software Engineering for Self-Adaptive Systems II (2013) 1–32.
2013 | Journal Article | LibreCat-ID: 7294
Aharonov–Bohm rings with strong spin–orbit interaction: the role of sample-specific properties
F. Nichele, Y. Komijani, S. Hennel, C. Gerl, W. Wegscheider, D. Reuter, A.D. Wieck, T. Ihn, K. Ensslin, New Journal of Physics 15 (2013).
LibreCat
| DOI
F. Nichele, Y. Komijani, S. Hennel, C. Gerl, W. Wegscheider, D. Reuter, A.D. Wieck, T. Ihn, K. Ensslin, New Journal of Physics 15 (2013).
2013 | Conference Paper | LibreCat-ID: 7331
Observation of the Kondo effect in a spin-3/2 hole quantum dot
O. Klochan, A.P. Micolich, A.R. Hamilton, K. Trunov, D. Reuter, A.D. Wieck, in: COMMAD 2012, IEEE, 2013.
LibreCat
| DOI
O. Klochan, A.P. Micolich, A.R. Hamilton, K. Trunov, D. Reuter, A.D. Wieck, in: COMMAD 2012, IEEE, 2013.
2013 | Conference Paper | LibreCat-ID: 7332
Excitons, Biexcitons, and Trions in an InAs Quantum Dot Ensemble Studied with 2D Fourier-Transform Spectroscopy
G. Moody, R. Singh, H. Li, I. Akimov, M. Bayer, D. Reuter, A. Wieck, S.T. Cundiff, in: Conference on Lasers and Electro-Optics 2012, OSA, 2013.
LibreCat
| DOI
G. Moody, R. Singh, H. Li, I. Akimov, M. Bayer, D. Reuter, A. Wieck, S.T. Cundiff, in: Conference on Lasers and Electro-Optics 2012, OSA, 2013.
2013 | Dissertation | LibreCat-ID: 7569
Quality Assurance with Dynamic Meta Modeling
C. Soltenborn, Quality Assurance with Dynamic Meta Modeling, Universität Paderborn, 2013.
LibreCat
| DOI
C. Soltenborn, Quality Assurance with Dynamic Meta Modeling, Universität Paderborn, 2013.
2013 | Conference Paper | LibreCat-ID: 9799
Influences of Bonding Parameters on the Tool Wear for Copper Wire Bonding
P. Eichwald, W. Sextro, S. Althoff, F. Eacock, M. Schnietz, K. Guth, M. Brökelmann, in: 15th Electronics Packaging Technology Conference, 2013.
LibreCat
| DOI
P. Eichwald, W. Sextro, S. Althoff, F. Eacock, M. Schnietz, K. Guth, M. Brökelmann, in: 15th Electronics Packaging Technology Conference, 2013.
2013 | Book Chapter | LibreCat-ID: 4094
Cubic GaN on nano-patterned 3C-SiC/Si (001) substrates
R.M. Kemper, D. As, J. Lindner, in: H. Li, J. Wu, Z.M. Wang (Eds.), Silicon-Based Nanomaterials, Springer Series in Materials Science, 2013, pp. 381–405.
LibreCat
R.M. Kemper, D. As, J. Lindner, in: H. Li, J. Wu, Z.M. Wang (Eds.), Silicon-Based Nanomaterials, Springer Series in Materials Science, 2013, pp. 381–405.
2013 | Journal Article | LibreCat-ID: 4098
Self-organization of nanospheres in trenches on silicon surfaces
K. Brassat, F. Assion, U. Hilleringmann, J. Lindner, Physica Status Solidi (A) 210 (2013) 1485–1489.
LibreCat
| Files available
| DOI
K. Brassat, F. Assion, U. Hilleringmann, J. Lindner, Physica Status Solidi (A) 210 (2013) 1485–1489.
2013 | Dissertation | LibreCat-ID: 501
Performance and thermal management on self-adaptive hybrid multi-cores
M. Happe, Performance and Thermal Management on Self-Adaptive Hybrid Multi-Cores, Logos Verlag Berlin GmbH, Berlin, 2013.
LibreCat
| Files available
M. Happe, Performance and Thermal Management on Self-Adaptive Hybrid Multi-Cores, Logos Verlag Berlin GmbH, Berlin, 2013.
2013 | Conference Paper | LibreCat-ID: 502
Performance Analysis of Self-Adaptive Systems for Requirements Validation at Design-Time
M. Becker, M. Luckey, S. Becker, in: Proceedings of the 9th ACM SigSoft International Conference on Quality of Software Architectures (QoSA’13), 2013, pp. 43–52.
LibreCat
| Files available
| DOI
M. Becker, M. Luckey, S. Becker, in: Proceedings of the 9th ACM SigSoft International Conference on Quality of Software Architectures (QoSA’13), 2013, pp. 43–52.
2013 | Book Chapter | LibreCat-ID: 5031
Softwaregestützte Konstruktion von Produktivitätsmodellen im Facility Management
J. Becker, T. Bernhold, D. Beverungen, N. Kaling, R. Knackstedt, L. Vanessa, H. Peter Rauer, in: O. Thomas, M. Nüttgens (Eds.), Dienstleistungsmodellierung 2012: Product-Service Systems Und Produktivität, Wiesbaden, 2013, pp. 208--226.
LibreCat
| DOI
J. Becker, T. Bernhold, D. Beverungen, N. Kaling, R. Knackstedt, L. Vanessa, H. Peter Rauer, in: O. Thomas, M. Nüttgens (Eds.), Dienstleistungsmodellierung 2012: Product-Service Systems Und Produktivität, Wiesbaden, 2013, pp. 208--226.
2013 | Mastersthesis | LibreCat-ID: 504
Ontology-based Normalization and Matching of Rich Service Descriptions
S. Schwichtenberg, Ontology-Based Normalization and Matching of Rich Service Descriptions, Universität Paderborn, 2013.
LibreCat
S. Schwichtenberg, Ontology-Based Normalization and Matching of Rich Service Descriptions, Universität Paderborn, 2013.
2013 | Conference Paper | LibreCat-ID: 506
On-The-Fly Computing -- Das Entwicklungs- und Betriebsparadigma fürSoftwaresysteme der Zukunft
G. Engels, in: Proceedings of the Multikonferenz Sofware Engineering 2013 (SE 2013), 2013, pp. 17–18.
LibreCat
| Files available
G. Engels, in: Proceedings of the Multikonferenz Sofware Engineering 2013 (SE 2013), 2013, pp. 17–18.
2013 | Conference Paper | LibreCat-ID: 507
On Two-Party Communication Through Dynamic Networks
S. Abshoff, M. Benter, M. Malatyali, F. Meyer auf der Heide, in: Proceedings of the 17th International Conference on Principles of Distributed Systems (OPODIS), 2013, pp. 11–22.
LibreCat
| Files available
| DOI
S. Abshoff, M. Benter, M. Malatyali, F. Meyer auf der Heide, in: Proceedings of the 17th International Conference on Principles of Distributed Systems (OPODIS), 2013, pp. 11–22.
2013 | Journal Article | LibreCat-ID: 5108
Investment distortions and the value of the government's tax claim
D. Kreutzmann, S. Sievers, C. Mueller, Applied Financial Economics (VHB-JOURQUAL 3 Ranking C) 23 (2013) 977–989.
LibreCat
| DOI
| Download (ext.)
D. Kreutzmann, S. Sievers, C. Mueller, Applied Financial Economics (VHB-JOURQUAL 3 Ranking C) 23 (2013) 977–989.
2013 | Journal Article | LibreCat-ID: 5113
Extended dividend, cash flow, and residual income valuation models: Accounting for deviations from ideal conditions
N. Heinrichs, D. Hess, C. Homburg, M. Lorenz, S. Sievers, Contemporary Accounting Research (VHB-JOURQUAL 3 Ranking A) 30 (2013) 42–79.
LibreCat
| Files available
| DOI
| Download (ext.)
N. Heinrichs, D. Hess, C. Homburg, M. Lorenz, S. Sievers, Contemporary Accounting Research (VHB-JOURQUAL 3 Ranking A) 30 (2013) 42–79.
2013 | Conference Paper | LibreCat-ID: 513
Locally Self-Adjusting Tree Networks
C. Avin, B. Häupler, Z. Lotker, C. Scheideler, S. Schmid, in: Proceedings of the 27th IEEE International Parallel and Distributed Processing Symposium (IPDPS), 2013, pp. 395–406.
LibreCat
| Files available
| DOI
C. Avin, B. Häupler, Z. Lotker, C. Scheideler, S. Schmid, in: Proceedings of the 27th IEEE International Parallel and Distributed Processing Symposium (IPDPS), 2013, pp. 395–406.
2013 | Journal Article | LibreCat-ID: 515
Learning Service Recommendations
A. Jungmann, B. Kleinjohann, E. Kleinjohann, International Journal of Business Process Integration and Management (2013) 284–297.
LibreCat
| Files available
| DOI
| Download (ext.)
A. Jungmann, B. Kleinjohann, E. Kleinjohann, International Journal of Business Process Integration and Management (2013) 284–297.
2013 | Conference Paper | LibreCat-ID: 516
Learning Recommendation System for Automated Service Composition
A. Jungmann, B. Kleinjohann, in: Proceedings of the 10th IEEE International Conference on Services Computing (SCC), 2013, pp. 97–104.
LibreCat
| Files available
| DOI
A. Jungmann, B. Kleinjohann, in: Proceedings of the 10th IEEE International Conference on Services Computing (SCC), 2013, pp. 97–104.