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
R. Heckel, “Behavioral Constraints for Loose Graph Transformation Systems,” in Report on the Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science, 1996, no. 155, pp. 12–13.
LibreCat
 

1996 | Journal Article | LibreCat-ID: 7405
R. Heckel, A. Corradini, H. Ehrig, and M. Löwe, “Horizontal and Vertical Structuring of Typed Graph Transformation Systems,” Mathematical Structures in Computer Science, vol. 6, no. 6, pp. 613–648, 1996.
LibreCat
 

1996 | Report | LibreCat-ID: 8198
G. Busatto and G. Engels, Definition of an Encapsulated Hierarchical Graph Data Model: Static Aspects, Part 1. Vakgroep Informatica, Rijksuniversiteit Leiden, 1996.
LibreCat
 

1996 | Book Chapter | LibreCat-ID: 8105
S. Krauter, “Lernen im Internet am Beispiel der Solarenergie,” in Bildung im Netz, D. Beste and M. Kälke, Eds. Düsseldorf: VDI–Verlag, 1996, pp. 115–120.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 8275
R. Heckel, M. Conrad, G. Egger, and J. Hiemer, “Automatic Integration of Safety Invariants into Z Specifications,” in Proceedings of the Workshop on Tools for System Development and Verifcation, 1996, vol. 1, pp. 70–83.
LibreCat | Download (ext.)
 

1996 | Book Chapter | LibreCat-ID: 8403
H.-H. Kremer, “Existenzgründung,” in Meisterprüfung - Lernen für die Praxis. Unternehmensführung im Handwerk 1. Dozentenhandbuch für Teil lll der Meisterprüfung - Existenzgründung, Marketing , H.-H. Kremer and E. Stickling, Eds. 1996, pp. 1–30.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 17419
D. Grigoriev, M. Karpinski, F. Meyer auf der Heide, and R. Smolensky, “A lower bound for randomized algebraic decision trees,” in Proc. of 28th ACM-STOC, 1996, vol. 65453, pp. 612–621.
LibreCat
 

1996 | Encyclopedia Article | LibreCat-ID: 17642
V. Peckhaus, “Wiener [Ludwig Christian],” in Enzyklopädie Philosophie und Wissenschaftstheorie, Bd. 4: Sp–Z, J. Mittelstraß, Ed. Stuttgart/Weimar: J.B. Metzler, 1996, pp. 693–694.
LibreCat
 

1996 | Conference Abstract | LibreCat-ID: 17844
V. Peckhaus, “Die Wurzeln der deutschen Algebra der Logik,” in Deutsche Mathematiker-Vereinigung. Jahrestagung 1996. 15.–21. September 1996 in Jena, 1996, p. 196.
LibreCat
 

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

1996 | Book Review | LibreCat-ID: 17921
V. Peckhaus, “Quesada, Daniel, ‘State of Affairs and the Evolution of Carnap’s Semantics’, Logique & Analyse Nouv. Sér. 36 (1993), 149–157,” Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 836.01018]. 1996.
LibreCat
 

1996 | Book Review | LibreCat-ID: 17940
V. Peckhaus, “Dathe, Uwe, „Gottlob Frege und Rudolf Eucken — Gesprächspartner in der Herausbildungsphase der modernen Logik“, History and Philosophy of Logic 16 (1995), 245–255,” Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 846.01006]. 1996.
LibreCat
 

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

1996 | Book Review | LibreCat-ID: 17933
V. Peckhaus, “Woleński, Jan, ‘Mathematical Logic in Poland 1900–1939: People, Circles, Institutions, Ideas’, Modern Logic 5 (1995), 363–405,” Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 843.03001]. 1996.
LibreCat
 

1996 | Book Review | LibreCat-ID: 17938
V. Peckhaus, “Hintikka, Jaakko, ‘Why Parallel Processing?’, in: Casati/Smith/White (Hgg.) 1994 [9.39], 265–272,” Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 845.68039]. 1996.
LibreCat
 

1996 | Book Review | LibreCat-ID: 17945
V. Peckhaus, “MacLane, Saunders, ‘The Protean Character of Mathematics’, in: J. Echeverria et al. (eds.), The Space of Mathematics, Walter de Gruyter: Berlin 1992, 1–13,” Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 848.00006]. 1996.
LibreCat
 

