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.
9332 Publications
2001 | Misc | LibreCat-ID: 47702 |
![Open access file OA](https://ris.uni-paderborn.de/images/access_open.png)
Brauer Addition-Subtraction Chains
M. Otto, Brauer Addition-Subtraction Chains, 2001.
LibreCat
| Files available
M. Otto, Brauer Addition-Subtraction Chains, 2001.
2001 | Book Chapter | LibreCat-ID: 50545
Cachay, K. & Riedl, L. (2001). Bosman-Urteil und Nachwuchsförderung. Folgen der Abschaffung von Ausländerklauseln für die Nachwuchsrekrutierung in den Sportspielen. In: Bundesinstitut für Sportwissenschaft (Hrsg.): BISp Jahrbuch 2000 (S. 239-242). Köln:
K. Cachay, L. Riedl, in: Bundesinstitut für Sportwissenschaft (Ed.), BISp Jahrbuch 2000, Sport und Buch Strauß, Köln, 2001, pp. 239–242.
LibreCat
K. Cachay, L. Riedl, in: Bundesinstitut für Sportwissenschaft (Ed.), BISp Jahrbuch 2000, Sport und Buch Strauß, Köln, 2001, pp. 239–242.
2001 | Book | LibreCat-ID: 50622
Weltbild und Metapher. Untersuchungen zur Philosophie im 18. Jahrhundert. (Rezensionen: Ralf Konersmann: „Aushilfe für die Rede gesucht. Vanessa Albus liest die Metaphern der Philosophen als Weltbilder“, in: FAZ, 02.09.2002, Nr. 203, S. 36. Felix Heidenreich: „Der Schatten der Philosophie. Neuere Literatur zum Phänomen der Metapher“, in: Philosophische Rundschau, Eine Zeitschrift für philosophische Kritik, 51/3, 2004, S. 212-233. Martin Konitzer: „Review article: Giambattista Vico’s open agenda of modernity“, in: Semiotica, 157, 1/4, 2005, S. 571-575.)
V. Albus, Weltbild und Metapher. Untersuchungen zur Philosophie im 18. Jahrhundert. (Rezensionen: Ralf Konersmann: „Aushilfe für die Rede gesucht. Vanessa Albus liest die Metaphern der Philosophen als Weltbilder“, in: FAZ, 02.09.2002, Nr. 203, S. 36. Felix Heidenreich: „Der Schatten der Philosophie. Neuere Literatur zum Phänomen der Metapher“, in: Philosophische Rundschau, Eine Zeitschrift für philosophische Kritik, 51/3, 2004, S. 212-233. Martin Konitzer: „Review article: Giambattista Vico’s open agenda of modernity“, in: Semiotica, 157, 1/4, 2005, S. 571-575.), Würzburg, 2001.
LibreCat
V. Albus, Weltbild und Metapher. Untersuchungen zur Philosophie im 18. Jahrhundert. (Rezensionen: Ralf Konersmann: „Aushilfe für die Rede gesucht. Vanessa Albus liest die Metaphern der Philosophen als Weltbilder“, in: FAZ, 02.09.2002, Nr. 203, S. 36. Felix Heidenreich: „Der Schatten der Philosophie. Neuere Literatur zum Phänomen der Metapher“, in: Philosophische Rundschau, Eine Zeitschrift für philosophische Kritik, 51/3, 2004, S. 212-233. Martin Konitzer: „Review article: Giambattista Vico’s open agenda of modernity“, in: Semiotica, 157, 1/4, 2005, S. 571-575.), Würzburg, 2001.
2001 | Book Review | LibreCat-ID: 18742
Gabriel, Gottfried/Kienzler, Wolfgang (eds.), Frege in Jena. Beiträge zur Spurensicherung. Tagungsbericht, Jena, Deutschland, 6.–7. Dezember 1996, Königshausen & Neumann: Würzburg 1997
V. Peckhaus, Mathematical Reviews, University of Paderborn MR1607914 (2001h:01067) [Reprint von Zbl. 897.01002] (2001).
LibreCat
| Download (ext.)
V. Peckhaus, Mathematical Reviews, University of Paderborn MR1607914 (2001h:01067) [Reprint von Zbl. 897.01002] (2001).
2001 | Book Review | LibreCat-ID: 18379 |
![Open access file OA](https://ris.uni-paderborn.de/images/access_open.png)
Kvasz, Ladislav, “Changes of Language in the Development of Mathematics”, Philosophia Mathematica (3) 8, Nr. 1 (2000), 47–83
V. Peckhaus, zbMATH Open, Zbl. 0952.01041 (2001).
LibreCat
| Download (ext.)
V. Peckhaus, zbMATH Open, Zbl. 0952.01041 (2001).
2001 | Book Review | LibreCat-ID: 18388 |
![Open access file OA](https://ris.uni-paderborn.de/images/access_open.png)
Janssen, Theo M.V., “Frege, Contextuality and Compositionality”, Journal of Logic, Language and Information 10, No. 1 (2001), 115–136
V. Peckhaus, zbMATH Open, Zbl. 0961.03003 (2001).
LibreCat
| Download (ext.)
V. Peckhaus, zbMATH Open, Zbl. 0961.03003 (2001).
2001 | Dissertation | LibreCat-ID: 8469
Untersuchung und Weiterentwicklung linearer piezoelektrischer Schwingungsantriebe
T. Hemsel, Untersuchung und Weiterentwicklung linearer piezoelektrischer Schwingungsantriebe, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2001.
LibreCat
T. Hemsel, Untersuchung und Weiterentwicklung linearer piezoelektrischer Schwingungsantriebe, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2001.
2000 | Book Review | LibreCat-ID: 19549
Wolfgang Struck: Konfigurationen der Vergangenheit. Deutsche Geschichtsdramen im Zeitalter der Restauration. Tübingen: Max Niemeyer Verlag, 1997
N.O. Eke, Internationales Archiv für Sozialgeschichte der deutschen Literatur (IASL), Preprint der in Nr. 1/2000 erscheinenden Druckfassung im Internet (http://iasl.uni-muenchen.de, inzwischen Weiterleitung auf http://www.iaslonline.de/) (2000) 6 Seiten.
LibreCat
N.O. Eke, Internationales Archiv für Sozialgeschichte der deutschen Literatur (IASL), Preprint der in Nr. 1/2000 erscheinenden Druckfassung im Internet (http://iasl.uni-muenchen.de, inzwischen Weiterleitung auf http://www.iaslonline.de/) (2000) 6 Seiten.
2000 | Dissertation | LibreCat-ID: 19620
Communication in Parallel Systems-Models, Algorithms and Implementations
I. Rieping, Communication in Parallel Systems-Models, Algorithms and Implementations, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat
I. Rieping, Communication in Parallel Systems-Models, Algorithms and Implementations, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
2000 | Dissertation | LibreCat-ID: 19621
Caching in Networks: Non-Uniform Algorithms and Memory Capacity Constraints
M. Westermann, Caching in Networks: Non-Uniform Algorithms and Memory Capacity Constraints, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat
| Files available
M. Westermann, Caching in Networks: Non-Uniform Algorithms and Memory Capacity Constraints, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
2000 | Report | LibreCat-ID: 19733
PUB-Library, Release 7.0, User Guide and Function Reference
O. Bonorden, I. Rieping, I. von Otte, B. Juurlink, PUB-Library, Release 7.0, User Guide and Function Reference, 2000.
LibreCat
| Files available
O. Bonorden, I. Rieping, I. von Otte, B. Juurlink, PUB-Library, Release 7.0, User Guide and Function Reference, 2000.
2000 | Conference Paper | LibreCat-ID: 19849
Tradeoff analysis and architecture design of a hybrid hardware/software sorter
M. Bednara, O. Beyer, J. Teich, R. Wanka, in: Proc. Int. Conf. on Application Specific Systems, Architectures, and Processors (ASAP), 2000, pp. 299–308.
LibreCat
| DOI
M. Bednara, O. Beyer, J. Teich, R. Wanka, in: Proc. Int. Conf. on Application Specific Systems, Architectures, and Processors (ASAP), 2000, pp. 299–308.
2000 | Journal Article | LibreCat-ID: 27987
Carbohydrate sources and glycaemic control in Type 1 diabetes mellitus. EURODIAB IDDM Complications Study Group.
A. Buyken, M. Toeller, G. Heitkamp, K. Irsigler, C. Holler, F. Santeusanio, P. Stehle, J. Fuller, Diabet Med 17 (2000) 351–359.
LibreCat
| DOI
| PubMed | Europe PMC
A. Buyken, M. Toeller, G. Heitkamp, K. Irsigler, C. Holler, F. Santeusanio, P. Stehle, J. Fuller, Diabet Med 17 (2000) 351–359.
2000 | Mastersthesis | LibreCat-ID: 2433
Hardware/Software Codesign in Speech Compression Applications
C. Plessl, S. Maurer, Hardware/Software Codesign in Speech Compression Applications, Computer Engineering and Networks Lab, ETH Zurich, Switzerland, 2000.
LibreCat
C. Plessl, S. Maurer, Hardware/Software Codesign in Speech Compression Applications, Computer Engineering and Networks Lab, ETH Zurich, Switzerland, 2000.
2000 | Journal Article | LibreCat-ID: 3247
Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method
C. Fischer, H. Wehrheim, Bulletin of the {EATCS} (2000) 92--101.
LibreCat
C. Fischer, H. Wehrheim, Bulletin of the {EATCS} (2000) 92--101.
2000 | Journal Article | LibreCat-ID: 3248
Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications
H. Wehrheim, Formal Asp. Comput. (2000) 147--164.
LibreCat
| DOI
H. Wehrheim, Formal Asp. Comput. (2000) 147--164.
2000 | Conference Paper | LibreCat-ID: 3249
Behavioural Subtyping Relations for Object-Oriented Formalisms
C. Fischer, H. Wehrheim, in: T. Rus (Ed.), 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
C. Fischer, H. Wehrheim, in: T. Rus (Ed.), Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings, 2000, pp. 469--483.
2000 | Conference Paper | LibreCat-ID: 3250
Specification of an Automatic Manufacturing System: {A} Case Study in Using Integrated Formal Methods
H. Wehrheim, in: T. S. E. Maibaum (Ed.), 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
H. Wehrheim, in: T. S. E. Maibaum (Ed.), 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.
2000 | Conference Paper | LibreCat-ID: 3251
Behavioural Subtyping and Property Preservation
H. Wehrheim, in: S. F. Smith, C. L. Talcott (Eds.), 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
H. Wehrheim, in: S. F. Smith, C. L. Talcott (Eds.), 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.
2000 | Book Chapter | LibreCat-ID: 3023
Closest Vectors, Successive Minima, and Dual HKZ-Bases of Lattices
J. Blömer, in: Automata, Languages and Programming, Springer Berlin Heidelberg, Berlin, Heidelberg, 2000, pp. 248–259.
LibreCat
| DOI
J. Blömer, in: Automata, Languages and Programming, Springer Berlin Heidelberg, Berlin, Heidelberg, 2000, pp. 248–259.