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, Wolfgang. “Contract-Oriented System Design and Specification.” Proceedings of the Workshop on Practical Computer Based Systems Engineering - Its Scope and Methods, 1991.
LibreCat
1991 | Conference Paper | LibreCat-ID: 39583
Lehrenfeld, Georg, and Wolfgang Müller. “Validation of EXPRESS Models Using Prolog.” Proceedings of the 1st EXPRESS User’s Group Conference, 1991.
LibreCat
1990 | Book Chapter | LibreCat-ID: 3050
Alt, Helmut, et al. “Approximation of Convex Polygons.” Automata, Languages and Programming, Springer-Verlag, 1990, pp. 703–16, doi:10.1007/bfb0032068.
LibreCat
| DOI
1990 | Conference Paper | LibreCat-ID: 7824
Hohenstein, Uwe, and Gregor Engels. “Formal Semantics of an Entity-Relationship Query Language.” Proceedings of the 9th International Conference on Entity-Relationship Approach (ER 90), Lausanne, Switzerland, ER Institute, 1990, pp. 177–88.
LibreCat
1990 | Conference Paper | LibreCat-ID: 8259
Engels, Gregor. “Elementary Actions on an Extended Entity-Relationship Database.” Proceedings of the Workshop on Graph Grammars and Their Application to Computer Science (1990), Bremen (Germany), vol. 532, Springer, 1990, pp. 344–62, doi:http://dx.doi.org/10.1007/BFb0017372.
LibreCat
| DOI
1990 | Book Chapter | LibreCat-ID: 16738
Dietzfelbinger, Martin, and Friedhelm Meyer auf der Heide. “A New Universal Class of Hash Functions and Dynamic Hashing in Real Time.” Automata, Languages and Programming, 1990, doi:10.1007/bfb0032018.
LibreCat
| DOI
1990 | Book Chapter | LibreCat-ID: 16739
Meyer auf der Heide, Friedhelm. “Dynamic Hashing Strategies.” Lecture Notes in Computer Science, 1990, doi:10.1007/bfb0029597.
LibreCat
| DOI
1990 | Book Chapter | LibreCat-ID: 16740
Karpinski, Marek, and Friedhelm Meyer auf der Heide. “On the Complexity of Genuinely Polynomial Computation.” Lecture Notes in Computer Science, 1990, doi:10.1007/bfb0029630.
LibreCat
| DOI
1990 | Conference Paper | LibreCat-ID: 16741
Dietzfelbinger, M., and Friedhelm Meyer auf der Heide. “How to Distribute a Dictionary in a Complete Network.” Proceedings of the Twenty-Second Annual ACM Symposium on Theory of Computing - STOC ’90, 1990, doi:10.1145/100216.100229.
LibreCat
| DOI
1990 | Conference Paper | LibreCat-ID: 16742
Gil, J., et al. “Not All Keys Can Be Hashed in Constant Time.” Proceedings of the Twenty-Second Annual ACM Symposium on Theory of Computing - STOC ’90, 1990, doi:10.1145/100216.100247.
LibreCat
| DOI
1990 | Journal Article | LibreCat-ID: 16824
Meyer auf der Heide, Friedhelm. “Das Heinz Nixdorf-Institut Der Universität-GH Paderborn.” Informatik Spektrum, vol. 13, no. 4, 1990, pp. 231–32.
LibreCat
1990 | Conference Paper | LibreCat-ID: 16913
Domik, Gitta, et al. “IRAS On-Line Catalogs at CASA.” Proceedings of the 176th Meeting of the American Astronomical Society, vol. Vol. 22, no. No. 2, 1990.
LibreCat
1990 | Conference Paper | LibreCat-ID: 15393
Domik, Gitta, et al. “Applications of IRAS Preprocessing at the Workstation.” Bulletin of the American Astronomical Society, vol. 22, 1990, p. 828.
LibreCat
1990 | Journal Article | LibreCat-ID: 15394
Domik, Gitta, et al. “Workstation-Based Preprocessing of IRAS Sky-Flux Images.” Publications of the Astronomical Society of the Pacific, vol. 102, no. 656, IOP Publishing, 1990, p. 1167.
LibreCat
1990 | Conference Paper | LibreCat-ID: 15395
Mickus, KD, et al. “A Case Study: Multi-Sensor Data Analysis of Hh Objects via Star: A Scientific Toolkit for Astrophysical Research.” Bulletin of the American Astronomical Society, vol. 22, 1990, p. 1259.
LibreCat
1990 | Conference Paper | LibreCat-ID: 15051
Mickus, KD, et al. “Star-a Scientific Toolkit for Astrophysical Research.” Bulletin of the American Astronomical Society, vol. 22, 1990, p. 828.
LibreCat
1989 | Journal Article | LibreCat-ID: 19818
Kleine Büning, Hans, et al. “Projections of Vector Addition System Reachability Sets Are Semilinear.” Theoretical Computer Science, 1989, pp. 343–50, doi:10.1016/0304-3975(89)90055-8.
LibreCat
| DOI
1989 | Conference Paper | LibreCat-ID: 7821
Ebert, Jürgen, and Gregor Engels. “Konzepte Einer Software-Architektur-Beschreibungssprache.” Software-Entwicklung: Konzepte, Erfahrungen, Perspektiven, Fachtagung, 1989, Marburg (Germany), vol. 212, Springer, 1989, pp. 238–50.
LibreCat
1989 | Conference Paper | LibreCat-ID: 7822
Engels, Gregor. “CADDY-O: Syntaxgestütztes, Graphisches Entwerfen Konzeptioneller Datenbankschemata.” Tagungsband GI-Fachtagung “Interaktive Schnittstellen Für Informationssysteme”, TU Clausthal, Notizen Zu Interaktive Systeme, vol. 18, 1989, pp. 1–16.
LibreCat
1989 | Conference Paper | LibreCat-ID: 7823
Engels, Gregor, et al. “CADDY: Computer-Aided Design of Non-Standard Databases.” Proceedings of the International Conference on System Development Environments & Factories, Berlin, Germany, Pitman Publishing, 1989.
LibreCat