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. (1997). 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).
LibreCat
 

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

1997 | Book Review | LibreCat-ID: 17780
Peckhaus, V. (1997). 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.
LibreCat
 

1997 | Journal Article | LibreCat-ID: 17494
Peckhaus, V. (1997). 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), 12(1), 39–64.
LibreCat
 

1997 | Book Review | LibreCat-ID: 18202
Peckhaus, V. (1997). 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. 860.01036].
LibreCat
 

1997 | Book Review | LibreCat-ID: 18199
Peckhaus, V. (1997). 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. 854.01046].
LibreCat
 

1997 | Encyclopedia Article | LibreCat-ID: 19483
Eke, N. O. (1997). DDR-Literatur. In H. Brunner & R. Moritz (Eds.), Literaturwissenschaftliches Lexikon. Grundbegriffe der Germanistik (pp. 64–68). Berlin.
LibreCat
 

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

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

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

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

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

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

1996 | Journal Article | LibreCat-ID: 13791
Scholze, A., Schmidt, W. G., & Bechstedt, F. (1996). Diamond (111) and (100) surface reconstructions. Thin Solid Films, 281282, 256–259. https://doi.org/10.1016/0040-6090(96)08646-4
LibreCat | DOI
 

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

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

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

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

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

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

1996 | Report | LibreCat-ID: 6399
Weber, W., & Kabst, R. (1996). Personalwesen im europäischen Vergleich – Ergebnisbericht 1995, Paderborn 1996.
LibreCat
 

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

1996 | Book Review | LibreCat-ID: 17938
Peckhaus, V. (1996). 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].
LibreCat
 

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

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

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

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

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

1996 | Book Review | LibreCat-ID: 19554
Eke, N. O. (1996). Stefan Scherer: Richard Beer-Hofmann und die Wiener Moderne. Tübingen: Max Niemeyer Verlag, 1993. Zeitschrift für deutsche Philologie.
LibreCat
 

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

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

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

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

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

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

Search

Filter Publications

Display / Sort

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

Export / Embed