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.

14243 Publications


1996 | Conference Paper | LibreCat-ID: 7835
@inproceedings{Heckel_1996, series={Dagstuhl-Seminar-Report}, title={Behavioral Constraints for Loose Graph Transformation Systems}, number={155}, booktitle={Report on the Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science}, publisher={Technical University of Berlin}, author={Heckel, Reiko}, year={1996}, pages={12–13}, collection={Dagstuhl-Seminar-Report} }
LibreCat
 

1996 | Journal Article | LibreCat-ID: 7405
@article{Heckel_Corradini_Ehrig_Löwe_1996, title={Horizontal and Vertical Structuring of Typed Graph Transformation Systems}, volume={6}, number={6}, journal={Mathematical Structures in Computer Science}, author={Heckel, Reiko and Corradini, Andrea and Ehrig, Hartmut and Löwe, Michael}, year={1996}, pages={613–648} }
LibreCat
 

1996 | Report | LibreCat-ID: 8198
@book{Busatto_Engels_1996, title={Definition of an Encapsulated Hierarchical Graph Data Model: Static Aspects, Part 1.}, publisher={Vakgroep Informatica, Rijksuniversiteit Leiden}, author={Busatto, Giorgio and Engels, Gregor}, year={1996} }
LibreCat
 

1996 | Book Chapter | LibreCat-ID: 8105
@inbook{Krauter_1996, place={Düsseldorf}, title={Lernen im Internet am Beispiel der Solarenergie}, booktitle={Bildung im Netz}, publisher={ VDI–Verlag}, author={Krauter, Stefan}, editor={Beste, D. and Kälke, M.Editors}, year={1996}, pages={115–120} }
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 8275
@inproceedings{Heckel_Conrad_Egger_Hiemer_1996, place={Bremen, Germany}, title={Automatic Integration of Safety Invariants into Z Specifications}, volume={1}, booktitle={Proceedings of the Workshop on Tools for System Development and Verifcation}, publisher={Shaker Verlag}, author={Heckel, Reiko and Conrad, Mirko and Egger, Gottfried and Hiemer, Jörg}, year={1996}, pages={70–83} }
LibreCat | Download (ext.)
 

1996 | Book Chapter | LibreCat-ID: 8403
@inbook{Kremer_1996, title={Existenzgründung}, booktitle={Meisterprüfung - Lernen für die Praxis. Unternehmensführung im Handwerk 1. Dozentenhandbuch für Teil lll der Meisterprüfung - Existenzgründung, Marketing }, author={Kremer, H.-Hugo}, editor={Kremer, H.-Hugo and Stickling, E.Editors}, year={1996}, pages={1–30} }
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 17419
@inproceedings{Grigoriev_Karpinski_Meyer auf der Heide_Smolensky_1996, series={Lecture Notes in Computer Science}, title={A lower bound for randomized algebraic decision trees}, volume={65453}, booktitle={Proc. of 28th ACM-STOC}, publisher={Eurographics Symposium on Parallel Graphics and Visualization}, author={Grigoriev, Dima and Karpinski, Marek and Meyer auf der Heide, Friedhelm and Smolensky, Roman}, year={1996}, pages={612–621}, collection={Lecture Notes in Computer Science} }
LibreCat
 

1996 | Encyclopedia Article | LibreCat-ID: 17642
@inbook{Peckhaus_1996, place={Stuttgart/Weimar}, title={Wiener [Ludwig Christian]}, booktitle={Enzyklopädie Philosophie und Wissenschaftstheorie, Bd. 4: Sp–Z}, publisher={J.B. Metzler}, author={Peckhaus, Volker}, editor={Mittelstraß, JürgenEditor}, year={1996}, pages={693–694} }
LibreCat
 

1996 | Conference Abstract | LibreCat-ID: 17844
@inproceedings{Peckhaus_1996, place={o.O.u.J. (Jena)}, title={Die Wurzeln der deutschen Algebra der Logik}, booktitle={Deutsche Mathematiker-Vereinigung. Jahrestagung 1996. 15.–21. September 1996 in Jena}, author={Peckhaus, Volker}, year={1996}, pages={196} }
LibreCat
 

