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.
623 Publications
2010 | Conference Paper | LibreCat-ID: 3196
Dräger, K., Kupriyanov, A., Finkbeiner, B., & Wehrheim, H. (2010). {SLAB:} {A} Certifying Model Checker for Infinite-State Concurrent Systems. In J. Esparza & R. Majumdar (Eds.), Tools and Algorithms for the Construction and Analysis of Systems, 16th International Conference, {TACAS} 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings (pp. 271--274). https://doi.org/10.1007/978-3-642-12002-2_22
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 808
Andree, M., Gebel, A., & Karl, H. (2010). Concept and Prototype for a Real-Time Enabled Publish/Subscribe System. In 10th IEEE International Conference on Computer and Information Technology, CIT 2010, Bradford, West Yorkshire, UK, June 29-July 1, 2010 (pp. 737--742). https://doi.org/10.1109/CIT.2010.142
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 810
S. Lichte, H., Frey, H., & Karl, H. (2010). Fading-resistant low-latency broadcasts in wireless multihop networks: the probabilistic cooperation diversity approach. In Proceedings of the 11th ACM Interational Symposium on Mobile Ad Hoc Networking and Computing, MobiHoc 2010, Chicago, IL, USA, September 20-24, 2010 (pp. 101--110). https://doi.org/10.1145/1860093.1860108
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 811
Biermann, T., Dannewitz, C., & Karl, H. (2010). FIT: Future Internet Toolbox. In Testbeds and Research Infrastructures. Development of Networks and Communities - 6th International ICST Conference, TridentCom 2010, Berlin, Germany, May 18-20, 2010, Revised Selected Papers (pp. 442--453). https://doi.org/10.1007/978-3-642-17851-1_34
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 812
Dannewitz, C., Biermann, T., Dräxler, M., Beister, F., & Karl, H. (2010). Prototyping with the Future Internet Toolbox. In Testbeds and Research Infrastructures. Development of Networks and Communities - 6th International ICST Conference, TridentCom 2010, Berlin, Germany, May 18-20, 2010, Revised Selected Papers (pp. 609--611). https://doi.org/10.1007/978-3-642-17851-1_56
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 4200
Zdravkov, V. I., Kehrle, J., Obermeier, G., Gsell, S., Schreck, M., Müller, C., … Tagirov, L. R. (2010). Reentrant superconductivity in superconductor/ferromagnetic-alloy bilayers. Physical Review B, 82(5). https://doi.org/10.1103/physrevb.82.054517
LibreCat
| Files available
| DOI
2010 | Conference Paper | LibreCat-ID: 5643 | 
Schryen, G. (2010). An Analysis of Literature Reviews on IS Business Value: How Deficiencies in Methodology and Theory Use Resulted in Limited Effectiveness. In Proceedings of the First Scandinavian Conference on Information Systems (SCIS).
LibreCat
| Files available
2010 | Conference Paper | LibreCat-ID: 6808
Bendfeld, J., Splett, M., Krieger, J., Kobialka, H.-U., & Schulz, V. (2010). Operation management of offshore wind farms by echo state networks. In 2010 European Wind Energy Conference and Exhibition (EWEC), April 20-23, 2010, Warsaw, Poland.
LibreCat
2010 | Conference Paper | LibreCat-ID: 6815
Bendfeld, J., Krieger, J., & Splett, M. (2010). Energy feed characteristics of offshore wind farms – a modeled analysis of single and clustered farms. In Proceedings of the European Wind Energy Conference & Exhibition (EWEC 2010).
LibreCat
2010 | Conference Paper | LibreCat-ID: 6816
Bendfeld, J., Krieger, J., & Splett, M. (2010). Reducing the offshore wind farm feed-in fluctuations by fast reacting biogas plants . In Proceedings of the European Wind Energy Conference & Exhibition (EWEC 2010).
LibreCat
2010 | Conference Paper | LibreCat-ID: 6817
Bendfeld, J., Krieger, J., & Splett, M. (2010). Measurements for wave and current modeling regarding offshore-windfarms . In Proceedings of the European Wind Energy Conference & Exhibition (EWEC 2010).
LibreCat
2010 | Conference Paper | LibreCat-ID: 6818
Bendfeld, J., Krieger, J., & Splett, M. (2010). Advanced,multipurpose offshore-metmast . In Proceedings of the European Wind Energy Conference & Exhibition (EWEC 2010).
LibreCat
2010 | Conference Paper | LibreCat-ID: 6819
Bendfeld, J., Krieger, J., & Splett, M. (2010). Variations of pricing at energy markets caused by energyfeed of offshore wind farms. In Proceedings of the European Wind Energy Conference & Exhibition (EWEC 2010).
LibreCat
2010 | Journal Article | LibreCat-ID: 31921
Albers, T. (2010). Der Kindergarten als Sprachlernort: Pragmatisch - kommunikative Aspekte des Spracherwerbs in Kindertageseinrichtungen. Kongressbeitrag zum 29. Kongress der Deutschen Gesellschaft für Sprachheilpädagogik. Disziplinen im Dialog, 59–64.
LibreCat
2010 | Journal Article | LibreCat-ID: 35254
Laubenstein, D., & Heger, M. (2010). Integration auf den allgemeinen Arbeitsmarkt bei geistiger Behinderung: Utopie oder Perspektive. In: Lernen Konkret, 29. Jahrgang, Nr. 2, 29–31.
LibreCat
2010 | Journal Article | LibreCat-ID: 4123
Piegdon, K. A., Offer, M., Lorke, A., Urbanski, M., Hoischen, A., Kitzerow, H.-S., Declair, S., Förstner, J., Meier, T., Reuter, D., Wieck, A. D., & Meier, C. (2010). Self-assembled quantum dots in a liquid-crystal-tunable microdisk resonator. Physica E: Low-Dimensional Systems and Nanostructures, 42(10), 2552–2555. https://doi.org/10.1016/j.physe.2009.12.051
LibreCat
| Files available
| DOI
2010 | Journal Article | LibreCat-ID: 45774
Osmany, S. A., Herzel, F., & Scheytt, J. C. (2010). An integrated 0.6–4.6 GHz, 5–7 GHz, 10–14 GHz, and 20–28 GHz frequency synthesizer for software-defined radio applications. IEEE Journal of Solid-State Circuits, 45(9), 1657–1668. https://doi.org/10.1109/JSSC.2010.2051476
LibreCat
| DOI
2010 | Book | LibreCat-ID: 29818
Hartung, O. (2010). Kleine deutsche Museumsgeschichte: von der Aufklärung bis zum frühen 20. Jahrhundert (1st ed.). Böhlau.
LibreCat
2009 | Book Review | LibreCat-ID: 19506
Eke, N. O. (2009). Melanie Hong: Gewalt und Theatralität in Dramen des 17. und des späten 20. Jahrhunderts. Untersuchungen zu Bidermann, Gryphius, Weise, Lohenstein, Fichte, Dorst, Müller und Tabori. Würzburg: Königshausen & Neumann, 2008. Germanistik.
LibreCat
2009 | Conference Paper | LibreCat-ID: 3201
Ruhroth, T., Voigt, H., & Wehrheim, H. (2009). Measure, Diagnose, Refactor: {A} Formal Quality Cycle for Software Models. In 35th Euromicro Conference on Software Engineering and Advanced Applications, {SEAA} 2009, Patras, Greece, August 27-29, 2009, Proceedings (pp. 360--367). https://doi.org/10.1109/SEAA.2009.39
LibreCat
| DOI