@inproceedingsHeckel_Conrad_Egger_Hiemer_1996, place=Bremen, Germany, title=Automatic Integration of Safety Invariants into Z Specifications, volume=1, booktitle=Proceedings of the Workshop on Tools for System Development and Verifcation, publisher=Shaker Verlag, author=Heckel, Reiko and Conrad, Mirko and Egger, Gottfried and Hiemer, Jörg, year=1996, pages=70–83 
LibreCat: /record/8275

@articleHabel_Heckel_Taentzer_1996, title=Graph Grammars with Negative Application Conditions, volume=26, number=3,4, journal=Fundamenta Informaticae, author=Habel, Annegret and Heckel, Reiko and Taentzer, Gabriele, year=1996, pages=287–313 
LibreCat: /record/7404

@articleHeckel_Corradini_Ehrig_Löwe_1996, title=Horizontal and Vertical Structuring of Typed Graph Transformation Systems, volume=6, number=6, journal=Mathematical Structures in Computer Science, author=Heckel, Reiko and Corradini, Andrea and Ehrig, Hartmut and Löwe, Michael, year=1996, pages=613–648 
LibreCat: /record/7405

@articleAndries_Engels_1996, title=A Hybrid Query Language for the Extended Entity Relationship Model, volume=7, DOI=http://dx.doi.org/10.1006/jvlc.1996.0017, number=3, journal=Journal of Visual Languages and Computing, author=Andries, Marc and Engels, Gregor, year=1996, pages=321–352 
LibreCat: /record/7406
DOI: http://dx.doi.org/10.1006/jvlc.1996.0017

@inbookEngels_Nagl_Schäfer_Westfechtel_1996, place=Berlin/Heidelberg, series=LNCS, title=Tight Integration on One Document: The Programming Environment, volume=1170, booktitle=Building Tightly Integrated Software Development Environments: The IPSEN Approach, publisher=Springer, author=Engels, Gregor and Nagl, Manfred and Schäfer, Wilhelm and Westfechtel, Bernhard, year=1996, pages=170–177, collection=LNCS 
LibreCat: /record/7514

@inproceedingsDreier_Huber_Karl_Ungerer_Zahn_1996, title=ReGTime - Rent Gigaflops someTimes, DOI=10.1007/3-540-61842-2_28, booktitle=Trends in Distributed Systems: CORBA and Beyond, International Workshop TreDS ’96, Aachen, Germany, October 1-2, 1996, Proceedings, author=Dreier, Bernd and Huber, Annja and Karl, Holger and Ungerer, Theo and Zahn, Markus, year=1996, pages=84--93 
LibreCat: /record/880
DOI: 10.1007/3-540-61842-2_28

@articleAmeur_Fischer_Höffgen_Meyer auf der Heide_1996, title=Trial and error. A new approach to space-bounded learning, DOI=10.1007/bf03036467, journal=Acta Informatica, author=Ameur, Foued and Fischer, Paul and Höffgen, Klaus -U. and Meyer auf der Heide, Friedhelm, year=1996, pages=621–630 
LibreCat: /record/16698
DOI: 10.1007/bf03036467

@articleMeyer auf der Heide_Oesterdiekhoff_Wanka_1996, title=Strongly adaptive token distribution, DOI=10.1007/bf01955042, journal=Algorithmica, author=Meyer auf der Heide, Friedhelm and Oesterdiekhoff, Brigitte and Wanka, Rolf, year=1996, pages=413–427 
LibreCat: /record/16699
DOI: 10.1007/bf01955042

@articleKarp_Luby_Meyer auf der Heide_1996, title=Efficient PRAM simulation on a distributed memory machine, DOI=10.1007/bf01940878, journal=Algorithmica, author=Karp, R. M. and Luby, M. and Meyer auf der Heide, Friedhelm, year=1996, pages=517–542 
LibreCat: /record/16700
DOI: 10.1007/bf01940878

