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
Müller, W. (1991). Contract-Oriented System Design and Specification. Proceedings of the Workshop on Practical Computer Based Systems Engineering - Its Scope and Methods.
LibreCat
1991 | Conference Paper | LibreCat-ID: 39583
Lehrenfeld, G., & Müller, W. (1991). Validation of EXPRESS Models Using Prolog. Proceedings of the 1st EXPRESS User’s Group Conference.
LibreCat
1990 | Book Chapter | LibreCat-ID: 3050
Alt, H., Blömer, J., & Wagener, H. (1990). Approximation of convex polygons. In Automata, Languages and Programming (pp. 703–716). Berlin/Heidelberg: Springer-Verlag. https://doi.org/10.1007/bfb0032068
LibreCat
| DOI
1990 | Conference Paper | LibreCat-ID: 7824
Hohenstein, U., & Engels, G. (1990). Formal Semantics of an Entity-Relationship Query Language. In Proceedings of the 9th International Conference on Entity-Relationship Approach (ER 90), Lausanne, Switzerland (pp. 177–188). ER Institute.
LibreCat
1990 | Conference Paper | LibreCat-ID: 8259
Engels, G. (1990). Elementary Actions on an Extended Entity-Relationship Database. In Proceedings of the workshop on Graph Grammars and Their Application to Computer Science (1990), Bremen (Germany) (Vol. 532, pp. 344–362). Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/BFb0017372
LibreCat
| DOI
1990 | Book Chapter | LibreCat-ID: 16738
Dietzfelbinger, M., & Meyer auf der Heide, F. (1990). A new universal class of hash functions and dynamic hashing in real time. In Automata, Languages and Programming. Berlin/Heidelberg. https://doi.org/10.1007/bfb0032018
LibreCat
| DOI
1990 | Book Chapter | LibreCat-ID: 16739
Meyer auf der Heide, F. (1990). Dynamic hashing strategies. In Lecture Notes in Computer Science. Berlin/Heidelberg. https://doi.org/10.1007/bfb0029597
LibreCat
| DOI
1990 | Book Chapter | LibreCat-ID: 16740
Karpinski, M., & Meyer auf der Heide, F. (1990). On the complexity of genuinely polynomial computation. In Lecture Notes in Computer Science. Berlin/Heidelberg. https://doi.org/10.1007/bfb0029630
LibreCat
| DOI
1990 | Conference Paper | LibreCat-ID: 16741
Dietzfelbinger, M., & Meyer auf der Heide, F. (1990). How to distribute a dictionary in a complete network. In Proceedings of the twenty-second annual ACM symposium on Theory of computing - STOC ’90. https://doi.org/10.1145/100216.100229
LibreCat
| DOI
1990 | Conference Paper | LibreCat-ID: 16742
Gil, J., Meyer auf der Heide, F., & Wigderson, A. (1990). Not all keys can be hashed in constant time. In Proceedings of the twenty-second annual ACM symposium on Theory of computing - STOC ’90. https://doi.org/10.1145/100216.100247
LibreCat
| DOI
1990 | Journal Article | LibreCat-ID: 16824
Meyer auf der Heide, F. (1990). Das Heinz Nixdorf-Institut der Universität-GH Paderborn. Informatik Spektrum, 13(4), 231–232.
LibreCat
1990 | Conference Paper | LibreCat-ID: 16913
Domik, G., Brugel, E. W., & Stencel, R. E. (1990). IRAS On-Line Catalogs at CASA. In Proceedings of the 176th meeting of the American Astronomical Society (Vol. Vol. 22).
LibreCat
1990 | Conference Paper | LibreCat-ID: 15393
Domik, G., Brugel, E., Stencel, R., Vasudevan, S., & Pang, J. (1990). Applications of IRAS Preprocessing at the Workstation. In Bulletin of the American Astronomical Society (Vol. 22, p. 828).
LibreCat
1990 | Journal Article | LibreCat-ID: 15394
Domik, G., Brugel, E. W., Stencel, R. E., Pang, J., & Vasudevan, S. (1990). Workstation-based preprocessing of IRAS sky-flux images. Publications of the Astronomical Society of the Pacific, 102(656), 1167.
LibreCat
1990 | Conference Paper | LibreCat-ID: 15395
Mickus, K., Brugel, E., Domik, G., & Ayres, T. (1990). A case study: Multi-sensor data analysis of hh objects via star: A scientific toolkit for astrophysical research. In Bulletin of the American Astronomical Society (Vol. 22, p. 1259).
LibreCat
1990 | Conference Paper | LibreCat-ID: 15051
Mickus, K., Domik, G., Brugel, E., & Ayres, T. (1990). Star-a scientific toolkit for astrophysical research. In Bulletin of the American Astronomical Society (Vol. 22, p. 828).
LibreCat
1989 | Journal Article | LibreCat-ID: 19818
Kleine Büning, H., Lettmann, T., & Mayr, E. W. (1989). Projections of vector addition system reachability sets are semilinear. Theoretical Computer Science, 343–350. https://doi.org/10.1016/0304-3975(89)90055-8
LibreCat
| DOI
1989 | Conference Paper | LibreCat-ID: 7821
Ebert, J., & Engels, G. (1989). Konzepte einer Software-Architektur-Beschreibungssprache. In Software-Entwicklung: Konzepte, Erfahrungen, Perspektiven, Fachtagung, 1989, Marburg (Germany) (Vol. 212, pp. 238–250). Berlin/Heidelberg: Springer.
LibreCat
1989 | Conference Paper | LibreCat-ID: 7822
Engels, G. (1989). CADDY-O: Syntaxgestütztes, graphisches Entwerfen konzeptioneller Datenbankschemata. In Tagungsband GI-Fachtagung “Interaktive Schnittstellen für Informationssysteme”, TU Clausthal, Notizen zu Interaktive Systeme (Vol. 18, pp. 1–16).
LibreCat
1989 | Conference Paper | LibreCat-ID: 7823
Engels, G., Hohenstein, U., Hülsmann, K., Löhr-Richter, P., & Ehrich, H.-D. (1989). CADDY: Computer-Aided Design of Non-Standard Databases. In Proceedings of the International Conference on System Development Environments & Factories, Berlin, Germany. Berlin: Pitman Publishing.
LibreCat