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.
5937 Publications
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
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
2004 | Conference Paper | LibreCat-ID: 19851
@inproceedings{Bleckmann_Schomaker_Slowik_2004, title={Virtualization with prefetching abilities based on iSCSI}, DOI={10.1145/1162628.1162634}, number={2}, booktitle={Proceeding of International Workshop on Storage Network Architecture and Parallel I/O}, author={Bleckmann, Peter and Schomaker, Gunnar and Slowik, Adrian}, year={2004}, pages={40–47} }
LibreCat
| DOI
2004 | Journal Article | LibreCat-ID: 19879
@article{Klein_Zachmann_2004, title={Point Cloud Surfaces using Geometric Proximity Graphs}, volume={28}, DOI={10.1016/j.cag.2004.08.012}, number={6}, journal={Computers and Graphics}, author={Klein, Jan and Zachmann, Gabriel}, year={2004}, pages={839–850} }
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 19883
@inproceedings{Klein_Zachmann_2004, title={Proximity Graphs for Defining Surfaces over Point Clouds}, booktitle={Eurographics Symposium on Point-Based Grahics (SPBG’04)}, author={Klein, Jan and Zachmann, Gabriel}, year={2004}, pages={131–138} }
LibreCat
2004 | Conference Paper | LibreCat-ID: 19889
@inproceedings{Klein_Zachmann_2004, title={Nice and Fast Implicit Surfaces over Noisy Point Clouds}, booktitle={SIGGRAPH 2004, Sketches}, author={Klein, Jan and Zachmann, Gabriel}, year={2004} }
LibreCat
2004 | Conference Paper | LibreCat-ID: 19891
@inproceedings{Klein_Zachmann_2004, title={Point Cloud Collision Detection}, booktitle={Computer Graphics Forum (Proceedings of EUROGRAPHICS 2004)}, author={Klein, Jan and Zachmann, Gabriel}, year={2004}, pages={567–576} }
LibreCat
2004 | Conference Paper | LibreCat-ID: 2415
@inproceedings{Plessl_Platzner_2004, title={Virtualization of Hardware – Introduction and Survey}, booktitle={Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA)}, publisher={CSREA Press}, author={Plessl, Christian and Platzner, Marco}, year={2004}, pages={63–69} }
LibreCat
2004 | Conference Paper | LibreCat-ID: 2416
@inproceedings{Groppe_Böttcher_Birkenheuer_2004, title={Efficient Querying of Transformed XML Documents}, booktitle={Proc. Int. Conf. on Enterprise Information Systems (ICEIS)}, author={Groppe, Sven and Böttcher, Stefan and Birkenheuer, Georg}, year={2004}, pages={241–250} }
LibreCat