en
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.
613 Publications
2011 | Journal Article | LibreCat-ID: 3184
Derrick, John, Gerhard Schellhorn, and Heike Wehrheim. “Mechanically Verified Proof Obligations for Linearizability.” {ACM} Trans. Program. Lang. Syst., no. 1 (2011): 4:1--4:43. https://doi.org/10.1145/1889997.1890001.
LibreCat
| DOI
2011 | Book Chapter | LibreCat-ID: 2662
Dannewitz, Christian, and et al. “How to Manage and Search/Retrieve Information Objects.” In Architecture and Design for the Future Internet, 2011.
LibreCat
| Download (ext.)
2011 | Journal Article | LibreCat-ID: 2725
Gries, T., and M. Redlin. “International Integration and the Determinants of Regional Development in China.” Economic Change and Restructuring 44, no. 1–2 (2011): 149–77. https://doi.org/10.1007/s10644-010-9084-6.
LibreCat
| DOI
2011 | Journal Article | LibreCat-ID: 3052
Gries, Thomas, Stefan Gravemeyer, and Jinjun Xue. “Income Determination and Income Discrimination in Shenzhen.” Urban Studies 48, no. 7 (2011): 1457–75. https://doi.org/10.1177/0042098010375317.
LibreCat
| DOI
2011 | Journal Article | LibreCat-ID: 3076
Schmitz, Hendrik, and Ansgar Wübker. “What Determines Influenza Vaccination Take-up of Elderly Europeans?” Health Economics, no. 11 (2011): 1281--1297.
LibreCat
2011 | Conference Abstract | LibreCat-ID: 2775
Heinrich, B., Dennis Kundisch, and Steffen Zimmermann. “The Impact of Interaction Effects Among Software Development Projects on Global Sourcing Decisions.” In 5th Global Sourcing Workshop, 2011.
LibreCat
2011 | Dissertation | LibreCat-ID: 2910
Naewe, Stefanie. Algorithms for Lattice Problems with Respect to General Norms. Universität Paderborn, 2011.
LibreCat
| Download (ext.)
2011 | Journal Article | LibreCat-ID: 2953
Gries, Thomas, and Wim Naudé. “Entrepreneurship and Human Development - A Capability Approach.” Journal of Public Economics 95, no. 3–4 (2011): 216–24. https://doi.org/10.1016/j.jpubeco.2010.11.008.
LibreCat
| DOI
2011 | Journal Article | LibreCat-ID: 4118
Declair, S., Torsten Meier, and Jens Förstner. “Numerical Investigation of the Coupling between Microdisk Modes and Quantum Dots.” Physica Status Solidi (C) 8, no. 4 (2011): 1254–57. https://doi.org/10.1002/pssc.201000869.
LibreCat
| Files available
| DOI
2011 | Journal Article | LibreCat-ID: 4120
Pochwała, Michał, Huynh Thanh Duc, Jens Förstner, and Torsten Meier. “Intensity-Dependent Ultrafast Dynamics of Injection Currents in Unbiased GaAs Quantum Wells.” Physica Status Solidi (RRL) - Rapid Research Letters 5, no. 3 (2011): 119–21. https://doi.org/10.1002/pssr.201004529.
LibreCat
| Files available
| DOI