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
@inbook{Kraft_Hüllermeier_Weise_2001, title={Empirische Überprüfung eines synergetischen Konjunkturmodells}, booktitle={Studien zur Evoltorischen Ökonomik IV}, publisher={Duncker & Humblot, Berlin}, author={Kraft, M. and Hüllermeier, Eyke and Weise, P.}, editor={Lorenz, H.-W. and Meyer, B.Editors}, year={2001}, pages={11–44} }
LibreCat
2001 | Misc | LibreCat-ID: 13463
@book{Enzler_Platzner_2001, title={Dynamically Reconfigurable Processors}, publisher={TELEMATIK, Zeitschrift des Telematik-Ingebieur-Verbandes 7(1)}, author={Enzler, Rolf and Platzner, Marco}, year={2001} }
LibreCat
2001 | Conference Paper | LibreCat-ID: 1016
@inproceedings{Quynh_Karl_Wolisz_Rebensburg_2001, title={The influence of proportional jitter and delay on end to end delay in differentiated service network}, booktitle={Network Computing and Applications, 2001. NCA 2001. IEEE International Symposium on}, author={Quynh, Thu Ngo and Karl, Holger and Wolisz, Adam and Rebensburg, Klaus}, year={2001}, pages={354--357} }
LibreCat
2001 | Misc | LibreCat-ID: 47701 | 
@book{Krummel_2001, title={Sicherheit und Anwendungen des Advanced Encryption Standard (AES) Rijndael}, author={Krummel, Volker}, year={2001} }
LibreCat
| Files available
2001 | Misc | LibreCat-ID: 47702 |
@book{Otto_2001, title={Brauer Addition-Subtraction Chains}, author={Otto, Martin}, year={2001} }
LibreCat
| Files available
2001 | Conference Paper | LibreCat-ID: 39411
@inproceedings{Flake_Geiger_Müller_Ruf_2001, place={Cambridge, MA, USA }, title={Customer-Oriented Systems Design through Virtual Prototyps}, DOI={10.1109/ENABL.2001.953425}, booktitle={Proceedings of IEEE KMN 2001}, author={Flake, Stephan and Geiger, Christian and Müller, Wolfgang and Ruf, Jürgen}, year={2001} }
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 39407
@article{Bauer_Eikerling_Müller_Pawlak_Siekierska_Soderberg_Warzee_2001, place={Venice, Italy}, series={The e-Business and e-Work Conference and Exhibition}, title={Advanced Infrastructure for PAN-European Collaborative Engineering}, author={Bauer, M. and Eikerling, Heinz-Josef and Müller, Wolfgang and Pawlak, A. and Siekierska, K. and Soderberg, D. and Warzee, X.}, year={2001}, collection={The e-Business and e-Work Conference and Exhibition} }
LibreCat
2001 | Conference Paper | LibreCat-ID: 39421
@inproceedings{Müller_Ruf_Hoffmann_Gerlach_Kropf_Rosenstiehl_2001, place={Munich, Germany }, title={The Simulation Semantics of SystemC}, DOI={10.1109/DATE.2001.915002}, booktitle={Proceedings of the Design, Automation, and Test in Europe (DATE’01)}, publisher={IEEE}, author={Müller, Wolfgang and Ruf, Jürgen and Hoffmann, D. W. and Gerlach, Joachim and Kropf, Thomas and Rosenstiehl, W.}, year={2001} }
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 39427
@inproceedings{Flake_Müller_Pape_Ruf_2001, place={Dubai}, title={Real-Time Model Checking for the Analysis of flexible Manufacturing Systems}, booktitle={Proceedings of ISI 2001}, author={Flake, Stephan and Müller, Wolfgang and Pape, U. and Ruf, Jürgen}, year={2001} }
LibreCat
2001 | Conference Paper | LibreCat-ID: 39432
@inproceedings{Müller_Meyer_Zabel_2001, place={Maui, HI, USA }, title={A Language for the Rapid Prototyping of Mobile Evolving Agents}, DOI={10.1109/HICSS.2001.926319}, booktitle={Proceedings of the 34th Annual Hawaii International Conference on System Sciences}, author={Müller, Wolfgang and Meyer, A. and Zabel, Henning}, year={2001} }
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 39431
@inproceedings{Lehrenfeld_Müller_Tellmann_2001, place={Enschede, Netherlands}, title={Security Concepts for Agent-Based Systems}, booktitle={Proceedings of SCASE 01}, author={Lehrenfeld, Georg and Müller, Wolfgang and Tellmann, Rainer}, year={2001} }
LibreCat
2001 | Conference Paper | LibreCat-ID: 39406
@article{Flake_Müller_2001, place={Berlin}, series={Tagungsband: Ablaufmodellierungen in ingenieruwissenschaftlichen Anwendungen}, title={Spezifikation von Echtzeiteigenschaften mit OCL für eine MFERT-basierte Fallstudie}, author={Flake, Stephan and Müller, Wolfgang}, year={2001}, collection={Tagungsband: Ablaufmodellierungen in ingenieruwissenschaftlichen Anwendungen} }
LibreCat
2001 | Conference Paper | LibreCat-ID: 39425
@inproceedings{Dangberg_Müller_2001, place={Dubai}, title={Generation of Interactive Visual Interfaces for Resource Management}, booktitle={Proceedings of ISI 2001}, author={Dangberg, Andreas and Müller, Wolfgang}, year={2001} }
LibreCat
2000 | Dissertation | LibreCat-ID: 19620
@book{Rieping_2000, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={Communication in Parallel Systems-Models, Algorithms and Implementations}, volume={81}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, author={Rieping, Ingo}, year={2000}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }
LibreCat
2000 | Dissertation | LibreCat-ID: 19621
@book{Westermann_2000, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={Caching in Networks: Non-Uniform Algorithms and Memory Capacity Constraints}, volume={90}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, author={Westermann, Matthias}, year={2000}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }
LibreCat
| Files available
2000 | Report | LibreCat-ID: 19733
@book{Bonorden_Rieping_von Otte_Juurlink_2000, title={PUB-Library, Release 7.0, User Guide and Function Reference}, author={Bonorden, Olaf and Rieping, Ingo and von Otte, Ingo and Juurlink, Bernhardus}, year={2000} }
LibreCat
| Files available
2000 | Conference Paper | LibreCat-ID: 19849
@inproceedings{Bednara_Beyer_Teich_Wanka_2000, title={Tradeoff analysis and architecture design of a hybrid hardware/software sorter}, DOI={10.1109/asap.2000.862400}, booktitle={Proc. Int. Conf. on Application Specific Systems, Architectures, and Processors (ASAP)}, author={Bednara, M. and Beyer, O. and Teich, J. and Wanka, Rolf}, year={2000}, pages={299–308} }
LibreCat
| DOI
2000 | Mastersthesis | LibreCat-ID: 2433
@book{Plessl_Maurer_2000, title={Hardware/Software Codesign in Speech Compression Applications}, publisher={Computer Engineering and Networks Lab, ETH Zurich, Switzerland}, author={Plessl, Christian and Maurer, Simon}, year={2000} }
LibreCat
2000 | Journal Article | LibreCat-ID: 3247
@article{Fischer_Wehrheim_2000, title={Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method}, journal={Bulletin of the {EATCS}}, author={Fischer, Clemens and Wehrheim, Heike}, year={2000}, pages={92--101} }
LibreCat
2000 | Journal Article | LibreCat-ID: 3248
@article{Wehrheim_2000, title={Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications}, DOI={10.1007/s001650070026}, number={3}, journal={Formal Asp. Comput.}, author={Wehrheim, Heike}, year={2000}, pages={147--164} }
LibreCat
| DOI