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.
5719 Publications
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 | Journal Article | LibreCat-ID: 7404
Habel A, Heckel R, Taentzer G. Graph Grammars with Negative Application Conditions. Fundamenta Informaticae. 1996;26(3,4):287-313.
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 | Journal Article | LibreCat-ID: 7406
Andries M, Engels G. A Hybrid Query Language for the Extended Entity Relationship Model. Journal of Visual Languages and Computing. 1996;7(3):321-352. doi:http://dx.doi.org/10.1006/jvlc.1996.0017
LibreCat
| DOI
1996 | Book Chapter | LibreCat-ID: 7514
Engels G, Nagl M, Schäfer W, Westfechtel B. Tight Integration on One Document: The Programming Environment. In: Building Tightly Integrated Software Development Environments: The IPSEN Approach. Vol 1170. LNCS. Berlin/Heidelberg: Springer; 1996:170-177.
LibreCat
1996 | Conference Paper | LibreCat-ID: 880
Dreier B, Huber A, Karl H, Ungerer T, Zahn M. ReGTime - Rent Gigaflops someTimes. In: Trends in Distributed Systems: CORBA and Beyond, International Workshop TreDS ’96, Aachen, Germany, October 1-2, 1996, Proceedings. ; 1996:84--93. doi:10.1007/3-540-61842-2_28
LibreCat
| DOI
1996 | Journal Article | LibreCat-ID: 16698
Ameur F, Fischer P, Höffgen K-U, Meyer auf der Heide F. Trial and error. A new approach to space-bounded learning. Acta Informatica. 1996:621-630. doi:10.1007/bf03036467
LibreCat
| DOI
1996 | Journal Article | LibreCat-ID: 16699
Meyer auf der Heide F, Oesterdiekhoff B, Wanka R. Strongly adaptive token distribution. Algorithmica. Published online 1996:413-427. doi:10.1007/bf01955042
LibreCat
| DOI
1996 | Journal Article | LibreCat-ID: 16700
Karp RM, Luby M, Meyer auf der Heide F. Efficient PRAM simulation on a distributed memory machine. Algorithmica. 1996:517-542. doi:10.1007/bf01940878
LibreCat
| DOI
1996 | Journal Article | LibreCat-ID: 16701
Gil J, Meyer auf der Heide F, Wigderson A. The Tree Model for Hashing: Lower and Upper Bounds. SIAM Journal on Computing. 1996:936-955. doi:10.1137/s0097539793255722
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 | Book Chapter | LibreCat-ID: 16703
Berenbrink P, Meyer auf der Heide F, Stemann V. Fault-tolerant shared memory simulations. In: STACS 96. Berlin, Heidelberg; 1996. doi:10.1007/3-540-60922-9_16
LibreCat
| DOI
1996 | Conference Paper | LibreCat-ID: 16816
Domik G. Computer Visualization - Concepts, Trends and Current Research. In: G. Jeffery K, Kr{\’{a}}l J, Bartosek M, 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. Vol 1175. Lecture Notes in Computer Science. Springer; 1996:178-196. doi:10.1007/BFb0037404
LibreCat
| DOI
1996 | Conference Paper | LibreCat-ID: 16895
Gutkauf B, Domik G. Benutzermodellierung als Basis für adaptive multimediale Präsentations- und Interaktionssysteme. In: Proceedings 4. GI Workshop Adaptivität Und Benutzermodellierung in Interaktiven Softwaresystemen. Dortmund, Germany; 1996.
LibreCat
1996 | Conference Paper | LibreCat-ID: 16896
Volbracht S, Domik 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: 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 | Conference Paper | LibreCat-ID: 15293
Hüllermeier E. A fuzzy simulation method. In: Anderson PG, Warwick K, eds. International Symposium on Soft Computing, Reading U.K. ICSC Academic Press; 1996:B230-B236.
LibreCat
1996 | Conference Paper | LibreCat-ID: 15304
Hüllermeier E. Hierarchical constraint propagation based on interval arithmetic. In: In Proceedings Interval-96 International Conference on Interval Methods and Computer Aided Proofs in Science and Engineering, Würzburg. ; 1996:54-55.
LibreCat
1996 | Book | LibreCat-ID: 14894
Fosdick LD, Jessup ER, Schauble CJ, Domik G. An Introduction to High-Performance Scientific Computing. MIT Press; 1996.
LibreCat
1996 | Conference Paper | LibreCat-ID: 15056
Volbracht S, Shahrbabaki K, Domik G, Fels G. Perspective viewing, Anaglyph stereo or Shutter glass stereo? In: Proceedings 1996 IEEE Symposium on Visual Languages. ; 1996:192-193.
LibreCat