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.
4684 Publications
2013 | Conference Paper | LibreCat-ID: 498
D. Wonisch, A. Schremmer, and H. Wehrheim, “Programs from Proofs – A PCC Alternative,” in Proceedings of the 25th International Conference on Computer Aided Verification (CAV), 2013, pp. 912–927.
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 499
P. Kling and P. Pietrzyk, “Profitable Scheduling on Multiple Speed-Scalable Processors,” in Proceedings of the 25th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), 2013, pp. 251–260.
LibreCat
| Files available
| DOI
2013 | Book Review | LibreCat-ID: 9629
M. Tönnies, “Middeke,M. / Schnierer, P.P. / Sierz, A. (Hg.): The Methuen Guide to Contemporary British Playwrights,” Anglia, vol. 131, no. 1. pp. 183–188, 2013.
LibreCat
2013 | Book Review | LibreCat-ID: 9630
M. Tönnies, “Rossow, H. Globalismus und Lew Labour,” Anglistik. International Journal of English Studies, vol. 24, no. 2. pp. 223–225, 2013.
LibreCat
2013 | Book Review | LibreCat-ID: 9632
M. Tönnies, “Baumbach, S. / Neumann, B. / Nünning, A.: A History of British Drama,” Anglistik. International Journal of English Studies, vol. 24, no. 1. pp. 201–203, 2013.
LibreCat
2013 | Book | LibreCat-ID: 9713
S. Strauß, “This Bright Inward Cinema of Thought” – Stream of Consciousness in Contemporary English Fiction. Trier: WVT, 2013.
LibreCat
2013 | Book Chapter | LibreCat-ID: 9724
C. Flotmann, “‘Monstrous’ Homes: How Private Spaces Shape Characters’ Identities in 19th-century Sensation Fiction,” in Monstrous Geographies: Places and Spaces of the Monstrous, S. Montin and E. Tsitas, Eds. Oxfordshire: Inter-Disciplinary Press, 2013, pp. 75–96.
LibreCat
2013 | Book | LibreCat-ID: 9725
C. Flotmann, Ambiguity in ‘Star Wars’ and ‘Harry Potter’: A (Post-)Structuralist Reading of Two Popular Myths. Bielefeld: transcript, 2013.
LibreCat
2013 | Misc | LibreCat-ID: 9732
C. Flotmann, Populäre Mythen bei Star Wars und Harry Potter. Berlin: radioeins rbb Berlin, Die Profis, 2013.
LibreCat
2013 | Journal Article | LibreCat-ID: 3963 | 
M. Bürger, M. Ruth, S. Declair, J. Förstner, C. Meier, and D. J. As, “Whispering gallery modes in zinc-blende AlN microdisks containing non-polar GaN quantum dots,” Applied Physics Letters, vol. 102, no. 8, p. 081105, 2013.
LibreCat
| Files available
| DOI
2013 | Book Chapter | LibreCat-ID: 4094
R. M. Kemper, D. As, and J. Lindner, “Cubic GaN on nano-patterned 3C-SiC/Si (001) substrates,” in Silicon-based Nanomaterials, vol. 187, H. Li, J. Wu, and Z. M. Wang, Eds. Springer Series in Materials Science, 2013, pp. 381–405.
LibreCat
2013 | Journal Article | LibreCat-ID: 4111
T. Riedl et al., “Elemental distribution, solute solubility and defect free volume in nanocrystalline restricted-equilibrium Cu–Ag alloys,” Journal of Physics: Condensed Matter, vol. 25, no. 11, 2013.
LibreCat
| Files available
| DOI
2013 | Bachelorsthesis | LibreCat-ID: 500
M. Staschewski, Price Formation in the Restaurant Industry - An Empirical Analysis. Universität Paderborn, 2013.
LibreCat
2013 | Dissertation | LibreCat-ID: 501
M. Happe, Performance and thermal management on self-adaptive hybrid multi-cores. Berlin: Logos Verlag Berlin GmbH, 2013.
LibreCat
| Files available
2013 | Conference Paper | LibreCat-ID: 502
M. Becker, M. Luckey, and S. Becker, “Performance Analysis of Self-Adaptive Systems for Requirements Validation at Design-Time,” 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 | Bachelorsthesis | LibreCat-ID: 503
A. Blix, Optimale und adaptive binäre Bäume in Netzwerken. Universität Paderborn, 2013.
LibreCat
2013 | Mastersthesis | LibreCat-ID: 504
S. Schwichtenberg, Ontology-based Normalization and Matching of Rich Service Descriptions. Universität Paderborn, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 506
G. Engels, “On-The-Fly Computing -- Das Entwicklungs- und Betriebsparadigma fürSoftwaresysteme der Zukunft,” in Proceedings of the Multikonferenz Sofware Engineering 2013 (SE 2013), 2013, pp. 17–18.
LibreCat
| Files available