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.
5950 Publications
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
2003 | Conference Paper | LibreCat-ID: 39357
@inproceedings{Kostienko_Müller_Pawlak_Schattkowsky_2003, place={Madeira, Portugal}, title={An Advanced Infrastructure for Collaborative Engineering in Electronic Design Automation}, booktitle={Proceedings of CE 2003}, author={Kostienko, Tomasz and Müller, Wolfgang and Pawlak, Adam and Schattkowsky, Tim}, year={2003} }
LibreCat
2003 | Conference Paper | LibreCat-ID: 39355
@inproceedings{Loeser_Müller_Berger_Eikerling_2003, place={Hawaii, USA}, title={Peer-to-Peer for Virtual Home Environments}, booktitle={Proceedings of HICCS-36}, author={Loeser, Chris and Müller, Wolfgang and Berger, Franz and Eikerling, Heinz-Josef}, year={2003} }
LibreCat
2003 | Conference Paper | LibreCat-ID: 39354
@inproceedings{Eikerling_Müller_Schattkowski_Wegner_2003, place={Munich, Germany}, title={Tool Integration and Management in Heterogeneous Computer Networks}, booktitle={Proceedings of DATE’03}, author={Eikerling, Heinz-Josef and Müller, Wolfgang and Schattkowski, Tim and Wegner, J.}, year={2003} }
LibreCat
2003 | Conference Paper | LibreCat-ID: 39365
@inproceedings{Schäfer_Müller_2003, place={Acapulco, Mexico}, title={Adaptive profiles for Multi-Modal Interaction in Intelligent Frameworks}, booktitle={Proceedings of the Joint Workshop IJCAI Workshop on Artificial Intelligence, Information Access, and Mobile Computing}, author={Schäfer, Robbie and Müller, Wolfgang}, year={2003} }
LibreCat
2003 | Conference Paper | LibreCat-ID: 39364
@inproceedings{Flake_Müller_2003, place={Las Vegas, NV}, title={Expressing Property Specification Patterns with OCL}, booktitle={Proceedings of SERP’03}, author={Flake, Stephan and Müller, Wolfgang}, year={2003} }
LibreCat
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