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.

12866 Publications


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
 

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
 

1996 | Journal Article | LibreCat-ID: 19314
Seng E-M, Saage R. Geometrische Muster zwischen frühneuzeitlicher Utopie und russischer Avantgarde. Zeitschrift für Geschichtswissenschaft, Heft 8,. 1996;(Heft 8):677-602.
LibreCat
 

1996 | Book Review | LibreCat-ID: 19554
Eke NO. Stefan Scherer: Richard Beer-Hofmann und die Wiener Moderne. Tübingen: Max Niemeyer Verlag, 1993. Zeitschrift für deutsche Philologie. 1996;115(H. 2):307-310.
LibreCat
 

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

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

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

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

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

1996 | Journal Article | LibreCat-ID: 13785
Schmidt WG, Bechstedt F. Atomic structures of GaAs(100)-(2 × 4) reconstructions. Surface Science. 1996;360(1):L473-L477. doi:10.1016/0039-6028(96)00728-5
LibreCat | DOI
 

Search

Filter Publications

Display / Sort

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

Export / Embed