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.
5711 Publications
1991 | Conference Paper | LibreCat-ID: 39584
@inproceedings{Müller_1991, place={Grassau Germany}, title={Contract-Oriented System Design and Specification}, booktitle={Proceedings of the Workshop on Practical Computer Based Systems Engineering - its Scope and Methods}, author={Müller, Wolfgang}, year={1991} }
LibreCat
1991 | Conference Paper | LibreCat-ID: 39583
@inproceedings{Lehrenfeld_Müller_1991, place={Houston TX, USA}, title={Validation of EXPRESS Models Using Prolog}, booktitle={Proceedings of the 1st EXPRESS User’s Group Conference}, author={Lehrenfeld, Georg and Müller, Wolfgang}, year={1991} }
LibreCat
1990 | Book Chapter | LibreCat-ID: 3050
@inbook{Alt_Blömer_Wagener_1990, place={Berlin/Heidelberg}, title={Approximation of convex polygons}, DOI={10.1007/bfb0032068}, booktitle={Automata, Languages and Programming}, publisher={Springer-Verlag}, author={Alt, Helmut and Blömer, Johannes and Wagener, Hubert}, year={1990}, pages={703–716} }
LibreCat
| DOI
1990 | Conference Paper | LibreCat-ID: 7824
@inproceedings{Hohenstein_Engels_1990, title={Formal Semantics of an Entity-Relationship Query Language}, booktitle={Proceedings of the 9th International Conference on Entity-Relationship Approach (ER 90), Lausanne, Switzerland}, publisher={ER Institute}, author={Hohenstein, Uwe and Engels, Gregor}, year={1990}, pages={177–188} }
LibreCat
1990 | Conference Paper | LibreCat-ID: 8259
@inproceedings{Engels_1990, place={Berlin/Heidelberg}, title={Elementary Actions on an Extended Entity-Relationship Database}, volume={532}, DOI={http://dx.doi.org/10.1007/BFb0017372}, booktitle={Proceedings of the workshop on Graph Grammars and Their Application to Computer Science (1990), Bremen (Germany)}, publisher={Springer}, author={Engels, Gregor}, year={1990}, pages={344–362} }
LibreCat
| DOI
1990 | Book Chapter | LibreCat-ID: 16738
@inbook{Dietzfelbinger_Meyer auf der Heide_1990, place={Berlin/Heidelberg}, title={A new universal class of hash functions and dynamic hashing in real time}, DOI={10.1007/bfb0032018}, booktitle={Automata, Languages and Programming}, author={Dietzfelbinger, Martin and Meyer auf der Heide, Friedhelm}, year={1990} }
LibreCat
| DOI
1990 | Book Chapter | LibreCat-ID: 16739
@inbook{Meyer auf der Heide_1990, place={Berlin/Heidelberg}, title={Dynamic hashing strategies}, DOI={10.1007/bfb0029597}, booktitle={Lecture Notes in Computer Science}, author={Meyer auf der Heide, Friedhelm}, year={1990} }
LibreCat
| DOI
1990 | Book Chapter | LibreCat-ID: 16740
@inbook{Karpinski_Meyer auf der Heide_1990, place={Berlin/Heidelberg}, title={On the complexity of genuinely polynomial computation}, DOI={10.1007/bfb0029630}, booktitle={Lecture Notes in Computer Science}, author={Karpinski, Marek and Meyer auf der Heide, Friedhelm}, year={1990} }
LibreCat
| DOI
1990 | Conference Paper | LibreCat-ID: 16741
@inproceedings{Dietzfelbinger_Meyer auf der Heide_1990, title={How to distribute a dictionary in a complete network}, DOI={10.1145/100216.100229}, booktitle={Proceedings of the twenty-second annual ACM symposium on Theory of computing - STOC ’90}, author={Dietzfelbinger, M. and Meyer auf der Heide, Friedhelm}, year={1990} }
LibreCat
| DOI
1990 | Conference Paper | LibreCat-ID: 16742
@inproceedings{Gil_Meyer auf der Heide_Wigderson_1990, title={Not all keys can be hashed in constant time}, DOI={10.1145/100216.100247}, booktitle={Proceedings of the twenty-second annual ACM symposium on Theory of computing - STOC ’90}, author={Gil, J. and Meyer auf der Heide, Friedhelm and Wigderson, A.}, year={1990} }
LibreCat
| DOI
1990 | Journal Article | LibreCat-ID: 16824
@article{Meyer auf der Heide_1990, title={Das Heinz Nixdorf-Institut der Universität-GH Paderborn}, volume={13}, number={4}, journal={Informatik Spektrum}, author={Meyer auf der Heide, Friedhelm}, year={1990}, pages={231–232} }
LibreCat
1990 | Conference Paper | LibreCat-ID: 16913
@inproceedings{Domik_Brugel_Stencel_1990, series={BAAS}, title={IRAS On-Line Catalogs at CASA}, volume={Vol. 22}, number={No. 2}, booktitle={Proceedings of the 176th meeting of the American Astronomical Society}, author={Domik, Gitta and Brugel, E.W. and Stencel, R.E.}, year={1990}, collection={BAAS} }
LibreCat
1990 | Conference Paper | LibreCat-ID: 15393
@inproceedings{Domik_Brugel_Stencel_Vasudevan_Pang_1990, title={Applications of IRAS Preprocessing at the Workstation}, volume={22}, booktitle={Bulletin of the American Astronomical Society}, author={Domik, Gitta and Brugel, EW and Stencel, RE and Vasudevan, S and Pang, J}, year={1990}, pages={828} }
LibreCat
1990 | Journal Article | LibreCat-ID: 15394
@article{Domik_Brugel_Stencel_Pang_Vasudevan_1990, title={Workstation-based preprocessing of IRAS sky-flux images}, volume={102}, number={656}, journal={Publications of the Astronomical Society of the Pacific}, publisher={IOP Publishing}, author={Domik, Gitta and Brugel, Edward W and Stencel, Robert E and Pang, Jinzhong and Vasudevan, Subramanian}, year={1990}, pages={1167} }
LibreCat
1990 | Conference Paper | LibreCat-ID: 15395
@inproceedings{Mickus_Brugel_Domik_Ayres_1990, title={A case study: Multi-sensor data analysis of hh objects via star: A scientific toolkit for astrophysical research}, volume={22}, booktitle={Bulletin of the American Astronomical Society}, author={Mickus, KD and Brugel, EW and Domik, Gitta and Ayres, TR}, year={1990}, pages={1259} }
LibreCat
1990 | Conference Paper | LibreCat-ID: 15051
@inproceedings{Mickus_Domik_Brugel_Ayres_1990, title={Star-a scientific toolkit for astrophysical research}, volume={22}, booktitle={Bulletin of the American Astronomical Society}, author={Mickus, KD and Domik, Gitta and Brugel, EW and Ayres, TR}, year={1990}, pages={828} }
LibreCat
1989 | Journal Article | LibreCat-ID: 19818
@article{Kleine Büning_Lettmann_Mayr_1989, title={Projections of vector addition system reachability sets are semilinear}, DOI={10.1016/0304-3975(89)90055-8}, journal={Theoretical Computer Science}, author={Kleine Büning, Hans and Lettmann, Theodor and Mayr, Ernst W.}, year={1989}, pages={343–350} }
LibreCat
| DOI
1989 | Conference Paper | LibreCat-ID: 7821
@inproceedings{Ebert_Engels_1989, place={Berlin/Heidelberg}, series={Informatik-Fachberichte}, title={Konzepte einer Software-Architektur-Beschreibungssprache}, volume={212}, booktitle={Software-Entwicklung: Konzepte, Erfahrungen, Perspektiven, Fachtagung, 1989, Marburg (Germany)}, publisher={Springer}, author={Ebert, Jürgen and Engels, Gregor}, year={1989}, pages={238–250}, collection={Informatik-Fachberichte} }
LibreCat
1989 | Conference Paper | LibreCat-ID: 7822
@inproceedings{Engels_1989, title={CADDY-O: Syntaxgestütztes, graphisches Entwerfen konzeptioneller Datenbankschemata}, volume={18}, booktitle={Tagungsband GI-Fachtagung “Interaktive Schnittstellen für Informationssysteme”, TU Clausthal, Notizen zu Interaktive Systeme}, author={Engels, Gregor}, year={1989}, pages={1–16} }
LibreCat
1989 | Conference Paper | LibreCat-ID: 7823
@inproceedings{Engels_Hohenstein_Hülsmann_Löhr-Richter_Ehrich_1989, place={Berlin}, title={CADDY: Computer-Aided Design of Non-Standard Databases}, booktitle={Proceedings of the International Conference on System Development Environments & Factories, Berlin, Germany}, publisher={Pitman Publishing}, author={Engels, Gregor and Hohenstein, Uwe and Hülsmann, Klaus and Löhr-Richter, Perdita and Ehrich, Hans-Dietrich}, year={1989} }
LibreCat