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.
5685 Publications
1994 | Conference Paper | LibreCat-ID: 7830
Engels, Gregor, and Hartmut Ehrig. “Towards a Module Concept for Graph Transformation Systems: The Software Engineering Perspective.” Proceedings Colloquium on Graph Transformation and Its Application in Computer Science, vol. B-19, Universitat de les Illes Balears, Departament de Ci, 1994.
LibreCat
1994 | Report | LibreCat-ID: 8193
Ebert, Jürgen, and Gregor Engels. Observable or Invocable Behaviour - You Have to Choose. Vakgroep Informatica, Rijksuniversiteit Leiden, 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 8263
Andries, Marc, and Gregor Engels. “Syntax and Semantics of Hybrid Database Languages.” Proceedings of the International Workshop on Graph Transformations in Computer Science (1993), Dagstuhl (Germany), vol. 776, Springer, 1994, pp. 19–36, doi:http://dx.doi.org/10.1007/3-540-57787-4_2.
LibreCat
| DOI
1994 | Conference Paper | LibreCat-ID: 8264
Engels, Gregor, and Luuk Groenewegen. “Specification of Coordinated Behaviour by SOCCA.” Proceedings of the Third European Workshop on Software Process Technology (EWSPT 1994), Villard de Lans (France), Springer, 1994, pp. 128–51, doi:http://dx.doi.org/10.1007/3-540-57739-4_19.
LibreCat
| DOI
1994 | Conference Paper | LibreCat-ID: 8265
Engels, Gregor, and Perdita Löhr. “Visual Specification of Complex Database Actions.” Proceedings of the 2nd International East/West Database Workshop, Klagenfurt (Germany), Springer, 1994, pp. 303–14.
LibreCat
1994 | Journal Article | LibreCat-ID: 7407
Löhr-Richter, Perdita, and Gregor Engels. “Visuelles Spezifizieren von Komplexen Aktionen Auf Datenbankstrukturen.” GI-Datenbank Rundbrief, vol. 13, 1994, pp. 33–35.
LibreCat
1994 | Book Chapter | LibreCat-ID: 7512
Ebert, Jürgen, and Gregor Engels. “Design Representation.” Encyclopedia of Software Engineering, John Wiley & Sons, Inc., 1994, pp. 382–94.
LibreCat
1994 | Book Chapter | LibreCat-ID: 7513
Engels, Gregor, and Luuk Groenewegen. “SOCCA: Specifications of Coordinated and Cooperative Activities.” Software Process Modelling and Technology, Research Studies Press, 1994, pp. 71–102.
LibreCat
1994 | Journal Article | LibreCat-ID: 16728
Dietzfelbinger, Martin, et al. “Dynamic Perfect Hashing: Upper and Lower Bounds.” SIAM Journal on Computing, 1994, pp. 738–61, doi:10.1137/s0097539791194094.
LibreCat
| DOI
1994 | Journal Article | LibreCat-ID: 16817
Domik, Gitta. “Visualization Education.” Comput. Graph., vol. 18, no. 3, 1994, pp. 277–80, doi:10.1016/0097-8493(94)90026-4.
LibreCat
| DOI
1994 | Conference Paper | LibreCat-ID: 16819
Domik, Gitta, and Bernd Gutkauf. “User Modeling for Adaptive Visualization Systems.” Proceedings IEEE Visualization ’94, Washington, DC, USA, October 17-21, 1994, edited by R. Daniel Bergeron and Arie E. Kaufman, IEEE Computer Society, 1994, pp. 217–23, doi:10.1109/VISUAL.1994.346316.
LibreCat
| DOI
1994 | Conference Paper | LibreCat-ID: 15296
Hüllermeier, Eyke. “Approximate Solution of a Linear Programming Problem Using a Modified Perceptron-Algorithm.” In Proceedings EUFIT-94 2nd European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany, edited by H.J. Zimmermann, 1994, pp. 195–99.
LibreCat
1994 | Conference Paper | LibreCat-ID: 13468
Platzner, Marco, et al. “Experimental Evaluation of Multi-DSP Architectures in High Performance Applications.” Proceedings of the 7th Mediterranean Electrotechnical Conference, IEEE Press, 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39557
Felser, W., and Wolfgang Müller. EXPRESS-P - Eine Erweiterung von ISO 10303-11 Zur Prozessmodellierung. 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39560
Eikerling, Josef, and Wolfgang Müller. “FADE: A Layout Facility for Graph-Based Diagrams.” Proceedings of the 17th Annual Computer Science Conference, 1994, pp. 331–42.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39565
Hyhuis, D., and Wolfgang Müller. “Implementing Simultaneous Design: A Case Study.” Proceedings of the 2nd International Conference on Concurrent Engineering & Electronic Design Automation (CEEDA94), 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39577
Müller, Wolfgang, et al. Implementierung Eines Parallelen Validierungswerkzeugs Für STEP-Produktdaten Unter PVM. 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39575
Börger, Egon, et al. “The Semantics of Behavioral VHDL’93 Descriptions.” Proceedings of EURO-DAC’94/EURO-VHDL’94, 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39554
Lehrenfeld, Georg, et al. Ein Paralleles Framework Fuer Die Validierung von STEP-Produktdaten. 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39566
Lehrenfeld, Georg, et al. “Parallel Validation of STEP Files.” Proceedings of the 2nd International Conference on Concurrent Engineering & Electronic Design Automation (CEEDA94), 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39569
Lehrenfeld, Georg, and Wolfgang Müller. Computational Model of a Logical Visual Programming Language. 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39572
Felser, Winfried, and Wolfgang Müller. “EXPRESS-P - Extending EXPRESS for Process Modeling and Monitoring.” Proceedings of the 1994 ASME Computers in Engineering Conference, 1994, pp. 145–54.
LibreCat
1993 | Journal Article | LibreCat-ID: 19814
Flögel, A., et al. “On the Restricted Equivalence for Subclasses of Propositional Logic.” RAIRO - Theoretical Informatics and Applications, 1993, pp. 327–40, doi:10.1051/ita/1993270403271.
LibreCat
| DOI
1993 | Report | LibreCat-ID: 3045
Blömer, Johannes. On Kummer Theory and the Number of Roots of Unity in Radical Extensions of Q. Technical Report, Freie Universität Berlin, Fachbereich Mathematik und Informatik, 1993.
LibreCat
1993 | Book (Editor) | LibreCat-ID: 17477
Meyer auf der Heide, Friedhelm, et al., editors. Parallel Architectures and Their Efficient Use. Springer, 1993, doi:10.1007/3-540-56731-3.
LibreCat
| DOI
1993 | Conference Paper | LibreCat-ID: 17479
Kastens, Uwe, et al. “OCCAM-Light: A Language Combining Shared Memory and Message Passing (A First Report).” Proc. 3rd PASA Workshop, PARS Mitteilungen, 1993, pp. 50–55.
LibreCat
1993 | Conference Paper | LibreCat-ID: 7826
Engels, Gregor, and A. A. Verrijn-Stuart. “Integrationsaspekte Bei Verteilter Software-Entwicklung.” Fortschritt-Berichte VDI, no. 251, VDI Verlag, 1993, pp. 45–53.
LibreCat
1993 | Report | LibreCat-ID: 8190
Andries, Marc, and Gregor Engels. A Hybrid Query Language for the Extended Entity Relationship Model. Vakgroep Informatica, Rijksuniversiteit Leiden, 1993.
LibreCat
1993 | Report | LibreCat-ID: 8191
Ehrig, Hartmut, and Gregor Engels. Towards a Module Concept for Graph Transformation Systems. Vakgroep Informatica, Rijksuniversiteit Leiden, 1993.
LibreCat
1993 | Report | LibreCat-ID: 8192
Engels, Gregor, and Grzegorz Rozenberg. Abstracts COMPUGRAPH II Workshop. Vakgroep Informatica, Rijksuniversiteit Leiden, 1993.
LibreCat
1993 | Conference Paper | LibreCat-ID: 8262
Engels, Gregor, and Luuk Groenewegen. “Modular, Visual Specifications of Software Processes.” Proceedings of the Workshop on Software Process (ISPW 1993), Wadern (Germany), IEEE Computer Society, 1993, pp. 66–68.
LibreCat
1993 | Journal Article | LibreCat-ID: 16729
Dietzfelbinger, M., and Friedhelm Meyer auf der Heide. “An Optimal Parallel Dictionary.” Information and Computation, 1993, pp. 196–217, doi:10.1006/inco.1993.1007.
LibreCat
| DOI
1993 | Book Chapter | LibreCat-ID: 16730
Meyer auf der Heide, Friedhelm, et al. “Strongly Adaptive Token Distribution.” Automata, Languages and Programming, 1993, doi:10.1007/3-540-56939-1_89.
LibreCat
| DOI
1993 | Conference Paper | LibreCat-ID: 16731
Dietzfelbinger, Martin, and Friedhelm Meyer auf der Heide. “Simple, Efficient Shared Memory Simulations.” Proceedings of the Fifth Annual ACM Symposium on Parallel Algorithms and Architectures - SPAA ’93, 1993, doi:10.1145/165231.165246.
LibreCat
| DOI
1993 | Book Chapter | LibreCat-ID: 16732
Lürwer-Brüggemeier, Katharina, and Friedhelm Meyer auf der Heide. “Capabilities and Complexity of Computations with Integer Division.” Lecture Notes in Computer Science, 1993, doi:10.1007/3-540-56503-5_46.
LibreCat
| DOI
1993 | Conference Paper | LibreCat-ID: 16828
Domik, Gitta. “Education in Scientific Visualization.” University Education Uses of Visualization in Scientific Computing, Proceedings of the {IFIP} {WG3.2} Working Conference on Visualization in Scientific Computing: Uses in University Education, Irvine, CA, USA, 28-30 July, 1993, edited by Stephen D. Franklin et al., vol. {A-48}, North-Holland, 1993, pp. 25–32.
LibreCat
1993 | Conference Paper | LibreCat-ID: 16906
Domik, Gitta. “Scientific Visualization.” Proceedings of ED Media ’93, edited by H. Maurer, 1993.
LibreCat
1993 | Journal Article | LibreCat-ID: 15045
Domik, Gitta. “An Agenda for Education in Scientific Visualization, Visualization’92 Workshop Report.” COMPUTER GRAPHICS-NEW YORK-ASSOCIATION FOR COMPUTING MACHINERY-, vol. 27, ACM ASSOCIATION FOR COMPUTING MACHINERY, 1993, pp. 6–6.
LibreCat
1993 | Journal Article | LibreCat-ID: 15273
Domik, Gitta. “Guidelines for a Curriculum in Scientific Visualization.” Computers & Graphics, vol. 17, no. 2, Elsevier, 1993, pp. 185–91, doi:10.1016/0097-8493(93)90103-G.
LibreCat
| DOI
1993 | Conference Paper | LibreCat-ID: 15275
Domik, Gitta, et al. “Macroscopic and Microscopic Aspects of Glyphs.” Proceedings of the Vienna Conference on Human Computer Interaction, 1993.
LibreCat
1993 | Journal Article | LibreCat-ID: 13466
Platzner, Marco, and Christian Steger. “Erfahrungen mit einer Multi-Signalprozessorarchitektur (TMS320C40).” Mikroelektronik, 1993.
LibreCat
1993 | Conference Paper | LibreCat-ID: 13467
Platzner, Marco, et al. “Performance Measurements on a Multi-DSP Architecture with TMS320C40.” Proceedings of the 4th International Conference on Signal Processing Applications & Technology (ICSPAT), DSP Associates, 1993.
LibreCat
1993 | Conference Paper | LibreCat-ID: 39578
Müller, Wolfgang, and Bernd Kleinjohann. “Tight Integration and Synchronization of Distributed Graphical Applications.” Proceedings of the Seventh Annual Database Symposium, 1993.
LibreCat
1993 | Conference Paper | LibreCat-ID: 39580
Müller, Wolfgang. “Approaching the Denotational Semantics of Behavioral VHDL Descriptions.” Proc. of the 1st Asian Pacific Conference on Hardware Description Languages, Standards and Applications, 1993.
LibreCat
1993 | Conference Paper | LibreCat-ID: 39579
Müller, Wolfgang, et al. “Parallel Validation of STEP Files.” Proceedings of the 3nd EXPRESS User’s Group Conference, 1993.
LibreCat
1992 | Dissertation | LibreCat-ID: 3043
Blömer, Johannes. Simplifying Expressions Involving Radicals. PhD thesis, Freie Universität Berlin, Fachbereich Mathematik und Informatik, 1992.
LibreCat
| Files available
1992 | Book Chapter | LibreCat-ID: 3046
Alt, Helmut, and Johannes Blömer. “Resemblance and Symmetries of Geometric Patterns.” Data Structures and Efficient Algorithms, Springer Berlin Heidelberg, 1992, pp. 1–24, doi:10.1007/3-540-55488-2_19.
LibreCat
| DOI
1992 | Conference Paper | LibreCat-ID: 3047
Blömer, Johannes. “How to Denest Ramanujan’s Nested Radicals.” Proceedings., 33rd Annual Symposium on Foundations of Computer Science, IEEE, 1992, doi:10.1109/sfcs.1992.267807.
LibreCat
| DOI
1992 | Journal Article | LibreCat-ID: 18936
Kutylowski, Miroslaw, and Rolf Wanka. “Periodic Sorting on Two-Dimensional Meshes.” Parallel Processing Letters 2, 1992, pp. 213–20, doi:10.1142/s0129626492000349.
LibreCat
| DOI
1992 | Journal Article | LibreCat-ID: 21787
Domik, Gitta, and Kristina D. Mickus-Miceli. “Design and Development of Data Visualization Systems in a Workstation Environment.” Journal of Microcomputer Applications, vol. 15, no. 2, 1992, pp. 81–88, doi:10.1016/0745-7138(92)90051-6.
LibreCat
| DOI
1992 | Conference Paper | LibreCat-ID: 21789
Domik, Gitta. “Designing User-Centered Interfaces for Astrophysical Software.” Proceedings on User Interfaces for Astrophysical Software, 1992.
LibreCat
1992 | Conference Paper | LibreCat-ID: 7825
Koopman, Pieter, et al. “Functional Description of Parallel Processes.” Proceedings of the Conference SION Computing Science in the Netherlands (CSN ’92), The Netherlands, 1992, pp. 156–67.
LibreCat
1992 | Report | LibreCat-ID: 8189
Engels, Gregor. Visual Specifications of Conceptual Database Schemata (Abstract). Leiden University, 1992.
LibreCat
1992 | Conference Paper | LibreCat-ID: 8260
Engels, Gregor, and Perdita Löhr-Richter. “CADDY: A Highly Integrated Environment to Support Conceptual Database Design.” Proceedings of the Fifth International Workshop on Computer-Aided Software Engineering (CASE 1992), Montreal (Canada), IEEE Computer Society, 1992, pp. 19–22.
LibreCat
1992 | Conference Paper | LibreCat-ID: 8261
Engels, Gregor, and Luuk Groenewegen. “Specification of Coordinated Behaviour in the Software Development Process.” Proceedings of the Second European Workshop on Software Process Technology (EWSPT 92), Trondheim, Norway, vol. 635, Springer, 1992, pp. 58–60, doi:http://dx.doi.org/10.1007/BFb0017495.
LibreCat
| DOI
1992 | Journal Article | LibreCat-ID: 7408
Hohenstein, Uwe, and Gregor Engels. “SQL/EER - Syntax and Semantics of an Entity-Relationship-Based Query Language.” Information Systems, vol. 17, no. 3, 1992, pp. 209–42, doi:http://dx.doi.org/10.1016/0306-4379(92)90014-E.
LibreCat
| DOI
1992 | Journal Article | LibreCat-ID: 7409
Engels, Gregor, et al. “Building Integrated Software Development Environments, Part I: Tool Specification.” ACM Transactions on Software Engineering and Methodology (TOSEM), vol. 1, no. 2, 1992, pp. 135–67.
LibreCat
1992 | Journal Article | LibreCat-ID: 7410
Engels, Gregor, et al. “Conceptual Modelling of Database Applications Using an Extended ER Model.” Data & Knowledge Engineering, vol. 9, no. 2, 1992, pp. 157–204, doi:http://dx.doi.org/10.1016/0169-023X(92)90008-Y.
LibreCat
| DOI
1992 | Book Chapter | LibreCat-ID: 16733
Dietzfelbinger, Martin, and Friedhelm Meyer auf der Heide. “High Performance Universal Hashing, with Applications to Shared Memory Simulations.” Data Structures and Efficient Algorithms, 1992, doi:10.1007/3-540-55488-2_31.
LibreCat
| DOI
1992 | Book Chapter | LibreCat-ID: 16734
Meyer auf der Heide, Friedhelm. “Hashing Strategies for Simulating Shared Memory on Distributed Memory Machines.” Lecture Notes in Computer Science, 1992, doi:10.1007/3-540-56731-3_3.
LibreCat
| DOI
1992 | Book Chapter | LibreCat-ID: 16735
Meyer auf der Heide, Friedhelm, and Hieu Thien Pham. “On the Performance of Networks with Multiple Busses.” STACS 92, 1992, doi:10.1007/3-540-55210-3_176.
LibreCat
| DOI
1992 | Conference Paper | LibreCat-ID: 16736
Karp, Richard M., et al. “Efficient PRAM Simulation on a Distributed Memory Machine.” Proceedings of the Twenty-Fourth Annual ACM Symposium on Theory of Computing - STOC ’92, 1992, doi:10.1145/129712.129743.
LibreCat
| DOI
1992 | Book Chapter | LibreCat-ID: 16737
Dietzfelbinger, Martin, and Friedhelm Meyer auf der Heide. “Dynamic Hashing in Real Time.” TEUBNER-TEXTE Zur Informatik, 1992, doi:10.1007/978-3-322-95233-2_7.
LibreCat
| DOI
1992 | Conference Paper | LibreCat-ID: 14997
Domik, Gitta O., and Kristina D. Mickus-Miceli. “Software Design and Development in a Scientific Environment: Lessons Learned during the Development of STAR, an Astrophysical Analysis and Visualization Package.” Astronomical Data Analysis Software and Systems I, edited by D.M. Worrall and Ch. Biemesderfer, vol. 25, 1992, p. 95.
LibreCat
1992 | Conference Paper | LibreCat-ID: 15042
Domik, Gitta. “Visualization of Multi-Dimensional Arrays in Astronomy.” European Southern Observatory Conference and Workshop Proceedings, vol. 43, 1992, p. 249.
LibreCat
1992 | Conference Paper | LibreCat-ID: 15252
Mickus-Miceli, KD, and G. Domik. “An Enriched Framework for Multidisciplinary Data Analysis.” 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
Ginthör, Robert, et al. “Experimental Results to Interprocessor Communication in Distributed Transputer-Systems.” Proceedings of the 1st Austrian-Hungarian Workshop on Transputer Applications, 1992, pp. 45–54.
LibreCat
1992 | Conference Paper | LibreCat-ID: 39582
Müller, Wolfgang, and Bernd Kleinjohann. “The EXPRESS Information Modeling Workbench - A New Approach to Graphical Design Environments.” Proceedings of the 2nd EXPRESS User’s Group Conference, 1992.
LibreCat
1991 | Report | LibreCat-ID: 19822
Dahn, Bernd I., et al. ILFA Interface Concept. Vol. 193, Wissenschaftliche Zentrum der IBM Deutschland , 1991.
LibreCat
1991 | Conference Paper | LibreCat-ID: 3048
Alt, Helmut, et al. “Approximate Matching of Polygonal Shapes (Extended Abstract).” Proceedings of the Seventh Annual Symposium on Computational Geometry - SCG ’91, ACM Press, 1991, doi:10.1145/109648.109669.
LibreCat
| DOI
1991 | Conference Paper | LibreCat-ID: 3049
Blömer, Johannes. “Computing Sums of Radicals in Polynomial Time.” Proceedings 32nd Annual Symposium of Foundations of Computer Science, IEEE Comput. Soc. Press, 1991, doi:10.1109/sfcs.1991.185434.
LibreCat
| DOI
1991 | Conference Paper | LibreCat-ID: 21790
Domik, Gitta. “The Role of Visualization in Understanding Data.” New Results and New Trends in Computer Science, edited by Hermann Maurer, Springer Berlin Heidelberg, 1991, pp. 91–107.
LibreCat
1991 | Report | LibreCat-ID: 8188
Löhr-Richter, Perdita, and Gregor Engels. Incremental Design of Conceptual Database Schemata with CADDY. Leiden University, 1991.
LibreCat
1991 | Conference Paper | LibreCat-ID: 16912
Domik, Gitta, and KD Mickus. “Visualization in the Analysis Cycle of Observational Data, in Analyzing and Modeling Data and Knowledge.” Proceedings of the 15th Annual Conference of the “Gesellschaft Für Klassifikation e.V.” University of Salzburg, edited by M. Schader, 1991, pp. 267–76.
LibreCat
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
1989 | Report | LibreCat-ID: 8187
Engels, Gregor. Benutzerschnittstelle Und Architektur Der Integrierten Datenbankentwurfsumgebung CADDY (Kurzfassung). TU Braunschweig, 1989.
LibreCat
1989 | Book | LibreCat-ID: 7511
Engels, Gregor, and Wilhelm Schäfer. Programmentwicklungsumgebungen: Konzepte Und Realisierung. Teubner, 1989.
LibreCat
1989 | Journal Article | LibreCat-ID: 16743
Just, Bettina, et al. “On Computations with Integer Division.” RAIRO - Theoretical Informatics and Applications, 1989, pp. 101–11, doi:10.1051/ita/1989230101011.
LibreCat
| DOI
1989 | Conference Paper | LibreCat-ID: 16744
Dietzfelbinger, M., and Friedhelm Meyer auf der Heide. “An Optimal Parallel Dictionary.” Proceedings of the First Annual ACM Symposium on Parallel Algorithms and Architectures - SPAA ’89, 1989, doi:10.1145/72935.72974.
LibreCat
| DOI
1989 | Book Chapter | LibreCat-ID: 16745
Meyer auf der Heide, Friedhelm. “On Genuinely Time Bounded Computations.” STACS 89, 1989, doi:10.1007/bfb0028969.
LibreCat
| DOI
1989 | Book Chapter | LibreCat-ID: 16746
Meyer auf der Heide, Friedhelm, and Rolf Wanka. “Time-Optimal Simulations of Networks by Universal Parallel Computers.” STACS 89, 1989, doi:10.1007/bfb0028978.
LibreCat
| DOI