1996 | Book Review | LibreCat-ID: 17952
V. Peckhaus, “Detlefsen, Michael, ‘The Kantian Character of Hilbert’s Formalism’, in: Czermak (Hg.) 1993 [9.4], 195–205,” Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 849.00016]. 1996.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 17483
M. Fischer, J. Rethmann, and A. Wachsmann, “A Realistic Cost Model for the Communication Time in Parallel Programs,” in 3rd Workshop on Abstract Machine Models for Parallel and Distributed Computing (AMW ’96), 1996, pp. 13–27.
LibreCat | Files available
 

1996 | Misc | LibreCat-ID: 19047
V. Peckhaus, Fotografie: Peter Singer (Erlangen, 22.6.1993), die tageszeitung v. 8.5.1996. 1996.
LibreCat
 

1996 | Journal Article | LibreCat-ID: 19314
E.-M. Seng and R. Saage, “Geometrische Muster zwischen frühneuzeitlicher Utopie und russischer Avantgarde,” Zeitschrift für Geschichtswissenschaft, Heft 8, no. Heft 8, pp. 677–602, 1996.
LibreCat
 

1996 | Book Review | LibreCat-ID: 19554
N. O. Eke, “Stefan Scherer: Richard Beer-Hofmann und die Wiener Moderne. Tübingen: Max Niemeyer Verlag, 1993,” Zeitschrift für deutsche Philologie, vol. 115, no. H. 2. pp. 307–310, 1996.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 2183
F. Meyer auf der Heide and C. Scheideler, “Deterministic Routing with Bounded Buffers: Turning Offline into Online Protocols,” in FOCS, 1996, pp. 370--379.
LibreCat | Files available
 

1996 | Journal Article | LibreCat-ID: 19958
F. Schwarze, F. Meyer auf der Heide, and K. Schröder, “Routing on Networks of Optical Crossbars (Extended Abstract).,” Euro-Par 1996, vol. I, pp. 299–306, 1996.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 16896
S. Volbracht, G. Domik, K. Shahrbabaki, and G. Fels, “An Experimental Comparison of 3D Display Modes,” in Proceedings of IEEE Visualization , San Francisco, USA, 1996, pp. 8–11.
LibreCat
 

1996 | Journal Article | LibreCat-ID: 10197
E. Steffen, “Counterexamples to a conjecture about bottlenecks in non-Tait-colourable cubic graphs,” Discrete Mathematics, vol. 161, p. 315, 1996.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 11854
D. Langmann, R. Haeb-Umbach, and T. Eisele, “Robust Rejection Modeling for a Small-Vocabulary Application,” in ITG Fachtagung Sprachkommunikation, Frankfurt, 1996.
LibreCat
 

1996 | Misc | LibreCat-ID: 13088
S. Hellebrand, H.-J. Wunderlich, and A. Hertwig, Mixed-Mode BIST Using Embedded Processors. 2nd IEEE International On-Line Testing Workshop. Biarritz, France, 1996.
LibreCat
 

1996 | Journal Article | LibreCat-ID: 13785
W. G. Schmidt and F. Bechstedt, “Atomic structures of GaAs(100)-(2 × 4) reconstructions,” Surface Science, vol. 360, no. 1, pp. L473–L477, 1996.
LibreCat | DOI
 

1996 | Journal Article | LibreCat-ID: 13792
W. G. Schmidt, F. Bechstedt, and G. P. Srivastava, “Phonons at III–V (110) surfaces,” Surface Science, vol. 352–354, pp. 83–88, 1996.
LibreCat | DOI
 

1996 | Conference Paper | LibreCat-ID: 15293
E. Hüllermeier, “A fuzzy simulation method,” in International Symposium on Soft Computing, Reading U.K., 1996, pp. B230–B236.
LibreCat
 

1996 | Book | LibreCat-ID: 1605
D. Krimphove, Europäisches Arbeitsrecht. München: Franz Vahlen, 1996.
LibreCat
 

1996 | Book Chapter | LibreCat-ID: 16703
P. Berenbrink, F. Meyer auf der Heide, and V. Stemann, “Fault-tolerant shared memory simulations,” in STACS 96, Berlin, Heidelberg, 1996.
LibreCat | DOI
 

1996 | Conference Paper | LibreCat-ID: 2444
J. Simon and J.-M. Wierum, “Performance Prediction of Benchmark Programs for Massively Parallel Architectures,” in Proc. Annual Int. Conf. on High-Performance Computers (HPCS), 1996.
LibreCat
 

