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.

13161 Publications


1996 | Conference Paper | LibreCat-ID: 7834
H. Ehrig et al., “Synchronization of Views and Loose Semantics of Typed Graph Productions,” in Report on the Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science, 1996, no. 155, pp. 11–12.
LibreCat
 

1996 | Report | LibreCat-ID: 8197
M. Andries et al., Graph Transformation for Specification and Programming. University of Bremen, Department of Mathematics and Computer Science, 1996.
LibreCat
 

1996 | Report | LibreCat-ID: 8200
R. Heckel, A. Corradini, H. Ehrig, and M. Löwe, Horizontal and Vertical Structuring of Typed Graph Transformation Systems. 1996.
LibreCat
 

1996 | Book Chapter | LibreCat-ID: 8419
H.-H. Kremer, “Existenzgründung,” in Meisterprüfung - Lernen für die Praxis - Unternehmensführung 1, 2nd ed., U. Braukmann, A. Diettrich, H.-H. Kremer, P. F. E. Sloane, and E. Stickling, Eds. Düsseldorf, 1996, pp. 19–94.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 8274
L. Groenewegen and G. Engels, “Reuse of Software Process Fragments is Reuse of Software, too,” in Proceedings of the 10th International Software Process Workshop (ISPW 1996), Ventron (France), 1996, p. 68.
LibreCat
 

1996 | Journal Article | LibreCat-ID: 9626
M. Tönnies, “The Spectator as Participant: The Role of Integrating Audience Laughter in Samuel Beckett’s Drama,” Forum Modernes Theater, vol. 11, no. 2, pp. 185–196, 1996.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 16895
B. Gutkauf and G. Domik-Kienegger, “Benutzermodellierung als Basis für adaptive multimediale Präsentations- und Interaktionssysteme,” in Proceedigns 4. GI Workshop Adaptivität  und Benutzermodellierung in interaktiven Softwaresystemen, 1996.
LibreCat
 

1996 | Report | LibreCat-ID: 17418
A. Czumaj, F. Meyer auf der Heide, and V. Stemann, Contention Resolution in Hashing Based Shared Memory Simulations. 1996.
LibreCat
 

1996 | Book Chapter | LibreCat-ID: 17564
A. Bäumker, W. Dittrich, F. Meyer auf der Heide, and I. Rieping, “Realistic parallel algorithms: Priority queue operations and selection for the BSP* Model,” in Lecture Notes in Computer Science, Berlin, Heidelberg, 1996, pp. 369–376.
LibreCat | DOI
 

1996 | Encyclopedia Article | LibreCat-ID: 17641
V. Peckhaus, “Weierstraß,” in Enzyklopädie Philosophie und Wissenschaftstheorie, Bd. 4: Sp–Z, J. Mittelstraß, Ed. Stuttgart/Weimar: J.B. Metzler, 1996, pp. 535–536.
LibreCat
 

1996 | Encyclopedia Article | LibreCat-ID: 17639
V. Peckhaus, “Verknüpfung,” in Enzyklopädie Philosophie und Wissenschaftstheorie, Bd. 4: Sp–Z, J. Mittelstraß, Ed. Stuttgart/Weimar: J.B. Metzler, 1996, pp. 515–516.
LibreCat
 

1996 | Book Review | LibreCat-ID: 17778
V. Peckhaus, “Günter Schenk: Leben und Werk des Halleschen Aufklärers Georg Friedrich Meier, 224 S. (Hallesche Gelehrtenbiographien), Hallescher Verlag, Halle/Saale 1994,” Philosophischer Literaturanzeiger, vol. 49. pp. 248–251, 1996.
LibreCat
 

1996 | Conference Abstract | LibreCat-ID: 17843
V. Peckhaus, “Das Problem des ersten Schrittes in der modernen Axiomatik [Abstract],” in IV. Österreichisches Symposion zur Geschichte der Mathematik. Neuhofen an der Ybbs, 5. bis 11. November 1995. 999 Jahre Österreich — ein Teil der globalen Entwicklung der Mathematik. Kurzfassungen der Vorträge, Nachtragsband, 1996, pp. 142–145.
LibreCat
 

1996 | Misc | LibreCat-ID: 17898
V. Peckhaus, On the Origins of the Word ‘Logicism’ [ursprünglich Beitrag für russell-l], URL erstellt 22.3.1996. 1996.
LibreCat | Download (ext.)
 

1996 | Book Review | LibreCat-ID: 17913
V. Peckhaus, “Franchella, Miriam, ‘L.E.J. Brouwer: Toward Intuitionistic Logic’, Historia Mathematica 22 (1995), 304–322,” Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 833.01017]. 1996.
LibreCat
 

1996 | Book Review | LibreCat-ID: 17918
V. Peckhaus, “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),” Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 836.00022]. 1996.
LibreCat
 

