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.
9334 Publications
2005 | Conference Paper | LibreCat-ID: 13621
@inproceedings{Danne_Platzner_2005, title={Periodic real-time scheduling for FPGA computers}, DOI={10.1109/wises.2005.1438720}, booktitle={Proceedings of the Third International Workshop on Intelligent Solutions in Embedded Systems (WISES)}, author={Danne, Klaus and Platzner, Marco}, year={2005} }
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 13622
@inproceedings{Danne_Platzner_2005, title={Memory-demanding Periodic Real-time Applications on FPGA Computers}, booktitle={Work-in-Progress Proceedings of the 17th Euromicro Conference on Real-time Systems (ECRTS)}, author={Danne, Klaus and Platzner, Marco}, year={2005} }
LibreCat
2005 | Conference Paper | LibreCat-ID: 13623
@inproceedings{Danne_Platzner_2005, title={A heuristic approach to schedule periodic real-time tasks on reconfigurable hardware}, DOI={10.1109/fpl.2005.1515787}, booktitle={Proceedings of the 15th International Conference on Field Programmable Logic and Applications (FPL)}, publisher={IEEE CS Press}, author={Danne, Klaus and Platzner, Marco}, year={2005} }
LibreCat
| DOI
2005 | Journal Article | LibreCat-ID: 1378
@article{Gross_Valentin_Karl_Wolisz_2005, title={A study of impact of inband signalling and realistic channel knowledge for an example dynamic OFDM-FDMA system}, volume={16}, DOI={10.1002/ett.1030}, number={1}, journal={European Transactions on Telecommunications}, publisher={Wiley-Blackwell}, author={Gross, James and Valentin, Stefan and Karl, Holger and Wolisz, Adam}, year={2005}, pages={37–49} }
LibreCat
| DOI
2005 | Book Chapter | LibreCat-ID: 17563
@inbook{Peckhaus_2005, place={London/ New York}, title={Calculus Ratiocinator vs. Characteristica Universalis? The Two Traditions in Logic, Revisted (Wiederabdruck)}, booktitle={Gottlob Frege. Critical Assessments of Leading Philosophers, Bd. 1: Frege’s Philosophy in Context}, publisher={Routledge}, author={Peckhaus, Volker}, editor={Beaney, Michael and Reck, Erich H.}, year={2005}, pages={176–190} }
LibreCat
2005 | Book Review | LibreCat-ID: 32352
@article{Ptashnyk_2005, place={Berlin, New York }, title={„Scharloth, Joachim: Sprachnormen und Mentalitäten : Sprachbewusstseinsgeschichte in Deutschland im Zeitraum von 1766 – 1785 : Niemeyer, 2005.“ }, volume={1}, journal={Zeitschrift für Rezensionen zur germanistischen Sprachwissenschaft, Heft 1/2009}, publisher={de Gruyter}, author={Ptashnyk, Stefaniya}, year={2005}, pages={98–106} }
LibreCat
2005 | Book Chapter | LibreCat-ID: 34941
@inbook{Dürr_Engel_Süßmann_2005, place={Berlin}, series={Zeitschrift für historische Forschung. Beiheft}, title={Einführung}, volume={34}, booktitle={Expansionen in der Frühen Neuzeit}, publisher={Duncker & Humblot}, author={Dürr, Renate and Engel, Gisela and Süßmann, Johannes}, editor={Dürr, Renate and Engel, Gisela and Süßmann, Johannes}, year={2005}, pages={7–24}, collection={Zeitschrift für historische Forschung. Beiheft} }
LibreCat
2005 | Conference (Editor) | LibreCat-ID: 34934
@book{Dürr_Engel_Süßmann_2005, place={Berlin}, series={Zeitschrift für historische Forschung. Beiheft}, title={Expansionen in der Frühen Neuzeit}, volume={34}, publisher={Duncker & Humblot}, year={2005}, pages={392}, collection={Zeitschrift für historische Forschung. Beiheft} }
LibreCat
2005 | Book Review | LibreCat-ID: 33642
@article{Rezat_2005, title={Christa Dürscheid, Syntax. Grundlagen und Theorien}, journal={Zeitschrift für Sprachwissenschaft 24/1}, author={Rezat, Sara}, year={2005} }
LibreCat
2005 | Book Chapter | LibreCat-ID: 33822
@inbook{Schattkowsky_Müller_Rettberg_2005, title={Model Based Specification for Platform Independent Hardware Execution}, booktitle={UML for SoC Design}, publisher={Kluwer}, author={Schattkowsky, Tim and Müller, Wolfgang and Rettberg, Achim}, editor={Martin, Grant and Müller, Wolfgang}, year={2005}, pages={63–88} }
LibreCat
2005 | Book Chapter | LibreCat-ID: 33824
@inbook{Martin_Müller_2005, title={When Worlds Collide: Can UML help SoC Design?}, booktitle={UML for SoC Design}, publisher={Kluwer}, author={Martin, Grant and Müller, Wolfgang}, editor={Martin, Grant and Müller, Wolfgang}, year={2005}, pages={1–15} }
LibreCat
2005 | Conference Paper | LibreCat-ID: 39029
@inproceedings{Schattkowsky_Müller_Rettberg_2005, place={Munich, Germany }, title={A Model-Based Approach for Executable Specification on Reconfigurable Hardware}, DOI={10.1109/DATE.2005.20}, booktitle={Proceedings of DATE’05}, publisher={IEEE}, author={Schattkowsky, Tim and Müller, Wolfgang and Rettberg, Achim}, year={2005} }
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 39030
@inproceedings{Schattkowsky_Müller_2005, place={Las Vegas, NV}, title={A UML Virtual Machine for Embedded Systems}, booktitle={Proceedings of ISNG 05}, author={Schattkowsky, Tim and Müller, Wolfgang}, year={2005} }
LibreCat
2005 | Conference Paper | LibreCat-ID: 39032
@inproceedings{Schattkowsky_Müller_2005, place={Dallas, TX, USA}, title={Transformation of UML State Machines for Direct Execution}, DOI={10.1109/VLHCC.2005.64}, booktitle={Proceedings of VL/HCC 05}, author={Schattkowsky, Tim and Müller, Wolfgang}, year={2005} }
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 39036
@article{Krupp_Müller_2005, place={Bonn}, series={Automotive Software Engineering}, title={Testmuster für nichtkontinuierliche Reglerelemente in der Klassifikationsbaummethode für eingebettete Systeme}, author={Krupp, Alexander and Müller, Wolfgang}, year={2005}, collection={Automotive Software Engineering} }
LibreCat
2005 | Conference Paper | LibreCat-ID: 39038
@article{Krupp_Müller_2005, place={Munich, Germany}, series={Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)}, title={Modelchecking von Klassifikationsbaum-Testsequenzen}, author={Krupp, Alexander and Müller, Wolfgang}, year={2005}, collection={Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)} }
LibreCat
2005 | Conference Paper | LibreCat-ID: 39039
@article{Zabel_Müller_2005, place={Munich, Germany}, series={Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)}, title={Analyse von synchronen Kommunikationsnetzwerken durch laufzeiteffiziente formale Verifikation}, author={Zabel, Henning and Müller, Wolfgang}, year={2005}, collection={Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)} }
LibreCat
2005 | Conference Paper | LibreCat-ID: 39041
@inproceedings{Bleul_Schäfer_Müller_2005, place={Las Vegas, NV}, title={A Dialog Model for Multi Device Interfaces with Different Modalities}, booktitle={Proceedings of the HCI International 2005}, author={Bleul, Steffen and Schäfer, Robbie and Müller, Wolfgang}, year={2005} }
LibreCat
2005 | Conference Paper | LibreCat-ID: 39050
@inproceedings{Ziegler_Müller_Schäfer_Loeser_2005, place={Copenhagen, Denmark }, title={Secure Profile Management in Smart Home Networks}, DOI={10.1109/DEXA.2005.171}, booktitle={Proceedings of the 1st International Workshop on Secure and Ubiquitous Networks (SUN-2005)}, publisher={IEEE}, author={Ziegler, Max and Müller, Wolfgang and Schäfer, Robbie and Loeser, Chris}, year={2005} }
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 39052
@inproceedings{Groppe_Müller_2005, place={Copenhagen, Denmark }, title={Profile Management technology for Smart Customization in Private Home Applications}, DOI={10.1109/DEXA.2005.156}, booktitle={Proceedings of the 1st International Workshop on Secure and Ubiquitous Networks (SUN-2005)}, publisher={IEEE}, author={Groppe, Jinghua and Müller, Wolfgang}, year={2005} }
LibreCat
| DOI