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.

9990 Publications

2009 | Journal Article | LibreCat-ID: 2999
J. Blömer and S. Naewe, “Sampling methods for shortest vectors, closest vectors and successive minima,” Theoretical Computer Science, no. 18, pp. 1648–1665, 2009.
LibreCat | DOI

2009 | Book Chapter | LibreCat-ID: 3000
J. Schrieb, H. Wehrheim, and D. Wonisch, “Three-Valued Spotlight Abstractions,” in FM 2009: Formal Methods, Berlin, Heidelberg: Springer Berlin Heidelberg, 2009, pp. 106–122.
LibreCat | DOI

2009 | Conference Abstract | LibreCat-ID: 2785
D. Kundisch and C. Klein, “An Evaluation Framework for Tracker Certificates during the Financial Crisis and beyond,” in International Federation of Classification Societies 2009 Conference, Dresden, Germany, 2009.

2009 | Book (Editor) | LibreCat-ID: 2792
D. Kundisch, D. Veit, T. Weitzel, and C. Weinhardt, Eds., Proceedings of the 4th International Workshop on Enterprise Applications and Services in the Finance Industry, vol. 23. Heidelberg: Springer, 2009.

2009 | Conference Paper | LibreCat-ID: 4180
A. Grodecka, P. Machnikowski, and J. Förstner, “Indirect Dephasing Channel for Optically Controlled Spin in a Single Quantum Dot,” in Advances in Optical Sciences Congress, 2009.
LibreCat | DOI

2009 | Journal Article | LibreCat-ID: 4192
M. Häberlen, J. W. Gerlach, B. Murphy, J. Lindner, and B. Stritzker, “Structural characterization of cubic and hexagonal GaN thin films grown by IBA–MBE on SiC/Si,” Journal of Crystal Growth, vol. 312, no. 6, pp. 762–769, 2009.
LibreCat | Files available | DOI

2009 | Conference Paper | LibreCat-ID: 3473
J. Becker et al., “Productivity management for customer solutions --- Towards a performance management system for efficient service value networks,” in 29th International RESER Conference, Budapest, Hungary, 2009.

2009 | Journal Article | LibreCat-ID: 3199
H. Wehrheim and D. Wonisch, “Compositional {CSP} Traces Refinement Checking,” Electr. Notes Theor. Comput. Sci., no. 2, pp. 135--151, 2009.
LibreCat | DOI

2009 | Conference (Editor) | LibreCat-ID: 3202
M. Leuschel and H. Wehrheim, Eds., Integrated Formal Methods, 7th International Conference, {IFM} 2009, D{\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings. 2009.
LibreCat | DOI

2009 | Conference Abstract | LibreCat-ID: 4231
J. Lindner, “Characterisation of nanostructured materials for electronic and photonic information processing,” presented at the Guest Lectures at Departamento de Fisica Applicada, Master de Materiales Avanzados y Nanotecnologias, Universidad Autónoma de Madrid (Spain), 2009.

Filters and Search Terms



Filter Publications

Display / Sort

Sorted by: Publishing Year , First Author
Citation Style: IEEE

Export / Embed