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.

14017 Publications


1997 | Book Chapter | LibreCat-ID: 7517
Corradini A, Montanari U, Rossi F, Ehrig H, Heckel R, Löwe M. Algebraic Approaches to Graph Transformation, Part I: Basic Concepts and Double Pushout Approach. In: Handbook of Graph Grammars and Computing by Graph Transformation, Volume 1: Foundations. Singapore: World Scientific; 1997:163-245.
LibreCat
 

1997 | Conference Paper | LibreCat-ID: 7841
Heckel R, Ehrig H, Wolter U, Corradini A. Integrating the Specification Techniques of Graph Transformation and Temporal Logic. In: Proceedings of the 22nd International Symposium on Mathematical Foundations of Computer Science (MFCS 1997), Bratislava (Slovakia). LNCS. London, UK: Springer; 1997:219-228. doi:http://dx.doi.org/10.1007/BFb0029965
LibreCat | DOI
 

1997 | Conference (Editor) | LibreCat-ID: 7795
Engels G, ed. Themenheft: Softwaretechnik. Vol 12. Berlin/Heidelberg: Springer; 1997. doi:http://dx.doi.org/10.1007/s004500050085
LibreCat | DOI
 

1997 | Conference Paper | LibreCat-ID: 7839
Engels G, Heckel R, Taentzer G, Ehrig H. A View-Oriented Approach to System Modelling Using Graph Transformations. In: Jazayeri M, Schauer H, eds. Proceedings European Software Engineering Conference (ESEC 1997), Zürich (Switzerland). Vol 1301. Berlin/Heidelberg: Springer; 1997:327-343. doi:http://dx.doi.org/10.1007/3-540-63531-9
LibreCat | DOI
 

1997 | Conference Paper | LibreCat-ID: 8902
Popp K, Sextro W. Schwingungsverhalten von verstimmten Beschaufelungen mit Reibelementen. In: Forschungsvereinigung Verbrennungskraftmaschinen (FW) -Lnformationstagung Turbinen. Frankfurt am Main, Germany; 1997:131-142.
LibreCat
 

1997 | Book Chapter | LibreCat-ID: 8421
Euler D, Kremer H-H, Theis M. Grundfragen der Berufsbildung. In: Euler D, Kremer H-H, Theis M, eds. Meisterprüfung - Lernen für die Praxis, Ausbilden im Handwerk. 3rd ed. Düsseldorf; 1997:13-42.
LibreCat
 

1997 | Conference Paper | LibreCat-ID: 8279
Heckel R. Compositional Development and Verification of Graph Transformation Systems Based on Views and View Integration. In: Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France). ; 1997.
LibreCat
 

1997 | Journal Article | LibreCat-ID: 16535
Dellnitz M, Junge O. Almost Invariant Sets in Chua’s Circuit. International Journal of Bifurcation and Chaos. 1997:2475-2485. doi:10.1142/s0218127497001655
LibreCat | DOI
 

1997 | Book Review | LibreCat-ID: 17780
Peckhaus V. Witold Marciszewski/Roman Murawski. Mechanization of Reasoning in a Historical Perspective. Amsterdam/Atlanta, GA: Rodopi 1995. (Poznań Studies in the Philosophy of the Sciences and the Humanities; 43). Modern Logic. 1997;7(3/4 (Juli/Oktober 1997)):402-409.
LibreCat
 

1997 | Journal Article | LibreCat-ID: 17494
Peckhaus V. The Way of Logic into Mathematics. Theoria Segunda Época (Seccion monografica Sobre la historia de la lógica matemática, hg v Luis Vega Reñon). 1997;12(1):39-64.
LibreCat
 

1997 | Book Review | LibreCat-ID: 18202
Peckhaus V. Frege, Gottlob; Gabriel, Gottfried (ed.), „Vorlesungen über Begriffsschrift“, History and Philosophy of Logic 17, No. 1 (1996), iii–xvi, 1–48. Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 86001036]. 1997.
LibreCat
 

1997 | Book Review | LibreCat-ID: 18199
Peckhaus V. Gödel, Kurt, Unpublished Philosophical Essays, hg. v. Francisco A. Rodríguez-Consuegra, Birkhäuser: Basel 1995. Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 85401046]. 1997.
LibreCat
 

