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.
5693 Publications
1993 | Conference Paper | LibreCat-ID: 39578
Müller, W., & Kleinjohann, B. (1993). Tight Integration and Synchronization of Distributed Graphical Applications. Proceedings of the Seventh Annual Database Symposium.
LibreCat
1993 | Conference Paper | LibreCat-ID: 39580
Müller, W. (1993). Approaching the Denotational Semantics of Behavioral VHDL Descriptions. Proc. of the 1st Asian Pacific Conference on Hardware Description Languages, Standards and Applications.
LibreCat
1993 | Conference Paper | LibreCat-ID: 39579
Müller, W., Lehrenfeld, G., & Wiechers, N. (1993). Parallel Validation of STEP Files. Proceedings of the 3nd EXPRESS User’s Group Conference.
LibreCat
1992 | Dissertation | LibreCat-ID: 3043
Blömer, J. (1992). Simplifying Expressions Involving Radicals. PhD thesis, Freie Universität Berlin, Fachbereich Mathematik und Informatik.
LibreCat
| Files available
1992 | Book Chapter | LibreCat-ID: 3046
Alt, H., & Blömer, J. (1992). Resemblance and symmetries of geometric patterns. In Data structures and efficient algorithms (pp. 1–24). Berlin, Heidelberg: Springer Berlin Heidelberg. https://doi.org/10.1007/3-540-55488-2_19
LibreCat
| DOI
1992 | Conference Paper | LibreCat-ID: 3047
Blömer, J. (1992). How to denest Ramanujan’s nested radicals. In Proceedings., 33rd Annual Symposium on Foundations of Computer Science. IEEE. https://doi.org/10.1109/sfcs.1992.267807
LibreCat
| DOI
1992 | Journal Article | LibreCat-ID: 18936
Kutylowski, M., & Wanka, R. (1992). Periodic Sorting on Two-Dimensional Meshes. Parallel Processing Letters 2, 213–220. https://doi.org/10.1142/s0129626492000349
LibreCat
| DOI
1992 | Journal Article | LibreCat-ID: 21787
Domik, G., & Mickus-Miceli, K. D. (1992). Design and development of data visualization systems in a workstation environment. Journal of Microcomputer Applications, 15(2), 81–88. https://doi.org/10.1016/0745-7138(92)90051-6
LibreCat
| DOI
1992 | Conference Paper | LibreCat-ID: 21789
Domik, G. (1992). Designing User-Centered Interfaces for Astrophysical Software. In Proceedings on User Interfaces for Astrophysical Software.
LibreCat
1992 | Conference Paper | LibreCat-ID: 7825
Koopman, P., Groenewegen, L., & Engels, G. (1992). Functional Description of Parallel Processes. In Proceedings of the conference SION Computing Science in the Netherlands (CSN ’92), The Netherlands (pp. 156–167).
LibreCat
1992 | Report | LibreCat-ID: 8189
Engels, G. (1992). Visual Specifications of Conceptual Database Schemata (Abstract). Leiden University.
LibreCat
1992 | Conference Paper | LibreCat-ID: 8260
Engels, G., & Löhr-Richter, P. (1992). CADDY: A Highly Integrated Environment to Support Conceptual Database Design. In Proceedings of the Fifth International Workshop on Computer-Aided Software Engineering (CASE 1992), Montreal (Canada) (pp. 19–22). Washington, DC, USA: IEEE Computer Society.
LibreCat
1992 | Conference Paper | LibreCat-ID: 8261
Engels, G., & Groenewegen, L. (1992). Specification of Coordinated Behaviour in the Software Development Process. In Proceedings of the Second European Workshop on Software Process Technology (EWSPT 92), Trondheim, Norway (Vol. 635, pp. 58–60). Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/BFb0017495
LibreCat
| DOI
1992 | Journal Article | LibreCat-ID: 7408
Hohenstein, U., & Engels, G. (1992). SQL/EER - Syntax and Semantics of an Entity-Relationship-Based Query Language. Information Systems, 17(3), 209–242. http://dx.doi.org/10.1016/0306-4379(92)90014-E
LibreCat
| DOI
1992 | Journal Article | LibreCat-ID: 7409
Engels, G., Lewerentz, C., Nagl, M., Schäfer, W., & Schürr, A. (1992). Building Integrated Software Development Environments, Part I: Tool Specification. ACM Transactions on Software Engineering and Methodology (TOSEM), 1(2), 135–167.
LibreCat
1992 | Journal Article | LibreCat-ID: 7410
Engels, G., Gogolla, M., Hohenstein, U., Hülsmann, K., Löhr-Richter, P., Saake, G., & Ehrich, H.-D. (1992). Conceptual Modelling of Database Applications Using an Extended ER Model. Data & Knowledge Engineering, 9(2), 157–204. http://dx.doi.org/10.1016/0169-023X(92)90008-Y
LibreCat
| DOI
1992 | Book Chapter | LibreCat-ID: 16733
Dietzfelbinger, M., & Meyer auf der Heide, F. (1992). High performance universal hashing, with applications to shared memory simulations. In Data structures and efficient algorithms. Berlin, Heidelberg. https://doi.org/10.1007/3-540-55488-2_31
LibreCat
| DOI
1992 | Book Chapter | LibreCat-ID: 16734
Meyer auf der Heide, F. (1992). Hashing strategies for simulating shared memory on distributed memory machines. In Lecture Notes in Computer Science. Berlin, Heidelberg. https://doi.org/10.1007/3-540-56731-3_3
LibreCat
| DOI
1992 | Book Chapter | LibreCat-ID: 16735
Meyer auf der Heide, F., & Pham, H. T. (1992). On the performance of networks with multiple busses. In STACS 92. Berlin, Heidelberg. https://doi.org/10.1007/3-540-55210-3_176
LibreCat
| DOI
1992 | Conference Paper | LibreCat-ID: 16736
Karp, R. M., Luby, M., & Meyer auf der Heide, F. (1992). Efficient PRAM simulation on a distributed memory machine. In Proceedings of the twenty-fourth annual ACM symposium on Theory of computing - STOC ’92. https://doi.org/10.1145/129712.129743
LibreCat
| DOI
1992 | Book Chapter | LibreCat-ID: 16737
Dietzfelbinger, M., & Meyer auf der Heide, F. (1992). Dynamic Hashing in Real Time. In TEUBNER-TEXTE zur Informatik. Wiesbaden. https://doi.org/10.1007/978-3-322-95233-2_7
LibreCat
| DOI
1992 | Conference Paper | LibreCat-ID: 14997
Domik, G. O., & Mickus-Miceli, K. D. (1992). Software design and development in a scientific environment: lessons learned during the development of STAR, an astrophysical analysis and visualization package. In D. M. Worrall & C. Biemesderfer (Eds.), Astronomical Data Analysis Software and Systems I (Vol. 25, p. 95).
LibreCat
1992 | Conference Paper | LibreCat-ID: 15042
Domik, G. (1992). Visualization of Multi-dimensional Arrays in Astronomy. In European Southern Observatory Conference and Workshop Proceedings (Vol. 43, p. 249).
LibreCat
1992 | Conference Paper | LibreCat-ID: 15252
Mickus-Miceli, K., & Domik, G. (1992). An Enriched Framework for Multidisciplinary Data Analysis. In Symposium on Intelligent Scientific Computation, American Association for Artificial Intelligence (AAAI), Fall 1992 Symposium Series, Cambridge MA, October.
LibreCat
1992 | Conference Paper | LibreCat-ID: 13465
Ginthör, R., Platzner, M., & Weiss, R. (1992). Experimental Results to Interprocessor Communication in Distributed Transputer-Systems. In Proceedings of the 1st Austrian-Hungarian Workshop on Transputer Applications (pp. 45–54).
LibreCat
1992 | Conference Paper | LibreCat-ID: 39582
Müller, W., & Kleinjohann, B. (1992). The EXPRESS Information Modeling Workbench - A New Approach to Graphical Design Environments. Proceedings of the 2nd EXPRESS User’s Group Conference.
LibreCat
1991 | Report | LibreCat-ID: 19822
Dahn, B. I., Lettmann, T., & Schönfeld, W. (1991). ILFA Interface Concept (Vol. 193). ´Heidelberg: Wissenschaftliche Zentrum der IBM Deutschland .
LibreCat
1991 | Conference Paper | LibreCat-ID: 3048
Alt, H., Behrends, B., & Blömer, J. (1991). Approximate matching of polygonal shapes (extended abstract). In Proceedings of the seventh annual symposium on Computational geometry - SCG ’91. ACM Press. https://doi.org/10.1145/109648.109669
LibreCat
| DOI
1991 | Conference Paper | LibreCat-ID: 3049
Blömer, J. (1991). Computing sums of radicals in polynomial time. In Proceedings 32nd Annual Symposium of Foundations of Computer Science. IEEE Comput. Soc. Press. https://doi.org/10.1109/sfcs.1991.185434
LibreCat
| DOI
1991 | Conference Paper | LibreCat-ID: 21790
Domik, G. (1991). The role of visualization in understanding data. In H. Maurer (Ed.), New Results and New Trends in Computer Science (pp. 91–107). Berlin, Heidelberg: Springer Berlin Heidelberg.
LibreCat
1991 | Report | LibreCat-ID: 8188
Löhr-Richter, P., & Engels, G. (1991). Incremental Design of Conceptual Database Schemata with CADDY. Leiden University, P.O. Box 9500, 2300 RA Leiden, The Netherlands: Leiden University.
LibreCat
1991 | Conference Paper | LibreCat-ID: 16912
Domik, G., & Mickus, K. (1991). Visualization in the Analysis Cycle of Observational Data, in Analyzing and Modeling Data and Knowledge. In M. Schader (Ed.), Proceedings of the 15th Annual Conference of the “Gesellschaft für Klassifikation e.V.” University of Salzburg (pp. 267–276). Salzburg.
LibreCat
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