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
W. Müller and B. Kleinjohann, “Tight Integration and Synchronization of Distributed Graphical Applications,” 1993.
LibreCat
 

1993 | Conference Paper | LibreCat-ID: 39580
W. Müller, “Approaching the Denotational Semantics of Behavioral VHDL Descriptions,” 1993.
LibreCat
 

1993 | Conference Paper | LibreCat-ID: 39579
W. Müller, G. Lehrenfeld, and N. Wiechers, “Parallel Validation of STEP Files,” 1993.
LibreCat
 

1992 | Dissertation | LibreCat-ID: 3043
J. Blömer, Simplifying Expressions Involving Radicals. PhD thesis, Freie Universität Berlin, Fachbereich Mathematik und Informatik, 1992.
LibreCat | Files available
 

1992 | Book Chapter | LibreCat-ID: 3046
H. Alt and J. Blömer, “Resemblance and symmetries of geometric patterns,” in Data structures and efficient algorithms, Berlin, Heidelberg: Springer Berlin Heidelberg, 1992, pp. 1–24.
LibreCat | DOI
 

1992 | Conference Paper | LibreCat-ID: 3047
J. Blömer, “How to denest Ramanujan’s nested radicals,” in Proceedings., 33rd Annual Symposium on Foundations of Computer Science, 1992.
LibreCat | DOI
 

1992 | Journal Article | LibreCat-ID: 18936
M. Kutylowski and R. Wanka, “Periodic Sorting on Two-Dimensional Meshes,” Parallel Processing Letters 2, pp. 213–220, 1992, doi: 10.1142/s0129626492000349.
LibreCat | DOI
 

1992 | Journal Article | LibreCat-ID: 21787
G. Domik and K. D. Mickus-Miceli, “Design and development of data visualization systems in a workstation environment,” Journal of Microcomputer Applications, vol. 15, no. 2, pp. 81–88, 1992.
LibreCat | DOI
 

1992 | Conference Paper | LibreCat-ID: 21789
G. Domik, “Designing User-Centered Interfaces for Astrophysical Software,” in Proceedings on User Interfaces for Astrophysical Software, 1992.
LibreCat
 

1992 | Conference Paper | LibreCat-ID: 7825
P. Koopman, L. Groenewegen, and G. Engels, “Functional Description of Parallel Processes,” in Proceedings of the conference SION Computing Science in the Netherlands (CSN ’92), The Netherlands, 1992, pp. 156–167.
LibreCat
 

1992 | Report | LibreCat-ID: 8189
G. Engels, Visual Specifications of Conceptual Database Schemata (Abstract). Leiden University, 1992.
LibreCat
 

1992 | Conference Paper | LibreCat-ID: 8260
G. Engels and P. Löhr-Richter, “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), 1992, pp. 19–22.
LibreCat
 

1992 | Conference Paper | LibreCat-ID: 8261
G. Engels and L. Groenewegen, “Specification of Coordinated Behaviour in the Software Development Process,” in Proceedings of the Second European Workshop on Software Process Technology (EWSPT 92), Trondheim, Norway, 1992, vol. 635, pp. 58–60.
LibreCat | DOI
 

1992 | Journal Article | LibreCat-ID: 7408
U. Hohenstein and G. Engels, “SQL/EER - Syntax and Semantics of an Entity-Relationship-Based Query Language,” Information Systems, vol. 17, no. 3, pp. 209–242, 1992.
LibreCat | DOI
 

1992 | Journal Article | LibreCat-ID: 7409
G. Engels, C. Lewerentz, M. Nagl, W. Schäfer, and A. Schürr, “Building Integrated Software Development Environments, Part I: Tool Specification,” ACM Transactions on Software Engineering and Methodology (TOSEM), vol. 1, no. 2, pp. 135–167, 1992.
LibreCat
 

1992 | Journal Article | LibreCat-ID: 7410
G. Engels et al., “Conceptual Modelling of Database Applications Using an Extended ER Model,” Data & Knowledge Engineering, vol. 9, no. 2, pp. 157–204, 1992.
LibreCat | DOI
 

1992 | Book Chapter | LibreCat-ID: 16733
M. Dietzfelbinger and F. Meyer auf der Heide, “High performance universal hashing, with applications to shared memory simulations,” in Data structures and efficient algorithms, Berlin, Heidelberg, 1992.
LibreCat | DOI
 

1992 | Book Chapter | LibreCat-ID: 16734
F. Meyer auf der Heide, “Hashing strategies for simulating shared memory on distributed memory machines,” in Lecture Notes in Computer Science, Berlin, Heidelberg, 1992.
LibreCat | DOI
 

1992 | Book Chapter | LibreCat-ID: 16735
F. Meyer auf der Heide and H. T. Pham, “On the performance of networks with multiple busses,” in STACS 92, Berlin, Heidelberg, 1992.
LibreCat | DOI
 

1992 | Conference Paper | LibreCat-ID: 16736
R. M. Karp, M. Luby, and F. Meyer auf der Heide, “Efficient PRAM simulation on a distributed memory machine,” in Proceedings of the twenty-fourth annual ACM symposium on Theory of computing  - STOC ’92, 1992.
LibreCat | DOI
 

1992 | Book Chapter | LibreCat-ID: 16737
M. Dietzfelbinger and F. Meyer auf der Heide, “Dynamic Hashing in Real Time,” in TEUBNER-TEXTE zur Informatik, Wiesbaden, 1992.
LibreCat | DOI
 

1992 | Conference Paper | LibreCat-ID: 14997
G. O. Domik and K. D. Mickus-Miceli, “Software design and development in a scientific environment: lessons learned during the development of STAR, an astrophysical analysis and visualization package,” in Astronomical Data Analysis Software and Systems I, 1992, vol. 25, p. 95.
LibreCat
 

1992 | Conference Paper | LibreCat-ID: 15042
G. Domik, “Visualization of Multi-dimensional Arrays in Astronomy,” in European Southern Observatory Conference and Workshop Proceedings, 1992, vol. 43, p. 249.
LibreCat
 

1992 | Conference Paper | LibreCat-ID: 15252
K. Mickus-Miceli and G. Domik, “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, 1992.
LibreCat
 

1992 | Conference Paper | LibreCat-ID: 13465
R. Ginthör, M. Platzner, and R. Weiss, “Experimental Results to Interprocessor Communication in Distributed Transputer-Systems,” in Proceedings of the 1st Austrian-Hungarian Workshop on Transputer Applications, 1992, pp. 45–54.
LibreCat
 

1992 | Conference Paper | LibreCat-ID: 39582
W. Müller and B. Kleinjohann, “The EXPRESS Information Modeling Workbench - A New Approach to Graphical Design Environments,” 1992.
LibreCat
 

1991 | Report | LibreCat-ID: 19822
B. I. Dahn, T. Lettmann, and W. Schönfeld, ILFA Interface Concept, vol. 193. ´Heidelberg: Wissenschaftliche Zentrum der IBM Deutschland , 1991.
LibreCat
 

1991 | Conference Paper | LibreCat-ID: 3048
H. Alt, B. Behrends, and J. Blömer, “Approximate matching of polygonal shapes (extended abstract),” in Proceedings of the seventh annual symposium on Computational geometry  - SCG ’91, 1991.
LibreCat | DOI
 

1991 | Conference Paper | LibreCat-ID: 3049
J. Blömer, “Computing sums of radicals in polynomial time,” in Proceedings 32nd Annual Symposium of Foundations of Computer Science, 1991.
LibreCat | DOI
 

1991 | Conference Paper | LibreCat-ID: 21790
G. Domik, “The role of visualization in understanding data,” in New Results and New Trends in Computer Science, 1991, pp. 91–107.
LibreCat
 

1991 | Report | LibreCat-ID: 8188
P. Löhr-Richter and G. Engels, Incremental Design of Conceptual Database Schemata with CADDY. Leiden University, P.O. Box 9500, 2300 RA Leiden, The Netherlands: Leiden University, 1991.
LibreCat
 

1991 | Conference Paper | LibreCat-ID: 16912
G. Domik and K. Mickus, “Visualization in the Analysis Cycle of Observational Data, in Analyzing and Modeling Data and Knowledge,” in Proceedings of the 15th Annual Conference of the “Gesellschaft für Klassifikation e.V.” University of Salzburg, Salzburg, 1991, pp. 267–276.
LibreCat
 

1991 | Conference Paper | LibreCat-ID: 39584
W. Müller, “Contract-Oriented System Design and Specification,” 1991.
LibreCat
 

1991 | Conference Paper | LibreCat-ID: 39583
G. Lehrenfeld and W. Müller, “Validation of EXPRESS Models Using Prolog,” 1991.
LibreCat
 

1990 | Book Chapter | LibreCat-ID: 3050
H. Alt, J. Blömer, and H. Wagener, “Approximation of convex polygons,” in Automata, Languages and Programming, Berlin/Heidelberg: Springer-Verlag, 1990, pp. 703–716.
LibreCat | DOI
 

1990 | Conference Paper | LibreCat-ID: 7824
U. Hohenstein and G. Engels, “Formal Semantics of an Entity-Relationship Query Language,” in Proceedings of the 9th International Conference on Entity-Relationship Approach (ER 90), Lausanne, Switzerland, 1990, pp. 177–188.
LibreCat
 

1990 | Conference Paper | LibreCat-ID: 8259
G. Engels, “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), 1990, vol. 532, pp. 344–362.
LibreCat | DOI
 

1990 | Book Chapter | LibreCat-ID: 16738
M. Dietzfelbinger and F. 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.
LibreCat | DOI
 

1990 | Book Chapter | LibreCat-ID: 16739
F. Meyer auf der Heide, “Dynamic hashing strategies,” in Lecture Notes in Computer Science, Berlin/Heidelberg, 1990.
LibreCat | DOI
 

1990 | Book Chapter | LibreCat-ID: 16740
M. Karpinski and F. Meyer auf der Heide, “On the complexity of genuinely polynomial computation,” in Lecture Notes in Computer Science, Berlin/Heidelberg, 1990.
LibreCat | DOI
 

1990 | Conference Paper | LibreCat-ID: 16741
M. Dietzfelbinger and F. 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.
LibreCat | DOI
 

1990 | Conference Paper | LibreCat-ID: 16742
J. Gil, F. 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.
LibreCat | DOI
 

1990 | Journal Article | LibreCat-ID: 16824
F. Meyer auf der Heide, “Das Heinz Nixdorf-Institut der Universität-GH Paderborn,” Informatik Spektrum, vol. 13, no. 4, pp. 231–232, 1990.
LibreCat
 

1990 | Conference Paper | LibreCat-ID: 16913
G. Domik, E. W. Brugel, and R. E. Stencel, “IRAS On-Line Catalogs at CASA,” in Proceedings of the 176th meeting of the American Astronomical Society, 1990, vol. Vol. 22, no. No. 2.
LibreCat
 

1990 | Conference Paper | LibreCat-ID: 15393
G. Domik, E. Brugel, R. Stencel, S. Vasudevan, and J. Pang, “Applications of IRAS Preprocessing at the Workstation,” in Bulletin of the American Astronomical Society, 1990, vol. 22, p. 828.
LibreCat
 

1990 | Journal Article | LibreCat-ID: 15394
G. Domik, E. W. Brugel, R. E. Stencel, J. Pang, and S. Vasudevan, “Workstation-based preprocessing of IRAS sky-flux images,” Publications of the Astronomical Society of the Pacific, vol. 102, no. 656, p. 1167, 1990.
LibreCat
 

1990 | Conference Paper | LibreCat-ID: 15395
K. Mickus, E. Brugel, G. Domik, and T. 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, 1990, vol. 22, p. 1259.
LibreCat
 

1990 | Conference Paper | LibreCat-ID: 15051
K. Mickus, G. Domik, E. Brugel, and T. Ayres, “Star-a scientific toolkit for astrophysical research,” in Bulletin of the American Astronomical Society, 1990, vol. 22, p. 828.
LibreCat
 

1989 | Journal Article | LibreCat-ID: 19818
H. Kleine Büning, T. Lettmann, and E. W. Mayr, “Projections of vector addition system reachability sets are semilinear,” Theoretical Computer Science, pp. 343–350, 1989.
LibreCat | DOI
 

1989 | Conference Paper | LibreCat-ID: 7821
J. Ebert and G. Engels, “Konzepte einer Software-Architektur-Beschreibungssprache,” in Software-Entwicklung: Konzepte, Erfahrungen, Perspektiven, Fachtagung, 1989, Marburg (Germany), 1989, vol. 212, pp. 238–250.
LibreCat
 

Filters and Search Terms

department=7

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed