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
1994 | Dissertation | LibreCat-ID: 19624
Wanka R. Paralleles Sortieren Auf Mehrdimensionalen Gittern. Universität Paderborn; 1994.
LibreCat
| Files available
1994 | Conference Paper | LibreCat-ID: 3263
Rensink A, Wehrheim H. Weak Sequential Composition in Process Algebras. In: Jonsson B, Parrow J, eds. {CONCUR} ’94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings. Lecture Notes in Computer Science. ; 1994:226--241. doi:10.1007/978-3-540-48654-1_20
LibreCat
| DOI
1994 | Conference Paper | LibreCat-ID: 3264
Wehrheim H. Parametric Action Refinement. In: Olderog E-}R{\"{u}}diger, ed. 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. {IFIP} Transactions. ; 1994:247--266.
LibreCat
1994 | Conference (Editor) | LibreCat-ID: 7797
Ehrich H-D, Engels G, Paredaens J, Wegner J, eds. Fundamentals of Object-Oriented Languages, Systems, and Methods. Vol 95. Schloss Dagstuhl, Leibniz Center for Informatics; 1994.
LibreCat
1994 | Conference (Editor) | LibreCat-ID: 7798
Cuny J, Ehrig H, Engels G, Rozenberg G, eds. Graph Gramars and Their Application to Computer Science, 5th International Workshop (1994), Selected Papers. Vol 1073. Berlin/Heidelberg: Springer; 1994. doi:http://dx.doi.org/10.1007/3-540-61228-9
LibreCat
| DOI
1994 | Conference Paper | LibreCat-ID: 7827
Thoben W, Appelrath H-J, Rettig J, Sauer S. 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). München: MMV Medizin Verlag; 1994:88-90.
LibreCat
1994 | Conference Paper | LibreCat-ID: 7828
Ebert J, Engels G. Structural and Behavioural Views on OMT-Classes. In: Proceedings of the International Symposium on Object-Oriented Methodologies and Systems (ISOOMS 1994), Palermo (Italy). Vol 858. Berlin/Heidelberg: Springer; 1994:142-157.
LibreCat
1994 | Conference Paper | LibreCat-ID: 7829
Engels G, Kappel G. 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). Vol 3. Elsevier; 1994:434-441.
LibreCat
1994 | Conference Paper | LibreCat-ID: 7830
Engels G, Ehrig H. 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, Engels G. Observable or Invocable Behaviour - You Have to Choose. Vakgroep Informatica, Rijksuniversiteit Leiden; 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 8263
Andries M, Engels G. Syntax and Semantics of Hybrid Database Languages. In: Proceedings of the International Workshop on Graph Transformations in Computer Science (1993), Dagstuhl (Germany). Vol 776. LNCS. Berlin/Heidelberg: Springer; 1994:19-36. doi:http://dx.doi.org/10.1007/3-540-57787-4_2
LibreCat
| DOI
1994 | Conference Paper | LibreCat-ID: 8264
Engels G, Groenewegen L. Specification of coordinated behaviour by SOCCA. In: Proceedings of the Third European Workshop on Software Process Technology (EWSPT 1994), Villard de Lans (France). LNCS. Berlin/Heidelberg: Springer; 1994:128-151. doi:http://dx.doi.org/10.1007/3-540-57739-4_19
LibreCat
| DOI
1994 | Conference Paper | LibreCat-ID: 8265
Engels G, Löhr P. Visual Specification of Complex Database Actions. In: Proceedings of the 2nd International East/West Database Workshop, Klagenfurt (Germany). Berlin/Heidelberg: Springer; 1994:303-314.
LibreCat
1994 | Journal Article | LibreCat-ID: 7407
Löhr-Richter P, Engels G. Visuelles Spezifizieren von komplexen Aktionen auf Datenbankstrukturen. GI-Datenbank Rundbrief. 1994;13:33-35.
LibreCat
1994 | Book Chapter | LibreCat-ID: 7512
Ebert J, Engels G. Design Representation. In: Encyclopedia of Software Engineering. John Wiley & Sons, Inc.; 1994:382-394.
LibreCat
1994 | Book Chapter | LibreCat-ID: 7513
Engels G, Groenewegen L. SOCCA: Specifications of Coordinated and Cooperative Activities. In: Software Process Modelling and Technology. Taunton: Research Studies Press; 1994:71-102.
LibreCat
1994 | Journal Article | LibreCat-ID: 16728
Dietzfelbinger M, Karlin A, Mehlhorn K, Meyer auf der Heide F, Rohnert H, Tarjan RE. Dynamic Perfect Hashing: Upper and Lower Bounds. SIAM Journal on Computing. 1994:738-761. doi:10.1137/s0097539791194094
LibreCat
| DOI
1994 | Journal Article | LibreCat-ID: 16817
Domik G. Visualization education. Comput Graph. 1994;18(3):277-280. doi:10.1016/0097-8493(94)90026-4
LibreCat
| DOI
1994 | Conference Paper | LibreCat-ID: 16819
Domik G, Gutkauf B. User Modeling for Adaptive Visualization Systems. In: Daniel Bergeron R, E. Kaufman A, eds. Proceedings IEEE Visualization ’94, Washington, DC, USA, October 17-21, 1994. IEEE Computer Society; 1994:217-223. doi:10.1109/VISUAL.1994.346316
LibreCat
| DOI
1994 | Conference Paper | LibreCat-ID: 15296
Hüllermeier E. Approximate solution of a linear programming problem using a modified perceptron-algorithm. In: Zimmermann HJ, ed. In Proceedings EUFIT-94 2nd European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany. ; 1994:195-199.
LibreCat
1994 | Conference Paper | LibreCat-ID: 13468
Platzner M, Steger C, Weiss R. 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, Müller W. EXPRESS-P - Eine Erweiterung von ISO 10303-11 zur Prozessmodellierung. Published online 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39560
Eikerling J, Müller W. FADE: A Layout Facility for Graph-Based Diagrams. In: Proceedings of the 17th Annual Computer Science Conference. ; 1994:331-342.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39565
Hyhuis D, Müller W. Implementing Simultaneous Design: A Case Study. In: Proceedings of the 2nd International Conference on Concurrent Engineering & Electronic Design Automation (CEEDA94). ; 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39577
Müller W, Lehrenfeld G, Wiechers N. Implementierung eines parallelen Validierungswerkzeugs für STEP-Produktdaten unter PVM. Published online 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39575
Börger E, Glässer U, Müller W. The Semantics of Behavioral VHDL’93 Descriptions. In: Proceedings of EURO-DAC’94/EURO-VHDL’94. ; 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39554
Lehrenfeld G, Müller W, Wiechers N. Ein paralleles Framework fuer die Validierung von STEP-Produktdaten. Published online 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39566
Lehrenfeld G, Müller W, Wiechers N. Parallel Validation of STEP Files. In: Proceedings of the 2nd International Conference on Concurrent Engineering & Electronic Design Automation (CEEDA94). ; 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39569
Lehrenfeld G, Müller W. Computational Model of a Logical Visual Programming Language. Published online 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39572
Felser W, Müller W. EXPRESS-P - Extending EXPRESS for Process Modeling and Monitoring. In: Proceedings of the 1994 ASME Computers in Engineering Conference. ; 1994:145-154.
LibreCat
1993 | Journal Article | LibreCat-ID: 19814
Flögel A, Kleine Büning H, Lettmann T. On the restricted equivalence for subclasses of propositional logic. RAIRO - Theoretical Informatics and Applications. 1993:327-340. doi:10.1051/ita/1993270403271
LibreCat
| DOI
1993 | Report | LibreCat-ID: 3045
Blömer J. 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 F, Monien B, Rosenberg AL, eds. Parallel Architectures and Their Efficient Use. Berlin, Heidelberg: Springer; 1993. doi: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. OCCAM-light: A Language Combining Shared Memory and Message Passing (A First Report). In: Proc. 3rd PASA Workshop, PARS Mitteilungen. ; 1993:50-55.
LibreCat
1993 | Conference Paper | LibreCat-ID: 7826
Engels G, Verrijn-Stuart AA. Integrationsaspekte bei verteilter Software-Entwicklung. In: Fortschritt-Berichte VDI. Reihe 10: Informatik/Kommunikationstechnik. VDI Verlag; 1993:45-53.
LibreCat
1993 | Report | LibreCat-ID: 8190
Andries M, Engels G. A Hybrid Query Language for the Extended Entity Relationship Model. Vakgroep Informatica, Rijksuniversiteit Leiden; 1993.
LibreCat
1993 | Report | LibreCat-ID: 8191
Ehrig H, Engels G. Towards a Module Concept for Graph Transformation Systems. Vakgroep Informatica, Rijksuniversiteit Leiden; 1993.
LibreCat
1993 | Report | LibreCat-ID: 8192
Engels G, Rozenberg G. Abstracts COMPUGRAPH II Workshop. Vakgroep Informatica, Rijksuniversiteit Leiden; 1993.
LibreCat
1993 | Conference Paper | LibreCat-ID: 8262
Engels G, Groenewegen L. Modular, Visual Specifications of Software Processes. In: Proceedings of the Workshop on Software Process (ISPW 1993), Wadern (Germany). Washington, DC, USA: IEEE Computer Society; 1993:66-68.
LibreCat
1993 | Journal Article | LibreCat-ID: 16729
Dietzfelbinger M, Meyer auf der Heide F. An Optimal Parallel Dictionary. Information and Computation. 1993:196-217. doi:10.1006/inco.1993.1007
LibreCat
| DOI
1993 | Book Chapter | LibreCat-ID: 16730
Meyer auf der Heide F, Oesterdiekhoff B, Wanka R. Strongly adaptive token distribution. In: Automata, Languages and Programming. Berlin, Heidelberg; 1993. doi:10.1007/3-540-56939-1_89
LibreCat
| DOI
1993 | Conference Paper | LibreCat-ID: 16731
Dietzfelbinger M, Meyer auf der Heide F. Simple, efficient shared memory simulations. In: 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 K, Meyer auf der Heide F. Capabilities and complexity of computations with integer division. In: Lecture Notes in Computer Science. Berlin, Heidelberg; 1993. doi:10.1007/3-540-56503-5_46
LibreCat
| DOI
1993 | Conference Paper | LibreCat-ID: 16828
Domik G. Education in Scientific Visualization. In: D. Franklin S, R. Stubberud A, P. Wiedeman L, 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}. {IFIP} Transactions. North-Holland; 1993:25-32.
LibreCat
1993 | Conference Paper | LibreCat-ID: 16906
Domik G. Scientific Visualization. In: Maurer H, ed. Proceedings of ED Media ’93. World Conference on Educational Multimedia and Hypermedia. Florida, USA; 1993.
LibreCat
1993 | Journal Article | LibreCat-ID: 15045
Domik G. An Agenda for Education in Scientific Visualization, Visualization’92 Workshop Report. COMPUTER GRAPHICS-NEW YORK-ASSOCIATION FOR COMPUTING MACHINERY-. 1993;27:6-6.
LibreCat
1993 | Journal Article | LibreCat-ID: 15273
Domik G. Guidelines for a curriculum in scientific visualization. Computers & Graphics. 1993;17(2):185-191. doi:10.1016/0097-8493(93)90103-G
LibreCat
| DOI
1993 | Conference Paper | LibreCat-ID: 15275
Domik G, Joslyn C, Segura T. 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 M, Steger C. Erfahrungen mit einer Multi-Signalprozessorarchitektur (TMS320C40). Mikroelektronik. 1993.
LibreCat
1993 | Conference Paper | LibreCat-ID: 13467
Platzner M, Steger C, Weiss R. 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 W, Kleinjohann B. Tight Integration and Synchronization of Distributed Graphical Applications. In: Proceedings of the Seventh Annual Database Symposium. ; 1993.
LibreCat
1993 | Conference Paper | LibreCat-ID: 39580
Müller W. Approaching the Denotational Semantics of Behavioral VHDL Descriptions. In: Proc. of the 1st Asian Pacific Conference on Hardware Description Languages, Standards and Applications. ; 1993.
LibreCat
1993 | Conference Paper | LibreCat-ID: 39579
Müller W, Lehrenfeld G, Wiechers N. Parallel Validation of STEP Files. In: Proceedings of the 3nd EXPRESS User’s Group Conference. ; 1993.
LibreCat
1992 | Dissertation | LibreCat-ID: 3043
Blömer J. 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 H, Blömer J. Resemblance and symmetries of geometric patterns. In: Data Structures and Efficient Algorithms. Berlin, Heidelberg: Springer Berlin Heidelberg; 1992:1-24. doi:10.1007/3-540-55488-2_19
LibreCat
| DOI
1992 | Conference Paper | LibreCat-ID: 3047
Blömer J. How to denest Ramanujan’s nested radicals. In: 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 M, Wanka R. Periodic Sorting on Two-Dimensional Meshes. Parallel Processing Letters 2. Published online 1992:213-220. doi:10.1142/s0129626492000349
LibreCat
| DOI
1992 | Journal Article | LibreCat-ID: 21787
Domik G, Mickus-Miceli KD. Design and development of data visualization systems in a workstation environment. Journal of Microcomputer Applications. 1992;15(2):81-88. doi:10.1016/0745-7138(92)90051-6
LibreCat
| DOI
1992 | Conference Paper | LibreCat-ID: 21789
Domik G. Designing User-Centered Interfaces for Astrophysical Software. In: Proceedings on User Interfaces for Astrophysical Software. ; 1992.
LibreCat
1992 | Conference Paper | LibreCat-ID: 7825
Koopman P, Groenewegen L, Engels G. Functional Description of Parallel Processes. In: Proceedings of the Conference SION Computing Science in the Netherlands (CSN ’92), The Netherlands. ; 1992:156-167.
LibreCat
1992 | Report | LibreCat-ID: 8189
Engels G. Visual Specifications of Conceptual Database Schemata (Abstract). Leiden University; 1992.
LibreCat
1992 | Conference Paper | LibreCat-ID: 8260
Engels G, Löhr-Richter P. 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). Washington, DC, USA: IEEE Computer Society; 1992:19-22.
LibreCat
1992 | Conference Paper | LibreCat-ID: 8261
Engels G, Groenewegen L. 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. LNCS. Berlin/Heidelberg: Springer; 1992:58-60. doi:http://dx.doi.org/10.1007/BFb0017495
LibreCat
| DOI
1992 | Journal Article | LibreCat-ID: 7408
Hohenstein U, Engels G. SQL/EER - Syntax and Semantics of an Entity-Relationship-Based Query Language. Information Systems. 1992;17(3):209-242. doi: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. Building Integrated Software Development Environments, Part I: Tool Specification. ACM Transactions on Software Engineering and Methodology (TOSEM). 1992;1(2):135-167.
LibreCat
1992 | Journal Article | LibreCat-ID: 7410
Engels G, Gogolla M, Hohenstein U, et al. Conceptual Modelling of Database Applications Using an Extended ER Model. Data & Knowledge Engineering. 1992;9(2):157-204. doi: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. High performance universal hashing, with applications to shared memory simulations. In: Data Structures and Efficient Algorithms. Berlin, Heidelberg; 1992. doi:10.1007/3-540-55488-2_31
LibreCat
| DOI
1992 | Book Chapter | LibreCat-ID: 16734
Meyer auf der Heide F. Hashing strategies for simulating shared memory on distributed memory machines. In: Lecture Notes in Computer Science. Berlin, Heidelberg; 1992. doi:10.1007/3-540-56731-3_3
LibreCat
| DOI
1992 | Book Chapter | LibreCat-ID: 16735
Meyer auf der Heide F, Pham HT. On the performance of networks with multiple busses. In: STACS 92. Berlin, Heidelberg; 1992. doi:10.1007/3-540-55210-3_176
LibreCat
| DOI
1992 | Conference Paper | LibreCat-ID: 16736
Karp RM, Luby M, Meyer auf der Heide F. Efficient PRAM simulation on a distributed memory machine. In: 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 M, Meyer auf der Heide F. Dynamic Hashing in Real Time. In: TEUBNER-TEXTE Zur Informatik. Wiesbaden; 1992. doi:10.1007/978-3-322-95233-2_7
LibreCat
| DOI
1992 | Conference Paper | LibreCat-ID: 14997
Domik GO, Mickus-Miceli KD. Software design and development in a scientific environment: lessons learned during the development of STAR, an astrophysical analysis and visualization package. In: Worrall DM, Biemesderfer C, eds. Astronomical Data Analysis Software and Systems I. Vol 25. Astronomical Society of the Pacific Conference Series. ; 1992:95.
LibreCat
1992 | Conference Paper | LibreCat-ID: 15042
Domik G. Visualization of Multi-dimensional Arrays in Astronomy. In: European Southern Observatory Conference and Workshop Proceedings. Vol 43. ; 1992:249.
LibreCat
1992 | Conference Paper | LibreCat-ID: 15252
Mickus-Miceli K, Domik G. 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 R, Platzner M, Weiss R. Experimental Results to Interprocessor Communication in Distributed Transputer-Systems. In: Proceedings of the 1st Austrian-Hungarian Workshop on Transputer Applications. ; 1992:45-54.
LibreCat
1992 | Conference Paper | LibreCat-ID: 39582
Müller W, Kleinjohann B. The EXPRESS Information Modeling Workbench - A New Approach to Graphical Design Environments. In: Proceedings of the 2nd EXPRESS User’s Group Conference. ; 1992.
LibreCat
1991 | Report | LibreCat-ID: 19822
Dahn BI, Lettmann T, Schönfeld W. ILFA Interface Concept. Vol 193. ´Heidelberg: Wissenschaftliche Zentrum der IBM Deutschland ; 1991.
LibreCat
1991 | Conference Paper | LibreCat-ID: 3048
Alt H, Behrends B, Blömer J. Approximate matching of polygonal shapes (extended abstract). In: 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 J. Computing sums of radicals in polynomial time. In: 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 G. The role of visualization in understanding data. In: Maurer H, ed. New Results and New Trends in Computer Science. Berlin, Heidelberg: Springer Berlin Heidelberg; 1991:91-107.
LibreCat
1991 | Report | LibreCat-ID: 8188
Löhr-Richter P, Engels G. 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 G, Mickus K. Visualization in the Analysis Cycle of Observational Data, in Analyzing and Modeling Data and Knowledge. In: Schader M, ed. Proceedings of the 15th Annual Conference of the “Gesellschaft Für Klassifikation e.V.” University of Salzburg. ; 1991:267-276.
LibreCat
1991 | Conference Paper | LibreCat-ID: 39584
Müller W. Contract-Oriented System Design and Specification. In: Proceedings of the Workshop on Practical Computer Based Systems Engineering - Its Scope and Methods. ; 1991.
LibreCat
1991 | Conference Paper | LibreCat-ID: 39583
Lehrenfeld G, Müller W. Validation of EXPRESS Models Using Prolog. In: Proceedings of the 1st EXPRESS User’s Group Conference. ; 1991.
LibreCat
1990 | Book Chapter | LibreCat-ID: 3050
Alt H, Blömer J, Wagener H. Approximation of convex polygons. In: Automata, Languages and Programming. Berlin/Heidelberg: Springer-Verlag; 1990:703-716. doi:10.1007/bfb0032068
LibreCat
| DOI
1990 | Conference Paper | LibreCat-ID: 7824
Hohenstein U, Engels G. Formal Semantics of an Entity-Relationship Query Language. In: Proceedings of the 9th International Conference on Entity-Relationship Approach (ER 90), Lausanne, Switzerland. ER Institute; 1990:177-188.
LibreCat
1990 | Conference Paper | LibreCat-ID: 8259
Engels G. 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. Berlin/Heidelberg: Springer; 1990:344-362. doi:http://dx.doi.org/10.1007/BFb0017372
LibreCat
| DOI
1990 | Book Chapter | LibreCat-ID: 16738
Dietzfelbinger M, Meyer auf der Heide F. A new universal class of hash functions and dynamic hashing in real time. In: Automata, Languages and Programming. Berlin/Heidelberg; 1990. doi:10.1007/bfb0032018
LibreCat
| DOI
1990 | Book Chapter | LibreCat-ID: 16739
Meyer auf der Heide F. Dynamic hashing strategies. In: Lecture Notes in Computer Science. Berlin/Heidelberg; 1990. doi:10.1007/bfb0029597
LibreCat
| DOI
1990 | Book Chapter | LibreCat-ID: 16740
Karpinski M, Meyer auf der Heide F. On the complexity of genuinely polynomial computation. In: Lecture Notes in Computer Science. Berlin/Heidelberg; 1990. doi:10.1007/bfb0029630
LibreCat
| DOI
1990 | Conference Paper | LibreCat-ID: 16741
Dietzfelbinger M, Meyer auf der Heide F. 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. doi:10.1145/100216.100229
LibreCat
| DOI
1990 | Conference Paper | LibreCat-ID: 16742
Gil J, Meyer auf der Heide F, Wigderson A. 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. doi:10.1145/100216.100247
LibreCat
| DOI
1990 | Journal Article | LibreCat-ID: 16824
Meyer auf der Heide F. Das Heinz Nixdorf-Institut der Universität-GH Paderborn. Informatik Spektrum. 1990;13(4):231-232.
LibreCat
1990 | Conference Paper | LibreCat-ID: 16913
Domik G, Brugel EW, Stencel RE. 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 G, Brugel E, Stencel R, Vasudevan S, Pang J. Applications of IRAS Preprocessing at the Workstation. In: Bulletin of the American Astronomical Society. Vol 22. ; 1990:828.
LibreCat
1990 | Journal Article | LibreCat-ID: 15394
Domik G, Brugel EW, Stencel RE, Pang J, Vasudevan S. Workstation-based preprocessing of IRAS sky-flux images. Publications of the Astronomical Society of the Pacific. 1990;102(656):1167.
LibreCat
1990 | Conference Paper | LibreCat-ID: 15395
Mickus K, Brugel E, Domik G, Ayres T. 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. ; 1990:1259.
LibreCat
1990 | Conference Paper | LibreCat-ID: 15051
Mickus K, Domik G, Brugel E, Ayres T. Star-a scientific toolkit for astrophysical research. In: Bulletin of the American Astronomical Society. Vol 22. ; 1990:828.
LibreCat
1989 | Journal Article | LibreCat-ID: 19818
Kleine Büning H, Lettmann T, Mayr EW. Projections of vector addition system reachability sets are semilinear. Theoretical Computer Science. 1989:343-350. doi:10.1016/0304-3975(89)90055-8
LibreCat
| DOI
1989 | Conference Paper | LibreCat-ID: 7821
Ebert J, Engels G. Konzepte einer Software-Architektur-Beschreibungssprache. In: Software-Entwicklung: Konzepte, Erfahrungen, Perspektiven, Fachtagung, 1989, Marburg (Germany). Vol 212. Informatik-Fachberichte. Berlin/Heidelberg: Springer; 1989:238-250.
LibreCat