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.

13109 Publications


1996 | Journal Article | LibreCat-ID: 16698
Ameur, F., Fischer, P., Höffgen, K.-U., & Meyer auf der Heide, F. (1996). Trial and error. A new approach to space-bounded learning. Acta Informatica, 621–630. https://doi.org/10.1007/bf03036467
LibreCat | DOI
 

1996 | Journal Article | LibreCat-ID: 16701
Gil, J., Meyer auf der Heide, F., & Wigderson, A. (1996). The Tree Model for Hashing: Lower and Upper Bounds. SIAM Journal on Computing, 936–955. https://doi.org/10.1137/s0097539793255722
LibreCat | DOI
 

1996 | Journal Article | LibreCat-ID: 2579
Betz, S. (1996). Produktionsabfallrecycling als operatives Entscheidungsproblem. UmweltWirtschaftsForum, 4, 44–51.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 3262
Goltz, U., & Wehrheim, H. (1996). Causal Testing. In W. Penczek & A. Szalas (Eds.), Mathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS’96, Cracow, Poland, September 2-6, 1996, Proceedings (pp. 394--406). https://doi.org/10.1007/3-540-61550-4_165
LibreCat | DOI
 

1996 | Journal Article | LibreCat-ID: 5612
Kabst, R., Larsen, H. H., & Bramming, P. (1996). How Do Lean Management Organizations Behave Regarding Training and Development? The International Journal of Human Resource Management, 7(3), 618–639.
LibreCat
 

1996 | Book | LibreCat-ID: 6146
Brewster, C., Weber, W., & Kabst, R. (1996). Working Time and Contract Flexibility in the E.U. Bedford.
LibreCat
 

1996 | Journal Article | LibreCat-ID: 7404
Habel, A., Heckel, R., & Taentzer, G. (1996). Graph Grammars with Negative Application Conditions. Fundamenta Informaticae, 26(3,4), 287–313.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 8104
Krauter, S., Hanitsch, R., & Moreira, L. (1996). New Optical and Thermal Enhanced PV Modules Performing 12% better under True Module Rating Conditions. In Proceedings of the 25th IEEE–PV–Specialists Conference, Washington D.C. (USA), 13.–19. Mai 1996, Band 1, S. 1323–1326.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 7834
Ehrig, H., Heckel, R., Padberg, J., Taentzer, G., Wolter, U., Corradini, A., & Engels, G. (1996). Synchronization of Views and Loose Semantics of Typed Graph Productions. In Report on the Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science (pp. 11–12). Technical University of Berlin.
LibreCat
 

1996 | Report | LibreCat-ID: 8197
Andries, M., Engels, G., Habel, A., Hoffmann, B., Kreowski, H.-J., Kuske, S., … Taentzer, G. (1996). Graph Transformation for Specification and Programming. University of Bremen, Department of Mathematics and Computer Science.
LibreCat
 

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

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

1996 | Conference Paper | LibreCat-ID: 8274
Groenewegen, L., & Engels, G. (1996). Reuse of Software Process Fragments is Reuse of Software, too. In Proceedings of the 10th International Software Process Workshop (ISPW 1996), Ventron (France) (p. 68). Washington, DC, USA: IEEE Computer Society.
LibreCat
 

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

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

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

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

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

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

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

1996 | Conference Abstract | LibreCat-ID: 17843
Peckhaus, V. (1996). Das Problem des ersten Schrittes in der modernen Axiomatik [Abstract]. In C. Binder (Ed.), 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 (pp. 142–145). Wien.
LibreCat
 

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

1996 | Book Review | LibreCat-ID: 17913
Peckhaus, V. (1996). 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].
LibreCat
 

1996 | Book Review | LibreCat-ID: 17918
Peckhaus, V. (1996). 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].
LibreCat
 

1996 | Book Review | LibreCat-ID: 17920
Peckhaus, V. (1996). 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].
LibreCat
 

1996 | Book Review | LibreCat-ID: 17925
Peckhaus, V. (1996). 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].
LibreCat
 

1996 | Book Review | LibreCat-ID: 17932
Peckhaus, V. (1996). 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].
LibreCat
 

1996 | Book Review | LibreCat-ID: 17937
Peckhaus, V. (1996). 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].
LibreCat
 

1996 | Book Review | LibreCat-ID: 17944
Peckhaus, V. (1996). 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].
LibreCat
 

1996 | Book Review | LibreCat-ID: 17949
Peckhaus, V. (1996). 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].
LibreCat
 

1996 | Habilitation | LibreCat-ID: 17444
Peckhaus, V. (1996). 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.
LibreCat
 

1996 | Book Review | LibreCat-ID: 17956
Peckhaus, V. (1996). 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].
LibreCat
 

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

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

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

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

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

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

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

1995 | Journal Article | LibreCat-ID: 13796
Santos, P. V., Esser, N., Groenen, J., Cardona, M., Schmidt, W. G., & Bechstedt, F. (1995). Hydrogen interaction with Sb-terminated GaAs and InP (110) surfaces. Physical Review B, 52(24), 17379–17385. https://doi.org/10.1103/physrevb.52.17379
LibreCat | DOI
 

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

1995 | Conference Paper | LibreCat-ID: 16707
Czumaj, A., Meyer auf der Heide, F., & Stemann, V. (1995). Improved optimal shared memory simulations, and the power of reconfiguration. In Proceedings Third Israel Symposium on the Theory of Computing and Systems. https://doi.org/10.1109/istcs.1995.377051
LibreCat | DOI
 

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

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

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

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

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

1995 | Conference Paper | LibreCat-ID: 8097
Krauter, S. (1995). 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.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 8100
Krauter, S. (1995). 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.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 8268
Bardohl, B., Bardohl, R., Castro, P., Ehrig, H., Heckel, R., Ribeiro, L., … Martini, A. (1995). 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). Forschungszentrum Jülich GmbH.
LibreCat
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed