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.” In Proceedings of the Workshop on Practical Computer Based Systems Engineering - Its Scope and Methods. Grassau Germany, 1991.
LibreCat
1991 | Conference Paper | LibreCat-ID: 39583
Lehrenfeld, Georg, and Wolfgang Müller. “Validation of EXPRESS Models Using Prolog.” In Proceedings of the 1st EXPRESS User’s Group Conference. Houston TX, USA, 1991.
LibreCat
1990 | Book Chapter | LibreCat-ID: 3050
Alt, Helmut, Johannes Blömer, and Hubert Wagener. “Approximation of Convex Polygons.” In Automata, Languages and Programming, 703–16. Berlin/Heidelberg: Springer-Verlag, 1990. https://doi.org/10.1007/bfb0032068.
LibreCat
| DOI
1990 | Conference Paper | LibreCat-ID: 7824
Hohenstein, Uwe, and Gregor Engels. “Formal Semantics of an Entity-Relationship Query Language.” In Proceedings of the 9th International Conference on Entity-Relationship Approach (ER 90), Lausanne, Switzerland, 177–88. ER Institute, 1990.
LibreCat
1990 | Conference Paper | LibreCat-ID: 8259
Engels, Gregor. “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), 532:344–62. Berlin/Heidelberg: Springer, 1990. 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.” In Automata, Languages and Programming. Berlin/Heidelberg, 1990. https://doi.org/10.1007/bfb0032018.
LibreCat
| DOI
1990 | Book Chapter | LibreCat-ID: 16739
Meyer auf der Heide, Friedhelm. “Dynamic Hashing Strategies.” In Lecture Notes in Computer Science. Berlin/Heidelberg, 1990. https://doi.org/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.” In Lecture Notes in Computer Science. Berlin/Heidelberg, 1990. https://doi.org/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.” In Proceedings of the Twenty-Second Annual ACM Symposium on Theory of Computing - STOC ’90, 1990. https://doi.org/10.1145/100216.100229.
LibreCat
| DOI
1990 | Conference Paper | LibreCat-ID: 16742
Gil, J., Friedhelm Meyer auf der Heide, and A. Wigderson. “Not All Keys Can Be Hashed in Constant Time.” In Proceedings of the Twenty-Second Annual ACM Symposium on Theory of Computing - STOC ’90, 1990. https://doi.org/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 13, no. 4 (1990): 231–32.
LibreCat
1990 | Conference Paper | LibreCat-ID: 16913
Domik, Gitta, E.W. Brugel, and R.E. Stencel. “IRAS On-Line Catalogs at CASA.” In Proceedings of the 176th Meeting of the American Astronomical Society, Vol. Vol. 22. BAAS, 1990.
LibreCat
1990 | Conference Paper | LibreCat-ID: 15393
Domik, Gitta, EW Brugel, RE Stencel, S Vasudevan, and J Pang. “Applications of IRAS Preprocessing at the Workstation.” In Bulletin of the American Astronomical Society, 22:828, 1990.
LibreCat
1990 | Journal Article | LibreCat-ID: 15394
Domik, Gitta, Edward W Brugel, Robert E Stencel, Jinzhong Pang, and Subramanian Vasudevan. “Workstation-Based Preprocessing of IRAS Sky-Flux Images.” Publications of the Astronomical Society of the Pacific 102, no. 656 (1990): 1167.
LibreCat
1990 | Conference Paper | LibreCat-ID: 15395
Mickus, KD, EW Brugel, Gitta Domik, and TR Ayres. “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, 22:1259, 1990.
LibreCat
1990 | Conference Paper | LibreCat-ID: 15051
Mickus, KD, Gitta Domik, EW Brugel, and TR Ayres. “Star-a Scientific Toolkit for Astrophysical Research.” In Bulletin of the American Astronomical Society, 22:828, 1990.
LibreCat
1989 | Journal Article | LibreCat-ID: 19818
Kleine Büning, Hans, Theodor Lettmann, and Ernst W. Mayr. “Projections of Vector Addition System Reachability Sets Are Semilinear.” Theoretical Computer Science, 1989, 343–50. https://doi.org/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.” In Software-Entwicklung: Konzepte, Erfahrungen, Perspektiven, Fachtagung, 1989, Marburg (Germany), 212:238–50. Informatik-Fachberichte. Berlin/Heidelberg: Springer, 1989.
LibreCat
1989 | Conference Paper | LibreCat-ID: 7822
Engels, Gregor. “CADDY-O: Syntaxgestütztes, Graphisches Entwerfen Konzeptioneller Datenbankschemata.” In Tagungsband GI-Fachtagung “Interaktive Schnittstellen Für Informationssysteme”, TU Clausthal, Notizen Zu Interaktive Systeme, 18:1–16, 1989.
LibreCat
1989 | Conference Paper | LibreCat-ID: 7823
Engels, Gregor, Uwe Hohenstein, Klaus Hülsmann, Perdita Löhr-Richter, and Hans-Dietrich Ehrich. “CADDY: Computer-Aided Design of Non-Standard Databases.” In Proceedings of the International Conference on System Development Environments & Factories, Berlin, Germany. Berlin: Pitman Publishing, 1989.
LibreCat