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
Tight Integration and Synchronization of Distributed Graphical Applications
W. Müller, B. Kleinjohann, in: Proceedings of the Seventh Annual Database Symposium, San Diego, USA, 1993.
LibreCat
W. Müller, B. Kleinjohann, in: Proceedings of the Seventh Annual Database Symposium, San Diego, USA, 1993.
1993 | Conference Paper | LibreCat-ID: 39580
Approaching the Denotational Semantics of Behavioral VHDL Descriptions
W. Müller, in: Proc. of the 1st Asian Pacific Conference on Hardware Description Languages, Standards and Applications, Brisbane, Australia, 1993.
LibreCat
W. Müller, in: Proc. of the 1st Asian Pacific Conference on Hardware Description Languages, Standards and Applications, Brisbane, Australia, 1993.
1993 | Conference Paper | LibreCat-ID: 39579
Parallel Validation of STEP Files
W. Müller, G. Lehrenfeld, N. Wiechers, in: Proceedings of the 3nd EXPRESS User’s Group Conference, Berlin, 1993.
LibreCat
W. Müller, G. Lehrenfeld, N. Wiechers, in: Proceedings of the 3nd EXPRESS User’s Group Conference, Berlin, 1993.
1992 | Dissertation | LibreCat-ID: 3043
Simplifying Expressions Involving Radicals
J. Blömer, Simplifying Expressions Involving Radicals, PhD thesis, Freie Universität Berlin, Fachbereich Mathematik und Informatik, 1992.
LibreCat
| Files available
J. Blömer, Simplifying Expressions Involving Radicals, PhD thesis, Freie Universität Berlin, Fachbereich Mathematik und Informatik, 1992.
1992 | Book Chapter | LibreCat-ID: 3046
Resemblance and symmetries of geometric patterns
H. Alt, J. Blömer, in: Data Structures and Efficient Algorithms, Springer Berlin Heidelberg, Berlin, Heidelberg, 1992, pp. 1–24.
LibreCat
| DOI
H. Alt, J. Blömer, in: Data Structures and Efficient Algorithms, Springer Berlin Heidelberg, Berlin, Heidelberg, 1992, pp. 1–24.
1992 | Conference Paper | LibreCat-ID: 3047
How to denest Ramanujan's nested radicals
J. Blömer, in: Proceedings., 33rd Annual Symposium on Foundations of Computer Science, IEEE, 1992.
LibreCat
| DOI
J. Blömer, in: Proceedings., 33rd Annual Symposium on Foundations of Computer Science, IEEE, 1992.
1992 | Journal Article | LibreCat-ID: 18936
Periodic Sorting on Two-Dimensional Meshes
M. Kutylowski, R. Wanka, Parallel Processing Letters 2 (1992) 213–220.
LibreCat
| DOI
M. Kutylowski, R. Wanka, Parallel Processing Letters 2 (1992) 213–220.
1992 | Journal Article | LibreCat-ID: 21787
Design and development of data visualization systems in a workstation environment
G. Domik, K.D. Mickus-Miceli, Journal of Microcomputer Applications 15 (1992) 81–88.
LibreCat
| DOI
G. Domik, K.D. Mickus-Miceli, Journal of Microcomputer Applications 15 (1992) 81–88.
1992 | Conference Paper | LibreCat-ID: 21789
Designing User-Centered Interfaces for Astrophysical Software
G. Domik, in: Proceedings on User Interfaces for Astrophysical Software, 1992.
LibreCat
G. Domik, in: Proceedings on User Interfaces for Astrophysical Software, 1992.
1992 | Conference Paper | LibreCat-ID: 7825
Functional Description of Parallel Processes
P. Koopman, L. Groenewegen, G. Engels, in: Proceedings of the Conference SION Computing Science in the Netherlands (CSN ’92), The Netherlands, 1992, pp. 156–167.
LibreCat
P. Koopman, L. Groenewegen, G. Engels, in: Proceedings of the Conference SION Computing Science in the Netherlands (CSN ’92), The Netherlands, 1992, pp. 156–167.
1992 | Report | LibreCat-ID: 8189
Visual Specifications of Conceptual Database Schemata (Abstract)
G. Engels, Visual Specifications of Conceptual Database Schemata (Abstract), Leiden University, 1992.
LibreCat
G. Engels, Visual Specifications of Conceptual Database Schemata (Abstract), Leiden University, 1992.
1992 | Conference Paper | LibreCat-ID: 8260
CADDY: A Highly Integrated Environment to Support Conceptual Database Design
G. Engels, P. Löhr-Richter, in: Proceedings of the Fifth International Workshop on Computer-Aided Software Engineering (CASE 1992), Montreal (Canada), IEEE Computer Society, Washington, DC, USA, 1992, pp. 19–22.
LibreCat
G. Engels, P. Löhr-Richter, in: Proceedings of the Fifth International Workshop on Computer-Aided Software Engineering (CASE 1992), Montreal (Canada), IEEE Computer Society, Washington, DC, USA, 1992, pp. 19–22.
1992 | Conference Paper | LibreCat-ID: 8261
Specification of Coordinated Behaviour in the Software Development Process
G. Engels, L. Groenewegen, in: Proceedings of the Second European Workshop on Software Process Technology (EWSPT 92), Trondheim, Norway, Springer, Berlin/Heidelberg, 1992, pp. 58–60.
LibreCat
| DOI
G. Engels, L. Groenewegen, in: Proceedings of the Second European Workshop on Software Process Technology (EWSPT 92), Trondheim, Norway, Springer, Berlin/Heidelberg, 1992, pp. 58–60.
1992 | Journal Article | LibreCat-ID: 7408
SQL/EER - Syntax and Semantics of an Entity-Relationship-Based Query Language
U. Hohenstein, G. Engels, Information Systems 17 (1992) 209–242.
LibreCat
| DOI
U. Hohenstein, G. Engels, Information Systems 17 (1992) 209–242.
1992 | Journal Article | LibreCat-ID: 7409
Building Integrated Software Development Environments, Part I: Tool Specification
G. Engels, C. Lewerentz, M. Nagl, W. Schäfer, A. Schürr, ACM Transactions on Software Engineering and Methodology (TOSEM) 1 (1992) 135–167.
LibreCat
G. Engels, C. Lewerentz, M. Nagl, W. Schäfer, A. Schürr, ACM Transactions on Software Engineering and Methodology (TOSEM) 1 (1992) 135–167.
1992 | Journal Article | LibreCat-ID: 7410
Conceptual Modelling of Database Applications Using an Extended ER Model
G. Engels, M. Gogolla, U. Hohenstein, K. Hülsmann, P. Löhr-Richter, G. Saake, H.-D. Ehrich, Data & Knowledge Engineering 9 (1992) 157–204.
LibreCat
| DOI
G. Engels, M. Gogolla, U. Hohenstein, K. Hülsmann, P. Löhr-Richter, G. Saake, H.-D. Ehrich, Data & Knowledge Engineering 9 (1992) 157–204.
1992 | Book Chapter | LibreCat-ID: 16733
High performance universal hashing, with applications to shared memory simulations
M. Dietzfelbinger, F. Meyer auf der Heide, in: Data Structures and Efficient Algorithms, Berlin, Heidelberg, 1992.
LibreCat
| DOI
M. Dietzfelbinger, F. Meyer auf der Heide, in: Data Structures and Efficient Algorithms, Berlin, Heidelberg, 1992.
1992 | Book Chapter | LibreCat-ID: 16734
Hashing strategies for simulating shared memory on distributed memory machines
F. Meyer auf der Heide, in: Lecture Notes in Computer Science, Berlin, Heidelberg, 1992.
LibreCat
| DOI
F. Meyer auf der Heide, in: Lecture Notes in Computer Science, Berlin, Heidelberg, 1992.
1992 | Book Chapter | LibreCat-ID: 16735
On the performance of networks with multiple busses
F. Meyer auf der Heide, H.T. Pham, in: STACS 92, Berlin, Heidelberg, 1992.
LibreCat
| DOI
F. Meyer auf der Heide, H.T. Pham, in: STACS 92, Berlin, Heidelberg, 1992.
1992 | Conference Paper | LibreCat-ID: 16736
Efficient PRAM simulation on a distributed memory machine
R.M. Karp, M. Luby, F. Meyer auf der Heide, in: Proceedings of the Twenty-Fourth Annual ACM Symposium on Theory of Computing - STOC ’92, 1992.
LibreCat
| DOI
R.M. Karp, M. Luby, F. Meyer auf der Heide, in: Proceedings of the Twenty-Fourth Annual ACM Symposium on Theory of Computing - STOC ’92, 1992.
1992 | Book Chapter | LibreCat-ID: 16737
Dynamic Hashing in Real Time
M. Dietzfelbinger, F. Meyer auf der Heide, in: TEUBNER-TEXTE Zur Informatik, Wiesbaden, 1992.
LibreCat
| DOI
M. Dietzfelbinger, F. Meyer auf der Heide, in: TEUBNER-TEXTE Zur Informatik, Wiesbaden, 1992.
1992 | Conference Paper | LibreCat-ID: 14997
Software design and development in a scientific environment: lessons learned during the development of STAR, an astrophysical analysis and visualization package
G.O. Domik, K.D. Mickus-Miceli, in: D.M. Worrall, C. Biemesderfer (Eds.), Astronomical Data Analysis Software and Systems I, 1992, p. 95.
LibreCat
G.O. Domik, K.D. Mickus-Miceli, in: D.M. Worrall, C. Biemesderfer (Eds.), Astronomical Data Analysis Software and Systems I, 1992, p. 95.
1992 | Conference Paper | LibreCat-ID: 15042
Visualization of Multi-dimensional Arrays in Astronomy
G. Domik, in: European Southern Observatory Conference and Workshop Proceedings, 1992, p. 249.
LibreCat
G. Domik, in: European Southern Observatory Conference and Workshop Proceedings, 1992, p. 249.
1992 | Conference Paper | LibreCat-ID: 15252
An Enriched Framework for Multidisciplinary Data Analysis
K. Mickus-Miceli, G. Domik, in: Symposium on Intelligent Scientific Computation, American Association for Artificial Intelligence (AAAI), Fall 1992 Symposium Series, Cambridge MA, October, 1992.
LibreCat
K. Mickus-Miceli, G. Domik, in: Symposium on Intelligent Scientific Computation, American Association for Artificial Intelligence (AAAI), Fall 1992 Symposium Series, Cambridge MA, October, 1992.
1992 | Conference Paper | LibreCat-ID: 13465
Experimental Results to Interprocessor Communication in Distributed Transputer-Systems
R. Ginthör, M. Platzner, R. Weiss, in: Proceedings of the 1st Austrian-Hungarian Workshop on Transputer Applications, 1992, pp. 45–54.
LibreCat
R. Ginthör, M. Platzner, R. Weiss, in: Proceedings of the 1st Austrian-Hungarian Workshop on Transputer Applications, 1992, pp. 45–54.
1992 | Conference Paper | LibreCat-ID: 39582
The EXPRESS Information Modeling Workbench - A New Approach to Graphical Design Environments
W. Müller, B. Kleinjohann, in: Proceedings of the 2nd EXPRESS User’s Group Conference, Dallas TX, 1992.
LibreCat
W. Müller, B. Kleinjohann, in: Proceedings of the 2nd EXPRESS User’s Group Conference, Dallas TX, 1992.
1991 | Report | LibreCat-ID: 19822
ILFA Interface Concept
B.I. Dahn, T. Lettmann, W. Schönfeld, ILFA Interface Concept, Wissenschaftliche Zentrum der IBM Deutschland , ´Heidelberg, 1991.
LibreCat
B.I. Dahn, T. Lettmann, W. Schönfeld, ILFA Interface Concept, Wissenschaftliche Zentrum der IBM Deutschland , ´Heidelberg, 1991.
1991 | Conference Paper | LibreCat-ID: 3048
Approximate matching of polygonal shapes (extended abstract)
H. Alt, B. Behrends, J. Blömer, in: Proceedings of the Seventh Annual Symposium on Computational Geometry - SCG ’91, ACM Press, 1991.
LibreCat
| DOI
H. Alt, B. Behrends, J. Blömer, in: Proceedings of the Seventh Annual Symposium on Computational Geometry - SCG ’91, ACM Press, 1991.
1991 | Conference Paper | LibreCat-ID: 3049
Computing sums of radicals in polynomial time
J. Blömer, in: Proceedings 32nd Annual Symposium of Foundations of Computer Science, IEEE Comput. Soc. Press, 1991.
LibreCat
| DOI
J. Blömer, in: Proceedings 32nd Annual Symposium of Foundations of Computer Science, IEEE Comput. Soc. Press, 1991.
1991 | Conference Paper | LibreCat-ID: 21790
The role of visualization in understanding data
G. Domik, in: H. Maurer (Ed.), New Results and New Trends in Computer Science, Springer Berlin Heidelberg, Berlin, Heidelberg, 1991, pp. 91–107.
LibreCat
G. Domik, in: H. Maurer (Ed.), New Results and New Trends in Computer Science, Springer Berlin Heidelberg, Berlin, Heidelberg, 1991, pp. 91–107.
1991 | Report | LibreCat-ID: 8188
Incremental Design of Conceptual Database Schemata with CADDY
P. Löhr-Richter, G. Engels, Incremental Design of Conceptual Database Schemata with CADDY, Leiden University, Leiden University, P.O. Box 9500, 2300 RA Leiden, The Netherlands, 1991.
LibreCat
P. Löhr-Richter, G. Engels, Incremental Design of Conceptual Database Schemata with CADDY, Leiden University, Leiden University, P.O. Box 9500, 2300 RA Leiden, The Netherlands, 1991.
1991 | Conference Paper | LibreCat-ID: 16912
Visualization in the Analysis Cycle of Observational Data, in Analyzing and Modeling Data and Knowledge
G. Domik, K. Mickus, in: M. Schader (Ed.), Proceedings of the 15th Annual Conference of the “Gesellschaft Für Klassifikation e.V.” University of Salzburg, 1991, pp. 267–276.
LibreCat
G. Domik, K. Mickus, in: M. Schader (Ed.), Proceedings of the 15th Annual Conference of the “Gesellschaft Für Klassifikation e.V.” University of Salzburg, 1991, pp. 267–276.
1991 | Conference Paper | LibreCat-ID: 39584
Contract-Oriented System Design and Specification
W. Müller, in: Proceedings of the Workshop on Practical Computer Based Systems Engineering - Its Scope and Methods, Grassau Germany, 1991.
LibreCat
W. Müller, in: Proceedings of the Workshop on Practical Computer Based Systems Engineering - Its Scope and Methods, Grassau Germany, 1991.
1991 | Conference Paper | LibreCat-ID: 39583
Validation of EXPRESS Models Using Prolog
G. Lehrenfeld, W. Müller, in: Proceedings of the 1st EXPRESS User’s Group Conference, Houston TX, USA, 1991.
LibreCat
G. Lehrenfeld, W. Müller, in: Proceedings of the 1st EXPRESS User’s Group Conference, Houston TX, USA, 1991.
1990 | Book Chapter | LibreCat-ID: 3050
Approximation of convex polygons
H. Alt, J. Blömer, H. Wagener, in: Automata, Languages and Programming, Springer-Verlag, Berlin/Heidelberg, 1990, pp. 703–716.
LibreCat
| DOI
H. Alt, J. Blömer, H. Wagener, in: Automata, Languages and Programming, Springer-Verlag, Berlin/Heidelberg, 1990, pp. 703–716.
1990 | Conference Paper | LibreCat-ID: 7824
Formal Semantics of an Entity-Relationship Query Language
U. Hohenstein, G. Engels, in: Proceedings of the 9th International Conference on Entity-Relationship Approach (ER 90), Lausanne, Switzerland, ER Institute, 1990, pp. 177–188.
LibreCat
U. Hohenstein, G. Engels, in: Proceedings of the 9th International Conference on Entity-Relationship Approach (ER 90), Lausanne, Switzerland, ER Institute, 1990, pp. 177–188.
1990 | Conference Paper | LibreCat-ID: 8259
Elementary Actions on an Extended Entity-Relationship Database
G. Engels, in: Proceedings of the Workshop on Graph Grammars and Their Application to Computer Science (1990), Bremen (Germany), Springer, Berlin/Heidelberg, 1990, pp. 344–362.
LibreCat
| DOI
G. Engels, in: Proceedings of the Workshop on Graph Grammars and Their Application to Computer Science (1990), Bremen (Germany), Springer, Berlin/Heidelberg, 1990, pp. 344–362.
1990 | Book Chapter | LibreCat-ID: 16738
A new universal class of hash functions and dynamic hashing in real time
M. Dietzfelbinger, F. Meyer auf der Heide, in: Automata, Languages and Programming, Berlin/Heidelberg, 1990.
LibreCat
| DOI
M. Dietzfelbinger, F. Meyer auf der Heide, in: Automata, Languages and Programming, Berlin/Heidelberg, 1990.
1990 | Book Chapter | LibreCat-ID: 16739
Dynamic hashing strategies
F. Meyer auf der Heide, in: Lecture Notes in Computer Science, Berlin/Heidelberg, 1990.
LibreCat
| DOI
F. Meyer auf der Heide, in: Lecture Notes in Computer Science, Berlin/Heidelberg, 1990.
1990 | Book Chapter | LibreCat-ID: 16740
On the complexity of genuinely polynomial computation
M. Karpinski, F. Meyer auf der Heide, in: Lecture Notes in Computer Science, Berlin/Heidelberg, 1990.
LibreCat
| DOI
M. Karpinski, F. Meyer auf der Heide, in: Lecture Notes in Computer Science, Berlin/Heidelberg, 1990.
1990 | Conference Paper | LibreCat-ID: 16741
How to distribute a dictionary in a complete network
M. Dietzfelbinger, F. Meyer auf der Heide, in: Proceedings of the Twenty-Second Annual ACM Symposium on Theory of Computing - STOC ’90, 1990.
LibreCat
| DOI
M. Dietzfelbinger, F. Meyer auf der Heide, in: Proceedings of the Twenty-Second Annual ACM Symposium on Theory of Computing - STOC ’90, 1990.
1990 | Conference Paper | LibreCat-ID: 16742
Not all keys can be hashed in constant time
J. Gil, F. Meyer auf der Heide, A. Wigderson, in: Proceedings of the Twenty-Second Annual ACM Symposium on Theory of Computing - STOC ’90, 1990.
LibreCat
| DOI
J. Gil, F. Meyer auf der Heide, A. Wigderson, in: Proceedings of the Twenty-Second Annual ACM Symposium on Theory of Computing - STOC ’90, 1990.
1990 | Journal Article | LibreCat-ID: 16824
Das Heinz Nixdorf-Institut der Universität-GH Paderborn
F. Meyer auf der Heide, Informatik Spektrum 13 (1990) 231–232.
LibreCat
F. Meyer auf der Heide, Informatik Spektrum 13 (1990) 231–232.
1990 | Conference Paper | LibreCat-ID: 16913
IRAS On-Line Catalogs at CASA
G. Domik, E.W. Brugel, R.E. Stencel, in: Proceedings of the 176th Meeting of the American Astronomical Society, 1990.
LibreCat
G. Domik, E.W. Brugel, R.E. Stencel, in: Proceedings of the 176th Meeting of the American Astronomical Society, 1990.
1990 | Conference Paper | LibreCat-ID: 15393
Applications of IRAS Preprocessing at the Workstation
G. Domik, E. Brugel, R. Stencel, S. Vasudevan, J. Pang, in: Bulletin of the American Astronomical Society, 1990, p. 828.
LibreCat
G. Domik, E. Brugel, R. Stencel, S. Vasudevan, J. Pang, in: Bulletin of the American Astronomical Society, 1990, p. 828.
1990 | Journal Article | LibreCat-ID: 15394
Workstation-based preprocessing of IRAS sky-flux images
G. Domik, E.W. Brugel, R.E. Stencel, J. Pang, S. Vasudevan, Publications of the Astronomical Society of the Pacific 102 (1990) 1167.
LibreCat
G. Domik, E.W. Brugel, R.E. Stencel, J. Pang, S. Vasudevan, Publications of the Astronomical Society of the Pacific 102 (1990) 1167.
1990 | Conference Paper | LibreCat-ID: 15395
A case study: Multi-sensor data analysis of hh objects via star: A scientific toolkit for astrophysical research
K. Mickus, E. Brugel, G. Domik, T. Ayres, in: Bulletin of the American Astronomical Society, 1990, p. 1259.
LibreCat
K. Mickus, E. Brugel, G. Domik, T. Ayres, in: Bulletin of the American Astronomical Society, 1990, p. 1259.
1990 | Conference Paper | LibreCat-ID: 15051
Star-a scientific toolkit for astrophysical research
K. Mickus, G. Domik, E. Brugel, T. Ayres, in: Bulletin of the American Astronomical Society, 1990, p. 828.
LibreCat
K. Mickus, G. Domik, E. Brugel, T. Ayres, in: Bulletin of the American Astronomical Society, 1990, p. 828.
1989 | Journal Article | LibreCat-ID: 19818
Projections of vector addition system reachability sets are semilinear
H. Kleine Büning, T. Lettmann, E.W. Mayr, Theoretical Computer Science (1989) 343–350.
LibreCat
| DOI
H. Kleine Büning, T. Lettmann, E.W. Mayr, Theoretical Computer Science (1989) 343–350.
1989 | Conference Paper | LibreCat-ID: 7821
Konzepte einer Software-Architektur-Beschreibungssprache
J. Ebert, G. Engels, in: Software-Entwicklung: Konzepte, Erfahrungen, Perspektiven, Fachtagung, 1989, Marburg (Germany), Springer, Berlin/Heidelberg, 1989, pp. 238–250.
LibreCat
J. Ebert, G. Engels, in: Software-Entwicklung: Konzepte, Erfahrungen, Perspektiven, Fachtagung, 1989, Marburg (Germany), Springer, Berlin/Heidelberg, 1989, pp. 238–250.