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.
1265 Publications
2010 | Conference Paper | LibreCat-ID: 37048
@inproceedings{Müller_Bol_Krupp_Lundkvist_2010, place={Dordrecht}, title={Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems}, DOI={10.1007/978-3-642-15234-4_9}, publisher={Springer Verlag}, author={Müller, Wolfgang and Bol, Alexander and Krupp, Alexander and Lundkvist, Ola}, editor={Kleinjohann, L. and Kleinjohann, B.}, year={2010} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37049
@inproceedings{Xie_Letombe_Müller_2010, place={Dordrecht}, title={Mutation-Analysis Directed Constrained Random Verification}, publisher={Springer Verlag}, author={Xie, Tao and Letombe, Florian and Müller, Wolfgang}, editor={Kleinjohann, L. and Kleinjohann, B.}, year={2010} }
LibreCat
2010 | Conference Paper | LibreCat-ID: 37051
@inproceedings{Xie_Defo_Müller_2010, place={Paris}, title={An Eclipse-based Framework for the IP-XACT-enabled Assembly of Mixed-Level IPs}, author={Xie, Tao and Defo, Gilles B. and Müller, Wolfgang}, year={2010} }
LibreCat
2010 | Conference Paper | LibreCat-ID: 37057
@inproceedings{Defo_Müller_Kuznik_2010, place={ Trento, Italy}, title={Verification of a CAN Bus Model in SystemC with Functional Coverage}, DOI={10.1109/SIES.2010.5551379}, booktitle={Proceedings of SIES 2010}, publisher={IEEE}, author={Defo, Gilles B. and Müller, Wolfgang and Kuznik, Christoph}, year={2010} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37056
@inproceedings{Klobedanz_Defo_Müller_Kerstan_2010, place={Trento, Italien}, title={Distributed Coordination of Task Migration for Fault-Tolerant FlexRay Networks}, DOI={10.1109/SIES.2010.5551384}, booktitle={Proceedings of SIES 2010}, author={Klobedanz, Kay and Defo, Gilles B. and Müller, Wolfgang and Kerstan, Timo}, year={2010} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37053
@inproceedings{Müller_da S. Oliveira_Zabel_Becker_2010, title={Verification of Real-Time Properties for Hardware-Dependant Software}, booktitle={Proceedings of HLDVT2010}, publisher={IEEE}, author={Müller, Wolfgang and da S. Oliveira, Marcio F. and Zabel, Henning and Becker, Markus}, year={2010} }
LibreCat
2010 | Conference Paper | LibreCat-ID: 37060
@inproceedings{Oliveira_do Nascimento_Müller_2010, place={Antwerp, Belgium}, title={Design Space Abstraction and Metamodeling for Embedded Systems Design Space Exploration}, booktitle={Proceedings of MoMPES 2010}, author={Oliveira, Marcio F. S. and do Nascimento, Francisco Assis M. and Müller, Wolfgang}, year={2010} }
LibreCat
2010 | Book | LibreCat-ID: 37313
@book{Dahmen_2010, title={Evidenzbasierte Soziale Arbeit. Zur Rolle wissenschaftlichen Wissens für sozialarbeiterisches Handeln}, volume={17}, publisher={Schneider Verlag Hohengehren}, author={Dahmen, Stephan}, year={2010} }
LibreCat
2010 | Journal Article | LibreCat-ID: 27886
@article{Bigga_Schlegel-Matthies_2010, title={Verbraucherbildung und Konsum – Was wissen Studierende? – Überlegungen zur Hochschuldidaktik}, volume={87}, number={3}, journal={Haushalt & Bildung}, author={Bigga, Regine and Schlegel-Matthies, Kirsten}, year={2010}, pages={48–57} }
LibreCat
2010 | Book | LibreCat-ID: 31285
@book{Schuster_2010, place={Berlin, New York }, title={Auf dem Weg zur Fachsprache. Sprachliche Professionalisierung in der psychiatrischen Schreibpraxis (1800–1939) (Reihe Germanistische Linguistik, Habilitation) }, volume={286}, publisher={de Gruyter}, author={Schuster, Britt-Marie}, year={2010} }
LibreCat
2010 | Encyclopedia Article | LibreCat-ID: 37517 | 
@inbook{Weber_2010, place={Hamburg}, title={Technikwissenschaft / Technowissenschaft}, volume={3}, booktitle={Enzyklopädie Philosophie Bd. 3}, publisher={Felix Meiner Verlag}, author={Weber, Jutta}, editor={Sandkühler, Hans-Jörg}, year={2010}, pages={2717u–2721b} }
LibreCat
| Download (ext.)
2010 | Encyclopedia Article | LibreCat-ID: 37527
@inbook{Weber_2010, place={Hamburg}, title={Leben}, volume={2}, booktitle={Enzyklopädie Philosophie Bd. 2}, publisher={Felix Meiner Verlag}, author={Weber, Jutta}, editor={Sandkühler, Hans-Jörg}, year={2010}, pages={1377u–1382b} }
LibreCat
2010 | Book (Editor) | LibreCat-ID: 37566
@book{Weber_2010, place={Bielefeld}, title={Interdisziplinierung? Über den Wissenstransfer zwischen den Geistes-, Sozial- und Technowissenschaften}, publisher={transcript}, year={2010} }
LibreCat
2010 | Journal Article | LibreCat-ID: 22607
@article{Maxisch_Ebbert_Torun_Fink_de los Arcos de Pedro_Lackmann_Maier_Grundmeier_2010, title={PM-IRRAS studies of the adsorption and stability of organophosphonate monolayers on passivated NiTi surfaces}, DOI={10.1016/j.apsusc.2010.09.044}, journal={Applied Surface Science}, author={Maxisch, M. and Ebbert, C. and Torun, B. and Fink, N. and de los Arcos de Pedro, Maria Teresa and Lackmann, J. and Maier, H.J. and Grundmeier, G.}, year={2010}, pages={2011–2018} }
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 39742
@article{Zöller_Stich_Benning_Hoischen_Kitzerow_2010, title={Bold relief fabrication by means of electroconvection: basic properties of a suitable mixture}, volume={37}, DOI={10.1080/02678291003632603}, number={4}, journal={Liquid Crystals}, publisher={Informa UK Limited}, author={Zöller, M.A. and Stich, N. and Benning, S.A. and Hoischen, A. and Kitzerow, Heinz-Siegfried}, year={2010}, pages={383–388} }
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 39740
@article{Urbanski_Kinkead_Hegmann_Kitzerow_2010, title={Director field of birefringent stripes in liquid crystal/nanoparticle dispersions}, volume={37}, DOI={10.1080/02678292.2010.489160}, number={9}, journal={Liquid Crystals}, publisher={Informa UK Limited}, author={Urbanski, Martin and Kinkead, Brandy and Hegmann, Torsten and Kitzerow, Heinz-Siegfried}, year={2010}, pages={1151–1156} }
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 39741
@article{Kitzerow_2010, title={Blue Phases: Prior Art, Potential Polar Effects, Challenges}, volume={395}, DOI={10.1080/00150191003683807}, number={1}, journal={Ferroelectrics}, publisher={Informa UK Limited}, author={Kitzerow, Heinz-Siegfried}, year={2010}, pages={66–85} }
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 39974
@article{Kitzerow_2010, title={Tunable photonic crystals}, volume={11}, DOI={10.1080/1464518021000069229}, number={4}, journal={Liquid Crystals Today}, publisher={Informa UK Limited}, author={Kitzerow, Heinz-Siegfried}, year={2010}, pages={3–7} }
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 39972
@article{Kitzerow_2010, title={33. Arbeitstagung Flüssigkristalle}, volume={53}, DOI={10.1002/nadc.20050530635}, number={6}, journal={Nachrichten aus der Chemie}, publisher={Wiley}, author={Kitzerow, Heinz-Siegfried}, year={2010}, pages={678–679} }
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 38484
@article{Pfau_Noé_2010, title={Phase-Noise-Tolerant Two-Stage Carrier Recovery Concept for Higher Order QAM Formats}, volume={16}, DOI={10.1109/JSTQE.2009.2034472}, number={5}, journal={IEEE JOURNAL OF SELECTED TOPICS IN QUANTUM ELECTRONICS}, author={Pfau, Timo and Noé, Reinhold}, year={2010}, pages={1210–1216} }
LibreCat
| DOI