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
@inproceedings{Heckel_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
| Download (ext.)
1996 | Journal Article | LibreCat-ID: 7404
@article{Habel_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
1996 | Journal Article | LibreCat-ID: 7405
@article{Heckel_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
1996 | Journal Article | LibreCat-ID: 7406
@article{Andries_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
| DOI
1996 | Book Chapter | LibreCat-ID: 7514
@inbook{Engels_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
1996 | Conference Paper | LibreCat-ID: 880
@inproceedings{Dreier_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
| DOI
1996 | Journal Article | LibreCat-ID: 16698
@article{Ameur_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
| DOI
1996 | Journal Article | LibreCat-ID: 16699
@article{Meyer 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
| DOI
1996 | Journal Article | LibreCat-ID: 16700
@article{Karp_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
| DOI
1996 | Journal Article | LibreCat-ID: 16701
@article{Gil_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
| DOI
1996 | Book (Editor) | LibreCat-ID: 16702
@book{Meyer auf der Heide_Monien_1996, place={Berlin, Heidelberg}, title={Automata, Languages and Programming, 23rd International Colloquium, ICALP96}, DOI={10.1007/3-540-61440-0}, year={1996} }
LibreCat
| DOI
1996 | Book Chapter | LibreCat-ID: 16703
@inbook{Berenbrink_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
| DOI
1996 | Conference Paper | LibreCat-ID: 16816
@inproceedings{Domik_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{\’{a}}l, Jaroslav and Bartosek, MiroslavEditors}, year={1996}, pages={178–196}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
1996 | Conference Paper | LibreCat-ID: 16895
@inproceedings{Gutkauf_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
1996 | Conference Paper | LibreCat-ID: 16896
@inproceedings{Volbracht_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
1996 | Conference Paper | LibreCat-ID: 15292
@inproceedings{Hü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
1996 | Conference Paper | LibreCat-ID: 15293
@inproceedings{Hü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={B230–B236} }
LibreCat
1996 | Conference Paper | LibreCat-ID: 15304
@inproceedings{Hü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
1996 | Book | LibreCat-ID: 14894
@book{Fosdick_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
1996 | Conference Paper | LibreCat-ID: 15056
@inproceedings{Volbracht_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