1996 | Book Chapter | LibreCat-ID: 3529
T. Gries, “A Dynamic Model of a Reconstruction Economy,” in Modelling and Analysing Economies in Transition, J. W. Owsinski and Z. Nahorski, Eds. 1996.
LibreCat
 

1996 | Book | LibreCat-ID: 6535
J. Bendfeld, S. O. Gärtner, T. Winkelmann, and E. Ortjohann, Windatlas für den Kreis Lippe. Universität - GH Paderborn, Fachgebiet Elektrische Energieversorgung, 1996.
LibreCat
 

1996 | Journal Article | LibreCat-ID: 7406
M. Andries and G. Engels, “A Hybrid Query Language for the Extended Entity Relationship Model,” Journal of Visual Languages and Computing, vol. 7, no. 3, pp. 321–352, 1996.
LibreCat | DOI
 

1996 | Book Chapter | LibreCat-ID: 7514
G. Engels, M. Nagl, W. Schäfer, and B. Westfechtel, “Tight Integration on One Document: The Programming Environment,” in Building Tightly Integrated Software Development Environments: The IPSEN Approach, vol. 1170, Berlin/Heidelberg: Springer, 1996, pp. 170–177.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 7836
T. de Bunje, G. Engels, L. Groenewegen, A. Matsinger, and M. Rijnbeek, “Industrial maintenance modelled in SOCCA: an experience report,” in Proceedings of the Fourth International Conference on the Software Process (ICSP 1996), Brighton (UK), 1996, pp. 13–26.
LibreCat | DOI
 

1996 | Journal Article | LibreCat-ID: 8101
S. Krauter and R. Hanitsch, “Actual Optical and Thermal Performance of PV Modules,” Solar Energy Materials and Solar Cells , vol. 41/42, pp. 557–574, 1996.
LibreCat
 

1996 | Report | LibreCat-ID: 8199
G. Engels, L. Groenewegen, and G. Kappel, Object-oriented Specification of Coordinated Collaboration. Vakgroep Informatica, Rijksuniversiteit Leiden, 1996.
LibreCat
 

1996 | Book | LibreCat-ID: 8372
H.-H. Kremer and P. F. E. Sloane, Meisterprüfung - Lernen für die Praxis. Unternehmensführung im Handwerk 2. Dozentenhandbuch für Teil lll der Meisterprüfung. Finanz- und Rechnungswesen., 1st ed. Düsseldorf, 1996.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 8896
K. Popp and W. Sextro, “Schwingungsverhalten eines Schaufelkranzes mit Reibelementen bei Frequenzverstimmung,” in Forschungsvereinigung Verbrennungskraftmaschinen (FW) - lnformationstagung Turbinen, 1996, no. 490, pp. 53–76.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 8271
T. de Bunje, G. Engels, L. Groenewegen, M. Heus, and A. Matsinger, “Towards Measurable Process Models,” in Proceedings of the Workshop on Software Process Technology (EWSPT 1996), Nancy (France), 1996, vol. 1149, pp. 183–187.
LibreCat | DOI
 

1996 | Encyclopedia Article | LibreCat-ID: 17643
V. Peckhaus and C. Thiel, “Zermelo-Fraenkelsches Axiomensystem,” in Enzyklopädie Philosophie und Wissenschaftstheorie, Bd. 4: Sp–Z, J. Mittelstraß, Ed. Stuttgart/Weimar: J.B. Metzler, 1996, pp. 843–845.
LibreCat
 

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

1996 | Book Review | LibreCat-ID: 17922
V. Peckhaus, “Hintikka, Jaakko, ‘The Original Sinn of Wittgenstein’s Philosophy of Mathematics’, in: Puhl (Hg.) 1993 [9.5], 24–51,” Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 837.00005]. 1996.
LibreCat
 

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

1996 | Book Review | LibreCat-ID: 17927
V. Peckhaus, “Rodríguez-Consuegra, Francisco A., ‘Russell, Gödel and Logicism’, in: Czermak (Hg.) 1993 [9.4], 233–242,” Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 840.01023]. 1996.
LibreCat
 

1996 | Book Review | LibreCat-ID: 17941
V. Peckhaus, “Torretti, Roberto, ‘Mathematical Structures and Physical Necessity’, in: J. Echeverria et al. (eds.), The Space of Mathematics, Walter de Gruyter: Berlin 1992, 132–140,” Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 847.00006]. 1996.
LibreCat
 

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

Filters and Search Terms

status=public

Search

Filter Publications

Display / Sort

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

Export / Embed