@articleGil_Meyer auf der Heide_Wigderson_1996, title=The Tree Model for Hashing: Lower and Upper Bounds, DOI=10.1137/s0097539793255722, journal=SIAM Journal on Computing, author=Gil, Joseph and Meyer auf der Heide, Friedhelm and Wigderson, Avi, year=1996, pages=936–955 
LibreCat: /record/16701
DOI: 10.1137/s0097539793255722

@bookMeyer auf der Heide_Monien_1996, place=Berlin, Heidelberg, title=Automata, Languages and Programming, 23rd International Colloquium, ICAL, DOI=10.1007/3-540-61440-0, year=1996 
LibreCat: /record/16702
DOI: 10.1007/3-540-61440-0

@inbookBerenbrink_Meyer auf der Heide_Stemann_1996, place=Berlin, Heidelberg, title=Fault-tolerant shared memory simulations, DOI=10.1007/3-540-60922-9_16, booktitle=STACS 96, author=Berenbrink, Petra and Meyer auf der Heide, Friedhelm and Stemann, Volker, year=1996 
LibreCat: /record/16703
DOI: 10.1007/3-540-60922-9_16

@inproceedingsDomik_1996, series=Lecture Notes in Computer Science, title=Computer Visualization - Concepts, Trends and Current Research, volume=1175, DOI=10.1007/BFb0037404, booktitle=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, publisher=Springer, author=Domik, Gitta, editor=G. Jeffery, Keith and Kr\rquote al, Jaroslav and Bartosek, MiroslavEditors, year=1996, pages=178–196, collection=Lecture Notes in Computer Science 
LibreCat: /record/16816
DOI: 10.1007/BFb0037404

@inproceedingsGutkauf_Domik_1996, place=Dortmund, Germany, title=Benutzermodellierung als Basis für adaptive multimediale Präsentations- und Interaktionssysteme, booktitle=Proceedings 4. GI Workshop Adaptivität  und Benutzermodellierung in interaktiven Softwaresystemen, author=Gutkauf, B. and Domik, Gitta, year=1996 
LibreCat: /record/16895

@inproceedingsVolbracht_Domik_Shahrbabaki_Fels_1996, series=IEEE Computer Society Press, title=An Experimental Comparison of 3D Display Modes, booktitle=Proceedings of IEEE Visualization , author=Volbracht, S. and Domik, Gitta and Shahrbabaki, K. and Fels, G., year=1996, pages=8–11, collection=IEEE Computer Society Press 
LibreCat: /record/16896

@inproceedingsHüllermeier_1996, title=Approminate probabilistic reasoning with fuzzy constraints, booktitle=in Proceedings EUFIT-96 4th European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany, author=Hüllermeier, Eyke, editor=Zimmermann, H.J.Editor, year=1996 
LibreCat: /record/15292

@inproceedingsHüllermeier_1996, title=A fuzzy simulation method, booktitle=International Symposium on Soft Computing, Reading U.K., publisher=ICSC Academic Press, author=Hüllermeier, Eyke, editor=Anderson, P.G. and Warwick, K.Editors, year=1996, pages=0–6 
LibreCat: /record/15293

@inproceedingsHüllermeier_1996, title=Hierarchical constraint propagation based on interval arithmetic, booktitle=in Proceedings Interval-96 international Conference on Interval Methods and Computer Aided Proofs in Science and Engineering, Würzburg, author=Hüllermeier, Eyke, year=1996, pages=54–55 
LibreCat: /record/15304

@bookFosdick_Jessup_Schauble_Domik_1996, title=An introduction to high-performance scientific computing, publisher=MIT Press, author=Fosdick, Lloyd Dudley and Jessup, Elizabeth R and Schauble, Carolyn JC and Domik, Gitta, year=1996 
LibreCat: /record/14894

@inproceedingsVolbracht_Shahrbabaki_Domik_Fels_1996, title=Perspective viewing, Anaglyph stereo or Shutter glass stereo?, booktitle=Proceedings 1996 IEEE Symposium on Visual Languages, author=Volbracht, Sabine and Shahrbabaki, Khatoun and Domik, Gitta and Fels, Gregor, year=1996, pages=192–193 
LibreCat: /record/15056