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.

9991 Publications

2009 | Book Chapter | LibreCat-ID: 2920
@inbook{Kakvi_2009, place={Berlin, Heidelberg}, title={Reinforcement Learning for Blackjack}, DOI={10.1007/978-3-642-04052-8_43}, booktitle={Lecture Notes in Computer Science}, publisher={Springer Berlin Heidelberg}, author={Kakvi, Saqib}, year={2009}, pages={300–301} }
LibreCat | DOI

2009 | Journal Article | LibreCat-ID: 2999
@article{Blömer_Naewe_2009, title={Sampling methods for shortest vectors, closest vectors and successive minima}, DOI={10.1016/j.tcs.2008.12.045}, number={18}, journal={Theoretical Computer Science}, author={Blömer, Johannes and Naewe, Stefanie}, year={2009}, pages={1648–1665} }
LibreCat | DOI

2009 | Book Chapter | LibreCat-ID: 3000
@inbook{Schrieb_Wehrheim_Wonisch_2009, place={Berlin, Heidelberg}, title={Three-Valued Spotlight Abstractions}, DOI={10.1007/978-3-642-05089-3_8}, booktitle={FM 2009: Formal Methods}, publisher={Springer Berlin Heidelberg}, author={Schrieb, Jonas and Wehrheim, Heike and Wonisch, Daniel}, year={2009}, pages={106–122} }
LibreCat | DOI

2009 | Conference Abstract | LibreCat-ID: 2785
@inproceedings{Kundisch_Klein_2009, title={An Evaluation Framework for Tracker Certificates during the Financial Crisis and beyond}, booktitle={International Federation of Classification Societies 2009 Conference}, author={Kundisch, Dennis and Klein, C.}, year={2009} }

2009 | Book (Editor) | LibreCat-ID: 2792
@book{Kundisch_Veit_Weitzel_Weinhardt_2009, place={Heidelberg}, series={Lecture Notes in Business Information Processing (LN BIP)}, title={Proceedings of the 4th International Workshop on Enterprise Applications and Services in the Finance Industry}, volume={23}, publisher={Springer}, year={2009}, collection={Lecture Notes in Business Information Processing (LN BIP)} }

2009 | Conference Paper | LibreCat-ID: 4180
@inproceedings{Grodecka_Machnikowski_Förstner_2009, title={Indirect Dephasing Channel for Optically Controlled Spin in a Single Quantum Dot}, DOI={10.1364/nlo.2009.nma1}, number={NMA1}, booktitle={Advances in Optical Sciences Congress}, publisher={OSA Technical Digest (CD) (Optical Society of America, 2009)}, author={Grodecka, Anna and Machnikowski, Pawel and Förstner, Jens}, year={2009} }
LibreCat | DOI

2009 | Journal Article | LibreCat-ID: 4192
@article{Häberlen_Gerlach_Murphy_Lindner_Stritzker_2009, title={Structural characterization of cubic and hexagonal GaN thin films grown by IBA–MBE on SiC/Si}, volume={312}, DOI={10.1016/j.jcrysgro.2009.12.048}, number={6}, journal={Journal of Crystal Growth}, publisher={Elsevier BV}, author={Häberlen, M. and Gerlach, J.W. and Murphy, B. and Lindner, Jörg and Stritzker, B.}, year={2009}, pages={762–769} }
LibreCat | Files available | DOI

2009 | Conference Paper | LibreCat-ID: 3473
@inproceedings{Becker_Beverungen_Blinn_Knackstedt_Nüttgens_Thomas_Fellmann_2009, place={Budapest, Hungary}, title={Productivity management for customer solutions --- Towards a performance management system for efficient service value networks}, booktitle={29th International RESER Conference}, author={Becker, Jörg and Beverungen, Daniel and Blinn, Nadine and Knackstedt, Ralf and Nüttgens, Markus and Thomas, Oliver and Fellmann, Michael}, year={2009} }

2009 | Journal Article | LibreCat-ID: 3199
@article{Wehrheim_Wonisch_2009, title={Compositional {CSP} Traces Refinement Checking}, DOI={10.1016/j.entcs.2009.08.022}, number={2}, journal={Electr. Notes Theor. Comput. Sci.}, author={Wehrheim, Heike and Wonisch, Daniel}, year={2009}, pages={135--151} }
LibreCat | DOI

2009 | Conference (Editor) | LibreCat-ID: 3202
@book{Leuschel_Wehrheim_2009, series={Lecture Notes in Computer Science}, title={Integrated Formal Methods, 7th International Conference, {IFM} 2009, D{\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings}, DOI={10.1007/978-3-642-00255-7}, year={2009}, collection={Lecture Notes in Computer Science} }
LibreCat | DOI

Filters and Search Terms



Filter Publications

Display / Sort

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

Export / Embed