1997 | Encyclopedia Article | LibreCat-ID: 19483
Eke NO. DDR-Literatur. In: Brunner H, Moritz R, eds. Literaturwissenschaftliches Lexikon. Grundbegriffe der Germanistik. Berlin; 1997:64-68.
LibreCat
 

1997 | Conference Paper | LibreCat-ID: 2175
Bock S, Meyer auf der Heide F, Scheideler C. Optimal Wormhole Routing in the (n, d)-Torus. In: IPPS. IEEE Computer Society; 1997:326--332.
LibreCat | Files available
 

1997 | Journal Article | LibreCat-ID: 20738
Hahn O, Meschut G. Determination of the thermal conductivity of bonded joints. Welding in the World. 1997;39(2):111-116.
LibreCat
 

1997 | Report | LibreCat-ID: 20740
Hahn O, Meschut G. Untersuchungen Zur Wärmeleitfähigkeit Und Zum Festigkeits- Und Alterungsverhalten von Klebverbindungen Mit Und Ohne Füllstoffzusatz Im Klebstoff.; 1997.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 11853
Langmann D, Haeb-Umbach R. FRESCO: The French Telephone Speech Data Collection - Part of the European SpeechDat(M) Project. In: ICSLP, Philadelphia. ; 1996.
LibreCat | Download (ext.)
 

1996 | Misc | LibreCat-ID: 13087
Hellebrand S, Wunderlich H-J. Using Embedded Processors for BIST. 3rd IEEE International Test Synthesis Workshop, Santa Barbara, CA; 1996.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 13602
Lind E, Platzner M, Rinner B. A Multi-DSP System with Dynamically Reconfigurable Processors. In: Proceedings of the 7th International Conference on Signal Processing Applications & Technology (ICSPAT). ; 1996.
LibreCat
 

1996 | Journal Article | LibreCat-ID: 13784
Santos PV, Koopmans B, Esser N, Schmidt WG, Bechstedt F. Optical Properties of Ordered As Layers on InP(110) Surfaces. Physical Review Letters. 1996;77(4):759-762. doi:10.1103/physrevlett.77.759
LibreCat | DOI
 

1996 | Journal Article | LibreCat-ID: 13789
Scholze A, Schmidt WG, Bechstedt F. Structure of the diamond (111) surface: Single-dangling-bond versus triple-dangling-bond face. Physical Review B. 1996;53(20):13725-13733. doi:10.1103/physrevb.53.13725
LibreCat | DOI
 

1996 | Journal Article | LibreCat-ID: 13791
Scholze A, Schmidt WG, Bechstedt F. Diamond (111) and (100) surface reconstructions. Thin Solid Films. 1996;281-282:256-259. doi:10.1016/0040-6090(96)08646-4
LibreCat | DOI
 

1996 | Conference Paper | LibreCat-ID: 15292
Hüllermeier E. Approminate probabilistic reasoning with fuzzy constraints. In: Zimmermann HJ, ed. In Proceedings EUFIT-96 4th European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany. ; 1996.
LibreCat
 

1996 | Journal Article | LibreCat-ID: 16699
Meyer auf der Heide F, Oesterdiekhoff B, Wanka R. Strongly adaptive token distribution. Algorithmica. 1996:413-427. doi:10.1007/bf01955042
LibreCat | DOI
 

1996 | Book (Editor) | LibreCat-ID: 16702
Meyer auf der Heide F, Monien B, eds. Automata, Languages and Programming, 23rd International Colloquium, ICALP96. Berlin, Heidelberg; 1996. doi:10.1007/3-540-61440-0
LibreCat | DOI
 

1996 | Conference Paper | LibreCat-ID: 2443
Simon J, Wierum J-M. Sequential Performance versus Scalability: Optimizing Parallel LU-Decomposition. In: Proc. Int. Conf. on High-Performance Computing and Networking (HPCN-Europe). Vol 1067. Lecture Notes in Computer Science (LNCS). Berlin / Heidelberg: Springer; 1996:627-632. doi:10.1007/3-540-61142-8_606
LibreCat | DOI
 

