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.
9305 Publications
2009 | Journal Article | LibreCat-ID: 3200
Static Class Elements for Object-Z
T. Ruhroth, H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2009) 193--205.
LibreCat
| DOI
T. Ruhroth, H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2009) 193--205.
2009 | Conference Paper | LibreCat-ID: 3201
Measure, Diagnose, Refactor: {A} Formal Quality Cycle for Software Models
T. Ruhroth, H. Voigt, H. Wehrheim, in: 35th Euromicro Conference on Software Engineering and Advanced Applications, {SEAA} 2009, Patras, Greece, August 27-29, 2009, Proceedings, 2009, pp. 360--367.
LibreCat
| DOI
T. Ruhroth, H. Voigt, H. Wehrheim, in: 35th Euromicro Conference on Software Engineering and Advanced Applications, {SEAA} 2009, Patras, Greece, August 27-29, 2009, Proceedings, 2009, pp. 360--367.
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
M. Leuschel, H. Wehrheim, eds., Integrated Formal Methods, 7th International Conference, {IFM} 2009, D{\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings, 2009.
2009 | Conference Paper | LibreCat-ID: 3476
Design Requirements to Support Information Flows for Providing Customer Solutions: A Case Study in the Mechanical Engineering Sector
J. Becker, D. Beverungen, M. Matzner, O. Müller, in: R. Alt, K.-P. Fähnrich, B. Franczyk (Eds.), Proceedings of the First International Symposium on Services Science (ISSS’09), Berlin, 2009, pp. 75--85.
LibreCat
J. Becker, D. Beverungen, M. Matzner, O. Müller, in: R. Alt, K.-P. Fähnrich, B. Franczyk (Eds.), Proceedings of the First International Symposium on Services Science (ISSS’09), Berlin, 2009, pp. 75--85.
2009 | Bachelorsthesis | LibreCat-ID: 2880
Hierarchisches Clustering mit minimalen Cluster-Durchmessern
C. Schröer, Hierarchisches Clustering Mit Minimalen Cluster-Durchmessern, 2009.
LibreCat
| Files available
C. Schröer, Hierarchisches Clustering Mit Minimalen Cluster-Durchmessern, 2009.
2009 | Bachelorsthesis | LibreCat-ID: 2896 | 
Analyse und Evaluation eines identitätsbasierten Signcryption-Verfahrens
G. Liske, Analyse Und Evaluation Eines Identitätsbasierten Signcryption-Verfahrens, 2009.
LibreCat
| Files available
G. Liske, Analyse Und Evaluation Eines Identitätsbasierten Signcryption-Verfahrens, 2009.
2009 | Mastersthesis | LibreCat-ID: 2904
Die Schwierigkeit des k-Median Clusterings für Bregman-Divergenzen
C. Scholz, Die Schwierigkeit Des K-Median Clusterings Für Bregman-Divergenzen, 2009.
LibreCat
| Files available
C. Scholz, Die Schwierigkeit Des K-Median Clusterings Für Bregman-Divergenzen, 2009.
2009 | Dissertation | LibreCat-ID: 2911
Algorithms for the Bregman k-Median Problem
M.R. Ackermann, Algorithms for the Bregman K-Median Problem, Universität Paderborn, 2009.
LibreCat
| Download (ext.)
M.R. Ackermann, Algorithms for the Bregman K-Median Problem, Universität Paderborn, 2009.
2009 | Book Chapter | LibreCat-ID: 2920
Reinforcement Learning for Blackjack
S. Kakvi, in: Lecture Notes in Computer Science, Springer Berlin Heidelberg, Berlin, Heidelberg, 2009, pp. 300–301.
LibreCat
| DOI
S. Kakvi, in: Lecture Notes in Computer Science, Springer Berlin Heidelberg, Berlin, Heidelberg, 2009, pp. 300–301.
2009 | Book Chapter | LibreCat-ID: 2995
Coresets and Approximate Clustering for Bregman Divergences
M.R. Ackermann, J. Blömer, in: Proceedings of the Twentieth Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, Philadelphia, PA, 2009, pp. 1088–1097.
LibreCat
| DOI
M.R. Ackermann, J. Blömer, in: Proceedings of the Twentieth Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, Philadelphia, PA, 2009, pp. 1088–1097.
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
J. Schrieb, H. Wehrheim, D. Wonisch, in: FM 2009: Formal Methods, Springer Berlin Heidelberg, Berlin, Heidelberg, 2009, pp. 106–122.
2009 | Conference Paper | LibreCat-ID: 3142
On the Analysis of Cryptographic Assumptions in the Generic Ring Model
T. Jager, J. Schwenk, in: 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, 2009, pp. 399--416.
LibreCat
| DOI
T. Jager, J. Schwenk, in: 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, 2009, pp. 399--416.
2009 | Journal Article | LibreCat-ID: 27132
Relative validity of a self-completion 24 h recall questionnaire to assess beverage consumption among schoolchildren aged 7 to 9 years
R. Muckelbauer, L. Libuda, M. Kersting, Public Health Nutrition (2009) 187–195.
LibreCat
| DOI
R. Muckelbauer, L. Libuda, M. Kersting, Public Health Nutrition (2009) 187–195.
2009 | Conference Paper | LibreCat-ID: 1114
Business Specific Online Information Extraction from German Websites
Y.S. Lee, M. Geierhos, in: R. Aly, C. Hauff, D. Hiemstra, T.W.C. Huibers, F.M.G. de Jong (Eds.), Proceedings of the 9th Dutch-Belgian Information Retrieval Workshop, Centre for Telematics and Information Technology (CTIT), University of Twente, Enschede, The Netherlands, 2009, pp. 79–86.
LibreCat
Y.S. Lee, M. Geierhos, in: R. Aly, C. Hauff, D. Hiemstra, T.W.C. Huibers, F.M.G. de Jong (Eds.), Proceedings of the 9th Dutch-Belgian Information Retrieval Workshop, Centre for Telematics and Information Technology (CTIT), University of Twente, Enschede, The Netherlands, 2009, pp. 79–86.
2009 | Conference Paper | LibreCat-ID: 1115
Key Expression driven Record Mining for Event Calendar Search
Y.S. Lee, M. Geierhos, in: KDML’09 Tagungsband. Workshop-Woche: Lernen - Wissen - Adaptivität. LWA 2009. 21.-23.09.2009, Darmstadt, Germany, 2009, pp. 68–71.
LibreCat
Y.S. Lee, M. Geierhos, in: KDML’09 Tagungsband. Workshop-Woche: Lernen - Wissen - Adaptivität. LWA 2009. 21.-23.09.2009, Darmstadt, Germany, 2009, pp. 68–71.
2009 | Book Chapter | LibreCat-ID: 1116
Business Specific Online Information Extraction from German Websites
Y.S. Lee, M. Geierhos, in: A. Gelbukh (Ed.), Computational Linguistics and Intelligent Text Processing: 5th International Conference, CICLing 2004, Seoul, Korea, February 15-21, 2004, Proceedings, Springer, Berlin, Germany, 2009, pp. 369–381.
LibreCat
| DOI
Y.S. Lee, M. Geierhos, in: A. Gelbukh (Ed.), Computational Linguistics and Intelligent Text Processing: 5th International Conference, CICLing 2004, Seoul, Korea, February 15-21, 2004, Proceedings, Springer, Berlin, Germany, 2009, pp. 369–381.
2009 | Dissertation | LibreCat-ID: 20937
Musterbasiertes Re-Engineering von Softwaresystemen
M. Meyer, Musterbasiertes Re-Engineering von Softwaresystemen, Universitaetsbibliothek Paderborn, 2009.
LibreCat
| Download (ext.)
M. Meyer, Musterbasiertes Re-Engineering von Softwaresystemen, Universitaetsbibliothek Paderborn, 2009.
2009 | Journal Article | LibreCat-ID: 17453
Self-Organisation and Self-Optimization
F. Meyer auf der Heide, F.-J. Rammig, Public Service Review: Science and Technology 04 (2009).
LibreCat
F. Meyer auf der Heide, F.-J. Rammig, Public Service Review: Science and Technology 04 (2009).
2009 | Book Chapter | LibreCat-ID: 17710
Guest-editor des Focus On "Corpus Linguistics - Methods and Approaches"
I. Mindt, in: Anglistik. International Journal of English Studies, 20:1, 2009.
LibreCat
I. Mindt, in: Anglistik. International Journal of English Studies, 20:1, 2009.
2009 | Journal Article | LibreCat-ID: 17770
Corpus-based and corpus-driven approaches: An investigation of the verb do
I. Mindt, Anglistik. International Journal of English Studies 20:1 (2009) 69–88.
LibreCat
I. Mindt, Anglistik. International Journal of English Studies 20:1 (2009) 69–88.