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.
5794 Publications
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
2005 | Bachelorsthesis | LibreCat-ID: 47647
@book{Hornkamp_2005, title={Implementierung von wichtigen Teilen des Schoof-Elkies-Atkin Algorithmus zum Bestimmen der Punktanzahl einer elliptischen Kurve}, author={Hornkamp, Christian}, year={2005} }
LibreCat
2005 | Bachelorsthesis | LibreCat-ID: 47646
@book{Süß_2005, title={Laufzeitanalyse- und vergleich verschiedener Algorithmen zur schnellen skalaren Multiplikation auf elliptischen Kurven}, author={Süß, Tim}, year={2005} }
LibreCat
2005 | Misc | LibreCat-ID: 47693
@book{Ernst_2005, title={Analyse von RSA mittels Coppersmith Methode}, author={Ernst, Matthias}, year={2005} }
LibreCat
2005 | Misc | LibreCat-ID: 47694 | 
@book{Spanke_2005, title={Implementierung der Coppersmith-Methode zur Untersuchung von Schwachstellen bei RSA}, author={Spanke, Christoph}, year={2005} }
LibreCat
| Files available
2004 | Conference Paper | LibreCat-ID: 2529
@inproceedings{Köpke_Karl_Wolisz_2004, title={Consensus in WSN – Identifying critical protocol mechanisms}, booktitle={GI / ITG Fachgespräche Drahtlose Sensornetzwerke}, author={Köpke, A. and Karl, Holger and Wolisz, A. }, year={2004} }
LibreCat
| Files available
2004 | Dissertation | LibreCat-ID: 19616
@book{Salzwedel_2004, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={Data Distribution Algorithms for Storage Networks}, volume={153}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, author={Salzwedel, Kay}, year={2004}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }
LibreCat
| Files available
2004 | Conference Paper | LibreCat-ID: 19692
@inproceedings{Briest_Brockhoff_Degener_Englert_Gunia_Heering_Jansen_Leifhelm_Plociennik_Röglin_et al._2004, place={Berlin, Heidelberg}, title={The Ising Model: Simple Evolutionary Algorithms as Adaptation Schemes}, DOI={10.1007/978-3-540-30217-9_4}, booktitle={Parallel Problem Solving from Nature - PPSN VIII}, author={Briest, Patrick and Brockhoff, Dimo and Degener, Bastian and Englert, Matthias and Gunia, Christian and Heering, Oliver and Jansen, Thomas and Leifhelm, Michael and Plociennik, Kai and Röglin, Heiko and et al.}, year={2004} }
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 19693
@inproceedings{Schweer_Leifhelm_Degener_Heering_Tannenbaum_Röglin_Gunia_Englert_Briest_Sudholt_et al._2004, title={Experimental Supplements to the Theoretical Analysis of EAs on Problems from Combinatorial Optimization}, booktitle={Parallel Problem Solving from Nature - PPSN VIII}, author={Schweer, Andrea and Leifhelm, Michael and Degener, Bastian and Heering, Oliver and Tannenbaum, Stefan and Röglin, Heiko and Gunia, Christian and Englert, Matthias and Briest, Patrick and Sudholt, Dirk and et al.}, year={2004} }
LibreCat
2004 | Conference Paper | LibreCat-ID: 19800
@inproceedings{Brinkmann_Salzwedel_Vodisek_2004, title={A case for virtualized arrays of RAID}, DOI={10.1145/1162628.1162630}, booktitle={Proceedings of the international workshop on Storage network architecture and parallel I/Os - SNAPI ’04}, author={Brinkmann, André and Salzwedel, Kay and Vodisek, Mario}, year={2004}, pages={9–16} }
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 19807
@inproceedings{Schindelhauer_Böttcher_Rammig_2004, title={The design of PaMaNet the Paderborn mobile ad-hoc network}, DOI={10.1145/1023783.1023807}, booktitle={Proceedings of the second international workshop on Mobility management & wireless access protocols}, author={Schindelhauer, Christian and Böttcher, Stefan and Rammig, Franz}, year={2004} }
LibreCat
| DOI