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.
LibreCat
 

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.
LibreCat
 

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.
LibreCat
 

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.
LibreCat
 

Filters and Search Terms

status=public

Search

Filter Publications

Display / Sort

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

Export / Embed