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.
6169 Publications
1996 | Conference Paper | LibreCat-ID: 8275
Heckel, Reiko, et al. “Automatic Integration of Safety Invariants into Z Specifications.” Proceedings of the Workshop on Tools for System Development and Verifcation, vol. 1, Shaker Verlag, 1996, pp. 70–83.
LibreCat
| Download (ext.)
1996 | Journal Article | LibreCat-ID: 7404
Habel, Annegret, et al. “Graph Grammars with Negative Application Conditions.” Fundamenta Informaticae, vol. 26, no. 3,4, 1996, pp. 287–313.
LibreCat
1996 | Journal Article | LibreCat-ID: 7405
Heckel, Reiko, et al. “Horizontal and Vertical Structuring of Typed Graph Transformation Systems.” Mathematical Structures in Computer Science, vol. 6, no. 6, 1996, pp. 613–48.
LibreCat
1996 | Journal Article | LibreCat-ID: 7406
Andries, Marc, and Gregor Engels. “A Hybrid Query Language for the Extended Entity Relationship Model.” Journal of Visual Languages and Computing, vol. 7, no. 3, 1996, pp. 321–52, doi:http://dx.doi.org/10.1006/jvlc.1996.0017.
LibreCat
| DOI
1996 | Book Chapter | LibreCat-ID: 7514
Engels, Gregor, et al. “Tight Integration on One Document: The Programming Environment.” Building Tightly Integrated Software Development Environments: The IPSEN Approach, vol. 1170, Springer, 1996, pp. 170–77.
LibreCat
1996 | Conference Paper | LibreCat-ID: 880
Dreier, Bernd, et al. “ReGTime - Rent Gigaflops SomeTimes.” Trends in Distributed Systems: CORBA and Beyond, International Workshop TreDS ’96, Aachen, Germany, October 1-2, 1996, Proceedings, 1996, pp. 84--93, doi:10.1007/3-540-61842-2_28.
LibreCat
| DOI
1996 | Journal Article | LibreCat-ID: 16698
Ameur, Foued, et al. “Trial and Error. A New Approach to Space-Bounded Learning.” Acta Informatica, 1996, pp. 621–30, doi:10.1007/bf03036467.
LibreCat
| DOI
1996 | Journal Article | LibreCat-ID: 16699
Meyer auf der Heide, Friedhelm, et al. “Strongly Adaptive Token Distribution.” Algorithmica, 1996, pp. 413–27, doi:10.1007/bf01955042.
LibreCat
| DOI
1996 | Journal Article | LibreCat-ID: 16700
Karp, R. M., et al. “Efficient PRAM Simulation on a Distributed Memory Machine.” Algorithmica, 1996, pp. 517–42, doi:10.1007/bf01940878.
LibreCat
| DOI
1996 | Journal Article | LibreCat-ID: 16701
Gil, Joseph, et al. “The Tree Model for Hashing: Lower and Upper Bounds.” SIAM Journal on Computing, 1996, pp. 936–55, doi:10.1137/s0097539793255722.
LibreCat
| DOI
1996 | Book (Editor) | LibreCat-ID: 16702
Meyer auf der Heide, Friedhelm, and Burkhard Monien, editors. Automata, Languages and Programming, 23rd International Colloquium, ICALP96. 1996, doi:10.1007/3-540-61440-0.
LibreCat
| DOI
1996 | Book Chapter | LibreCat-ID: 16703
Berenbrink, Petra, et al. “Fault-Tolerant Shared Memory Simulations.” STACS 96, 1996, doi:10.1007/3-540-60922-9_16.
LibreCat
| DOI
1996 | Conference Paper | LibreCat-ID: 16816
Domik, Gitta. “Computer Visualization - Concepts, Trends and Current Research.” {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, edited by Keith G. Jeffery et al., vol. 1175, Springer, 1996, pp. 178–96, doi:10.1007/BFb0037404.
LibreCat
| DOI
1996 | Conference Paper | LibreCat-ID: 16895
Gutkauf, B., and Gitta Domik. “Benutzermodellierung Als Basis Für Adaptive Multimediale Präsentations- Und Interaktionssysteme.” Proceedings 4. GI Workshop Adaptivität Und Benutzermodellierung in Interaktiven Softwaresystemen, 1996.
LibreCat
1996 | Conference Paper | LibreCat-ID: 16896
Volbracht, S., et al. “An Experimental Comparison of 3D Display Modes.” Proceedings of IEEE Visualization , 1996, pp. 8–11.
LibreCat
1996 | Conference Paper | LibreCat-ID: 15292
Hüllermeier, Eyke. “Approminate Probabilistic Reasoning with Fuzzy Constraints.” In Proceedings EUFIT-96 4th European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany, edited by H.J. Zimmermann, 1996.
LibreCat
1996 | Conference Paper | LibreCat-ID: 15293
Hüllermeier, Eyke. “A Fuzzy Simulation Method.” International Symposium on Soft Computing, Reading U.K., edited by P.G. Anderson and K. Warwick, ICSC Academic Press, 1996, pp. B230–36.
LibreCat
1996 | Conference Paper | LibreCat-ID: 15304
Hüllermeier, Eyke. “Hierarchical Constraint Propagation Based on Interval Arithmetic.” In Proceedings Interval-96 International Conference on Interval Methods and Computer Aided Proofs in Science and Engineering, Würzburg, 1996, pp. 54–55.
LibreCat
1996 | Book | LibreCat-ID: 14894
Fosdick, Lloyd Dudley, et al. An Introduction to High-Performance Scientific Computing. MIT Press, 1996.
LibreCat
1996 | Conference Paper | LibreCat-ID: 15056
Volbracht, Sabine, et al. “Perspective Viewing, Anaglyph Stereo or Shutter Glass Stereo?” Proceedings 1996 IEEE Symposium on Visual Languages, 1996, pp. 192–93.
LibreCat