1996 | Book Review | LibreCat-ID: 17920
V. Peckhaus, “Knobloch, Eberhard/Pieper, Herbert/Pulte, Helmut, „...das Wesen der reinen Mathematik verherrlichen“, Mathematische Semesterberichte 42 (1995), 99–132,” Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 836.01009]. 1996.
LibreCat
 

1996 | Book Review | LibreCat-ID: 17925
V. Peckhaus, “Rheinwald, Rosemarie, „Die Achilles-Paradoxie in der modernen Diskussion“, in: Czermak (Hg.) 1993 [9.4], 383–392,” Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 838.03005]. 1996.
LibreCat
 

1996 | Book Review | LibreCat-ID: 17932
V. Peckhaus, “Bealer, George, ‘Toward a New Theory of Content’, in: Casati/Smith/White (Hgg.) 1994 [9.39], 179–191,” Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 842.03022]. 1996.
LibreCat
 

1996 | Book Review | LibreCat-ID: 17937
V. Peckhaus, “Murawski, Roman, ‘Contributions of Polish Logicians to Decidability Theory’, Modern Logic 6 (1996), 37–66,” Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 844.01010]. 1996.
LibreCat
 

1996 | Book Review | LibreCat-ID: 17944
V. Peckhaus, “Grattan-Guinness, Ivor, ‘Structure-similarity as a Cornerstone of the Philosophy of Mathematics’, in: J. Echeverria et al. (eds.), The Space of Mathematics, Walter de Gruyter: Berlin 1992, 91–111,” Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 848.00005]. 1996.
LibreCat
 

1996 | Book Review | LibreCat-ID: 17949
V. Peckhaus, “Resnik, Michael D., ‘Applying Mathematics and the Indispensability Argument’, in: J. Echeverria et al. (eds.), The Space of Mathematics, Walter de Gruyter: Berlin 1992, 115–131,” Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 849.00014]. 1996.
LibreCat
 

1996 | Habilitation | LibreCat-ID: 17444
V. Peckhaus, Logik und Struktur. Leibniz und die Wiederentdeckung der formalen Logik im 19. Jahrhundert, als Habilitationsschrift der Philosophischen Fakultät I der Universität Erlangen-Nürnberg vorgelegt im Juli 1995. 1996.
LibreCat
 

1996 | Book Review | LibreCat-ID: 17956
V. Peckhaus, “Casati, Roberto/Smith, Barry/White, Graham (Hgg.), Philosophy of the Cognitive Sciences. Proceedings of the 16th International Wittgenstein-Symposium, 15–22 August 1993, Kirchberg am Wechsel, Austria, Hölder-Pichler-Tempsky: Wien 1994 (= Schriftenreihe der Wittgenstein-Gesellschaft; 21),” Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 849.00032]. 1996.
LibreCat
 

1996 | Book Chapter | LibreCat-ID: 18428
D. Tophinke, “Zwei Aspekte der Texttypik: Funktionalität und kulturelle Expressivität – ein historisches Fallbeispiel,” in Texte – Konstitution, Verarbeitung, Typik, S. Michaelis and D. Tophinke, Eds. München: Lincom, 1996, pp. 101–116.
LibreCat
 

1996 | Book | LibreCat-ID: 19135
N. O. Eke, Richard Beer-Hofmann: Die Historie von König David und andere dramatische Entwürfe (Edition), vol. 5. Paderborn: Igel, 1996.
LibreCat
 

1996 | Journal Article | LibreCat-ID: 2182
F. Meyer auf der Heide, C. Scheideler, and V. Stemann, “Exploiting Storage Redundancy to Speed up Randomized Shared Memory Simulations,” Theor. Comput. Sci., no. 2, pp. 245--281, 1996.
LibreCat | DOI
 

1995 | Journal Article | LibreCat-ID: 10610
M. Platzner, B. Rinner, and R. Weiss, “Exploiting Parallelism in Constraint Satisfaction for Qualitative Simulation,” J.UCS Journal of Universal Computer Science, vol. 12, pp. 811–820, 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 11757
C. Dugast, P. Beyerlein, and R. Haeb-Umbach, “Application of Clustering Techniques to Mixture Density Modelling for Continuous-Speech Recognition,” in ICASSP, Detroit, 1995.
LibreCat | Download (ext.)
 

1995 | Journal Article | LibreCat-ID: 11764
S. Gamm and R. Haeb-Umbach, “User interface design of voice controlled consumer electronics,” Philips Journal of Research, 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 13474
M. Platzner and B. Rinner, “High-Performance Qualitative Simulation on a Multi-DSP Architecture,” in Proceedings of the 6th International Conference on Signal Processing Applications & Technology (ICSPAT), 1995.
LibreCat
 

1995 | Journal Article | LibreCat-ID: 13796
P. V. Santos, N. Esser, J. Groenen, M. Cardona, W. G. Schmidt, and F. Bechstedt, “Hydrogen interaction with Sb-terminated GaAs and InP (110) surfaces,” Physical Review B, vol. 52, no. 24, pp. 17379–17385, 1995.
LibreCat | DOI
 

1995 | Conference Paper | LibreCat-ID: 15305
E. Hüllermeier, “Fuzzy polynomial and spline interpolation,” in in Proceedings IMACS Symposium on Systems Analysis and Simulation, Berlin, 1995, pp. 401–404.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 16707
A. Czumaj, F. Meyer auf der Heide, and V. Stemann, “Improved optimal shared memory simulations, and the power of reconfiguration,” in Proceedings Third Israel Symposium on the Theory of Computing and Systems, 1995.
LibreCat | DOI
 

1995 | Conference Paper | LibreCat-ID: 2448
T. Römke, M. Röttger, U.-P. Schroeder, and J. Simon, “An Efficient Mapping Library for Parix,” in Proc. ZEUS Workshop on Par. Programming and Computation, 1995.
LibreCat
 

1995 | Report | LibreCat-ID: 2450
J. Gehring and J. Simon, SparcStation SCI-Interface. Paderborn Center for Parallel Computing, 1995.
LibreCat
 

1995 | Journal Article | LibreCat-ID: 2563
S. Betz, “Die Bedeutung der Periodenplanbeschäftigung im Rahmen einer investitionstheoretisch fundierten Kostenrechnung,” Zeitschrift für Planung, vol. 6, pp. 167–183, 1995.
LibreCat
 

1995 | Book Chapter | LibreCat-ID: 3530
T. Gries, “Neue regionale Wachstumstheorie und Humankapital als regionaler charakteristischer Faktor,” in Standort und Region, Neue Ansätze zur Regionalökonomik, B. Gahlen and H. Hesse, Eds. Tübingen: Mohr (Siebeck), 1995.
LibreCat
 

1995 | Book Chapter | LibreCat-ID: 8078
H.-H. Kremer, “Existenzgründung,” in Meisterprüfung - Lernen für die Praxis - Unternehmensführung 1, 1st ed., U. Braukmann, A. Diettrich, H.-H. Kremer, P. F. E. Sloane, and E. Stickling, Eds. Düsseldorf, 1995, pp. 19–94.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 8097
S. Krauter, “Solar Electricity up to 30% less expensive by optical and thermal enhanced PV modules,” in Proceedings of the ISES Solar World Congress 1995, Harare (Simbabwe), 11.–15. September 1995., 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 8100
S. Krauter, “Thermal and Optical Enhanced PV-Modules,” in Proceedings of the 13th European Photovoltaic Solar Energy Conference, Nizza (Frankreich), 23.–27. Oktober 1995, S. 2306–2309., 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 8268
B. Bardohl et al., “GRAPHIT: Graphical Support and Integration of Formal and Semiformal Methods for Software Specification and Development,” in Proceedings of the 3rd German-Brazilian Workshop on Information Technology (1995), Berlin (Germany), 1995, vol. 26.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 8270
R. Heckel and A. Wagner, “Ensuring Consistency of Conditional Graph Grammars - A constructive Approach,” in Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy), 1995, vol. 2, pp. 118–126.
LibreCat | DOI
 

1995 | Conference Paper | LibreCat-ID: 16904
G. Kienegger-domik, “Intelligent visualization systems in educational environments,” in Proceedings of ED-MEDIA `95, 1995.
LibreCat
 

1995 | Journal Article | LibreCat-ID: 16550
M. Dellnitz, M. Field, M. Golubitsky, J. Ma, and A. Hohmann, “Cycling Chaos,” International Journal of Bifurcation and Chaos, pp. 1243–1247, 1995.
LibreCat | DOI
 

1995 | Conference Paper | LibreCat-ID: 17306
F. Postel, G. Oevel, and F. Schwarz, “MuPAD in der Ausbildung,” in Beiträge zum Mathematikunterricht, 1995.
LibreCat
 

1995 | Journal Article | LibreCat-ID: 17490
V. Peckhaus, “Hilberts Logik. Von der Axiomatik zur Beweistheorie,” NTM. Internationale Zeitschrift für Geschichte und Ethik der Naturwissenschaften, Technik und Medizin N.F., vol. 3, pp. 65–86, 1995.
LibreCat
 

1995 | Book | LibreCat-ID: 19136
N. O. Eke, V. C. Dörr, and u. a., „Wir träumen ins Herz der Zukunft“. Literatur in Nordrhein-Westfalen 1971-1994 (Edition), vol. 4. Frankfurt a. M., Leipzig: Insel, 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 2208
F. Meyer auf der Heide, C. Scheideler, and V. Stemann, “Exploiting Storage Redundancy to Speed Up Randomized Shared Memory Simulations,” in STACS, 1995, pp. 267--278.
LibreCat | Files available
 

1995 | Conference Paper | LibreCat-ID: 11765
S. Gamm and R. Haeb-Umbach, “Human Factors of a Voice-Controlled Car Stereo,” in Eurospeech, Madrid, 1995.
LibreCat
 

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year , First Author
Citation Style: IEEE

Export / Embed