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.

10072 Publications

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} }

1996 | Report | LibreCat-ID: 8198
@book{Busatto_Engels_1996, title={Definition of an Encapsulated Hierarchical Graph Data Model: Static Aspects, Part 1.}, publisher={Vakgroep Informatica, Rijksuniversiteit Leiden}, author={Busatto, Giorgio and Engels, Gregor}, year={1996} }

1996 | Book Chapter | LibreCat-ID: 8105
@inbook{Krauter_1996, place={Düsseldorf}, title={Lernen im Internet am Beispiel der Solarenergie}, booktitle={Bildung im Netz}, publisher={ VDI–Verlag}, author={Krauter, Stefan}, editor={Beste, D. and Kälke, M.Editors}, year={1996}, pages={115–120} }

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 | Book Chapter | LibreCat-ID: 8403
@inbook{Kremer_1996, title={Existenzgründung}, booktitle={Meisterprüfung - Lernen für die Praxis. Unternehmensführung im Handwerk 1. Dozentenhandbuch für Teil lll der Meisterprüfung - Existenzgründung, Marketing }, author={Kremer, H.-Hugo}, editor={Kremer, H.-Hugo and Stickling, E.Editors}, year={1996}, pages={1–30} }

1996 | Conference Paper | LibreCat-ID: 16896
@inproceedings{Volbracht_Domik-Kienegger_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-Kienegger, Gitta and Shahrbabaki, K. and Fels, G.}, year={1996}, pages={8–11}, collection={IEEE Computer Society Press} }

1996 | Journal Article | LibreCat-ID: 10197
@article{Steffen_1996, title={Counterexamples to a conjecture about bottlenecks in non-Tait-colourable cubic graphs}, volume={161}, journal={Discrete Mathematics}, author={Steffen, Eckhard}, year={1996}, pages={315} }

1996 | Conference Paper | LibreCat-ID: 11854
@inproceedings{Langmann_Haeb-Umbach_Eisele_1996, title={Robust Rejection Modeling for a Small-Vocabulary Application}, booktitle={ITG Fachtagung Sprachkommunikation, Frankfurt}, author={Langmann, Detlev and Haeb-Umbach, Reinhold and Eisele, Thomas}, year={1996} }

1996 | Misc | LibreCat-ID: 13088
@book{Hellebrand_Wunderlich_Hertwig_1996, place={2nd IEEE International On-Line Testing Workshop. Biarritz, France}, title={Mixed-Mode BIST Using Embedded Processors}, author={Hellebrand, Sybille and Wunderlich, Hans-Joachim and Hertwig, Andre}, year={1996} }

1996 | Journal Article | LibreCat-ID: 13785
@article{Schmidt_Bechstedt_1996, title={Atomic structures of GaAs(100)-(2 × 4) reconstructions}, volume={360}, DOI={10.1016/0039-6028(96)00728-5}, number={1}, journal={Surface Science}, author={Schmidt, Wolf Gero and Bechstedt, F.}, year={1996}, pages={L473–L477} }
LibreCat | DOI

Filters and Search Terms



Filter Publications

Display / Sort

Sorted by: Publishing Year , First Author
Citation Style: BibTeX

Export / Embed