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.

13849 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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

2009 | Conference Abstract | LibreCat-ID: 4231 LibreCat
 

Search

Filter Publications

Display / Sort

Export / Embed