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
Compositional Development and Verification of Graph Transformation Systems Based on Views and View Integration
R. Heckel, 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
Almost Invariant Sets in Chua's Circuit
M. Dellnitz, O. Junge, International Journal of Bifurcation and Chaos (1997) 2475–2485.
LibreCat | DOI
 
 

1997 | Journal Article | LibreCat-ID: 17494
The Way of Logic into Mathematics
V. Peckhaus, Theoria. Segunda Época (Seccion Monografica Sobre La Historia de La Lógica Matemática, Hg. v. Luis Vega Reñon) 12 (1997) 39–64.
LibreCat
 

1997 | Book Review | LibreCat-ID: 18202 LibreCat
 

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

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

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

1996 | Conference Paper | LibreCat-ID: 11853 LibreCat | Download (ext.)
 

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

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

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

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

1996 | Journal Article | LibreCat-ID: 13791
Diamond (111) and (100) surface reconstructions
A. Scholze, W.G. Schmidt, F. Bechstedt, Thin Solid Films 281–282 (1996) 256–259.
LibreCat | DOI
 

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

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

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

1996 | Conference Paper | LibreCat-ID: 2443
Sequential Performance versus Scalability: Optimizing Parallel LU-Decomposition
J. Simon, J.-M. Wierum, in: Proc. Int. Conf. on High-Performance Computing and Networking (HPCN-Europe), Springer, Berlin / Heidelberg, 1996, pp. 627–632.
LibreCat | DOI
 

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

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

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

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

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

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

1996 | Report | LibreCat-ID: 8198
Definition of an Encapsulated Hierarchical Graph Data Model: Static Aspects, Part 1.
G. Busatto, 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
Lernen im Internet am Beispiel der Solarenergie
S. Krauter, in: D. Beste, M. Kälke (Eds.), Bildung Im Netz, VDI–Verlag, Düsseldorf, 1996, pp. 115–120.
LibreCat
 

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

1996 | Book Chapter | LibreCat-ID: 8403
Existenzgründung
H.-H. Kremer, 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 , 1996, pp. 1–30.
LibreCat
 

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

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

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

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

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

1996 | Book Review | LibreCat-ID: 17940 LibreCat
 

1996 | Book Review | LibreCat-ID: 17926 LibreCat
 

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

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

1996 | Book Review | LibreCat-ID: 17945 LibreCat
 

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

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

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

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

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

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

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

1996 | Journal Article | LibreCat-ID: 10197 LibreCat
 

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

1996 | Misc | LibreCat-ID: 13088
Mixed-Mode BIST Using Embedded Processors
S. Hellebrand, H.-J. Wunderlich, 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
Atomic structures of GaAs(100)-(2 × 4) reconstructions
W.G. Schmidt, F. Bechstedt, Surface Science 360 (1996) L473–L477.
LibreCat | DOI
 

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year , First Author

Export / Embed