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.
10473 Publications
2001 | Journal Article | LibreCat-ID: 38291
@article{Plotz_Michaelis_Aigner_Timme_Binder_Noé_2001, title={A low-voltage torsional actuator for application in RF-microswitches}, volume={92}, DOI={10.1016/S0924-4247(01)00589-1}, number={1–3}, journal={SENSORS AND ACTUATORS A-PHYSICAL}, author={Plotz, R and Michaelis, S and Aigner, R and Timme, HJ and Binder, J and Noé, Reinhold}, year={2001}, pages={312–317} }
LibreCat
| DOI
2001 | Journal Article | LibreCat-ID: 38370
@article{Sandel_Noé_Mirvoda_Hinz_Wust_2001, title={84fs PMD detection sensitivity in 2 x 40 Gbit/s RZ polarisation multiplex transmission experiment}, volume={37}, DOI={10.1049/el:20010791}, number={19}, journal={ELECTRONICS LETTERS}, author={Sandel, D and Noé, Reinhold and Mirvoda, V and Hinz, S and Wust, F}, year={2001}, pages={1178–1179} }
LibreCat
| DOI
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
2001 | Conference Paper | LibreCat-ID: 40907
@inproceedings{Schreier_Scharf_2001, title={Low-rank approximation of improper complex random vectors}, volume={1}, DOI={10.1109/ACSSC.2001.986993}, booktitle={Proc. 35th\ Asilomar Conf.\ Signals Syst.\ Computers}, author={Schreier, Peter J. and Scharf, Louis L.}, year={2001}, pages={597–601} }
LibreCat
| DOI
2001 | Journal Article | LibreCat-ID: 34897
@article{Klüners_Malle_2001, title={A Database for Field Extensions of the Rationals}, volume={4}, DOI={10.1112/s1461157000000851}, journal={LMS Journal of Computation and Mathematics}, publisher={Wiley}, author={Klüners, Jürgen and Malle, Gunter}, year={2001}, pages={182–196} }
LibreCat
| DOI
| arXiv
2001 | Book Chapter | LibreCat-ID: 44536
@inbook{Burban_Drozd_Greuel_2001, title={Vector bundles on singular projective curves}, booktitle={Applications of algebraic geometry to coding theory, physics and computation}, publisher={Kluwer Academic Publishers}, author={Burban, Igor and Drozd, Yu. and Greuel, G.-M.}, editor={Ciliberto, Ciro}, year={2001}, pages={1–15} }
LibreCat
2001 | Book Chapter | LibreCat-ID: 56911
@inbook{Biehler_2001, place={Hildesheim}, title={Statistische Kompetenz von Schülerinnen und Schülern-Konzepte und Ergebnisse empirischer Studien am Beispiel des Vergleichens empirischer Verteilungen}, booktitle={Anregungen zum Stochastikunterricht}, publisher={Franzbecker}, author={Biehler, Rolf}, editor={Borovcnik, M. and Engel, J. and Wickmann, D.}, year={2001}, pages={97–114} }
LibreCat
2001 | Book Chapter | LibreCat-ID: 56910
@inbook{Biehler_2001, place={Hildesheim}, title={Students’ difficulties in practising computer supported data analysis - Some hypothetical generaliza-tions from results of two exploratory studies}, booktitle={Developments in Mathematics Education in Germany}, publisher={Franzbecker}, author={Biehler, Rolf}, editor={Weigand, H. G.}, year={2001}, pages={18–30} }
LibreCat
2001 | Book Chapter | LibreCat-ID: 56908
@inbook{Biehler_Schweynoch_2001, place={Münster}, title={Internetgestütztes kooperatives Lösen von authentischen Problemen - Erfahrungen aus Data Sha-ring Projekten}, booktitle={Beiträge zum Mathematikunterricht 2001}, publisher={WTM-Verlag}, author={Biehler, Rolf and Schweynoch, S.}, year={2001}, pages={112–116} }
LibreCat
2001 | Book Chapter | LibreCat-ID: 56909
@inbook{Biehler_Schweynoch_2001, place={Münster}, title={Statistische Kompetenz: Entwicklung und Auswertung eines diagnostischen Tests}, booktitle={Beiträge zum Mathematikunterricht 2001}, publisher={WTM-Verlag}, author={Biehler, Rolf and Schweynoch, S.}, year={2001}, pages={568–571} }
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
2000 | Conference Paper | LibreCat-ID: 3249
@inproceedings{Fischer_Wehrheim_2000, series={Lecture Notes in Computer Science}, title={Behavioural Subtyping Relations for Object-Oriented Formalisms}, DOI={10.1007/3-540-45499-3_33}, booktitle={Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings}, author={Fischer, Clemens and Wehrheim, Heike}, editor={Rus, TeodorEditor}, year={2000}, pages={469--483}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 3250
@inproceedings{Wehrheim_2000, series={Lecture Notes in Computer Science}, title={Specification of an Automatic Manufacturing System: {A} Case Study in Using Integrated Formal Methods}, DOI={10.1007/3-540-46428-X_23}, booktitle={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}, author={Wehrheim, Heike}, editor={S. E. Maibaum, T.Editor}, year={2000}, pages={334--348}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI