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.
13557 Publications
2009 | Journal Article | LibreCat-ID: 2999
Sampling methods for shortest vectors, closest vectors and successive minima
J. Blömer, S. Naewe, Theoretical Computer Science (2009) 1648–1665.
LibreCat
| DOI
J. Blömer, S. Naewe, Theoretical Computer Science (2009) 1648–1665.
2009 | Book Chapter | LibreCat-ID: 3000
Three-Valued Spotlight Abstractions
J. Schrieb, H. Wehrheim, D. Wonisch, in: FM 2009: Formal Methods, Springer Berlin Heidelberg, Berlin, Heidelberg, 2009, pp. 106–122.
LibreCat
| DOI
J. Schrieb, H. Wehrheim, D. Wonisch, in: FM 2009: Formal Methods, Springer Berlin Heidelberg, Berlin, Heidelberg, 2009, pp. 106–122.
2009 | Conference Abstract | LibreCat-ID: 2785
An Evaluation Framework for Tracker Certificates during the Financial Crisis and beyond
D. Kundisch, C. Klein, in: International Federation of Classification Societies 2009 Conference, 2009.
LibreCat
D. Kundisch, C. Klein, in: International Federation of Classification Societies 2009 Conference, 2009.
2009 | Book (Editor) | LibreCat-ID: 2792
Proceedings of the 4th International Workshop on Enterprise Applications and Services in the Finance Industry
D. Kundisch, D. Veit, T. Weitzel, C. Weinhardt, eds., Proceedings of the 4th International Workshop on Enterprise Applications and Services in the Finance Industry, Springer, Heidelberg, 2009.
LibreCat
D. Kundisch, D. Veit, T. Weitzel, C. Weinhardt, eds., Proceedings of the 4th International Workshop on Enterprise Applications and Services in the Finance Industry, Springer, Heidelberg, 2009.
2009 | Conference Paper | LibreCat-ID: 4180
Indirect Dephasing Channel for Optically Controlled Spin in a Single Quantum Dot
A. Grodecka, P. Machnikowski, J. Förstner, in: Advances in Optical Sciences Congress, OSA Technical Digest (CD) (Optical Society of America, 2009), 2009.
LibreCat
| DOI
A. Grodecka, P. Machnikowski, J. Förstner, in: Advances in Optical Sciences Congress, OSA Technical Digest (CD) (Optical Society of America, 2009), 2009.
2009 | Journal Article | LibreCat-ID: 4192
Structural characterization of cubic and hexagonal GaN thin films grown by IBA–MBE on SiC/Si
M. Häberlen, J.W. Gerlach, B. Murphy, J. Lindner, B. Stritzker, Journal of Crystal Growth 312 (2009) 762–769.
LibreCat
| Files available
| DOI
M. Häberlen, J.W. Gerlach, B. Murphy, J. Lindner, B. Stritzker, Journal of Crystal Growth 312 (2009) 762–769.
2009 | Conference Paper | LibreCat-ID: 3473
Productivity management for customer solutions --- Towards a performance management system for efficient service value networks
J. Becker, D. Beverungen, N. Blinn, R. Knackstedt, M. Nüttgens, O. Thomas, M. Fellmann, in: 29th International RESER Conference, Budapest, Hungary, 2009.
LibreCat
J. Becker, D. Beverungen, N. Blinn, R. Knackstedt, M. Nüttgens, O. Thomas, M. Fellmann, in: 29th International RESER Conference, Budapest, Hungary, 2009.
2009 | Journal Article | LibreCat-ID: 3199
Compositional {CSP} Traces Refinement Checking
H. Wehrheim, D. Wonisch, Electr. Notes Theor. Comput. Sci. (2009) 135--151.
LibreCat
| DOI
H. Wehrheim, D. Wonisch, Electr. Notes Theor. Comput. Sci. (2009) 135--151.
2009 | Conference (Editor) | LibreCat-ID: 3202
Integrated Formal Methods, 7th International Conference, {IFM} 2009, D{\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings
M. Leuschel, H. Wehrheim, eds., Integrated Formal Methods, 7th International Conference, {IFM} 2009, D{\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings, 2009.
LibreCat
| DOI
M. Leuschel, H. Wehrheim, eds., Integrated Formal Methods, 7th International Conference, {IFM} 2009, D{\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings, 2009.
2009 | Conference Abstract | LibreCat-ID: 4231
Characterisation of nanostructured materials for electronic and photonic information processing
J. Lindner, in: 2009.
LibreCat
J. Lindner, in: 2009.