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.
5674 Publications
1994 | Conference Paper | LibreCat-ID: 15296
Hüllermeier, E. (1994). Approximate solution of a linear programming problem using a modified perceptron-algorithm. In H. J. Zimmermann (Ed.), in Proceedings EUFIT-94 2nd European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany (pp. 195–199).
LibreCat
1994 | Conference Paper | LibreCat-ID: 13468
Platzner, M., Steger, C., & Weiss, R. (1994). Experimental Evaluation of Multi-DSP Architectures in High Performance Applications. In Proceedings of the 7th Mediterranean Electrotechnical Conference. IEEE Press.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39557
Felser, W., & Müller, W. (1994). EXPRESS-P - Eine Erweiterung von ISO 10303-11 zur Prozessmodellierung.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39560
Eikerling, J., & Müller, W. (1994). FADE: A Layout Facility for Graph-Based Diagrams. Proceedings of the 17th Annual Computer Science Conference, 331–342.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39565
Hyhuis, D., & Müller, W. (1994). Implementing Simultaneous Design: A Case Study. Proceedings of the 2nd International Conference on Concurrent Engineering & Electronic Design Automation (CEEDA94).
LibreCat
1994 | Conference Paper | LibreCat-ID: 39577
Müller, W., Lehrenfeld, G., & Wiechers, N. (1994). Implementierung eines parallelen Validierungswerkzeugs für STEP-Produktdaten unter PVM.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39575
Börger, E., Glässer, U., & Müller, W. (1994). The Semantics of Behavioral VHDL’93 Descriptions. Proceedings of EURO-DAC’94/EURO-VHDL’94.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39554
Lehrenfeld, G., Müller, W., & Wiechers, N. (1994). Ein paralleles Framework fuer die Validierung von STEP-Produktdaten.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39566
Lehrenfeld, G., Müller, W., & Wiechers, N. (1994). Parallel Validation of STEP Files. Proceedings of the 2nd International Conference on Concurrent Engineering & Electronic Design Automation (CEEDA94).
LibreCat
1994 | Conference Paper | LibreCat-ID: 39569
Lehrenfeld, G., & Müller, W. (1994). Computational Model of a Logical Visual Programming Language.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39572
Felser, W., & Müller, W. (1994). EXPRESS-P - Extending EXPRESS for Process Modeling and Monitoring. Proceedings of the 1994 ASME Computers in Engineering Conference, 145–154.
LibreCat
1993 | Journal Article | LibreCat-ID: 19814
Flögel, A., Kleine Büning, H., & Lettmann, T. (1993). On the restricted equivalence for subclasses of propositional logic. RAIRO - Theoretical Informatics and Applications, 327–340. https://doi.org/10.1051/ita/1993270403271
LibreCat
| DOI
1993 | Report | LibreCat-ID: 3045
Blömer, J. (1993). 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.
LibreCat
1993 | Book (Editor) | LibreCat-ID: 17477
Meyer auf der Heide, F., Monien, B., & Rosenberg, A. L. (Eds.). (1993). Parallel Architectures and Their Efficient Use. Berlin, Heidelberg: Springer. https://doi.org/10.1007/3-540-56731-3
LibreCat
| DOI
1993 | Conference Paper | LibreCat-ID: 17479
Kastens, U., Meyer auf der Heide, F., Wachsmann, A., & Wichmann, F. (1993). OCCAM-light: A Language Combining Shared Memory and Message Passing (A First Report). In Proc. 3rd PASA Workshop, PARS Mitteilungen (pp. 50–55).
LibreCat
1993 | Conference Paper | LibreCat-ID: 7826
Engels, G., & Verrijn-Stuart, A. A. (1993). Integrationsaspekte bei verteilter Software-Entwicklung. In Fortschritt-Berichte VDI (pp. 45–53). VDI Verlag.
LibreCat
1993 | Report | LibreCat-ID: 8190
Andries, M., & Engels, G. (1993). A Hybrid Query Language for the Extended Entity Relationship Model. Vakgroep Informatica, Rijksuniversiteit Leiden.
LibreCat
1993 | Report | LibreCat-ID: 8191
Ehrig, H., & Engels, G. (1993). Towards a Module Concept for Graph Transformation Systems. Vakgroep Informatica, Rijksuniversiteit Leiden.
LibreCat
1993 | Report | LibreCat-ID: 8192
Engels, G., & Rozenberg, G. (1993). Abstracts COMPUGRAPH II Workshop. Vakgroep Informatica, Rijksuniversiteit Leiden.
LibreCat
1993 | Conference Paper | LibreCat-ID: 8262
Engels, G., & Groenewegen, L. (1993). Modular, Visual Specifications of Software Processes. In Proceedings of the Workshop on Software Process (ISPW 1993), Wadern (Germany) (pp. 66–68). Washington, DC, USA: IEEE Computer Society.
LibreCat
1993 | Journal Article | LibreCat-ID: 16729
Dietzfelbinger, M., & Meyer auf der Heide, F. (1993). An Optimal Parallel Dictionary. Information and Computation, 196–217. https://doi.org/10.1006/inco.1993.1007
LibreCat
| DOI
1993 | Book Chapter | LibreCat-ID: 16730
Meyer auf der Heide, F., Oesterdiekhoff, B., & Wanka, R. (1993). Strongly adaptive token distribution. In Automata, Languages and Programming. Berlin, Heidelberg. https://doi.org/10.1007/3-540-56939-1_89
LibreCat
| DOI
1993 | Conference Paper | LibreCat-ID: 16731
Dietzfelbinger, M., & Meyer auf der Heide, F. (1993). Simple, efficient shared memory simulations. In Proceedings of the fifth annual ACM symposium on Parallel algorithms and architectures - SPAA ’93. https://doi.org/10.1145/165231.165246
LibreCat
| DOI
1993 | Book Chapter | LibreCat-ID: 16732
Lürwer-Brüggemeier, K., & Meyer auf der Heide, F. (1993). Capabilities and complexity of computations with integer division. In Lecture Notes in Computer Science. Berlin, Heidelberg. https://doi.org/10.1007/3-540-56503-5_46
LibreCat
| DOI
1993 | Conference Paper | LibreCat-ID: 16828
Domik, G. (1993). Education in Scientific Visualization. In S. D. Franklin, A. R. Stubberud, & L. P. Wiedeman (Eds.), 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 (Vol. {A-48}, pp. 25–32). North-Holland.
LibreCat
1993 | Conference Paper | LibreCat-ID: 16906
Domik, G. (1993). Scientific Visualization. In H. Maurer (Ed.), Proceedings of ED Media ’93. Florida, USA.
LibreCat
1993 | Journal Article | LibreCat-ID: 15045
Domik, G. (1993). An Agenda for Education in Scientific Visualization, Visualization’92 Workshop Report. COMPUTER GRAPHICS-NEW YORK-ASSOCIATION FOR COMPUTING MACHINERY-, 27, 6–6.
LibreCat
1993 | Journal Article | LibreCat-ID: 15273
Domik, G. (1993). Guidelines for a curriculum in scientific visualization. Computers & Graphics, 17(2), 185–191. https://doi.org/10.1016/0097-8493(93)90103-G
LibreCat
| DOI
1993 | Conference Paper | LibreCat-ID: 15275
Domik, G., Joslyn, C., & Segura, T. (1993). Macroscopic and Microscopic Aspects of Glyphs. In Proceedings of the Vienna Conference on Human Computer Interaction.
LibreCat
1993 | Journal Article | LibreCat-ID: 13466
Platzner, M., & Steger, C. (1993). Erfahrungen mit einer Multi-Signalprozessorarchitektur (TMS320C40). Mikroelektronik.
LibreCat
1993 | Conference Paper | LibreCat-ID: 13467
Platzner, M., Steger, C., & Weiss, R. (1993). Performance Measurements on a Multi-DSP Architecture with TMS320C40. In Proceedings of the 4th International Conference on Signal Processing Applications & Technology (ICSPAT). DSP Associates.
LibreCat
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
1989 | Conference Paper | LibreCat-ID: 7822
Engels, G. (1989). CADDY-O: Syntaxgestütztes, graphisches Entwerfen konzeptioneller Datenbankschemata. In Tagungsband GI-Fachtagung “Interaktive Schnittstellen für Informationssysteme”, TU Clausthal, Notizen zu Interaktive Systeme (Vol. 18, pp. 1–16).
LibreCat
1989 | Conference Paper | LibreCat-ID: 7823
Engels, G., Hohenstein, U., Hülsmann, K., Löhr-Richter, P., & Ehrich, H.-D. (1989). CADDY: Computer-Aided Design of Non-Standard Databases. In Proceedings of the International Conference on System Development Environments & Factories, Berlin, Germany. Berlin: Pitman Publishing.
LibreCat
1989 | Report | LibreCat-ID: 8187
Engels, G. (1989). Benutzerschnittstelle und Architektur der integrierten Datenbankentwurfsumgebung CADDY (Kurzfassung). TU Braunschweig.
LibreCat
1989 | Book | LibreCat-ID: 7511
Engels, G., & Schäfer, W. (1989). Programmentwicklungsumgebungen: Konzepte und Realisierung. Stuttgart: Teubner.
LibreCat
1989 | Journal Article | LibreCat-ID: 16743
Just, B., Meyer auf der Heide, F., & Wigderson, A. (1989). On computations with integer division. RAIRO - Theoretical Informatics and Applications, 101–111. https://doi.org/10.1051/ita/1989230101011
LibreCat
| DOI
1989 | Conference Paper | LibreCat-ID: 16744
Dietzfelbinger, M., & Meyer auf der Heide, F. (1989). An optimal parallel dictionary. In Proceedings of the first annual ACM symposium on Parallel algorithms and architectures - SPAA ’89. https://doi.org/10.1145/72935.72974
LibreCat
| DOI
1989 | Book Chapter | LibreCat-ID: 16745
Meyer auf der Heide, F. (1989). On genuinely time bounded computations. In STACS 89. Berlin/Heidelberg. https://doi.org/10.1007/bfb0028969
LibreCat
| DOI
1989 | Book Chapter | LibreCat-ID: 16746
Meyer auf der Heide, F., & Wanka, R. (1989). Time-optimal simulations of networks by universal parallel computers. In STACS 89. Berlin/Heidelberg. https://doi.org/10.1007/bfb0028978
LibreCat
| DOI
1989 | Book Chapter | LibreCat-ID: 16789
Meyer auf der Heide, F. (1989). Computing minimum spanning forests on 1- and 2-dimensional processor arrays. In STACS 89. Berlin, Heidelberg. https://doi.org/10.1007/bfb0028983
LibreCat
| DOI
1989 | Conference Paper | LibreCat-ID: 39585
Rammig, F. J., & Müller, W. (1989). ODICE: Object-Oriented Hardware Description in CAD Environment. Proc. of the Ninth IFIP Symposium on CHDLs and Their Application.
LibreCat
1988 | Conference Paper | LibreCat-ID: 19820
Kleine Büning, H., & Lettmann, T. (1988). Perspektiven für die Logikprogrammierung. In G. Rahmstorf (Ed.), Workshop Wissensrepräsentation in Expertensystemen (pp. 56–78). Berlin, Heidelberg.
LibreCat
1988 | Conference Paper | LibreCat-ID: 7818
Engels, G., Janning, T., & Schäfer, W. (1988). A Highly Integrated Tool Set for Program Development Support. In Proceedings of the conference on ACM SIGSMALL/PC symposium on ACTES (SIGSMALL 1988), Cannes (France) (pp. 1–10). New York, NY, USA: ACM Press. http://dx.doi.org/10.1145/62453.62454
LibreCat
| DOI
1988 | Conference Paper | LibreCat-ID: 7819
Engels, G., Hohenstein, U., Neugebauer, L., Saake, G., & Ehrich, H.-D. (1988). Konzeption einer integrierten Datenbank-Entwurfsumgebung. In Proceedings of DBTA/SI Data Dictionaries und Entwicklungswerkzeuge für Datenbank-Anwendungen, Zürich, Switzerland (pp. 151–157). Verlag der Fachvereine an den Schweiz. Hochschulen und Techniken.
LibreCat
1988 | Conference Paper | LibreCat-ID: 7820
Engels, G., Hohenstein, U., Saake, G., & Ehrich, H.-D. (1988). Auf dem Weg zu einer integrierten Datenbank-Entwurfsumgebung. In G. Engels, U. Hohenstein, G. Saake, & H.-D. Ehrich (Eds.), Proceedings of the GI-Workshop on “Sprachspezifische Programmierumgebungen” (pp. 38–51). Darmstadt (Germany): G. Snelting.
LibreCat
1988 | Report | LibreCat-ID: 8186
Ebert, J., & Engels, G. (1988). Ein Konzept zur Beschreibung von Software-Architekturen. EWH Koblenz.
LibreCat
1988 | Conference Paper | LibreCat-ID: 8258
Engels, G., Janning, T., & Schäfer, W. (1988). Die Benutzerschnittstelle einer integrierten Modula-2 Programmentwicklungsumgebung. In Proceedings of GI-Workshop Sprachspezifische Programmierumgebungen, Darmstadt, Germany.
LibreCat
1988 | Journal Article | LibreCat-ID: 16763
Babai, L., Just, B., & Meyer auf der Heide, F. (1988). On the limits of computations with the floor function. Information and Computation, 99–107. https://doi.org/10.1016/0890-5401(88)90031-4
LibreCat
| DOI
1988 | Journal Article | LibreCat-ID: 16764
Meyer auf der Heide, F. (1988). Fast algorithms for N-dimensional restrictions of hard problems. Journal of the ACM (JACM), 740–747. https://doi.org/10.1145/44483.44490
LibreCat
| DOI
1988 | Journal Article | LibreCat-ID: 16765
Borodin, A., Fich, F. E., Meyer auf der Heide, F., Upfal, E., & Wigderson, A. (1988). A tradeoff between search and update time for the implicit dictionary problem. Theoretical Computer Science, 57–68. https://doi.org/10.1016/0304-3975(88)90018-7
LibreCat
| DOI