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.

13392 Publications


1996 | Journal Article | LibreCat-ID: 13788
Annihilation of delocalized positrons: a comparison of diamond and silicon
W.G. Schmidt, W.. Verwoerd, Physics Letters A 222 (1996) 275–280.
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: 13782
Atomic Structure of the Sb-Stabilized GaAs(100)-(2×4) Surface
N. Esser, A.I. Shkrebtii, U. Resch-Esser, C. Springer, W. Richter, W.G. Schmidt, F. Bechstedt, R. Del Sole, Physical Review Letters 77 (1996) 4402–4405.
LibreCat | DOI
 

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
 

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: 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 Review | LibreCat-ID: 17932
Bealer, George, “Toward a New Theory of Content”, in: Casati/Smith/White (Hgg.) 1994 [9.39], 179–191
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 842.03022] (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 | Conference Paper | LibreCat-ID: 16895
Benutzermodellierung als Basis für adaptive multimediale Präsentations- und Interaktionssysteme
B. Gutkauf, G. Domik-Kienegger, in: Proceedigns 4. GI Workshop Adaptivität  Und Benutzermodellierung in Interaktiven Softwaresystemen, 1996.
LibreCat
 

1996 | Book Review | LibreCat-ID: 17915 LibreCat
 

1996 | Book Review | LibreCat-ID: 17943 LibreCat
 
 

1996 | Conference Paper | LibreCat-ID: 3262
Causal Testing
U. Goltz, H. Wehrheim, in: W. Penczek, A. Szalas (Eds.), Mathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS’96, Cracow, Poland, September 2-6, 1996, Proceedings, 1996, pp. 394--406.
LibreCat | DOI
 

1996 | Book Review | LibreCat-ID: 17954
Code, Murray, “Understanding, Intuition, and the Philosophy of Mathematics”, in: Czermak (Hg.) 1993 [9.4], 335–342
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 849.00018] (1996).
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 2184
Communication in Parallel Systems
F. Meyer auf der Heide, C. Scheideler, in: SOFSEM, Springer, 1996, pp. 16--33.
LibreCat | Files available
 

1996 | Conference Paper | LibreCat-ID: 8273
Comprehensive Support for Change: Generic, Multi-dimensional (Software) Engineering Frameworks (position paper)
G. Engels, A. Zamperoni, in: Proceedings of the Workshop on Requirements Engineering in a Changing World (Satellite Event of the Conference on Advanced Information Systems Engineering (CAISE 1996)), Crete (Greece), 1996, pp. 42–44.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 16816
Computer Visualization - Concepts, Trends and Current Research
G. Domik-Kienegger, in: K. G. Jeffery, J. Kr{\’{a}}l, M. Bartosek (Eds.), {SOFSEM} ’96: Theory and Practice of Informatics, 23rd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23-30, 1996, Proceedings, Springer, 1996, pp. 178–196.
LibreCat | DOI
 

1996 | Report | LibreCat-ID: 17418
Contention Resolution in Hashing Based Shared Memory Simulations
A. Czumaj, F. Meyer auf der Heide, V. Stemann, Contention Resolution in Hashing Based Shared Memory Simulations, 1996.
LibreCat
 

1996 | Journal Article | LibreCat-ID: 10197 LibreCat
 
 

Filters and Search Terms

status=public

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year , Title

Export / Embed