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
@inproceedings{Dräger_Kupriyanov_Finkbeiner_Wehrheim_2010, series={Lecture Notes in Computer Science}, title={{SLAB:} {A} Certifying Model Checker for Infinite-State Concurrent Systems}, DOI={10.1007/978-3-642-12002-2_22}, booktitle={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}, author={Dräger, Klaus and Kupriyanov, Andrey and Finkbeiner, Bernd and Wehrheim, Heike}, editor={Esparza, Javier and Majumdar, RupakEditors}, year={2010}, pages={271--274}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 808
@inproceedings{Andree_Gebel_Karl_2010, title={Concept and Prototype for a Real-Time Enabled Publish/Subscribe System}, DOI={10.1109/CIT.2010.142}, booktitle={10th IEEE International Conference on Computer and Information Technology, CIT 2010, Bradford, West Yorkshire, UK, June 29-July 1, 2010}, author={Andree, Matthias and Gebel, Alexander and Karl, Holger}, year={2010}, pages={737--742} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 810
@inproceedings{S. Lichte_Frey_Karl_2010, title={Fading-resistant low-latency broadcasts in wireless multihop networks: the probabilistic cooperation diversity approach}, DOI={10.1145/1860093.1860108}, booktitle={Proceedings of the 11th ACM Interational Symposium on Mobile Ad Hoc Networking and Computing, MobiHoc 2010, Chicago, IL, USA, September 20-24, 2010}, author={S. Lichte, Hermann and Frey, Hannes and Karl, Holger}, year={2010}, pages={101--110} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 811
@inproceedings{Biermann_Dannewitz_Karl_2010, title={FIT: Future Internet Toolbox}, DOI={10.1007/978-3-642-17851-1_34}, booktitle={Testbeds and Research Infrastructures. Development of Networks and Communities - 6th International ICST Conference, TridentCom 2010, Berlin, Germany, May 18-20, 2010, Revised Selected Papers}, author={Biermann, Thorsten and Dannewitz, Christian and Karl, Holger}, year={2010}, pages={442--453} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 812
@inproceedings{Dannewitz_Biermann_Dräxler_Beister_Karl_2010, title={Prototyping with the Future Internet Toolbox}, DOI={10.1007/978-3-642-17851-1_56}, booktitle={Testbeds and Research Infrastructures. Development of Networks and Communities - 6th International ICST Conference, TridentCom 2010, Berlin, Germany, May 18-20, 2010, Revised Selected Papers}, author={Dannewitz, Christian and Biermann, Thorsten and Dräxler, Martin and Beister, Frederic and Karl, Holger}, year={2010}, pages={609--611} }
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 4200
@article{Zdravkov_Kehrle_Obermeier_Gsell_Schreck_Müller_Krug von Nidda_Lindner_Moosburger-Will_Nold_et al._2010, title={Reentrant superconductivity in superconductor/ferromagnetic-alloy bilayers}, volume={82}, DOI={10.1103/physrevb.82.054517}, number={5054517}, journal={Physical Review B}, publisher={American Physical Society (APS)}, author={Zdravkov, V. I. and Kehrle, J. and Obermeier, G. and Gsell, S. and Schreck, M. and Müller, C. and Krug von Nidda, H.-A. and Lindner, Jörg and Moosburger-Will, J. and Nold, E. and et al.}, year={2010} }
LibreCat
| Files available
| DOI
2010 | Conference Paper | LibreCat-ID: 5643 | 
@inproceedings{Schryen_2010, title={An Analysis of Literature Reviews on IS Business Value: How Deficiencies in Methodology and Theory Use Resulted in Limited Effectiveness}, booktitle={Proceedings of the First Scandinavian Conference on Information Systems (SCIS)}, author={Schryen, Guido}, year={2010} }
LibreCat
| Files available
2010 | Conference Paper | LibreCat-ID: 6808
@inproceedings{Bendfeld_Splett_Krieger_Kobialka_Schulz_2010, title={Operation management of offshore wind farms by echo state networks}, booktitle={2010 European Wind Energy Conference and Exhibition (EWEC), April 20-23, 2010, Warsaw, Poland}, author={Bendfeld, Jörg and Splett, Michael and Krieger, J. and Kobialka, Hans-Ulrich and Schulz, Viktor}, year={2010} }
LibreCat
2010 | Conference Paper | LibreCat-ID: 6815
@inproceedings{Bendfeld_Krieger_Splett_2010, title={Energy feed characteristics of offshore wind farms – a modeled analysis of single and clustered farms}, booktitle={Proceedings of the European Wind Energy Conference & Exhibition (EWEC 2010)}, author={Bendfeld, Jörg and Krieger, Jens and Splett, Michael}, year={2010} }
LibreCat
2010 | Conference Paper | LibreCat-ID: 6816
@inproceedings{Bendfeld_Krieger_Splett_2010, title={Reducing the offshore wind farm feed-in fluctuations by fast reacting biogas plants }, booktitle={Proceedings of the European Wind Energy Conference & Exhibition (EWEC 2010)}, author={Bendfeld, Jörg and Krieger, Jens and Splett, Michael}, year={2010} }
LibreCat
2010 | Conference Paper | LibreCat-ID: 6817
@inproceedings{Bendfeld_Krieger_Splett_2010, title={Measurements for wave and current modeling regarding offshore-windfarms }, booktitle={Proceedings of the European Wind Energy Conference & Exhibition (EWEC 2010)}, author={Bendfeld, Jörg and Krieger, Jens and Splett, Michael}, year={2010} }
LibreCat
2010 | Conference Paper | LibreCat-ID: 6818
@inproceedings{Bendfeld_Krieger_Splett_2010, title={Advanced,multipurpose offshore-metmast }, booktitle={Proceedings of the European Wind Energy Conference & Exhibition (EWEC 2010)}, author={Bendfeld, Jörg and Krieger, Jens and Splett, Michael}, year={2010} }
LibreCat
2010 | Conference Paper | LibreCat-ID: 6819
@inproceedings{Bendfeld_Krieger_Splett_2010, title={Variations of pricing at energy markets caused by energyfeed of offshore wind farms}, booktitle={Proceedings of the European Wind Energy Conference & Exhibition (EWEC 2010)}, author={Bendfeld, Jörg and Krieger, Jens and Splett, Michael}, year={2010} }
LibreCat
2010 | Journal Article | LibreCat-ID: 31921
@article{Albers_2010, title={Der Kindergarten als Sprachlernort: Pragmatisch - kommunikative Aspekte des Spracherwerbs in Kindertageseinrichtungen. Kongressbeitrag zum 29. Kongress der Deutschen Gesellschaft für Sprachheilpädagogik}, journal={Disziplinen im Dialog}, author={Albers, Timm}, year={2010}, pages={59–64} }
LibreCat
2010 | Journal Article | LibreCat-ID: 35254
@article{Laubenstein_Heger_2010, title={Integration auf den allgemeinen Arbeitsmarkt bei geistiger Behinderung: Utopie oder Perspektive}, journal={In: Lernen konkret, 29. Jahrgang, Nr. 2}, author={Laubenstein, Désirée and Heger, M.}, year={2010}, pages={29–31} }
LibreCat
2010 | Journal Article | LibreCat-ID: 4123
@article{Piegdon_Offer_Lorke_Urbanski_Hoischen_Kitzerow_Declair_Förstner_Meier_Reuter_et al._2010, title={Self-assembled quantum dots in a liquid-crystal-tunable microdisk resonator}, volume={42}, DOI={10.1016/j.physe.2009.12.051}, number={10}, journal={Physica E: Low-dimensional Systems and Nanostructures}, publisher={Elsevier BV}, author={Piegdon, Karoline A. and Offer, Matthias and Lorke, Axel and Urbanski, Martin and Hoischen, Andreas and Kitzerow, Heinz-Siegfried and Declair, Stefan and Förstner, Jens and Meier, Torsten and Reuter, Dirk and et al.}, year={2010}, pages={2552–2555} }
LibreCat
| Files available
| DOI
2010 | Journal Article | LibreCat-ID: 45774
@article{Osmany_Herzel_Scheytt_2010, title={An integrated 0.6–4.6 GHz, 5–7 GHz, 10–14 GHz, and 20–28 GHz frequency synthesizer for software-defined radio applications}, volume={45}, DOI={10.1109/JSSC.2010.2051476}, number={9}, journal={IEEE Journal of Solid-State Circuits}, author={Osmany, Sabbir A. and Herzel, Frank and Scheytt, J. Christoph}, year={2010}, pages={1657–1668} }
LibreCat
| DOI
2010 | Book | LibreCat-ID: 29818
@book{Hartung_2010, place={Köln u.a.}, edition={1}, title={Kleine deutsche Museumsgeschichte: von der Aufklärung bis zum frühen 20. Jahrhundert}, publisher={Böhlau}, author={Hartung, Olaf}, year={2010} }
LibreCat
2009 | Book Review | LibreCat-ID: 19506
@article{Eke_2009, title={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}, volume={50}, number={H. 3/4}, journal={Germanistik}, author={Eke, Norbert Otto}, year={2009}, pages={658} }
LibreCat
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