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.
1206 Publications
2010 | Conference Paper | LibreCat-ID: 37043
@inproceedings{Bol_Müller_Krupp_2010, place={Dresden}, title={Eine strukturierte Methode zur Generierung von SystemVerilog-Testumgebungen aus textuellen Anforderungsbeschreibungen}, booktitle={Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)}, author={Bol, Alexander and Müller, Wolfgang and Krupp, Alexander}, year={2010} }
LibreCat
2010 | Conference Paper | LibreCat-ID: 37050
@inproceedings{Müller_He_Mischkalla_Wegele_Larkham_Whiston_Penil_Villar_Mitas_Kritharidis_et al._2010, series={Lecture Notes in Electrical Engineering}, title={The SATURN Approach to SysML-based HW/SW Codesign}, DOI={10.1007/978-94-007-1488-5_9}, booktitle={Proceedings of the IEEE Computer Society Annual Symposium on VLSI}, author={Müller, Wolfgang and He, Da and Mischkalla, Fabian and Wegele, Arthur and Larkham, Adrian and Whiston, Paul and Penil, Pablo and Villar, Eugenio and Mitas, Nikolaos and Kritharidis, Dimitros and et al.}, year={2010}, collection={Lecture Notes in Electrical Engineering} }
LibreCat
| DOI
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