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.
5692 Publications
1994 | Conference Paper | LibreCat-ID: 3263
Rensink, Arend, and Heike Wehrheim. “Weak Sequential Composition in Process Algebras.” In {CONCUR} ’94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings, edited by Bengt Jonsson and Joachim Parrow, 226--241. Lecture Notes in Computer Science, 1994. https://doi.org/10.1007/978-3-540-48654-1_20.
LibreCat
| DOI
1994 | Conference Paper | LibreCat-ID: 3264
Wehrheim, Heike. “Parametric Action Refinement.” In Programming Concepts, Methods and Calculi, Proceedings of the {IFIP} {TC2/WG2.1/WG2.2/WG2.3} Working Conference on Programming Concepts, Methods and Calculi {(PROCOMET} ’94) San Miniato, Italy, 6-10 June, 1994, edited by Ernst{-}R{\"{u}}diger Olderog, 247--266. {IFIP} Transactions, 1994.
LibreCat
1994 | Conference (Editor) | LibreCat-ID: 7797
Ehrich, Hans-Dietrich, Gregor Engels, J. Paredaens, and Jan Wegner, eds. Fundamentals of Object-Oriented Languages, Systems, and Methods. Vol. 95. Dagstuhl-Seminar-Report. Schloss Dagstuhl, Leibniz Center for Informatics, 1994.
LibreCat
1994 | Conference (Editor) | LibreCat-ID: 7798
Cuny, Janice, Hartmut Ehrig, Gregor Engels, and Grzegorz Rozenberg, eds. Graph Gramars and Their Application to Computer Science, 5th International Workshop (1994), Selected Papers. Vol. 1073. LNCS. Berlin/Heidelberg: Springer, 1994. http://dx.doi.org/10.1007/3-540-61228-9.
LibreCat
| DOI
1994 | Conference Paper | LibreCat-ID: 7827
Thoben, Wilfried, Hans-Jürgen Appelrath, Jens Rettig, and Stefan Sauer. “Berücksichtigung von Datenschutzaspekten in Einem Bevölkerungsbezogenen Krebsregister.” In Proceedings of the Conference on Medizin Und Information, Biometrie Und Epidemiologie (GMDS 1994), Dresden (Germany), 88–90. München: MMV Medizin Verlag, 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 7828
Ebert, Jürgen, and Gregor Engels. “Structural and Behavioural Views on OMT-Classes.” In Proceedings of the International Symposium on Object-Oriented Methodologies and Systems (ISOOMS 1994), Palermo (Italy), 858:142–57. Berlin/Heidelberg: Springer, 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 7829
Engels, Gregor, and Gerti Kappel. “Object-Oriented System Development: Will the New Approach Solve Old Problems?” In Proceedings of the IFIP 13th World Computer Congress on Information Processing, Hamburg (Germany), 3:434–41. Elsevier, 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 7830
Engels, Gregor, and Hartmut Ehrig. “Towards a Module Concept for Graph Transformation Systems: The Software Engineering Perspective.” In Proceedings Colloquium on Graph Transformation and Its Application in Computer Science, Vol. B-19. Technical Report . 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.” In Proceedings of the International Workshop on Graph Transformations in Computer Science (1993), Dagstuhl (Germany), 776:19–36. LNCS. Berlin/Heidelberg: Springer, 1994. 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.” In Proceedings of the Third European Workshop on Software Process Technology (EWSPT 1994), Villard de Lans (France), 128–51. LNCS. Berlin/Heidelberg: Springer, 1994. 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.” In Proceedings of the 2nd International East/West Database Workshop, Klagenfurt (Germany), 303–14. Berlin/Heidelberg: Springer, 1994.
LibreCat
1994 | Journal Article | LibreCat-ID: 7407
Löhr-Richter, Perdita, and Gregor Engels. “Visuelles Spezifizieren von Komplexen Aktionen Auf Datenbankstrukturen.” GI-Datenbank Rundbrief 13 (1994): 33–35.
LibreCat
1994 | Book Chapter | LibreCat-ID: 7512
Ebert, Jürgen, and Gregor Engels. “Design Representation.” In Encyclopedia of Software Engineering, 382–94. John Wiley & Sons, Inc., 1994.
LibreCat
1994 | Book Chapter | LibreCat-ID: 7513
Engels, Gregor, and Luuk Groenewegen. “SOCCA: Specifications of Coordinated and Cooperative Activities.” In Software Process Modelling and Technology, 71–102. Taunton: Research Studies Press, 1994.
LibreCat
1994 | Journal Article | LibreCat-ID: 16728
Dietzfelbinger, Martin, Anna Karlin, Kurt Mehlhorn, Friedhelm Meyer auf der Heide, Hans Rohnert, and Robert E. Tarjan. “Dynamic Perfect Hashing: Upper and Lower Bounds.” SIAM Journal on Computing, 1994, 738–61. https://doi.org/10.1137/s0097539791194094.
LibreCat
| DOI
1994 | Journal Article | LibreCat-ID: 16817
Domik, Gitta. “Visualization Education.” Comput. Graph. 18, no. 3 (1994): 277–80. https://doi.org/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.” In Proceedings IEEE Visualization ’94, Washington, DC, USA, October 17-21, 1994, edited by R. Daniel Bergeron and Arie E. Kaufman, 217–23. IEEE Computer Society, 1994. https://doi.org/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 In Proceedings EUFIT-94 2nd European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany, edited by H.J. Zimmermann, 195–99, 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 13468
Platzner, Marco, Christian Steger, and Reinhold Weiss. “Experimental Evaluation of Multi-DSP Architectures in High Performance Applications.” In 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.” CAD94. Paderborn, Germany, 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39560
Eikerling, Josef, and Wolfgang Müller. “FADE: A Layout Facility for Graph-Based Diagrams.” In Proceedings of the 17th Annual Computer Science Conference, 331–42. Christchurch, New Zealand, 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39565
Hyhuis, D., and Wolfgang Müller. “Implementing Simultaneous Design: A Case Study.” In Proceedings of the 2nd International Conference on Concurrent Engineering & Electronic Design Automation (CEEDA94). PoDTe, UK, 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39577
Müller, Wolfgang, Georg Lehrenfeld, and N. Wiechers. “Implementierung Eines Parallelen Validierungswerkzeugs Für STEP-Produktdaten Unter PVM.” TAT’94. Aachen, 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39575
Börger, Egon, Uwe Glässer, and Wolfgang Müller. “The Semantics of Behavioral VHDL’93 Descriptions.” In Proceedings of EURO-DAC’94/EURO-VHDL’94. Grenoble, France, 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39554
Lehrenfeld, Georg, Wolfgang Müller, and N. Wiechers. “Ein Paralleles Framework Fuer Die Validierung von STEP-Produktdaten.” Tagungsband: CAD94, 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39566
Lehrenfeld, Georg, Wolfgang Müller, and N. Wiechers. “Parallel Validation of STEP Files.” In Proceedings of the 2nd International Conference on Concurrent Engineering & Electronic Design Automation (CEEDA94). Poole, UK, 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39569
Lehrenfeld, Georg, and Wolfgang Müller. “Computational Model of a Logical Visual Programming Language.” Workshop Logik in Der Informatik, Jahrestreffen Der Fachgruppe 0.1.6. Paderborn, Germany, 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39572
Felser, Winfried, and Wolfgang Müller. “EXPRESS-P - Extending EXPRESS for Process Modeling and Monitoring.” In Proceedings of the 1994 ASME Computers in Engineering Conference, 145–54. Minneapolis, MI, 1994.
LibreCat
1993 | Journal Article | LibreCat-ID: 19814
Flögel, A., H. Kleine Büning, and Theodor Lettmann. “On the Restricted Equivalence for Subclasses of Propositional Logic.” RAIRO - Theoretical Informatics and Applications, 1993, 327–40. https://doi.org/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, B. Monien, and A. L. Rosenberg, eds. Parallel Architectures and Their Efficient Use. Berlin, Heidelberg: Springer, 1993. https://doi.org/10.1007/3-540-56731-3.
LibreCat
| DOI
1993 | Conference Paper | LibreCat-ID: 17479
Kastens, Uwe, Friedhelm Meyer auf der Heide, Alf Wachsmann, and Friedrich Wichmann. “OCCAM-Light: A Language Combining Shared Memory and Message Passing (A First Report).” In Proc. 3rd PASA Workshop, PARS Mitteilungen, 50–55, 1993.
LibreCat
1993 | Conference Paper | LibreCat-ID: 7826
Engels, Gregor, and A.A. Verrijn-Stuart. “Integrationsaspekte Bei Verteilter Software-Entwicklung.” In Fortschritt-Berichte VDI, 45–53. Reihe 10: Informatik/Kommunikationstechnik. VDI Verlag, 1993.
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.” In Proceedings of the Workshop on Software Process (ISPW 1993), Wadern (Germany), 66–68. Washington, DC, USA: IEEE Computer Society, 1993.
LibreCat
1993 | Journal Article | LibreCat-ID: 16729
Dietzfelbinger, M., and Friedhelm Meyer auf der Heide. “An Optimal Parallel Dictionary.” Information and Computation, 1993, 196–217. https://doi.org/10.1006/inco.1993.1007.
LibreCat
| DOI
1993 | Book Chapter | LibreCat-ID: 16730
Meyer auf der Heide, Friedhelm, Brigitte Oesterdiekhoff, and Rolf Wanka. “Strongly Adaptive Token Distribution.” In Automata, Languages and Programming. Berlin, Heidelberg, 1993. https://doi.org/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.” In Proceedings of the Fifth Annual ACM Symposium on Parallel Algorithms and Architectures - SPAA ’93, 1993. https://doi.org/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.” In Lecture Notes in Computer Science. Berlin, Heidelberg, 1993. https://doi.org/10.1007/3-540-56503-5_46.
LibreCat
| DOI
1993 | Conference Paper | LibreCat-ID: 16828
Domik, Gitta. “Education in Scientific Visualization.” In 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, Allen R. Stubberud, and Lyle P. Wiedeman, {A-48}:25–32. {IFIP} Transactions. North-Holland, 1993.
LibreCat
1993 | Conference Paper | LibreCat-ID: 16906
Domik, Gitta. “Scientific Visualization.” In Proceedings of ED Media ’93, edited by H. Maurer. World Conference on Educational Multimedia and Hypermedia. Florida, USA, 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- 27 (1993): 6–6.
LibreCat
1993 | Journal Article | LibreCat-ID: 15273
Domik, Gitta. “Guidelines for a Curriculum in Scientific Visualization.” Computers & Graphics 17, no. 2 (1993): 185–91. https://doi.org/10.1016/0097-8493(93)90103-G.
LibreCat
| DOI
1993 | Conference Paper | LibreCat-ID: 15275
Domik, Gitta, C Joslyn, and T Segura. “Macroscopic and Microscopic Aspects of Glyphs.” In 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, Christian Steger, and Reinhold Weiss. “Performance Measurements on a Multi-DSP Architecture with TMS320C40.” In 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.” In Proceedings of the Seventh Annual Database Symposium. San Diego, USA, 1993.
LibreCat
1993 | Conference Paper | LibreCat-ID: 39580
Müller, Wolfgang. “Approaching the Denotational Semantics of Behavioral VHDL Descriptions.” In Proc. of the 1st Asian Pacific Conference on Hardware Description Languages, Standards and Applications. Brisbane, Australia, 1993.
LibreCat
1993 | Conference Paper | LibreCat-ID: 39579
Müller, Wolfgang, Georg Lehrenfeld, and N. Wiechers. “Parallel Validation of STEP Files.” In Proceedings of the 3nd EXPRESS User’s Group Conference. Berlin, 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.” In Data Structures and Efficient Algorithms, 1–24. Berlin, Heidelberg: Springer Berlin Heidelberg, 1992. https://doi.org/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.” In Proceedings., 33rd Annual Symposium on Foundations of Computer Science. IEEE, 1992. https://doi.org/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, 213–20. https://doi.org/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 15, no. 2 (1992): 81–88. https://doi.org/10.1016/0745-7138(92)90051-6.
LibreCat
| DOI
1992 | Conference Paper | LibreCat-ID: 21789
Domik, Gitta. “Designing User-Centered Interfaces for Astrophysical Software.” In Proceedings on User Interfaces for Astrophysical Software, 1992.
LibreCat
1992 | Conference Paper | LibreCat-ID: 7825
Koopman, Pieter, Luuk Groenewegen, and Gregor Engels. “Functional Description of Parallel Processes.” In Proceedings of the Conference SION Computing Science in the Netherlands (CSN ’92), The Netherlands, 156–67, 1992.
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.” In Proceedings of the Fifth International Workshop on Computer-Aided Software Engineering (CASE 1992), Montreal (Canada), 19–22. Washington, DC, USA: IEEE Computer Society, 1992.
LibreCat
1992 | Conference Paper | LibreCat-ID: 8261
Engels, Gregor, and Luuk 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, 635:58–60. LNCS. Berlin/Heidelberg: Springer, 1992. 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 17, no. 3 (1992): 209–42. http://dx.doi.org/10.1016/0306-4379(92)90014-E.
LibreCat
| DOI
1992 | Journal Article | LibreCat-ID: 7409
Engels, Gregor, Claus Lewerentz, Manfred Nagl, Wilhelm Schäfer, and Andy Schürr. “Building Integrated Software Development Environments, Part I: Tool Specification.” ACM Transactions on Software Engineering and Methodology (TOSEM) 1, no. 2 (1992): 135–67.
LibreCat
1992 | Journal Article | LibreCat-ID: 7410
Engels, Gregor, Martin Gogolla, Uwe Hohenstein, Klaus Hülsmann, Perdita Löhr-Richter, Gunter Saake, and Hans-Dietrich Ehrich. “Conceptual Modelling of Database Applications Using an Extended ER Model.” Data & Knowledge Engineering 9, no. 2 (1992): 157–204. 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.” In Data Structures and Efficient Algorithms. Berlin, Heidelberg, 1992. https://doi.org/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.” In Lecture Notes in Computer Science. Berlin, Heidelberg, 1992. https://doi.org/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.” In STACS 92. Berlin, Heidelberg, 1992. https://doi.org/10.1007/3-540-55210-3_176.
LibreCat
| DOI
1992 | Conference Paper | LibreCat-ID: 16736
Karp, Richard M., Michael Luby, and Friedhelm 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. https://doi.org/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.” In TEUBNER-TEXTE Zur Informatik. Wiesbaden, 1992. https://doi.org/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.” In Astronomical Data Analysis Software and Systems I, edited by D.M. Worrall and Ch. Biemesderfer, 25:95. Astronomical Society of the Pacific Conference Series, 1992.
LibreCat
1992 | Conference Paper | LibreCat-ID: 15042
Domik, Gitta. “Visualization of Multi-Dimensional Arrays in Astronomy.” In European Southern Observatory Conference and Workshop Proceedings, 43:249, 1992.
LibreCat
1992 | Conference Paper | LibreCat-ID: 15252
Mickus-Miceli, KD, 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
Ginthör, Robert, Marco Platzner, and Reinhold Weiss. “Experimental Results to Interprocessor Communication in Distributed Transputer-Systems.” In Proceedings of the 1st Austrian-Hungarian Workshop on Transputer Applications, 45–54, 1992.
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.” In Proceedings of the 2nd EXPRESS User’s Group Conference. Dallas TX, 1992.
LibreCat
1991 | Report | LibreCat-ID: 19822
Dahn, Bernd I., Theodor Lettmann, and Wolfgang Schönfeld. ILFA Interface Concept. Vol. 193. IWBS Report. ´Heidelberg: Wissenschaftliche Zentrum der IBM Deutschland , 1991.
LibreCat
1991 | Conference Paper | LibreCat-ID: 3048
Alt, Helmut, Bernd Behrends, and Johannes Blömer. “Approximate Matching of Polygonal Shapes (Extended Abstract).” In Proceedings of the Seventh Annual Symposium on Computational Geometry - SCG ’91. ACM Press, 1991. https://doi.org/10.1145/109648.109669.
LibreCat
| DOI
1991 | Conference Paper | LibreCat-ID: 3049
Blömer, Johannes. “Computing Sums of Radicals in Polynomial Time.” In Proceedings 32nd Annual Symposium of Foundations of Computer Science. IEEE Comput. Soc. Press, 1991. https://doi.org/10.1109/sfcs.1991.185434.
LibreCat
| DOI
1991 | Conference Paper | LibreCat-ID: 21790
Domik, Gitta. “The Role of Visualization in Understanding Data.” In New Results and New Trends in Computer Science, edited by Hermann Maurer, 91–107. Berlin, Heidelberg: Springer Berlin Heidelberg, 1991.
LibreCat
1991 | Report | LibreCat-ID: 8188
Löhr-Richter, Perdita, and Gregor 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
Domik, Gitta, and KD 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, edited by M. Schader, 267–76, 1991.
LibreCat
1991 | Conference Paper | LibreCat-ID: 39584
Müller, Wolfgang. “Contract-Oriented System Design and Specification.” In Proceedings of the Workshop on Practical Computer Based Systems Engineering - Its Scope and Methods. Grassau Germany, 1991.
LibreCat
1991 | Conference Paper | LibreCat-ID: 39583
Lehrenfeld, Georg, and Wolfgang Müller. “Validation of EXPRESS Models Using Prolog.” In Proceedings of the 1st EXPRESS User’s Group Conference. Houston TX, USA, 1991.
LibreCat
1990 | Book Chapter | LibreCat-ID: 3050
Alt, Helmut, Johannes Blömer, and Hubert Wagener. “Approximation of Convex Polygons.” In Automata, Languages and Programming, 703–16. Berlin/Heidelberg: Springer-Verlag, 1990. https://doi.org/10.1007/bfb0032068.
LibreCat
| DOI
1990 | Conference Paper | LibreCat-ID: 7824
Hohenstein, Uwe, and Gregor Engels. “Formal Semantics of an Entity-Relationship Query Language.” In Proceedings of the 9th International Conference on Entity-Relationship Approach (ER 90), Lausanne, Switzerland, 177–88. ER Institute, 1990.
LibreCat
1990 | Conference Paper | LibreCat-ID: 8259
Engels, Gregor. “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), 532:344–62. Berlin/Heidelberg: Springer, 1990. 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.” In Automata, Languages and Programming. Berlin/Heidelberg, 1990. https://doi.org/10.1007/bfb0032018.
LibreCat
| DOI
1990 | Book Chapter | LibreCat-ID: 16739
Meyer auf der Heide, Friedhelm. “Dynamic Hashing Strategies.” In Lecture Notes in Computer Science. Berlin/Heidelberg, 1990. https://doi.org/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.” In Lecture Notes in Computer Science. Berlin/Heidelberg, 1990. https://doi.org/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.” In Proceedings of the Twenty-Second Annual ACM Symposium on Theory of Computing - STOC ’90, 1990. https://doi.org/10.1145/100216.100229.
LibreCat
| DOI
1990 | Conference Paper | LibreCat-ID: 16742
Gil, J., Friedhelm 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. https://doi.org/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 13, no. 4 (1990): 231–32.
LibreCat
1990 | Conference Paper | LibreCat-ID: 16913
Domik, Gitta, E.W. Brugel, and R.E. Stencel. “IRAS On-Line Catalogs at CASA.” In Proceedings of the 176th Meeting of the American Astronomical Society, Vol. Vol. 22. BAAS, 1990.
LibreCat
1990 | Conference Paper | LibreCat-ID: 15393
Domik, Gitta, EW Brugel, RE Stencel, S Vasudevan, and J Pang. “Applications of IRAS Preprocessing at the Workstation.” In Bulletin of the American Astronomical Society, 22:828, 1990.
LibreCat
1990 | Journal Article | LibreCat-ID: 15394
Domik, Gitta, Edward W Brugel, Robert E Stencel, Jinzhong Pang, and Subramanian Vasudevan. “Workstation-Based Preprocessing of IRAS Sky-Flux Images.” Publications of the Astronomical Society of the Pacific 102, no. 656 (1990): 1167.
LibreCat
1990 | Conference Paper | LibreCat-ID: 15395
Mickus, KD, EW Brugel, Gitta Domik, and TR 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, 22:1259, 1990.
LibreCat
1990 | Conference Paper | LibreCat-ID: 15051
Mickus, KD, Gitta Domik, EW Brugel, and TR Ayres. “Star-a Scientific Toolkit for Astrophysical Research.” In Bulletin of the American Astronomical Society, 22:828, 1990.
LibreCat
1989 | Journal Article | LibreCat-ID: 19818
Kleine Büning, Hans, Theodor Lettmann, and Ernst W. Mayr. “Projections of Vector Addition System Reachability Sets Are Semilinear.” Theoretical Computer Science, 1989, 343–50. https://doi.org/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.” In Software-Entwicklung: Konzepte, Erfahrungen, Perspektiven, Fachtagung, 1989, Marburg (Germany), 212:238–50. Informatik-Fachberichte. Berlin/Heidelberg: Springer, 1989.
LibreCat
1989 | Conference Paper | LibreCat-ID: 7822
Engels, Gregor. “CADDY-O: Syntaxgestütztes, Graphisches Entwerfen Konzeptioneller Datenbankschemata.” In Tagungsband GI-Fachtagung “Interaktive Schnittstellen Für Informationssysteme”, TU Clausthal, Notizen Zu Interaktive Systeme, 18:1–16, 1989.
LibreCat