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.
9291 Publications
1997 | Conference Paper | LibreCat-ID: 39505
Visual-Textual Prototyping of 4D Scenes
M. Dücker, C. Geiger, R. Hunstock, G. Lehrenfeld, W. Müller, in: Proceedings of the 1997 IEEE Symposium on Visual Languages, Capri, Italy, 1997.
LibreCat
| DOI
M. Dücker, C. Geiger, R. Hunstock, G. Lehrenfeld, W. Müller, in: Proceedings of the 1997 IEEE Symposium on Visual Languages, Capri, Italy, 1997.
1997 | Conference Paper | LibreCat-ID: 39502
A Generic System for Interactive Real--Time Animation
M. Dücker, G. Lehrenfeld, W. Müller, C. Tahedl, in: Proceedings International Conference and Workshop on Engineering of Computer-Based Systems, Monterey, CA, USA , 1997.
LibreCat
| DOI
M. Dücker, G. Lehrenfeld, W. Müller, C. Tahedl, in: Proceedings International Conference and Workshop on Engineering of Computer-Based Systems, Monterey, CA, USA , 1997.
1997 | Journal Article | LibreCat-ID: 43532
Predigt: Die vielen Glieder (1 Kor 12,12-27)
H. Schroeter-Wittke, Zeitschrift Für Gottesdienst Und Predigt 15 (1997) 32–34.
LibreCat
H. Schroeter-Wittke, Zeitschrift Für Gottesdienst Und Predigt 15 (1997) 32–34.
1997 | Conference Paper | LibreCat-ID: 44275
Conservation of intraband coherence upon carrier relaxation by LO-phonon emission
T. Meier, F. Wolter, H.G. Roskos, K.-C. Je, J. Hader, F. Rossi, K. Köhler, S.W. Koch, H. Kurz, in: Quantum Electronics and Laser Science Conference, Optical Society of America, 1997.
LibreCat
| Download (ext.)
T. Meier, F. Wolter, H.G. Roskos, K.-C. Je, J. Hader, F. Rossi, K. Köhler, S.W. Koch, H. Kurz, in: Quantum Electronics and Laser Science Conference, Optical Society of America, 1997.
1997 | Conference Paper | LibreCat-ID: 44276
Nonlinear dynamics of the coupled exciton-cavity system
T. Meier, M. Koch, J. Shah, in: Quantum Electronics and Laser Science Conference, Optical Society of America, 1997.
LibreCat
| Download (ext.)
T. Meier, M. Koch, J. Shah, in: Quantum Electronics and Laser Science Conference, Optical Society of America, 1997.
1997 | Journal Article | LibreCat-ID: 44584
Wohnzimmer und Satelliten. Die Empirie der Fernsehwissenschaften
R. Adelmann, M. Stauff, montage/av. Zeitschrift für Theorie und Geschichte audiovisueller Kommunikation 6 (1997) 119–127.
LibreCat
R. Adelmann, M. Stauff, montage/av. Zeitschrift für Theorie und Geschichte audiovisueller Kommunikation 6 (1997) 119–127.
1997 | Journal Article | LibreCat-ID: 45223
Der Kinderfilm im Multimedia-Zeitalter
B. Herzig, Perfo 1/1997 (1997) 9-10 (gekürzt).
LibreCat
B. Herzig, Perfo 1/1997 (1997) 9-10 (gekürzt).
1997 | Book Review | LibreCat-ID: 17779
Jarmo Pulkkinen, The Threat of Logical Mathematism. A Study on the Critique of Mathematical Logic in Germany at the Turn of the 20th Century. Peter Lang: Frankfurt a.M. 1994 (= Scandinavian University Studies in the Humanities and Social Sciences; 7)
V. Peckhaus, History and Philosophy of Logic 18 (1997) 115–120 (Essay Review).
LibreCat
| Download (ext.)
V. Peckhaus, History and Philosophy of Logic 18 (1997) 115–120 (Essay Review).
1997 | Book Review | LibreCat-ID: 18202 | 
Frege, Gottlob; Gabriel, Gottfried (ed.), „Vorlesungen über Begriffsschrift“, History and Philosophy of Logic 17, No. 1 (1996), iii–xvi, 1–48
V. Peckhaus, zbMATH Open, Zbl. 0860.01036 (1997).
LibreCat
| Download (ext.)
V. Peckhaus, zbMATH Open, Zbl. 0860.01036 (1997).
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
| Files available
V. Peckhaus, Logik, Mathesis universalis und allgemeine Wissenschaft. Leibniz und die Wiederentdeckung der formalen Logik im 19. Jahrhundert, Akademie-Verlag, Berlin, 1997.
1996 | Book Chapter | LibreCat-ID: 19816
Learning a representation for optimizable formulas
H. Kleine Büning, T. Lettmann, in: Lecture Notes in Computer Science, Berlin, Heidelberg, 1996.
LibreCat
| DOI
H. Kleine Büning, T. Lettmann, in: Lecture Notes in Computer Science, Berlin, Heidelberg, 1996.
1996 | Journal Article | LibreCat-ID: 19958
Routing on Networks of Optical Crossbars (Extended Abstract).
F. Schwarze, F. Meyer auf der Heide, K. Schröder, Euro-Par 1996 I (1996) 299–306.
LibreCat
F. Schwarze, F. Meyer auf der Heide, K. Schröder, Euro-Par 1996 I (1996) 299–306.
1996 | Dissertation | LibreCat-ID: 3260
Specifying reactive systems with action dependencies: modelling and hierarchical design
H. Wehrheim, Specifying Reactive Systems with Action Dependencies: Modelling and Hierarchical Design, University of Hildesheim, Germany, 1996.
LibreCat
H. Wehrheim, Specifying Reactive Systems with Action Dependencies: Modelling and Hierarchical Design, University of Hildesheim, Germany, 1996.
1996 | Journal Article | LibreCat-ID: 3261
Modelling Causality via Action Dependencies in Branching Time Semantics
U. Goltz, H. Wehrheim, Inf. Process. Lett. (1996) 179--184.
LibreCat
| DOI
U. Goltz, H. Wehrheim, Inf. Process. Lett. (1996) 179--184.
1996 | Conference Paper | LibreCat-ID: 3262
Causal Testing
U. Goltz, H. Wehrheim, in: W. Penczek, A. Szalas (Eds.), Mathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS’96, Cracow, Poland, September 2-6, 1996, Proceedings, 1996, pp. 394--406.
LibreCat
| DOI
U. Goltz, H. Wehrheim, in: W. Penczek, A. Szalas (Eds.), Mathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS’96, Cracow, Poland, September 2-6, 1996, Proceedings, 1996, pp. 394--406.
1996 | Report | LibreCat-ID: 17418
Contention Resolution in Hashing Based Shared Memory Simulations
A. Czumaj, F. Meyer auf der Heide, V. Stemann, Contention Resolution in Hashing Based Shared Memory Simulations, 1996.
LibreCat
A. Czumaj, F. Meyer auf der Heide, V. Stemann, Contention Resolution in Hashing Based Shared Memory Simulations, 1996.
1996 | Conference Paper | LibreCat-ID: 17419
A lower bound for randomized algebraic decision trees
D. Grigoriev, M. Karpinski, F. Meyer auf der Heide, R. Smolensky, in: Proc. of 28th ACM-STOC, Eurographics Symposium on Parallel Graphics and Visualization, 1996, pp. 612–621.
LibreCat
D. Grigoriev, M. Karpinski, F. Meyer auf der Heide, R. Smolensky, in: Proc. of 28th ACM-STOC, Eurographics Symposium on Parallel Graphics and Visualization, 1996, pp. 612–621.
1996 | Conference Paper | LibreCat-ID: 17483
A Realistic Cost Model for the Communication Time in Parallel Programs
M. Fischer, J. Rethmann, A. Wachsmann, in: 3rd Workshop on Abstract Machine Models for Parallel and Distributed Computing (AMW ’96), IOS Press, Amsterdam, 1996, pp. 13–27.
LibreCat
| Files available
M. Fischer, J. Rethmann, A. Wachsmann, in: 3rd Workshop on Abstract Machine Models for Parallel and Distributed Computing (AMW ’96), IOS Press, Amsterdam, 1996, pp. 13–27.
1996 | Conference Paper | LibreCat-ID: 17493
The Influence of Hermann Günther Grassmann and Robert Grassmann on Ernst Schröder’s Algebra of Logic
V. Peckhaus, in: G. Schubring (Ed.), Hermann Günther Graßmann (1809–1877): Visionary Mathematician, Scientist and Neo-Humanist Scholar. Papers from a Sesquicentennial Conference, Kluwer, Dordrecht/Boston/London, 1996, pp. 217–227.
LibreCat
V. Peckhaus, in: G. Schubring (Ed.), Hermann Günther Graßmann (1809–1877): Visionary Mathematician, Scientist and Neo-Humanist Scholar. Papers from a Sesquicentennial Conference, Kluwer, Dordrecht/Boston/London, 1996, pp. 217–227.
1996 | Book Chapter | LibreCat-ID: 17564
Realistic parallel algorithms: Priority queue operations and selection for the BSP* Model
A. Bäumker, W. Dittrich, F. Meyer auf der Heide, I. Rieping, in: Lecture Notes in Computer Science, Berlin, Heidelberg, 1996, pp. 369–376.
LibreCat
| DOI
A. Bäumker, W. Dittrich, F. Meyer auf der Heide, I. Rieping, in: Lecture Notes in Computer Science, Berlin, Heidelberg, 1996, pp. 369–376.