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.

8693 Publications


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

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)} }
LibreCat
 

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

2009 | Conference Paper | LibreCat-ID: 1011
@inproceedings{Volkhausen_Woldegebreal_Karl_2009, title={Improving network coded cooperation by soft information}, booktitle={Sensor, Mesh and Ad Hoc Communications and Networks Workshops, 2009. SECON Workshops’ 09. 6th Annual IEEE Communications Society Conference on}, author={Volkhausen, Tobias and Woldegebreal, Dereje H and Karl, Holger}, year={2009}, pages={1--6} }
LibreCat | Download (ext.)
 

2009 | Journal Article | LibreCat-ID: 1674
@article{Krimphove_2009, title={Kompensation der „Banken-Krise“ durch das Anlageberatungsrecht}, number={Heft 6}, journal={Finanz Betrieb }, author={Krimphove, Dieter}, year={2009}, pages={324 ff.} }
LibreCat
 

2009 | Conference Paper | LibreCat-ID: 1833
@inproceedings{Ahlgren_Vercellone_D’Ambrosio_Marchisio_Marsh_Dannewitz_Ohlman_Pentikousis_Strandberg_Rembarz_2009, title={Design considerations for a network of information}, DOI={10.1145/1544012.1544078}, booktitle={Proceedings of the 2008 ACM CoNEXT Conference on - CONEXT ’08}, publisher={ACM Press}, author={Ahlgren, Bengt and Vercellone, Vinicio and D’Ambrosio, Matteo and Marchisio, Marco and Marsh, Ian and Dannewitz, Christian and Ohlman, Börje and Pentikousis, Kostas and Strandberg, Ove and Rembarz, René}, year={2009} }
LibreCat | DOI
 

Search

Filter Publications

Display / Sort

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

Export / Embed