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.
5685 Publications
2009 | Journal Article | LibreCat-ID: 3200
@article{Ruhroth_Wehrheim_2009, title={Static Class Elements for Object-Z}, DOI={10.1016/j.entcs.2009.12.025}, journal={Electr. Notes Theor. Comput. Sci.}, author={Ruhroth, Thomas and Wehrheim, Heike}, year={2009}, pages={193--205} }
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 3201
@inproceedings{Ruhroth_Voigt_Wehrheim_2009, title={Measure, Diagnose, Refactor: {A} Formal Quality Cycle for Software Models}, DOI={10.1109/SEAA.2009.39}, booktitle={35th Euromicro Conference on Software Engineering and Advanced Applications, {SEAA} 2009, Patras, Greece, August 27-29, 2009, Proceedings}, author={Ruhroth, Thomas and Voigt, Hendrik and Wehrheim, Heike}, year={2009}, pages={360--367} }
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 | Bachelorsthesis | LibreCat-ID: 2880
@book{Schröer_2009, title={Hierarchisches Clustering mit minimalen Cluster-Durchmessern}, author={Schröer, Carsten}, year={2009} }
LibreCat
| Files available
2009 | Bachelorsthesis | LibreCat-ID: 2896 | 
@book{Liske_2009, title={Analyse und Evaluation eines identitätsbasierten Signcryption-Verfahrens}, author={Liske, Gennadij}, year={2009} }
LibreCat
| Files available
2009 | Mastersthesis | LibreCat-ID: 2904
@book{Scholz_2009, title={Die Schwierigkeit des k-Median Clusterings für Bregman-Divergenzen}, author={Scholz, Christoph}, year={2009} }
LibreCat
| Files available
2009 | Dissertation | LibreCat-ID: 2911
@book{Ackermann_2009, title={Algorithms for the Bregman k-Median Problem}, publisher={Universität Paderborn}, author={Ackermann, Marcel Rudolf}, year={2009} }
LibreCat
| Download (ext.)
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 | Book Chapter | LibreCat-ID: 2995
@inbook{Ackermann_Blömer_2009, place={Philadelphia, PA}, title={Coresets and Approximate Clustering for Bregman Divergences}, DOI={10.1137/1.9781611973068.118}, booktitle={Proceedings of the Twentieth Annual ACM-SIAM Symposium on Discrete Algorithms}, publisher={Society for Industrial and Applied Mathematics}, author={Ackermann, Marcel R. and Blömer, Johannes}, year={2009}, pages={1088–1097} }
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 Paper | LibreCat-ID: 3142
@inproceedings{Jager_Schwenk_2009, title={On the Analysis of Cryptographic Assumptions in the Generic Ring Model}, DOI={10.1007/978-3-642-10366-7_24}, booktitle={Advances in Cryptology - ASIACRYPT 2009, 15th International Conference on the Theory and Application of Cryptology and Information Security, Tokyo, Japan, December 6-10, 2009. Proceedings}, author={Jager, Tibor and Schwenk, Jörg}, year={2009}, pages={399--416} }
LibreCat
| DOI
2009 | Dissertation | LibreCat-ID: 20937
@book{Meyer_2009, title={Musterbasiertes Re-Engineering von Softwaresystemen}, publisher={Universitaetsbibliothek Paderborn}, author={Meyer, Matthias}, year={2009} }
LibreCat
| Download (ext.)
2009 | Journal Article | LibreCat-ID: 17453
@article{Meyer auf der Heide_Rammig_2009, title={Self-Organisation and Self-Optimization}, volume={04}, journal={Public Service Review: Science and Technology}, author={Meyer auf der Heide, Friedhelm and Rammig, Franz-Josef}, year={2009} }
LibreCat
2009 | Journal Article | LibreCat-ID: 19031
@article{Briest_2009, title={Algorithmische und komplexitätstheoretische Aspekte kombinatorischer Preisoptimierung (Computational Aspects of Combinatorial Pricing Problems)}, volume={51}, DOI={10.1524/itit.2009.0524}, number={1}, journal={it - Information Technology}, author={Briest, Patrick}, year={2009}, pages={62–65} }
LibreCat
| DOI
2009 | Journal Article | LibreCat-ID: 1925
@article{D. Kleinberg_Scheideler_2009, title={Foreword}, DOI={10.1007/s00224-009-9202-x}, number={2}, journal={Theory Comput. Syst.}, author={D. Kleinberg, Robert and Scheideler, Christian}, year={2009}, pages={187} }
LibreCat
| DOI
2009 | Journal Article | LibreCat-ID: 1927
@article{Awerbuch_Scheideler_2009, title={Towards a Scalable and Robust DHT}, DOI={10.1007/s00224-008-9099-9}, number={2}, journal={Theory Comput. Syst.}, author={Awerbuch, Baruch and Scheideler, Christian}, year={2009}, pages={234--260} }
LibreCat
| DOI
2009 | Journal Article | LibreCat-ID: 1928
@article{Awerbuch_Scheideler_2009, title={Robust random number generation for peer-to-peer systems}, DOI={10.1016/j.tcs.2008.10.003}, number={6–7}, journal={Theor. Comput. Sci.}, author={Awerbuch, Baruch and Scheideler, Christian}, year={2009}, pages={453--466} }
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 1929
@inproceedings{Scheideler_Schmid_2009, series={Lecture Notes in Computer Science}, title={A Distributed and Oblivious Heap}, volume={5556}, DOI={10.1007/978-3-642-02930-1_47}, booktitle={Automata, Languages and Programming, 36th Internatilonal Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part II}, publisher={Springer}, author={Scheideler, Christian and Schmid, Stefan}, year={2009}, pages={571--582}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 1930 |
@inproceedings{Jacob_Ritscher_Scheideler_Schmid_2009, series={Lecture Notes in Computer Science}, title={A Self-stabilizing and Local Delaunay Graph Construction}, volume={5878}, DOI={10.1007/978-3-642-10631-6_78}, booktitle={Algorithms and Computation, 20th International Symposium, ISAAC 2009, Honolulu, Hawaii, USA, December 16-18, 2009. Proceedings}, publisher={Springer}, author={Jacob, Riko and Ritscher, Stephan and Scheideler, Christian and Schmid, Stefan}, year={2009}, pages={771--780}, collection={Lecture Notes in Computer Science} }
LibreCat
| Files available
| DOI