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


2001 | Book Chapter | LibreCat-ID: 16233
M. Kraft, E. Hüllermeier, and P. Weise, “Empirische  Überprüfung eines synergetischen Konjunkturmodells,” in Studien zur Evoltorischen Ökonomik IV, H.-W. Lorenz and B. Meyer, Eds. Duncker & Humblot, Berlin, 2001, pp. 11–44.
LibreCat
 

2001 | Misc | LibreCat-ID: 13463
R. Enzler and M. Platzner, Dynamically Reconfigurable Processors. TELEMATIK, Zeitschrift des Telematik-Ingebieur-Verbandes 7(1), 2001.
LibreCat
 

2001 | Conference Paper | LibreCat-ID: 1016
T. N. Quynh, H. Karl, A. Wolisz, and K. Rebensburg, “The influence of proportional jitter and delay on end to end delay in differentiated service network,” in Network Computing and Applications, 2001. NCA 2001. IEEE International Symposium on, 2001, pp. 354--357.
LibreCat
 

2001 | Misc | LibreCat-ID: 47701 | OA
V. Krummel, Sicherheit und Anwendungen des Advanced Encryption Standard (AES) Rijndael. 2001.
LibreCat | Files available
 

2001 | Misc | LibreCat-ID: 47702 | OA
M. Otto, Brauer Addition-Subtraction Chains. 2001.
LibreCat | Files available
 

2001 | Conference Paper | LibreCat-ID: 39411
S. Flake, C. Geiger, W. Müller, and J. Ruf, “Customer-Oriented Systems Design through Virtual Prototyps,” presented at the Proceedings Tenth IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2001, doi: 10.1109/ENABL.2001.953425.
LibreCat | DOI
 

2001 | Conference Paper | LibreCat-ID: 39407
M. Bauer et al., “Advanced Infrastructure for PAN-European Collaborative Engineering.” Venice, Italy, 2001.
LibreCat
 

2001 | Conference Paper | LibreCat-ID: 39421
W. Müller, J. Ruf, D. W. Hoffmann, J. Gerlach, T. Kropf, and W. Rosenstiehl, “The Simulation Semantics of SystemC,” presented at the Proceedings Design, Automation and Test in Europe. Conference and Exhibition 2001, 2001, doi: 10.1109/DATE.2001.915002.
LibreCat | DOI
 

2001 | Conference Paper | LibreCat-ID: 39427
S. Flake, W. Müller, U. Pape, and J. Ruf, “Real-Time Model Checking for the Analysis of flexible Manufacturing Systems,” 2001.
LibreCat
 

2001 | Conference Paper | LibreCat-ID: 39432
W. Müller, A. Meyer, and H. Zabel, “A Language for the Rapid Prototyping of Mobile Evolving Agents,” 2001, doi: 10.1109/HICSS.2001.926319.
LibreCat | DOI
 

2001 | Conference Paper | LibreCat-ID: 39431
G. Lehrenfeld, W. Müller, and R. Tellmann, “Security Concepts for Agent-Based Systems,” 2001.
LibreCat
 

2001 | Conference Paper | LibreCat-ID: 39406
S. Flake and W. Müller, “Spezifikation von Echtzeiteigenschaften mit OCL für eine MFERT-basierte Fallstudie.” Berlin, 2001.
LibreCat
 

2001 | Conference Paper | LibreCat-ID: 39425
A. Dangberg and W. Müller, “Generation of Interactive Visual Interfaces for Resource Management,” 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 | 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 | Journal Article | LibreCat-ID: 3248
H. Wehrheim, “Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications,” Formal Asp. Comput., no. 3, pp. 147--164, 2000.
LibreCat | DOI
 

Filters and Search Terms

department=7

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed