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.
5786 Publications
2003 | Conference Paper | LibreCat-ID: 39366
@inproceedings{Schattkowsky_Müller_2003, place={Poznan Poland}, title={Distributed Engineering Environment for the Design of Electronic Systems}, booktitle={Proceedings of CCE’03}, author={Schattkowsky, Tim and Müller, Wolfgang}, year={2003} }
LibreCat
2003 | Conference Paper | LibreCat-ID: 39363
@inproceedings{Flake_Müller_2003, place={San Francisco}, title={Semantics of State-Oriented Expressions in the Object Constraint Language}, booktitle={Proceedings of SEKE 2003}, author={Flake, Stephan and Müller, Wolfgang}, year={2003} }
LibreCat
2003 | Conference Paper | LibreCat-ID: 39367
@inproceedings{Wang_Müller_2003, place={Poznan Poland}, title={SmartCard for Secure Collaborative Engineering}, booktitle={Proceedings of CCE’03}, author={Wang, J. and Müller, Wolfgang}, year={2003} }
LibreCat
2003 | Conference Paper | LibreCat-ID: 39360
@article{Krupp_Müller_2003, place={Bremen}, series={Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)}, title={Formale Verfeinerung und Modelchecking von zeitbehafteten endlichen Automaten}, author={Krupp, Alexander and Müller, Wolfgang}, year={2003}, collection={Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)} }
LibreCat
2003 | Conference Paper | LibreCat-ID: 39368
@inproceedings{Krupp_Müller_2003, place={Frankfurt, Germany}, title={Combining Formal Refinement and Model Checking for Analysis of Realtime Systems}, booktitle={Proceedings of FDL’03}, author={Krupp, Alexander and Müller, Wolfgang}, year={2003} }
LibreCat
2003 | Conference Paper | LibreCat-ID: 39369
@inproceedings{Flake_Müller_2003, place={San Francisco, USA}, title={Formal Semantics of OCL Messages}, booktitle={Proceedings of the Workshop OCL 2.0 at UML 2003}, author={Flake, Stephan and Müller, Wolfgang}, year={2003} }
LibreCat
2003 | Bachelorsthesis | LibreCat-ID: 47641
@book{Ernst_2003, title={Asymptotische Optimalität von LZ77 bei beschränktem Speicher}, author={Ernst, Matthias}, year={2003} }
LibreCat
2003 | Bachelorsthesis | LibreCat-ID: 47635
@book{Voß_2003, title={Asymptotische Optimalität von Lempel-Ziv bei Markowprozessen}, author={Voß, Kerstin}, year={2003} }
LibreCat
2003 | Misc | LibreCat-ID: 47696 | 
@book{Hoppe_2003, title={Markovprozesse zur Modellierung bei Codekompression}, author={Hoppe, Ulrich}, year={2003} }
LibreCat
| Files available
2003 | Bachelorsthesis | LibreCat-ID: 47636 |
@book{Unterkirchner_2003, title={Implementierung eines arithmetischen Dekodierers in Java}, author={Unterkirchner, Claudia}, year={2003} }
LibreCat
| Files available
2003 | Bachelorsthesis | LibreCat-ID: 47640 |
@book{Kuntze_2003, title={Tabellenbasierte arithmetische Codierung}, author={Kuntze, Daniel}, year={2003} }
LibreCat
| Files available
2003 | Bachelorsthesis | LibreCat-ID: 47638
@book{Soltenborn_2003, title={Kompressionsverlust bei arithmetischer Codierung mit endlicher Präzision}, author={Soltenborn, Christian}, year={2003} }
LibreCat
2003 | Bachelorsthesis | LibreCat-ID: 47637
@book{Todtenbier_2003, title={Implementierung eines arithmetischen Kodierers in Java}, author={Todtenbier, Christian}, year={2003} }
LibreCat
2003 | Bachelorsthesis | LibreCat-ID: 47634
@book{Ziegler_2003, title={Fehlerangriffe auf spezielle Implementierungen von RSA}, author={Ziegler, Max}, year={2003} }
LibreCat
2003 | Bachelorsthesis | LibreCat-ID: 47639
@book{Lindner_2003, title={Verkürzte Huffman-Codierung zur Codekompression}, author={Lindner, Marvin}, year={2003} }
LibreCat
2003 | Misc | LibreCat-ID: 47695 |
@book{Ackermann_2003, title={Tabellenbasierte arithmetische Kodierung bei allgemeinen Alphabeten}, author={Ackermann, Marcel R.}, year={2003} }
LibreCat
| Files available
2002 | Report | LibreCat-ID: 2538
@book{Karl_Mengesha_Hollos_2002, place={London}, title={Relaying in Wireless Access Networks }, publisher={Business Briefing: Wireless Technology 2002}, author={Karl, Holger and Mengesha, Seble and Hollos, Daniel}, year={2002} }
LibreCat
| Files available
2002 | Conference Paper | LibreCat-ID: 2541
@inproceedings{Köpke_Handziski_Karl_2002, place={Eindhoven/Netherlands}, title={ Making sensor networks intelligent}, booktitle={Proc. 7th Wireless World Research Forum (WWRF)}, author={Köpke, Andreas and Handziski, Vlado and Karl, Holger}, year={2002} }
LibreCat
| Files available
2002 | Conference Paper | LibreCat-ID: 2544
@inproceedings{Miesmer_Sanneck_Aguier_Karl_2002, place={London / GB}, title={Concepts for a QoS-enabled, TCP/IP-oriented Link Layer in Beyond 3G Networks}, booktitle={Proc. of 6th Wireless World Forum}, author={Miesmer, Horst and Sanneck, Henning and Aguier, Ana and Karl, Holger}, year={2002} }
LibreCat
| Files available
2002 | Conference Paper | LibreCat-ID: 2548
@inproceedings{Hollos_Karl_2002, place={Berlin }, title={A HiperLAN/2 simulation model in OMNeT++}, booktitle={Proc. of 2nd Intl. OMNet Workshop}, author={Hollos, D. and Karl, Holger}, year={2002} }
LibreCat
| Files available