1996 | Book Review | LibreCat-ID: 17919
@article{Peckhaus_1996, title={Puhl, Klaus (Hg.), Philosophy of Mathematics. Proceedings of the 15th International Witt-genstein-Symposium, 16–23 August 1992, Kirchberg am Wechsel, Austria, Part 2, Hölder-Pichler-Tempsky: Wien 1993 (= Schriftenreihe der Wittgenstein-Gesellschaft; 20/II)}, number={Zbl. 836.00023}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 836.00023]}, author={Peckhaus, Volker}, year={1996} }
LibreCat
 

1996 | Book Review | LibreCat-ID: 17921
@article{Peckhaus_1996, title={Quesada, Daniel, “State of Affairs and the Evolution of Carnap’s Semantics”, Logique & Analyse Nouv. Sér. 36 (1993), 149–157}, number={Zbl. 836.01018}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 836.01018]}, author={Peckhaus, Volker}, year={1996} }
LibreCat
 

1996 | Book Review | LibreCat-ID: 17940
@article{Peckhaus_1996, title={Dathe, Uwe, „Gottlob Frege und Rudolf Eucken — Gesprächspartner in der Herausbildungsphase der modernen Logik“, History and Philosophy of Logic 16 (1995), 245–255}, number={Zbl. 846.01006}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 846.01006]}, author={Peckhaus, Volker}, year={1996} }
LibreCat
 

1996 | Book Review | LibreCat-ID: 17926
@article{Peckhaus_1996, title={Karl, Birgit, „Einführung des Begriffes ,Topologie‘ in die Mathematik durch J.B. Listing im Jahre 1847“, in: Czermak (Hg.) 1993 [9.4], 60–66}, number={Zbl. 840.01019}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 840.01019]}, author={Peckhaus, Volker}, year={1996} }
LibreCat
 

1996 | Book Review | LibreCat-ID: 17933
@article{Peckhaus_1996, title={Woleński, Jan, “Mathematical Logic in Poland 1900–1939: People, Circles, Institutions, Ideas”, Modern Logic 5 (1995), 363–405}, number={Zbl. 843.03001}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 843.03001]}, author={Peckhaus, Volker}, year={1996} }
LibreCat
 

1996 | Book Review | LibreCat-ID: 17938
@article{Peckhaus_1996, title={Hintikka, Jaakko, “Why Parallel Processing?”, in: Casati/Smith/White (Hgg.) 1994 [9.39], 265–272}, number={Zbl. 845.68039}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 845.68039]}, author={Peckhaus, Volker}, year={1996} }
LibreCat
 

1996 | Book Review | LibreCat-ID: 17945
@article{Peckhaus_1996, title={MacLane, Saunders, “The Protean Character of Mathematics”, in: J. Echeverria et al. (eds.), The Space of Mathematics, Walter de Gruyter: Berlin 1992, 1–13}, number={Zbl. 848.00006}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 848.00006]}, author={Peckhaus, Volker}, year={1996} }
LibreCat
 

1996 | Book Review | LibreCat-ID: 17952
@article{Peckhaus_1996, title={Detlefsen, Michael, “The Kantian Character of Hilbert’s Formalism”, in: Czermak (Hg.) 1993 [9.4], 195–205}, number={Zbl 849.00016}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 849.00016]}, author={Peckhaus, Volker}, year={1996} }
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 17483
@inproceedings{Fischer_Rethmann_Wachsmann_1996, place={Amsterdam}, title={A Realistic Cost Model for the Communication Time in Parallel Programs}, booktitle={3rd Workshop on Abstract Machine Models for Parallel and Distributed Computing (AMW ’96)}, publisher={IOS Press}, author={Fischer, Matthias and Rethmann, Jochen and Wachsmann, Alf}, year={1996}, pages={13–27} }
LibreCat | Files available
 

1996 | Misc | LibreCat-ID: 19047
@book{Peckhaus_1996, title={Fotografie: Peter Singer (Erlangen, 22.6.1993), die tageszeitung v. 8.5.1996}, author={Peckhaus, Volker}, year={1996} }
LibreCat
 

1996 | Journal Article | LibreCat-ID: 19314
@article{Seng_Saage_1996, title={Geometrische Muster zwischen frühneuzeitlicher Utopie und russischer Avantgarde}, number={Heft 8}, journal={Zeitschrift für Geschichtswissenschaft, Heft 8,}, author={Seng, Eva- Maria and Saage, Richard}, year={1996}, pages={677–602} }
LibreCat
 

