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.

8597 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
 

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
 

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
 

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
 

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
 

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
 

2013 | Journal Article | LibreCat-ID: 9866
Study on optimizing ultrasonic irradiation period for thick polycrystalline PZT film by hydrothermal method
K. Ohta, G. Isobe, P. Bornmann, T. Hemsel, T. Morita, Ultrasonics 53 (2013) 837–841.
LibreCat | DOI
 

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
 

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
 

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
 

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
 

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
 

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
 

2013 | Book | LibreCat-ID: 5042
Besteuerung und Rechtsformwahl
R. König, C. Sureth-Sloane, Besteuerung und Rechtsformwahl, Verlag Neue Wirtschafts-Briefe, Herne, 2013.
LibreCat
 

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
 

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
 

2013 | Conference Paper | LibreCat-ID: 508
On the Quality of Selfish Virtual Topology Reconfiguration in IP-over-WDM Networks
P. Wette, H. Karl, in: Proceedings of the 19th IEEE International Workshop on Local and Metropolitan Area Networks (IEEE LANMAN), 2013, pp. 1–6.
LibreCat | Files available | DOI
 

2013 | Conference Paper | LibreCat-ID: 509
On Greedy Routing in Degree-bounded Graphs over d-Dimensional Internet Coordinate Embeddings
M. Autenrieth, H. Frey, in: Proceedings of the Conference on Networked Systems (NetSys), 2013, pp. 126–131.
LibreCat | Files available | DOI
 

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.)
 

2013 | Bachelorsthesis | LibreCat-ID: 511
MapReduce in Software Defined Networks
M. Splietker, MapReduce in Software Defined Networks, Universität Paderborn, 2013.
LibreCat
 

Filters and Search Terms

isbn%3D978-3-89336-912-6

Search

Filter Publications

Display / Sort

Export / Embed