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.
9906 Publications
2001 | Misc | LibreCat-ID: 47701 | 
V. Krummel, Sicherheit und Anwendungen des Advanced Encryption Standard (AES) Rijndael. 2001.
LibreCat
| Files available
2001 | Misc | LibreCat-ID: 47702 |
M. Otto, Brauer Addition-Subtraction Chains. 2001.
LibreCat
| Files available
2001 | Preprint | LibreCat-ID: 51552
J. Hilgert and D. Mayer, “The dynamical zeta function and transfer operators for the Kac-Baker model.” 2001.
LibreCat
| Download (ext.)
2001 | Journal Article | LibreCat-ID: 51417
J. Hilgert and W. Bertram, “Characterization of the Kantor-Koecher-Tits Algebra by a Generalized Ahlfors Operator,” J. Lie Theory, vol. 11, pp. 415–426, 2001.
LibreCat
2001 | Journal Article | LibreCat-ID: 51416
J. Hilgert and K.-H. Neeb, “Vector Valued Riesz Distributions on Euclidian Jordan Algebras,” J. Geometric Analysis, vol. 11, pp. 43–75, 2001.
LibreCat
2001 | Journal Article | LibreCat-ID: 51414
J. Hilgert and W. Bertram, “Geometry of Symmetric Spaces via Jordan Structures. Bull. Transsilv,” Univ. Brasov Ser., vol. 8, pp. 7–18, 2001.
LibreCat
2001 | Journal Article | LibreCat-ID: 51418
J. Hilgert and B. Krötz, “The Plancherel Theorem for Invariant Hilbert Spaces,” Math. Zeitschrift, vol. 237, pp. 61–83, 2001.
LibreCat
2001 | Preprint | LibreCat-ID: 51553
J. Hilgert, A. Pasquale, and E. B. Vinberg, “The dual horospherical Radon transform for polynomials.” 2001.
LibreCat
| Download (ext.)
2001 | Book Review | LibreCat-ID: 51598
J. Hilgert, “Berenstein, C., D.-C. Chang, J. Tie. Laguerre Calculus and its Applications on the Heisenberg Group (AMS, International Press, 2001),” Math. Reviews. 2001.
LibreCat
2000 | Dissertation | LibreCat-ID: 19620
I. Rieping, Communication in Parallel Systems-Models, Algorithms and Implementations, vol. 81. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat
2000 | Dissertation | LibreCat-ID: 19621
M. Westermann, Caching in Networks: Non-Uniform Algorithms and Memory Capacity Constraints, vol. 90. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat
| Files available
2000 | Report | LibreCat-ID: 19733
O. Bonorden, I. Rieping, I. von Otte, and B. Juurlink, PUB-Library, Release 7.0, User Guide and Function Reference. 2000.
LibreCat
| Files available
2000 | Habilitation | LibreCat-ID: 19784
C. Scheideler, Probabilistic Methods for Coordination Problems. 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 19849
M. Bednara, O. Beyer, J. Teich, and R. Wanka, “Tradeoff analysis and architecture design of a hybrid hardware/software sorter,” in Proc. Int. Conf. on Application Specific Systems, Architectures, and Processors (ASAP), 2000, pp. 299–308, doi: 10.1109/asap.2000.862400.
LibreCat
| DOI
2000 | Mastersthesis | LibreCat-ID: 2433
C. Plessl and S. Maurer, Hardware/Software Codesign in Speech Compression Applications. Computer Engineering and Networks Lab, ETH Zurich, Switzerland, 2000.
LibreCat
2000 | Journal Article | LibreCat-ID: 3247
C. Fischer and H. Wehrheim, “Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method,” Bulletin of the {EATCS}, pp. 92--101, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 3249
C. Fischer and H. Wehrheim, “Behavioural Subtyping Relations for Object-Oriented Formalisms,” in Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings, 2000, pp. 469--483.
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 3250
H. Wehrheim, “Specification of an Automatic Manufacturing System: {A} Case Study in Using Integrated Formal Methods,” in Fundamental Approaches to Software Engineering, Third Internationsl Conference, {FASE} 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, {ETAPS} 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings, 2000, pp. 334--348.
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 3251
H. Wehrheim, “Behavioural Subtyping and Property Preservation,” in Formal Methods for Open Object-Based Distributed Systems IV, {IFIF} {TC6/WG6.1} Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2000), September 6-8, 2000, Stanford, California, {USA}, 2000, pp. 213--231.
LibreCat
| DOI