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.
623 Publications
1999 | Conference Paper | LibreCat-ID: 3254
Model-Checking {CSP-OZ} Specifications with {FDR}
C. Fischer, H. Wehrheim, in: K. Araki, A. Galloway, K. Taguchi (Eds.), Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999, 1999, pp. 315--334.
LibreCat
C. Fischer, H. Wehrheim, in: K. Araki, A. Galloway, K. Taguchi (Eds.), Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999, 1999, pp. 315--334.
1999 | Book Chapter | LibreCat-ID: 27936
Interkulturelle Bildung als Aufgabe haushaltsbezogenen Unterrichts
K. Schlegel-Matthies, in: M. Thiele-Wittig (Ed.), Internationale Perspektiven in Hauswirtschaft und Haushaltswissenschaft. 20 Jahre Beirat. Dokumentations- und Diskussionsbeiträge, Baltmannsweiler, 1999, pp. 25–31.
LibreCat
K. Schlegel-Matthies, in: M. Thiele-Wittig (Ed.), Internationale Perspektiven in Hauswirtschaft und Haushaltswissenschaft. 20 Jahre Beirat. Dokumentations- und Diskussionsbeiträge, Baltmannsweiler, 1999, pp. 25–31.
1999 | Conference (Editor) | LibreCat-ID: 7792
Informatik '99: Informatik überwindet Grenzen. Tagungsband der 29. Jahrestagung der Gesellschaft für Informatik, Paderborn (Germany)
G. Engels, K. Beiersdörfer, W. Schäfer, eds., Informatik ’99: Informatik Überwindet Grenzen. Tagungsband Der 29. Jahrestagung Der Gesellschaft Für Informatik, Paderborn (Germany), Springer, Berlin/Heidelberg, 1999.
LibreCat
G. Engels, K. Beiersdörfer, W. Schäfer, eds., Informatik ’99: Informatik Überwindet Grenzen. Tagungsband Der 29. Jahrestagung Der Gesellschaft Für Informatik, Paderborn (Germany), Springer, Berlin/Heidelberg, 1999.
1999 | Conference Paper | LibreCat-ID: 11805 |
![Open access file OA](https://ris.uni-paderborn.de/images/access_open.png)
A study of broadcast news audio stream segmentation and segment clustering
M.J. Harris, X.L. Aubert, R. Haeb-Umbach, P. Beyerlein, in: Eurospeech, 1999.
LibreCat
| Download (ext.)
M.J. Harris, X.L. Aubert, R. Haeb-Umbach, P. Beyerlein, in: Eurospeech, 1999.
1999 | Conference Paper | LibreCat-ID: 17506
19th Century Logic: Between Philosophy and Mathematics
V. Peckhaus, in: J.J. Tattersall (Ed.), Proceedings of the Canadian Society for the History and Philosophy of Mathematics. Société Canadienne d’Histoire et Philosophie Des Mathématiques, Bd. 11: Twenty-Fourth Annual Meeting. University of Ottawa. Ottawa, Ontario, May 29–31, 1998, Providence, R.I., 1999, pp. 1–20.
LibreCat
V. Peckhaus, in: J.J. Tattersall (Ed.), Proceedings of the Canadian Society for the History and Philosophy of Mathematics. Société Canadienne d’Histoire et Philosophie Des Mathématiques, Bd. 11: Twenty-Fourth Annual Meeting. University of Ottawa. Ottawa, Ontario, May 29–31, 1998, Providence, R.I., 1999, pp. 1–20.
1999 | Book Review | LibreCat-ID: 17785
Gunter Scholtz (Hrsg.): Historismus am Ende des 20. Jahrhunderts. Eine Internationale Diskussion. Akademie-Verlag, Berlin 1997
V. Peckhaus, Philosophischer Literaturanzeiger 52 (1999) 240–242.
LibreCat
V. Peckhaus, Philosophischer Literaturanzeiger 52 (1999) 240–242.
1999 | Conference Abstract | LibreCat-ID: 17880
On Deepening Foundations: Hilbert’s Axiomatic Program between Pragmatics and Naturalism [Abstract]
V. Peckhaus, in: J. Cachro, K. Kijania-Placek (Eds.), International Union of History and Philosophy of Science. 11th International Congress of Logic, Methodology and Philosophy of Science. Volume of Abstracts. August 20–26, 1999, Cracow, Poland, The Faculty of Philosophy, Jagiellonian University, Cracow, 1999, p. 447.
LibreCat
V. Peckhaus, in: J. Cachro, K. Kijania-Placek (Eds.), International Union of History and Philosophy of Science. 11th International Congress of Logic, Methodology and Philosophy of Science. Volume of Abstracts. August 20–26, 1999, Cracow, Poland, The Faculty of Philosophy, Jagiellonian University, Cracow, 1999, p. 447.
1999 | Journal Article | LibreCat-ID: 38343
Polarization mode dispersion compensation at 10, 20, and 40 Gb/s with various optical equalizers
R. Noé, D. Sandel, M. Yoshida-Dierolf, S. Hinz, V. Mirvoda, A. Schopflin, C. Glingener, E. Gottwald, C. Scheerer, G. Fischer, T. Weyrauch, W. Haase, JOURNAL OF LIGHTWAVE TECHNOLOGY 17 (1999) 1602–1616.
LibreCat
| DOI
R. Noé, D. Sandel, M. Yoshida-Dierolf, S. Hinz, V. Mirvoda, A. Schopflin, C. Glingener, E. Gottwald, C. Scheerer, G. Fischer, T. Weyrauch, W. Haase, JOURNAL OF LIGHTWAVE TECHNOLOGY 17 (1999) 1602–1616.
1999 | Journal Article | LibreCat-ID: 38293
Polarization mode dispersion compensation at 10, 20, and 40 Gb/s with various optical equalizers
R. Noé, D. Sandel, M. Yoshida-Dierolf, S. Hinz, V. Mirvoda, A. Schopflin, C. Glingener, E. Gottwald, C. Scheerer, G. Fischer, T. Weyrauch, W. Haase, JOURNAL OF LIGHTWAVE TECHNOLOGY 17 (1999) 1602–1616.
LibreCat
| DOI
R. Noé, D. Sandel, M. Yoshida-Dierolf, S. Hinz, V. Mirvoda, A. Schopflin, C. Glingener, E. Gottwald, C. Scheerer, G. Fischer, T. Weyrauch, W. Haase, JOURNAL OF LIGHTWAVE TECHNOLOGY 17 (1999) 1602–1616.
1998 | Conference (Editor) | LibreCat-ID: 7793
Semi-Formal and Formal Specification Techniques
G. Engels, H. Ehrig, F. Orejas, M. Wirsing, eds., Semi-Formal and Formal Specification Techniques, Schloss Dagstuhl, Leibniz Center for Informatics, 1998.
LibreCat
G. Engels, H. Ehrig, F. Orejas, M. Wirsing, eds., Semi-Formal and Formal Specification Techniques, Schloss Dagstuhl, Leibniz Center for Informatics, 1998.
1998 | Book (Editor) | LibreCat-ID: 15507
Klassische philosophische Texte von Frauen. 2nd ed
R.E. Hagengruber, ed., Klassische philosophische Texte von Frauen. 2nd ed, dtv, Deutscher Taschenbuch Verlag, München, 1998.
LibreCat
R.E. Hagengruber, ed., Klassische philosophische Texte von Frauen. 2nd ed, dtv, Deutscher Taschenbuch Verlag, München, 1998.
1998 | Conference Paper | LibreCat-ID: 38446
Fiber-based distributed PMD compensation at 20 Gb/s
R. Noé, D. Sandel, M. Yoshida-Dierolf, S. Hinz, C. Glingener, C. Scheerer, A. Schopflin, G. Fischer, in: 24TH EUROPEAN CONFERENCE ON OPTICAL COMMUNICATION, VOL 1-3: VOL 1: REGULAR AND INVITED PAPERS; VOL 2: TUTORIALS AND SYMPOSIUM PAPERS; VOL 3: POSTDEADLINE PAPERS, 1998, pp. B157–B159.
LibreCat
R. Noé, D. Sandel, M. Yoshida-Dierolf, S. Hinz, C. Glingener, C. Scheerer, A. Schopflin, G. Fischer, in: 24TH EUROPEAN CONFERENCE ON OPTICAL COMMUNICATION, VOL 1-3: VOL 1: REGULAR AND INVITED PAPERS; VOL 2: TUTORIALS AND SYMPOSIUM PAPERS; VOL 3: POSTDEADLINE PAPERS, 1998, pp. B157–B159.
1998 | Book Review | LibreCat-ID: 18212 |
![Open access file OA](https://ris.uni-paderborn.de/images/access_open.png)
Spalt, Detlef D., „Exaktheit als Konstante, Begriffe im Wandel des mathematischen Denkens. Zur Analysis im 19. und 20. Jahrhundert“, in: Czermak (Hg.) 1993 [Zbl 0836.00022], 45–59
V. Peckhaus, zbMATH Open, Zbl. 0876.00012 (1998).
LibreCat
| Download (ext.)
V. Peckhaus, zbMATH Open, Zbl. 0876.00012 (1998).
1997 | Conference Paper | LibreCat-ID: 3258
Dependency-Based Action Refinement
A. Rensink, H. Wehrheim, in: I. Pr{\’{\i}}vara, P. Ruzicka (Eds.), Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings, 1997, pp. 468--477.
LibreCat
| DOI
A. Rensink, H. Wehrheim, in: I. Pr{\’{\i}}vara, P. Ruzicka (Eds.), Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings, 1997, pp. 468--477.
1997 | Conference Paper | LibreCat-ID: 3259
Dependency-Based Action Refinement
A. Rensink, H. Wehrheim, in: I. Pr{\’{\i}}vara, P. Ruzicka (Eds.), Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings, 1997, pp. 468--477.
LibreCat
| DOI
A. Rensink, H. Wehrheim, in: I. Pr{\’{\i}}vara, P. Ruzicka (Eds.), Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings, 1997, pp. 468--477.
1997 | Book | LibreCat-ID: 17447
Logik, Mathesis universalis und allgemeine Wissenschaft. Leibniz und die Wiederentdeckung der formalen Logik im 19. Jahrhundert
V. Peckhaus, Logik, Mathesis universalis und allgemeine Wissenschaft. Leibniz und die Wiederentdeckung der formalen Logik im 19. Jahrhundert, Akademie-Verlag, Berlin, 1997.
LibreCat
V. Peckhaus, Logik, Mathesis universalis und allgemeine Wissenschaft. Leibniz und die Wiederentdeckung der formalen Logik im 19. Jahrhundert, Akademie-Verlag, Berlin, 1997.
1997 | Conference Paper | LibreCat-ID: 16568
Dynamic data structures for realtime management of large geometric scenes
M. Fischer, F. Meyer auf der Heide, W.-B. Strothmann, in: 5th Annual European Symposium on Algorithms (ESA ’97), Springer, Berlin, Heidelberg, 1997, pp. 1157–170.
LibreCat
| DOI
M. Fischer, F. Meyer auf der Heide, W.-B. Strothmann, in: 5th Annual European Symposium on Algorithms (ESA ’97), Springer, Berlin, Heidelberg, 1997, pp. 1157–170.
1997 | Journal Article | LibreCat-ID: 13776
The anisotropic electron - positron momentum distribution in diamond
R.W.N. Nilen, S.H. Connell, D.T. Britton, C.G. Fischer, E.J. Sendezera, P. Schaaff, W.G. Schmidt, J.P.F. Sellschop, W.S. Verwoerd, Journal of Physics: Condensed Matter 9 (1997) 6323–6333.
LibreCat
| DOI
R.W.N. Nilen, S.H. Connell, D.T. Britton, C.G. Fischer, E.J. Sendezera, P. Schaaff, W.G. Schmidt, J.P.F. Sellschop, W.S. Verwoerd, Journal of Physics: Condensed Matter 9 (1997) 6323–6333.
1996 | Book Chapter | LibreCat-ID: 35049
Zeitroman, mimetisch. Textgeschichte, Verfahren und Status von Marieluise Fleißers ›Mehlreisende Frieda Geier‹
J. Süßmann, in: C. Bürger (Ed.), Literatur und Leben. Stationen weiblichen Schreibens im 20. Jahrhundert. Unter Mitarbeit v. Lena Lindhoff, M&P, Stuttgart, 1996, pp. 62–100.
LibreCat
| DOI
| Download (ext.)
J. Süßmann, in: C. Bürger (Ed.), Literatur und Leben. Stationen weiblichen Schreibens im 20. Jahrhundert. Unter Mitarbeit v. Lena Lindhoff, M&P, Stuttgart, 1996, pp. 62–100.
1996 | Book Review | LibreCat-ID: 17918 |
![Open access file OA](https://ris.uni-paderborn.de/images/access_open.png)
Czermak, Johannes (Hg.), Philosophy of Mathematics. Proceedings of the 15th International Wittgenstein-Symposium, 16–23 August 1992, Kirchberg am Wechsel, Austria, Part 1, Hölder-Pichler-Tempsky: Wien 1993 (= Schriftenreihe der Wittgenstein-Gesellschaft; 20/I)
V. Peckhaus, zbMATH Open, Zbl. 0836.00022 (1996).
LibreCat
| Download (ext.)
V. Peckhaus, zbMATH Open, Zbl. 0836.00022 (1996).