1996 | Book Chapter | LibreCat-ID: 6229
Weber W, Kabst R. Flexibility in Germany. In: Brewster C, ed. Working Time and Contract Flexibility in the E.U., Cranfield Center for European Human Resource Management. Bedford; 1996:20-57.
LibreCat
 

1996 | Book | LibreCat-ID: 6534
Bendfeld J, Gärtner SO, Winkelmann T, Ortjohann E. Windatlas für die Stadt Steinheim. Universität - GH Paderborn, Fachgebiet Elektrische Energieversorgung; 1996.
LibreCat
 

1996 | Report | LibreCat-ID: 6399
Weber W, Kabst R. Personalwesen Im Europäischen Vergleich – Ergebnisbericht 1995, Paderborn 1996.; 1996.
LibreCat
 

1996 | Conference (Editor) | LibreCat-ID: 7796
Engels G, Ehrig H, Rozenberg G, Skowron A, eds. Special Issue on Graph Transformations. Vol 26. Amsterdam: IOS Press; 1996.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 7835
Heckel R. Behavioral Constraints for Loose Graph Transformation Systems. In: Report on the Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science. Dagstuhl-Seminar-Report. Technical University of Berlin; 1996:12-13.
LibreCat
 

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

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

1996 | Book Chapter | LibreCat-ID: 8105
Krauter S. Lernen im Internet am Beispiel der Solarenergie. In: Beste D, Kälke M, eds. Bildung Im Netz. Düsseldorf: VDI–Verlag; 1996:115-120.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 8275
Heckel R, Conrad M, Egger G, Hiemer J. Automatic Integration of Safety Invariants into Z Specifications. In: Proceedings of the Workshop on Tools for System Development and Verifcation. Vol 1. Bremen, Germany: Shaker Verlag; 1996:70-83.
LibreCat | Download (ext.)
 

1996 | Book Chapter | LibreCat-ID: 8403
Kremer H-H. Existenzgründung. In: Kremer H-H, Stickling E, eds. Meisterprüfung - Lernen für die Praxis. Unternehmensführung im Handwerk 1. Dozentenhandbuch für Teil lll der Meisterprüfung - Existenzgründung, Marketing . ; 1996:1-30.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 16896
Volbracht S, Domik-Kienegger G, Shahrbabaki K, Fels G. An Experimental Comparison of 3D Display Modes. In: Proceedings of IEEE Visualization . IEEE Computer Society Press. ; 1996:8-11.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 17419
Grigoriev D, Karpinski M, Meyer auf der Heide F, Smolensky R. A lower bound for randomized algebraic decision trees. In: Proc. of 28th ACM-STOC. Vol 65453. Lecture Notes in Computer Science. Eurographics Symposium on Parallel Graphics and Visualization; 1996:612-621.
LibreCat
 

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

1996 | Conference Abstract | LibreCat-ID: 17844
Peckhaus V. Die Wurzeln der deutschen Algebra der Logik. In: Deutsche Mathematiker-Vereinigung. Jahrestagung 1996. 15.–21. September 1996 in Jena. o.O.u.J. (Jena); 1996:196.
LibreCat
 

1996 | Book Review | LibreCat-ID: 17919
Peckhaus V. 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 83600023]. 1996.
LibreCat
 

1996 | Book Review | LibreCat-ID: 17921
Peckhaus V. 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 83601018]. 1996.
LibreCat
 

1996 | Book Review | LibreCat-ID: 17940
Peckhaus V. 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 84601006]. 1996.
LibreCat
 

1996 | Book Review | LibreCat-ID: 17926
Peckhaus V. 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 84001019]. 1996.
LibreCat
 

1996 | Book Review | LibreCat-ID: 17933
Peckhaus V. 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 84303001]. 1996.
LibreCat
 

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

1996 | Book Review | LibreCat-ID: 17945
Peckhaus V. 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 84800006]. 1996.
LibreCat
 

1996 | Book Review | LibreCat-ID: 17952
Peckhaus V. 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 84900016]. 1996.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 17483
Fischer M, Rethmann J, Wachsmann A. 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). Amsterdam: IOS Press; 1996:13–27.
LibreCat | Files available
 

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

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed