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.
4215 Publications
2013 | Conference Paper | LibreCat-ID: 498
Wonisch, Daniel, Alexander Schremmer, and Heike Wehrheim. “Programs from Proofs – A PCC Alternative.” In Proceedings of the 25th International Conference on Computer Aided Verification (CAV), 912–27. LNCS, 2013. https://doi.org/10.1007/978-3-642-39799-8_65.
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 499
Kling, Peter, and Peter Pietrzyk. “Profitable Scheduling on Multiple Speed-Scalable Processors.” In Proceedings of the 25th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), 251–60, 2013. https://doi.org/10.1145/2486159.2486183.
LibreCat
| Files available
| DOI
2013 | Dissertation | LibreCat-ID: 7569
Soltenborn, Christian. Quality Assurance with Dynamic Meta Modeling. Universität Paderborn, 2013. http://nbn-resolving.de/urn:nbn:de:hbz:466:2-12420.
LibreCat
| DOI
2013 | Book Chapter | LibreCat-ID: 8789
Reuter, Dirk, Gerhard Gerth, and J. Kirschner. “Surface Diffusion of 3d-Metals on W(110).” In Surface Diffusion. Boston, MA, 2013. https://doi.org/10.1007/978-1-4899-0262-7_43.
LibreCat
| DOI
2013 | Book Review | LibreCat-ID: 9629
Tönnies, Merle. “Middeke,M. / Schnierer, P.P. / Sierz, A. (Hg.): The Methuen Guide to Contemporary British Playwrights.” Anglia, 2013.
LibreCat
2013 | Book Review | LibreCat-ID: 9630
Tönnies, Merle. “Rossow, H. Globalismus Und Lew Labour.” Anglistik. International Journal of English Studies, 2013.
LibreCat
2013 | Book Review | LibreCat-ID: 9632
Tönnies, Merle. “Baumbach, S. / Neumann, B. / Nünning, A.: A History of British Drama.” Anglistik. International Journal of English Studies, 2013.
LibreCat
2013 | Book | LibreCat-ID: 9713
Strauß, Sara. “This Bright Inward Cinema of Thought” – Stream of Consciousness in Contemporary English Fiction. Trier: WVT, 2013.
LibreCat
2013 | Book Chapter | LibreCat-ID: 9724
Flotmann, Christina. “‘Monstrous’ Homes: How Private Spaces Shape Characters’ Identities in 19th-Century Sensation Fiction.” In Monstrous Geographies: Places and Spaces of the Monstrous, edited by Sarah Montin and Evelyn Tsitas, 75–96. Oxfordshire: Inter-Disciplinary Press, 2013.
LibreCat
2013 | Book | LibreCat-ID: 9725
Flotmann, Christina. Ambiguity in ‘Star Wars’ and ‘Harry Potter’: A (Post-)Structuralist Reading of Two Popular Myths. Bielefeld: transcript, 2013.
LibreCat
2013 | Misc | LibreCat-ID: 9732
Flotmann, Christina. Populäre Mythen Bei Star Wars Und Harry Potter. Berlin: radioeins rbb Berlin, Die Profis, 2013.
LibreCat
2013 | Journal Article | LibreCat-ID: 3963 | 
Bürger, M., M. Ruth, S. Declair, Jens Förstner, Cedrik Meier, and Donat Josef As. “Whispering Gallery Modes in Zinc-Blende AlN Microdisks Containing Non-Polar GaN Quantum Dots.” Applied Physics Letters 102, no. 8 (2013): 081105. https://doi.org/10.1063/1.4793653.
LibreCat
| Files available
| DOI
2013 | Book Chapter | LibreCat-ID: 4094
Kemper, R.M., Donald As, and Jörg Lindner. “Cubic GaN on Nano-Patterned 3C-SiC/Si (001) Substrates.” In Silicon-Based Nanomaterials, edited by H. Li, J. Wu, and Z.M. Wang, 187:381–405. Springer Series in Materials Science, 2013.
LibreCat
2013 | Journal Article | LibreCat-ID: 4111
Riedl, Thomas, A Kirchner, K Eymann, A Shariq, R Schlesiger, G Schmitz, M Ruhnow, and B Kieback. “Elemental Distribution, Solute Solubility and Defect Free Volume in Nanocrystalline Restricted-Equilibrium Cu–Ag Alloys.” Journal of Physics: Condensed Matter 25, no. 11 (2013). https://doi.org/10.1088/0953-8984/25/11/115401.
LibreCat
| Files available
| DOI
2013 | Bachelorsthesis | LibreCat-ID: 500
Staschewski, Margarita. Price Formation in the Restaurant Industry - An Empirical Analysis. Universität Paderborn, 2013.
LibreCat
2013 | Dissertation | LibreCat-ID: 501
Happe, Markus. 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
Becker, Matthias, Markus Luckey, and Steffen 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), 43–52, 2013. https://doi.org/10.1145/2465478.2465489.
LibreCat
| Files available
| DOI
2013 | Bachelorsthesis | LibreCat-ID: 503
Blix, Andreas. Optimale und adaptive binäre Bäume in Netzwerken. Universität Paderborn, 2013.
LibreCat
2013 | Mastersthesis | LibreCat-ID: 504
Schwichtenberg, Simon. Ontology-Based Normalization and Matching of Rich Service Descriptions. Universität Paderborn, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 506
Engels, Gregor. “On-The-Fly Computing -- Das Entwicklungs- Und Betriebsparadigma FürSoftwaresysteme Der Zukunft.” In Proceedings of the Multikonferenz Sofware Engineering 2013 (SE 2013), 17–18. LNI, 2013.
LibreCat
| Files available