1996 | Book Review | LibreCat-ID: 19554
@article{Eke_1996, title={Stefan Scherer: Richard Beer-Hofmann und die Wiener Moderne. Tübingen: Max Niemeyer Verlag, 1993}, volume={115}, number={H. 2}, journal={Zeitschrift für deutsche Philologie}, author={Eke, Norbert Otto}, year={1996}, pages={307–310} }
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 2183
@inproceedings{Meyer auf der Heide_Scheideler_1996, title={Deterministic Routing with Bounded Buffers: Turning Offline into Online Protocols}, booktitle={FOCS}, author={Meyer auf der Heide, Friedhelm and Scheideler, Christian}, year={1996}, pages={370--379} }
LibreCat | Files available
 

1996 | Journal Article | LibreCat-ID: 19958
@article{Schwarze_Meyer auf der Heide_Schröder_1996, title={Routing on Networks of Optical Crossbars (Extended Abstract).}, volume={I}, journal={Euro-Par 1996}, author={Schwarze, Frank and Meyer auf der Heide, Friedhelm and Schröder, Klaus}, year={1996}, pages={299–306} }
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 16896
@inproceedings{Volbracht_Domik_Shahrbabaki_Fels_1996, series={IEEE Computer Society Press}, title={An Experimental Comparison of 3D Display Modes}, booktitle={Proceedings of IEEE Visualization }, author={Volbracht, S. and Domik, Gitta and Shahrbabaki, K. and Fels, G.}, year={1996}, pages={8–11}, collection={IEEE Computer Society Press} }
LibreCat
 

1996 | Journal Article | LibreCat-ID: 10197
@article{Steffen_1996, title={Counterexamples to a conjecture about bottlenecks in non-Tait-colourable cubic graphs}, volume={161}, journal={Discrete Mathematics}, author={Steffen, Eckhard}, year={1996}, pages={315} }
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 11854
@inproceedings{Langmann_Haeb-Umbach_Eisele_1996, title={Robust Rejection Modeling for a Small-Vocabulary Application}, booktitle={ITG Fachtagung Sprachkommunikation, Frankfurt}, author={Langmann, Detlev and Haeb-Umbach, Reinhold and Eisele, Thomas}, year={1996} }
LibreCat
 

1996 | Misc | LibreCat-ID: 13088
@book{Hellebrand_Wunderlich_Hertwig_1996, place={2nd IEEE International On-Line Testing Workshop. Biarritz, France}, title={Mixed-Mode BIST Using Embedded Processors}, author={Hellebrand, Sybille and Wunderlich, Hans-Joachim and Hertwig, Andre}, year={1996} }
LibreCat
 

1996 | Journal Article | LibreCat-ID: 13785
@article{Schmidt_Bechstedt_1996, title={Atomic structures of GaAs(100)-(2 × 4) reconstructions}, volume={360}, DOI={10.1016/0039-6028(96)00728-5}, number={1}, journal={Surface Science}, author={Schmidt, Wolf Gero and Bechstedt, F.}, year={1996}, pages={L473–L477} }
LibreCat | DOI
 

1996 | Journal Article | LibreCat-ID: 13792
@article{Schmidt_Bechstedt_Srivastava_1996, title={Phonons at III–V (110) surfaces}, volume={352–354}, DOI={10.1016/0039-6028(95)01095-5}, journal={Surface Science}, author={Schmidt, Wolf Gero and Bechstedt, F. and Srivastava, G.P.}, year={1996}, pages={83–88} }
LibreCat | DOI
 

1996 | Conference Paper | LibreCat-ID: 15293
@inproceedings{Hüllermeier_1996, title={A fuzzy simulation method}, booktitle={International Symposium on Soft Computing, Reading U.K.}, publisher={ICSC Academic Press}, author={Hüllermeier, Eyke}, editor={Anderson, P.G. and Warwick, K.Editors}, year={1996}, pages={B230–B236} }
LibreCat
 

1996 | Book | LibreCat-ID: 1605
@book{Krimphove_1996, place={München}, title={Europäisches Arbeitsrecht}, publisher={Franz Vahlen}, author={Krimphove, Dieter}, year={1996} }
LibreCat
 

1996 | Book Chapter | LibreCat-ID: 16703
@inbook{Berenbrink_Meyer auf der Heide_Stemann_1996, place={Berlin, Heidelberg}, title={Fault-tolerant shared memory simulations}, DOI={10.1007/3-540-60922-9_16}, booktitle={STACS 96}, author={Berenbrink, Petra and Meyer auf der Heide, Friedhelm and Stemann, Volker}, year={1996} }
LibreCat | DOI
 

1996 | Conference Paper | LibreCat-ID: 2444
@inproceedings{Simon_Wierum_1996, title={Performance Prediction of Benchmark Programs for Massively Parallel Architectures}, booktitle={Proc. Annual Int. Conf. on High-Performance Computers (HPCS)}, author={Simon, Jens and Wierum, Jens-Michael}, year={1996} }
LibreCat
 

1996 | Book Chapter | LibreCat-ID: 3529
@inbook{Gries_1996, title={A Dynamic Model of a Reconstruction Economy}, booktitle={Modelling and Analysing Economies in Transition}, author={Gries, Thomas}, editor={Owsinski, J.W. and Nahorski, Z.Editors}, year={1996} }
LibreCat
 

1996 | Book | LibreCat-ID: 6535
@book{Bendfeld_Gärtner_Winkelmann_Ortjohann_1996, title={Windatlas für den Kreis Lippe}, publisher={Universität - GH Paderborn, Fachgebiet Elektrische Energieversorgung}, author={Bendfeld, Jörg and Gärtner, Sven Olaf and Winkelmann, Thomas and Ortjohann, Egon}, year={1996} }
LibreCat
 

1996 | Journal Article | LibreCat-ID: 7406
@article{Andries_Engels_1996, title={A Hybrid Query Language for the Extended Entity Relationship Model}, volume={7}, DOI={http://dx.doi.org/10.1006/jvlc.1996.0017}, number={3}, journal={Journal of Visual Languages and Computing}, author={Andries, Marc and Engels, Gregor}, year={1996}, pages={321–352} }
LibreCat | DOI
 

1996 | Book Chapter | LibreCat-ID: 7514
@inbook{Engels_Nagl_Schäfer_Westfechtel_1996, place={Berlin/Heidelberg}, series={LNCS}, title={Tight Integration on One Document: The Programming Environment}, volume={1170}, booktitle={Building Tightly Integrated Software Development Environments: The IPSEN Approach}, publisher={Springer}, author={Engels, Gregor and Nagl, Manfred and Schäfer, Wilhelm and Westfechtel, Bernhard}, year={1996}, pages={170–177}, collection={LNCS} }
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 7836
@inproceedings{de Bunje_Engels_Groenewegen_Matsinger_Rijnbeek_1996, place={Washington, DC, USA}, title={Industrial maintenance modelled in SOCCA: an experience report}, DOI={http://dx.doi.org/10.1109/ICSP.1996.565021}, booktitle={Proceedings of the Fourth International Conference on the Software Process (ICSP 1996), Brighton (UK)}, publisher={IEEE Computer Society}, author={de Bunje, Tineke and Engels, Gregor and Groenewegen, Luuk and Matsinger, Aart and Rijnbeek, Martin}, year={1996}, pages={13–26} }
LibreCat | DOI
 

1996 | Journal Article | LibreCat-ID: 8101
@article{Krauter_Hanitsch_1996, title={Actual Optical and Thermal Performance of PV Modules}, volume={41/42}, journal={Solar Energy Materials and Solar Cells }, author={Krauter, Stefan and Hanitsch, Rolf}, year={1996}, pages={557–574} }
LibreCat
 

1996 | Report | LibreCat-ID: 8199
@book{Engels_Groenewegen_Kappel_1996, title={Object-oriented Specification of Coordinated Collaboration}, publisher={Vakgroep Informatica, Rijksuniversiteit Leiden}, author={Engels, Gregor and Groenewegen, Luuk and Kappel, Gerti}, year={1996} }
LibreCat
 

1996 | Book | LibreCat-ID: 8372
@book{Kremer_Sloane_1996, place={Düsseldorf}, edition={1}, title={Meisterprüfung - Lernen für die Praxis. Unternehmensführung im Handwerk 2. Dozentenhandbuch für Teil lll der Meisterprüfung. Finanz- und Rechnungswesen.}, author={Kremer, H.-Hugo and Sloane, Peter F. E.}, year={1996} }
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 8896
@inproceedings{Popp_Sextro_1996, place={Frankfurt am Main, Germany}, title={Schwingungsverhalten eines Schaufelkranzes mit Reibelementen bei Frequenzverstimmung}, number={490}, booktitle={Forschungsvereinigung Verbrennungskraftmaschinen (FW) - lnformationstagung Turbinen}, author={Popp, Karl and Sextro, Walter}, year={1996}, pages={53–76} }
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 8271
@inproceedings{de Bunje_Engels_Groenewegen_Heus_Matsinger_1996, place={Berlin/Heidelberg}, title={Towards Measurable Process Models}, volume={1149}, DOI={http://dx.doi.org/10.1007/BFb0017743}, booktitle={Proceedings of the Workshop on Software Process Technology (EWSPT 1996), Nancy (France)}, publisher={Springer}, author={de Bunje, Tineke and Engels, Gregor and Groenewegen, Luuk and Heus, Michael and Matsinger, Aart}, year={1996}, pages={183–187} }
LibreCat | DOI
 

1996 | Encyclopedia Article | LibreCat-ID: 17643
@inbook{Peckhaus_Thiel_1996, place={Stuttgart/Weimar}, title={Zermelo-Fraenkelsches Axiomensystem}, booktitle={Enzyklopädie Philosophie und Wissenschaftstheorie, Bd. 4: Sp–Z}, publisher={J.B. Metzler}, author={Peckhaus, Volker and Thiel, C.}, editor={Mittelstraß, JürgenEditor}, year={1996}, pages={843–845} }
LibreCat
 

1996 | Book Review | LibreCat-ID: 17915
@article{Peckhaus_1996, title={Bolzano, Bernard, Miscellanea mathematica 10, hg. v. Bob van Rootselar/Anna van der Lugt, Frommann-Holzboog: Stuttgart-Bad Cannstatt 1995 (Bernard Bolzano-Gesamtausgabe; II.B.6.2)}, number={Zbl. 833.01035}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 833.01035]}, author={Peckhaus, Volker}, year={1996} }
LibreCat
 

1996 | Book Review | LibreCat-ID: 17922
@article{Peckhaus_1996, title={Hintikka, Jaakko, “The Original Sinn of Wittgenstein’s Philosophy of Mathematics”, in: Puhl (Hg.) 1993 [9.5], 24–51}, number={Zbl. 837.00005}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 837.00005]}, author={Peckhaus, Volker}, year={1996} }
LibreCat
 

1996 | Book Review | LibreCat-ID: 17939
@article{Peckhaus_1996, title={Heinzmann, Gerhard, Zwischen Objektkonstruktion und Strukturanalyse. Zur Philosophie der Mathematik bei Jules Poincaré, Vandenhoeck & Ruprecht: Göttingen 1995 (= Studien zur Wissenschafts-, Sozial- und Bildungsgeschichte der Mathematik; 10)}, number={Zbl. 846.00002}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 846.00002]}, author={Peckhaus, Volker}, year={1996} }
LibreCat
 

1996 | Book Review | LibreCat-ID: 17927
@article{Peckhaus_1996, title={Rodríguez-Consuegra, Francisco A., “Russell, Gödel and Logicism”, in: Czermak (Hg.) 1993 [9.4], 233–242}, number={Zbl. 840.01023}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 840.01023]}, author={Peckhaus, Volker}, year={1996} }
LibreCat
 

1996 | Book Review | LibreCat-ID: 17941
@article{Peckhaus_1996, title={Torretti, Roberto, “Mathematical Structures and Physical Necessity”, in: J. Echeverria et al. (eds.), The Space of Mathematics, Walter de Gruyter: Berlin 1992, 132–140}, number={Zbl. 847.00006}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 847.00006]}, author={Peckhaus, Volker}, year={1996} }
LibreCat
 

1996 | Book Review | LibreCat-ID: 17946
@article{Peckhaus_1996, title={Otte, Michael, “Constructivism and Objects in Mathematical Theory”, in: J. Echeverria et al. (eds.), The Space of Mathematics, Walter de Gruyter: Berlin 1992, 296–313}, number={Zbl. 848.00007}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 848.00007]}, author={Peckhaus, Volker}, year={1996} }
LibreCat
 

Search

Filter Publications

Display / Sort

Citation Style: BibTeX

Export / Embed