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. {SLAB:} {A} Certifying Model Checker for Infinite-State Concurrent Systems. In: Esparza J, Majumdar R, 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. Lecture Notes in Computer Science. ; 2010:271--274. doi:10.1007/978-3-642-12002-2_22
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 808
Andree M, Gebel A, Karl H. 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. ; 2010:737--742. doi:10.1109/CIT.2010.142
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 810
S. Lichte H, Frey H, Karl H. 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. ; 2010:101--110. doi:10.1145/1860093.1860108
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 811
Biermann T, Dannewitz C, Karl H. 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. ; 2010:442--453. doi: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. 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. ; 2010:609--611. doi:10.1007/978-3-642-17851-1_56
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 4200
Zdravkov VI, Kehrle J, Obermeier G, et al. Reentrant superconductivity in superconductor/ferromagnetic-alloy bilayers. Physical Review B. 2010;82(5). doi:10.1103/physrevb.82.054517
LibreCat
| Files available
| DOI
2010 | Conference Paper | LibreCat-ID: 5643 | 
Schryen G. 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). ; 2010.
LibreCat
| Files available
2010 | Conference Paper | LibreCat-ID: 6808
Bendfeld J, Splett M, Krieger J, Kobialka H-U, Schulz V. 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. ; 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 6815
Bendfeld J, Krieger J, Splett M. 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). ; 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 6816
Bendfeld J, Krieger J, Splett M. Reducing the offshore wind farm feed-in fluctuations by fast reacting biogas plants . In: Proceedings of the European Wind Energy Conference & Exhibition (EWEC 2010). ; 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 6817
Bendfeld J, Krieger J, Splett M. Measurements for wave and current modeling regarding offshore-windfarms . In: Proceedings of the European Wind Energy Conference & Exhibition (EWEC 2010). ; 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 6818
Bendfeld J, Krieger J, Splett M. Advanced,multipurpose offshore-metmast . In: Proceedings of the European Wind Energy Conference & Exhibition (EWEC 2010). ; 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 6819
Bendfeld J, Krieger J, Splett M. Variations of pricing at energy markets caused by energyfeed of offshore wind farms. In: Proceedings of the European Wind Energy Conference & Exhibition (EWEC 2010). ; 2010.
LibreCat
2010 | Journal Article | LibreCat-ID: 31921
Albers T. 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. Published online 2010:59–64.
LibreCat
2010 | Journal Article | LibreCat-ID: 35254
Laubenstein D, Heger M. Integration auf den allgemeinen Arbeitsmarkt bei geistiger Behinderung: Utopie oder Perspektive. In: Lernen konkret, 29 Jahrgang, Nr 2. Published online 2010:29-31.
LibreCat
2010 | Journal Article | LibreCat-ID: 4123
Piegdon KA, Offer M, Lorke A, et al. Self-assembled quantum dots in a liquid-crystal-tunable microdisk resonator. Physica E: Low-dimensional Systems and Nanostructures. 2010;42(10):2552-2555. doi:10.1016/j.physe.2009.12.051
LibreCat
| Files available
| DOI
2010 | Journal Article | LibreCat-ID: 45774
Osmany SA, Herzel F, Scheytt JC. 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. 2010;45(9):1657-1668. doi:10.1109/JSSC.2010.2051476
LibreCat
| DOI
2010 | Book | LibreCat-ID: 29818
Hartung O. Kleine deutsche Museumsgeschichte: von der Aufklärung bis zum frühen 20. Jahrhundert. 1st ed. Böhlau; 2010.
LibreCat
2009 | Book Review | LibreCat-ID: 19506
Eke NO. 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. 2009;50(H. 3/4):658.
LibreCat
2009 | Conference Paper | LibreCat-ID: 3201
Ruhroth T, Voigt H, Wehrheim H. 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. ; 2009:360--367. doi:10.1109/SEAA.2009.39
LibreCat
| DOI