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.
6112 Publications
2003 | Journal Article | LibreCat-ID: 34565
Flake, S., & Müller, W. (2003). Formal Semantics of Static and Temporal State-Oriented OCL Constraints. Journal on Software and System Modeling (SoSyM), 2(3), 164–186. https://doi.org/10.1007/s10270-003-0026-x
LibreCat
| DOI
2003 | Bachelorsthesis | LibreCat-ID: 47641
Ernst, M. (2003). Asymptotische Optimalität von LZ77 bei beschränktem Speicher.
LibreCat
2003 | Bachelorsthesis | LibreCat-ID: 47635
Voß, K. (2003). Asymptotische Optimalität von Lempel-Ziv bei Markowprozessen.
LibreCat
2003 | Misc | LibreCat-ID: 47696 | 
Hoppe, U. (2003). Markovprozesse zur Modellierung bei Codekompression.
LibreCat
| Files available
2003 | Bachelorsthesis | LibreCat-ID: 47636 |
Unterkirchner, C. (2003). Implementierung eines arithmetischen Dekodierers in Java.
LibreCat
| Files available
2003 | Bachelorsthesis | LibreCat-ID: 47640 |
Kuntze, D. (2003). Tabellenbasierte arithmetische Codierung.
LibreCat
| Files available
2003 | Bachelorsthesis | LibreCat-ID: 47638
Soltenborn, C. (2003). Kompressionsverlust bei arithmetischer Codierung mit endlicher Präzision.
LibreCat
2003 | Bachelorsthesis | LibreCat-ID: 47637
Todtenbier, C. (2003). Implementierung eines arithmetischen Kodierers in Java.
LibreCat
2003 | Bachelorsthesis | LibreCat-ID: 47634
Ziegler, M. (2003). Fehlerangriffe auf spezielle Implementierungen von RSA.
LibreCat
2003 | Bachelorsthesis | LibreCat-ID: 47639
Lindner, M. (2003). Verkürzte Huffman-Codierung zur Codekompression.
LibreCat
2003 | Misc | LibreCat-ID: 47695 |
Ackermann, M. R. (2003). Tabellenbasierte arithmetische Kodierung bei allgemeinen Alphabeten.
LibreCat
| Files available
2003 | Conference Paper | LibreCat-ID: 39357
Kostienko, T., Müller, W., Pawlak, A., & Schattkowsky, T. (2003). An Advanced Infrastructure for Collaborative Engineering in Electronic Design Automation. Proceedings of CE 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39355
Loeser, C., Müller, W., Berger, F., & Eikerling, H.-J. (2003). Peer-to-Peer for Virtual Home Environments. Proceedings of HICCS-36.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39354
Eikerling, H.-J., Müller, W., Schattkowski, T., & Wegner, J. (2003). Tool Integration and Management in Heterogeneous Computer Networks. Proceedings of DATE’03.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39365
Schäfer, R., & Müller, W. (2003). Adaptive profiles for Multi-Modal Interaction in Intelligent Frameworks. Proceedings of the Joint Workshop IJCAI Workshop on Artificial Intelligence, Information Access, and Mobile Computing.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39364
Flake, S., & Müller, W. (2003). Expressing Property Specification Patterns with OCL. Proceedings of SERP’03.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39366
Schattkowsky, T., & Müller, W. (2003). Distributed Engineering Environment for the Design of Electronic Systems. Proceedings of CCE’03.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39363
Flake, S., & Müller, W. (2003). Semantics of State-Oriented Expressions in the Object Constraint Language. Proceedings of SEKE 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39367
Wang, J., & Müller, W. (2003). SmartCard for Secure Collaborative Engineering. Proceedings of CCE’03.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39360
Krupp, A., & Müller, W. (2003). Formale Verfeinerung und Modelchecking von zeitbehafteten endlichen Automaten.
LibreCat