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.

13651 Publications


1996 | Book Review | LibreCat-ID: 17937
@article{Peckhaus_1996, title={Murawski, Roman, “Contributions of Polish Logicians to Decidability Theory”, Modern Logic 6 (1996), 37–66}, number={Zbl. 844.01010}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 844.01010]}, author={Peckhaus, Volker}, year={1996} }
LibreCat
 

1996 | Book Review | LibreCat-ID: 17944
@article{Peckhaus_1996, title={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}, number={Zbl. 848.00005}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 848.00005]}, author={Peckhaus, Volker}, year={1996} }
LibreCat
 

1996 | Book Review | LibreCat-ID: 17949
@article{Peckhaus_1996, title={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}, number={Zbl. 849.00014}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 849.00014]}, author={Peckhaus, Volker}, year={1996} }
LibreCat
 

1996 | Habilitation | LibreCat-ID: 17444
@book{Peckhaus_1996, title={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}, author={Peckhaus, Volker}, year={1996} }
LibreCat
 

1996 | Book Review | LibreCat-ID: 17956
@article{Peckhaus_1996, title={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)}, number={Zbl. 849.00032}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 849.00032]}, author={Peckhaus, Volker}, year={1996} }
LibreCat
 

1996 | Book Chapter | LibreCat-ID: 18428
@inbook{Tophinke_1996, place={München}, title={Zwei Aspekte der Texttypik: Funktionalität und kulturelle Expressivität – ein historisches Fallbeispiel}, booktitle={Texte – Konstitution, Verarbeitung, Typik}, publisher={Lincom}, author={Tophinke, Doris}, editor={Michaelis, Susanne and Tophinke, DorisEditors}, year={1996}, pages={101–116} }
LibreCat
 

1996 | Book | LibreCat-ID: 19135
@book{Eke_1996, place={Paderborn}, series={Richard Beer-Hofmann: Werke}, title={Richard Beer-Hofmann: Die Historie von König David und andere dramatische Entwürfe (Edition)}, volume={5}, publisher={Igel}, author={Eke, Norbert Otto}, year={1996}, collection={Richard Beer-Hofmann: Werke} }
LibreCat
 

1996 | Journal Article | LibreCat-ID: 2182
@article{Meyer auf der Heide_Scheideler_Stemann_1996, title={Exploiting Storage Redundancy to Speed up Randomized Shared Memory Simulations}, DOI={10.1016/0304-3975(96)00032-1}, number={2}, journal={Theor. Comput. Sci.}, author={Meyer auf der Heide, Friedhelm and Scheideler, Christian and Stemann, Volker}, year={1996}, pages={245--281} }
LibreCat | DOI
 

1995 | Journal Article | LibreCat-ID: 10610
@article{Platzner_Rinner_Weiss_1995, title={Exploiting Parallelism in Constraint Satisfaction for Qualitative Simulation}, volume={12}, journal={J.UCS Journal of Universal Computer Science}, publisher={Springer}, author={Platzner, Marco and Rinner, Bernhard and Weiss, Reinhold}, year={1995}, pages={811–820} }
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 11757
@inproceedings{Dugast_Beyerlein_Haeb-Umbach_1995, title={Application of Clustering Techniques to Mixture Density Modelling for Continuous-Speech Recognition}, booktitle={ICASSP, Detroit}, author={Dugast, Christian and Beyerlein, Peter and Haeb-Umbach, Reinhold}, year={1995} }
LibreCat | Download (ext.)
 

1995 | Journal Article | LibreCat-ID: 11764
@article{Gamm_Haeb-Umbach_1995, title={User interface design of voice controlled consumer electronics}, journal={Philips Journal of Research}, author={Gamm, Stephan and Haeb-Umbach, Reinhold}, year={1995} }
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 13474
@inproceedings{Platzner_Rinner_1995, title={High-Performance Qualitative Simulation on a Multi-DSP Architecture}, booktitle={Proceedings of the 6th International Conference on Signal Processing Applications & Technology (ICSPAT)}, author={Platzner, Marco and Rinner, Bernhard}, year={1995} }
LibreCat
 

1995 | Journal Article | LibreCat-ID: 13796
@article{Santos_Esser_Groenen_Cardona_Schmidt_Bechstedt_1995, title={Hydrogen interaction with Sb-terminated GaAs and InP (110) surfaces}, volume={52}, DOI={10.1103/physrevb.52.17379}, number={24}, journal={Physical Review B}, author={Santos, Paulo V. and Esser, N. and Groenen, J. and Cardona, M. and Schmidt, Wolf Gero and Bechstedt, F.}, year={1995}, pages={17379–17385} }
LibreCat | DOI
 

1995 | Conference Paper | LibreCat-ID: 15305
@inproceedings{Hüllermeier_1995, title={Fuzzy polynomial and spline interpolation}, booktitle={in Proceedings IMACS Symposium on Systems Analysis and Simulation, Berlin}, publisher={Gordon and Breach Publishers}, author={Hüllermeier, Eyke}, year={1995}, pages={401–404} }
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 16707
@inproceedings{Czumaj_Meyer auf der Heide_Stemann_1995, title={Improved optimal shared memory simulations, and the power of reconfiguration}, DOI={10.1109/istcs.1995.377051}, booktitle={Proceedings Third Israel Symposium on the Theory of Computing and Systems}, author={Czumaj, A. and Meyer auf der Heide, Friedhelm and Stemann, V.}, year={1995} }
LibreCat | DOI
 

1995 | Conference Paper | LibreCat-ID: 2448
@inproceedings{Römke_Röttger_Schroeder_Simon_1995, title={An Efficient Mapping Library for Parix}, booktitle={Proc. ZEUS Workshop on Par. Programming and Computation}, publisher={IOS Press}, author={Römke, Thomas and Röttger, Markus and Schroeder, Ulf-Peter and Simon, Jens}, year={1995} }
LibreCat
 

1995 | Report | LibreCat-ID: 2450
@book{Gehring_Simon_1995, title={SparcStation SCI-Interface}, publisher={Paderborn Center for Parallel Computing}, author={Gehring, Jörn and Simon, Jens}, year={1995} }
LibreCat
 

1995 | Journal Article | LibreCat-ID: 2563
@article{Betz_1995, title={Die Bedeutung der Periodenplanbeschäftigung im Rahmen einer investitionstheoretisch fundierten Kostenrechnung}, volume={6}, journal={Zeitschrift für Planung}, author={Betz, Stefan}, year={1995}, pages={167–183} }
LibreCat
 

1995 | Book Chapter | LibreCat-ID: 3530
@inbook{Gries_1995, place={Tübingen}, title={Neue regionale Wachstumstheorie und Humankapital als regionaler charakteristischer Faktor}, booktitle={Standort und Region, Neue Ansätze zur Regionalökonomik}, publisher={Mohr (Siebeck)}, author={Gries, Thomas}, editor={Gahlen, Bernhard and Hesse, HelmutEditors}, year={1995} }
LibreCat
 

1995 | Book Chapter | LibreCat-ID: 8078
@inbook{Kremer_1995, place={Düsseldorf}, edition={1}, title={Existenzgründung}, booktitle={Meisterprüfung - Lernen für die Praxis - Unternehmensführung 1}, author={Kremer, H.-Hugo}, editor={Braukmann, U. and Diettrich, A. and Kremer, H.-H. and Sloane, P.F.E. and Stickling, E.Editors}, year={1995}, pages={19–94} }
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 8097
@inproceedings{Krauter_1995, title={Solar Electricity up to 30% less expensive by optical and thermal enhanced PV modules}, booktitle={Proceedings of the ISES Solar World Congress 1995, Harare (Simbabwe), 11.–15. September 1995.}, author={Krauter, Stefan}, year={1995} }
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 8100
@inproceedings{Krauter_1995, title={Thermal and Optical Enhanced PV-Modules}, booktitle={Proceedings of the 13th European Photovoltaic Solar Energy Conference, Nizza (Frankreich), 23.–27. Oktober 1995, S. 2306–2309.}, author={Krauter, Stefan}, year={1995} }
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 8268
@inproceedings{Bardohl_Bardohl_Castro_Ehrig_Heckel_Ribeiro_Nunes_Martini_1995, series={Bilateral Seminars of the International Bureau}, title={GRAPHIT: Graphical Support and Integration of Formal and Semiformal Methods for Software Specification and Development}, volume={26}, booktitle={Proceedings of the 3rd German-Brazilian Workshop on Information Technology (1995), Berlin (Germany)}, publisher={Forschungszentrum Jülich GmbH}, author={Bardohl, Bernhard and Bardohl, Roswitha and Castro, Paulo and Ehrig, Hartmut and Heckel, Reiko and Ribeiro, Leila and Nunes, Daltro and Martini, Alfio}, year={1995}, collection={Bilateral Seminars of the International Bureau} }
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 8270
@inproceedings{Heckel_Wagner_1995, series={Electronic Notes in Theoretical Computer Science}, title={Ensuring Consistency of Conditional Graph Grammars - A constructive Approach}, volume={2}, DOI={http://dx.doi.org/10.1016/S1571-0661(05)80188-4}, booktitle={Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy)}, publisher={Elsevier}, author={Heckel, Reiko and Wagner, Annika}, year={1995}, pages={118–126}, collection={Electronic Notes in Theoretical Computer Science} }
LibreCat | DOI
 

1995 | Journal Article | LibreCat-ID: 16550
@article{Dellnitz_Field_Golubitsky_Ma_Hohmann_1995, title={Cycling Chaos}, DOI={10.1142/s0218127495000909}, journal={International Journal of Bifurcation and Chaos}, author={Dellnitz, Michael and Field, Michael and Golubitsky, Martin and Ma, Jun and Hohmann, Andreas}, year={1995}, pages={1243–1247} }
LibreCat | DOI
 

1995 | Conference Paper | LibreCat-ID: 17306
@inproceedings{Postel_Oevel_Schwarz_1995, title={MuPAD in der Ausbildung}, booktitle={Beiträge zum Mathematikunterricht}, author={Postel, F. and Oevel, Gudrun and Schwarz, F.}, year={1995} }
LibreCat
 

1995 | Journal Article | LibreCat-ID: 17490
@article{Peckhaus_1995, title={Hilberts Logik. Von der Axiomatik zur Beweistheorie}, volume={3}, journal={NTM. Internationale Zeitschrift für Geschichte und Ethik der Naturwissenschaften, Technik und Medizin N.F.}, author={Peckhaus, Volker}, year={1995}, pages={65–86} }
LibreCat
 

1995 | Book | LibreCat-ID: 19136
@book{Eke_Dörr_a._1995, place={Frankfurt a. M., Leipzig}, series={Literatur in den Rheinlanden und in Westfalen – Literatur in Nordrhein-Westfalen. Texte aus hundert Jahren in vier Bänden}, title={„Wir träumen ins Herz der Zukunft“. Literatur in Nordrhein-Westfalen 1971-1994 (Edition)}, volume={4}, publisher={Insel}, author={Eke, Norbert Otto and Dörr, Volker C. and a., u.}, year={1995}, collection={Literatur in den Rheinlanden und in Westfalen – Literatur in Nordrhein-Westfalen. Texte aus hundert Jahren in vier Bänden} }
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 2208
@inproceedings{Meyer auf der Heide_Scheideler_Stemann_1995, title={Exploiting Storage Redundancy to Speed Up Randomized Shared Memory Simulations}, booktitle={STACS}, author={Meyer auf der Heide, Friedhelm and Scheideler, Christian and Stemann, Volker}, year={1995}, pages={267--278} }
LibreCat | Files available
 

1995 | Conference Paper | LibreCat-ID: 11765
@inproceedings{Gamm_Haeb-Umbach_1995, title={Human Factors of a Voice-Controlled Car Stereo}, booktitle={Eurospeech, Madrid}, author={Gamm, Stephan and Haeb-Umbach, Reinhold}, year={1995} }
LibreCat
 

1995 | Journal Article | LibreCat-ID: 11905
@article{Steinbiss_Ney_Aubert_Besling_Dugast_Essen_Geller_Haeb-Umbach_Kneser_Meier_et al._1995, title={The Philips Research system for continuous-speech dictation}, journal={Philips Journal of Research}, author={Steinbiss, Volker and Ney, Hermann J. and Aubert, Xavier L. and Besling, Stefan and Dugast, Christian and Essen, Ute and Geller, Dieter and Haeb-Umbach, Reinhold and Kneser, Reinhard and Meier, Hans Günter and et al.}, year={1995} }
LibreCat
 

1995 | Journal Article | LibreCat-ID: 11948
@article{Steinbiss_Ney_Essen_Tran_Aubert_Dugast_Kneser_Meier_Oerder_Haeb-Umbach_et al._1995, title={Continuous speech dictation - From theory to practice}, journal={Speech Communication}, author={Steinbiss, Volker and Ney, Hermann J. and Essen, Ute and Tran, Bach Hiep and Aubert, Xavier L. and Dugast, Christian and Kneser, Reinhard and Meier, Hans Günter and Oerder, Martin and Haeb-Umbach, Reinhold and et al.}, year={1995} }
LibreCat
 

1995 | Report | LibreCat-ID: 13026
@book{Hellebrand_Wunderlich_1995, place={University of Siegen, Germany}, title={Synthesis Procedures for Self-Testable Controllers}, author={Hellebrand, Sybille and Wunderlich, Hans-Joachim}, year={1995} }
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 13470
@inproceedings{Brenner_Ginthör-Kalcsics_Hranitzky_Platzner_Rinner_Steger_Weiss_1995, title={High-Performance Simulators Based on Multi-TMS320C40}, booktitle={Proceedings of the 5th Annual Texas Instruments TMS320 Educators Conference}, author={Brenner, Eugen and Ginthör-Kalcsics, Robert and Hranitzky, Robert and Platzner, Marco and Rinner, Bernhard and Steger, Christian and Weiss, Reinhold}, year={1995} }
LibreCat
 

1995 | Journal Article | LibreCat-ID: 13797
@article{Santos_Esser_Cardona_Schmidt_Bechstedt_1995, title={Optical properties of Sb-terminated GaAs and InP (110) surfaces}, volume={52}, DOI={10.1103/physrevb.52.12158}, number={16}, journal={Physical Review B}, author={Santos, Paulo V. and Esser, N. and Cardona, M. and Schmidt, Wolf Gero and Bechstedt, F.}, year={1995}, pages={12158–12167} }
LibreCat | DOI
 

1995 | Journal Article | LibreCat-ID: 13800
@article{Kress_Fiedler_Schmidt_Bechstedt_1995, title={Quasi-particle band structure of C(111)2 × 1 and C(100)2 × 1 surfaces}, volume={331–333}, DOI={10.1016/0039-6028(95)00160-3}, journal={Surface Science}, author={Kress, Clemens and Fiedler, Marion and Schmidt, Wolf Gero and Bechstedt, Friedhelm}, year={1995}, pages={1152–1156} }
LibreCat | DOI
 

1995 | Journal Article | LibreCat-ID: 13850
@article{Kress_Fiedler_Schmidt_Bechstedt_1995, title={Geometrical and electronic structure of the reconstructed diamond (100) surface}, volume={50}, DOI={10.1103/physrevb.50.17697}, number={23}, journal={Physical Review B}, author={Kress, C. and Fiedler, M. and Schmidt, Wolf Gero and Bechstedt, F.}, year={1995}, pages={17697–17700} }
LibreCat | DOI
 

1995 | Conference Paper | LibreCat-ID: 2449
@inproceedings{Römke_Röttger_Schroeder_Simon_1995, place={Berlin / Heidelberg}, series={Lecture Notes in Computer Science (LNCS)}, title={On Efficient Embeddings of Grids into Grids in PARIX}, volume={966}, DOI={10.1007/BFb0020464}, booktitle={Proc. European Conf. on Parallel Processing (Euro-Par)}, publisher={Springer}, author={Römke, Thomas and Röttger, Markus and Schroeder, Ulf-Peter and Simon, Jens}, year={1995}, pages={179–192}, collection={Lecture Notes in Computer Science (LNCS)} }
LibreCat | DOI
 

1995 | Book Chapter | LibreCat-ID: 2451
@inbook{Blazy_Dralle_Simon_1995, place={Düsseldorf}, title={Parallel CG Poisson Solver for PowerPC 601}, booktitle={PowerXplorer User Report - Applications and Projects on the Parsytec PowerXplorer Parallel Computer}, publisher={Heinrich-Heine-Universität}, author={Blazy, Stephan and Dralle, Uwe and Simon, Jens}, year={1995} }
LibreCat
 

1995 | Journal Article | LibreCat-ID: 2576
@article{Betz_1995, title={Die Erfahrungskurve als Instrument der Zielkostenspaltung}, volume={47}, journal={Betriebswirtschaftliche Forschung und Praxis}, author={Betz, Stefan}, year={1995}, pages={609–625} }
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 7831
@inproceedings{Heckel_Müller_Taentzer_Wagner_1995, series={Technical Report}, title={Attributed Graph Transformations with Controlled Application of Rules}, number={B-19}, booktitle={Proceedings of the Colloquium on Graph Transformation and its Application in Computer Science}, publisher={Universitat de les Illes Balears}, author={Heckel, Reiko and Müller, Jürgen and Taentzer, Gabriele and Wagner, Annika}, year={1995}, collection={Technical Report} }
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 8098
@inproceedings{Onneken_Krauter_1995, title={STOPV: A Development Tool for Thermal and Optical Optimization of PV Module Encapsulations}, booktitle={Proceedings of the 1995 ISES Solar World Congress, Harare (Simbabwe), 11.–15. September 1995}, author={Onneken, K. and Krauter, Stefan}, year={1995} }
LibreCat
 

1995 | Report | LibreCat-ID: 8194
@book{Conrad_Gajewsky_Holl-Biniasz_Rudolf_Demuth_Weber_Heckel_Müller_Taentzer_Wagner_1995, title={Graphische Spezifikation ausgewählter Teile von AGG - einem algebraischen Graphgrammatiksystem}, author={Conrad, Mirko and Gajewsky, Magdalena and Holl-Biniasz, Rainer and Rudolf, Michael and Demuth, Jochen and Weber, Stephan and Heckel, Reiko and Müller, Jürgen and Taentzer, Gabriele and Wagner, Annika}, year={1995} }
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 8269
@inproceedings{Engels_Schürr_1995, place={Amsterdam, The Netherlands}, series={Electronic Notes in Theoretical Computer Science}, title={Encapsulated Hierarchical Graphs, Graph Types, and Meta Types}, DOI={http://dx.doi.org/10.1016/S1571-0661(05)80186-0}, booktitle={Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy)}, publisher={Elsevier}, author={Engels, Gregor and Schürr, Andy}, year={1995}, pages={101–109}, collection={Electronic Notes in Theoretical Computer Science} }
LibreCat | DOI
 

1995 | Journal Article | LibreCat-ID: 16532
@article{Dellnitz_Heinrich_1995, title={Admissible symmetry increasing bifurcations}, DOI={10.1088/0951-7715/8/6/009}, journal={Nonlinearity}, author={Dellnitz, M and Heinrich, C}, year={1995}, pages={1039–1066} }
LibreCat | DOI
 

1995 | Journal Article | LibreCat-ID: 16551
@article{Dellnitz_Golubitsky_Hohmann_Stewart_1995, title={Spirals in Scalar Reaction–Diffusion Equations}, DOI={10.1142/s0218127495001149}, journal={International Journal of Bifurcation and Chaos}, author={Dellnitz, Michael and Golubitsky, Martin and Hohmann, Andreas and Stewart, Ian}, year={1995}, pages={1487–1501} }
LibreCat | DOI
 

1995 | Book Chapter | LibreCat-ID: 17307
@inbook{Oevel_Siek_1995, title={Computer algebra in education}, booktitle={AACE educational Multimedia and Hypermedia Annual}, author={Oevel, Gudrun and Siek, G.}, year={1995} }
LibreCat
 

1995 | Journal Article | LibreCat-ID: 17491
@article{Peckhaus_1995, title={Rüstow’s Thesis on Russell’s Paradox}, volume={5}, journal={Modern Logic}, author={Peckhaus, Volker}, year={1995}, pages={167–169} }
LibreCat
 

1995 | Book Review | LibreCat-ID: 17775
@article{Peckhaus_1995, title={Grundprobleme der großen Philosophen. Philosophie der Neuzeit VI. Tarski, Reichenbach, Kraft, Gödel, Neurath, ed. Josef Speck, Vandenhoeck & Ruprecht: Göttingen 1992 (= Uni-Taschenbücher; 1654)}, volume={5}, journal={Modern Logic}, author={Peckhaus, Volker}, year={1995}, pages={356–359} }
LibreCat
 

1995 | Book | LibreCat-ID: 17446
@book{Peckhaus_1995, place={Halle/Saale}, series={Schriftenreihe zur Geistes- und Kulturgeschichte. Texte und Dokumente}, title={Hermann Ulrici (1806–1884). Der Hallesche Philosoph und die englische Algebra der Logik. Mit einer Auswahl von Texten Ulricis zur Logik und einer Bibliographie seiner Schriften}, publisher={Hallescher Verlag}, author={Peckhaus, Volker}, year={1995}, collection={Schriftenreihe zur Geistes- und Kulturgeschichte. Texte und Dokumente} }
LibreCat
 

Filters and Search Terms

year<=2030 AND year>=1980

Search

Filter Publications

Display / Sort

Citation Style: BibTeX

Export / Embed