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.

14318 Publications


1996 | Conference Paper | LibreCat-ID: 7834
Ehrig, Hartmut, Reiko Heckel, Julia Padberg, Gabriele Taentzer, Uwe Wolter, Andrea Corradini, and Gregor Engels. “Synchronization of Views and Loose Semantics of Typed Graph Productions.” In Report on the Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science, 11–12. Technical University of Berlin, 1996.
LibreCat
 

1996 | Report | LibreCat-ID: 8197
Andries, Marc, Gregor Engels, Annegret Habel, Berthold Hoffmann, Hans-Jörg Kreowski, Sabine Kuske, Detlef Plump, Andy Schürr, and Gabriele Taentzer. Graph Transformation for Specification and Programming. University of Bremen, Department of Mathematics and Computer Science, 1996.
LibreCat
 

1996 | Report | LibreCat-ID: 8200
Heckel, Reiko, Andrea Corradini, Hartmut Ehrig, and Michael Löwe. Horizontal and Vertical Structuring of Typed Graph Transformation Systems, 1996.
LibreCat
 

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

1996 | Conference Paper | LibreCat-ID: 8274
Groenewegen, Luuk, and Gregor Engels. “Reuse of Software Process Fragments Is Reuse of Software, Too.” In Proceedings of the 10th International Software Process Workshop (ISPW 1996), Ventron (France), 68. Washington, DC, USA: IEEE Computer Society, 1996.
LibreCat
 

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

1996 | Report | LibreCat-ID: 17418
Czumaj, Artur, Friedhelm Meyer auf der Heide, and Volker Stemann. Contention Resolution in Hashing Based Shared Memory Simulations. Technical Report SFB, University of Paderborn, 1996.
LibreCat
 

1996 | Book Chapter | LibreCat-ID: 17564
Bäumker, Armin, Wolfgang Dittrich, Friedhelm Meyer auf der Heide, and Ingo Rieping. “Realistic Parallel Algorithms: Priority Queue Operations and Selection for the BSP* Model.” In Lecture Notes in Computer Science, 369–76. Berlin, Heidelberg, 1996. https://doi.org/10.1007/bfb0024725.
LibreCat | DOI
 

1996 | Encyclopedia Article | LibreCat-ID: 17641
Peckhaus, Volker. “Weierstraß.” In Enzyklopädie Philosophie und Wissenschaftstheorie, Bd. 4: Sp–Z, edited by Jürgen Mittelstraß, 535–36. Stuttgart/Weimar: J.B. Metzler, 1996.
LibreCat
 

1996 | Encyclopedia Article | LibreCat-ID: 17639
Peckhaus, Volker. “Verknüpfung.” In Enzyklopädie Philosophie und Wissenschaftstheorie, Bd. 4: Sp–Z, edited by Jürgen Mittelstraß, 515–16. Stuttgart/Weimar: J.B. Metzler, 1996.
LibreCat
 

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

1996 | Conference Abstract | LibreCat-ID: 17843
Peckhaus, Volker. “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, edited by Christa Binder, 142–45. Wien, 1996.
LibreCat
 

1996 | Misc | LibreCat-ID: 17898
Peckhaus, Volker. 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
Peckhaus, Volker. “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
Peckhaus, Volker. “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
Peckhaus, Volker. “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
Peckhaus, Volker. “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
Peckhaus, Volker. “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
Peckhaus, Volker. “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
Peckhaus, Volker. “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
Peckhaus, Volker. “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
Peckhaus, Volker. 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
Peckhaus, Volker. “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
Tophinke, Doris. “Zwei Aspekte der Texttypik: Funktionalität und kulturelle Expressivität – ein historisches Fallbeispiel.” In Texte – Konstitution, Verarbeitung, Typik, edited by Susanne Michaelis and Doris Tophinke, 101–16. München: Lincom, 1996.
LibreCat
 

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

1996 | Journal Article | LibreCat-ID: 2182
Meyer auf der Heide, Friedhelm, Christian Scheideler, and Volker Stemann. “Exploiting Storage Redundancy to Speed up Randomized Shared Memory Simulations.” Theor. Comput. Sci., no. 2 (1996): 245--281. https://doi.org/10.1016/0304-3975(96)00032-1.
LibreCat | DOI
 

1996 | Book | LibreCat-ID: 14894
Fosdick, Lloyd Dudley, Elizabeth R Jessup, Carolyn JC Schauble, and Gitta Domik. An Introduction to High-Performance Scientific Computing. MIT Press, 1996.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 16895
Gutkauf, B., and Gitta Domik. “Benutzermodellierung Als Basis Für Adaptive Multimediale Präsentations- Und Interaktionssysteme.” In Proceedings 4. GI Workshop Adaptivität  Und Benutzermodellierung in Interaktiven Softwaresystemen. Dortmund, Germany, 1996.
LibreCat
 

1995 | Journal Article | LibreCat-ID: 10610
Platzner, Marco, Bernhard Rinner, and Reinhold Weiss. “Exploiting Parallelism in Constraint Satisfaction for Qualitative Simulation.” J.UCS Journal of Universal Computer Science 12 (1995): 811–20.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 11757
Dugast, Christian, Peter Beyerlein, and Reinhold 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
Gamm, Stephan, and Reinhold Haeb-Umbach. “User Interface Design of Voice Controlled Consumer Electronics.” Philips Journal of Research, 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 13474
Platzner, Marco, and Bernhard 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
Santos, Paulo V., N. Esser, J. Groenen, M. Cardona, Wolf Gero Schmidt, and F. Bechstedt. “Hydrogen Interaction with Sb-Terminated GaAs and InP (110) Surfaces.” Physical Review B 52, no. 24 (1995): 17379–85. https://doi.org/10.1103/physrevb.52.17379.
LibreCat | DOI
 

1995 | Conference Paper | LibreCat-ID: 15305
Hüllermeier, Eyke. “Fuzzy Polynomial and Spline Interpolation.” In In Proceedings IMACS Symposium on Systems Analysis and Simulation, Berlin, 401–4. Gordon and Breach Publishers, 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 16707
Czumaj, A., Friedhelm 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. https://doi.org/10.1109/istcs.1995.377051.
LibreCat | DOI
 

1995 | Conference Paper | LibreCat-ID: 2448
Römke, Thomas, Markus Röttger, Ulf-Peter Schroeder, and Jens Simon. “An Efficient Mapping Library for Parix.” In Proc. ZEUS Workshop on Par. Programming and Computation. IOS Press, 1995.
LibreCat
 

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

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

1995 | Book Chapter | LibreCat-ID: 3530
Gries, Thomas. “Neue Regionale Wachstumstheorie Und Humankapital Als Regionaler Charakteristischer Faktor.” In Standort Und Region, Neue Ansätze Zur Regionalökonomik, edited by Bernhard Gahlen and Helmut Hesse. Tübingen: Mohr (Siebeck), 1995.
LibreCat
 

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

1995 | Conference Paper | LibreCat-ID: 8097
Krauter, Stefan. “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
Krauter, Stefan. “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
Bardohl, Bernhard, Roswitha Bardohl, Paulo Castro, Hartmut Ehrig, Reiko Heckel, Leila Ribeiro, Daltro Nunes, and Alfio Martini. “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), Vol. 26. Bilateral Seminars of the International Bureau. Forschungszentrum Jülich GmbH, 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 8270
Heckel, Reiko, and Annika 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), 2:118–26. Electronic Notes in Theoretical Computer Science. Elsevier, 1995. http://dx.doi.org/10.1016/S1571-0661(05)80188-4.
LibreCat | DOI
 

1995 | Journal Article | LibreCat-ID: 16550
Dellnitz, Michael, Michael Field, Martin Golubitsky, Jun Ma, and Andreas Hohmann. “Cycling Chaos.” International Journal of Bifurcation and Chaos, 1995, 1243–47. https://doi.org/10.1142/s0218127495000909.
LibreCat | DOI
 

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

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

1995 | Book | LibreCat-ID: 19136
Eke, Norbert Otto, Volker C. Dörr, and u. a. „Wir träumen ins Herz der Zukunft“. Literatur in Nordrhein-Westfalen 1971-1994 (Edition). Vol. 4. Literatur in den Rheinlanden und in Westfalen – Literatur in Nordrhein-Westfalen. Texte aus hundert Jahren in vier Bänden. Frankfurt a. M., Leipzig: Insel, 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 2208
Meyer auf der Heide, Friedhelm, Christian Scheideler, and Volker Stemann. “Exploiting Storage Redundancy to Speed Up Randomized Shared Memory Simulations.” In STACS, 267--278, 1995.
LibreCat | Files available
 

1995 | Journal Article | LibreCat-ID: 22317
Zimmer, Detmar. “Generationswechsel. Überarbeitung Einer Getriebebaureihe.” Der Konstrukteur - Magazin Für Konstruktion Und Entwicklung 1–2 (1995).
LibreCat
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed