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
A. Rensink and H. Wehrheim, “Weak Sequential Composition in Process Algebras,” in {CONCUR} ’94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings, 1994, pp. 226--241.
LibreCat | DOI
 

1994 | Conference Paper | LibreCat-ID: 3264
H. Wehrheim, “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, 1994, pp. 247--266.
LibreCat
 

1994 | Conference (Editor) | LibreCat-ID: 7797
H.-D. Ehrich, G. Engels, J. Paredaens, and J. Wegner, 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
J. Cuny, H. Ehrig, G. Engels, and G. Rozenberg, Eds., Graph Gramars and Their Application to Computer Science, 5th International Workshop (1994), Selected Papers, vol. 1073. Berlin/Heidelberg: Springer, 1994.
LibreCat | DOI
 

1994 | Conference Paper | LibreCat-ID: 7827
W. Thoben, H.-J. Appelrath, J. Rettig, and S. 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), 1994, pp. 88–90.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 7828
J. Ebert and G. Engels, “Structural and Behavioural Views on OMT-Classes,” in Proceedings of the International Symposium on Object-Oriented Methodologies and Systems (ISOOMS 1994), Palermo (Italy), 1994, vol. 858, pp. 142–157.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 7829
G. Engels and G. 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), 1994, vol. 3, pp. 434–441.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 7830
G. Engels and H. 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, 1994, vol. B-19.
LibreCat
 

1994 | Report | LibreCat-ID: 8193
J. Ebert and G. Engels, Observable or Invocable Behaviour - You Have to Choose. Vakgroep Informatica, Rijksuniversiteit Leiden, 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 8263
M. Andries and G. Engels, “Syntax and Semantics of Hybrid Database Languages,” in Proceedings of the International Workshop on Graph Transformations in Computer Science (1993), Dagstuhl (Germany), 1994, vol. 776, pp. 19–36.
LibreCat | DOI
 

1994 | Conference Paper | LibreCat-ID: 8264
G. Engels and L. Groenewegen, “Specification of coordinated behaviour by SOCCA,” in Proceedings of the Third European Workshop on Software Process Technology (EWSPT 1994), Villard de Lans (France), 1994, pp. 128–151.
LibreCat | DOI
 

1994 | Conference Paper | LibreCat-ID: 8265
G. Engels and P. Löhr, “Visual Specification of Complex Database Actions,” in Proceedings of the 2nd International East/West Database Workshop, Klagenfurt (Germany), 1994, pp. 303–314.
LibreCat
 

1994 | Journal Article | LibreCat-ID: 7407
P. Löhr-Richter and G. Engels, “Visuelles Spezifizieren von komplexen Aktionen auf Datenbankstrukturen,” GI-Datenbank Rundbrief, vol. 13, pp. 33–35, 1994.
LibreCat
 

1994 | Book Chapter | LibreCat-ID: 7512
J. Ebert and G. Engels, “Design Representation,” in Encyclopedia of Software Engineering, John Wiley & Sons, Inc., 1994, pp. 382–394.
LibreCat
 

1994 | Book Chapter | LibreCat-ID: 7513
G. Engels and L. Groenewegen, “SOCCA: Specifications of Coordinated and Cooperative Activities,” in Software Process Modelling and Technology, Taunton: Research Studies Press, 1994, pp. 71–102.
LibreCat
 

1994 | Journal Article | LibreCat-ID: 16728
M. Dietzfelbinger, A. Karlin, K. Mehlhorn, F. Meyer auf der Heide, H. Rohnert, and R. E. Tarjan, “Dynamic Perfect Hashing: Upper and Lower Bounds,” SIAM Journal on Computing, pp. 738–761, 1994.
LibreCat | DOI
 

1994 | Journal Article | LibreCat-ID: 16817
G. Domik, “Visualization education,” Comput. Graph., vol. 18, no. 3, pp. 277–280, 1994.
LibreCat | DOI
 

1994 | Conference Paper | LibreCat-ID: 16819
G. Domik and B. Gutkauf, “User Modeling for Adaptive Visualization Systems,” in Proceedings IEEE Visualization ’94, Washington, DC, USA, October 17-21, 1994, 1994, pp. 217–223.
LibreCat | DOI
 

1994 | Conference Paper | LibreCat-ID: 15296
E. Hüllermeier, “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, 1994, pp. 195–199.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 13468
M. Platzner, C. Steger, and R. Weiss, “Experimental Evaluation of Multi-DSP Architectures in High Performance Applications,” in Proceedings of the 7th Mediterranean Electrotechnical Conference, 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 39557
W. Felser and W. Müller, “EXPRESS-P - Eine Erweiterung von ISO 10303-11 zur Prozessmodellierung.” Paderborn, Germany, 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 39560
J. Eikerling and W. Müller, “FADE: A Layout Facility for Graph-Based Diagrams,” in Proceedings of the 17th Annual Computer Science Conference, 1994, pp. 331–342.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 39565
D. Hyhuis and W. Müller, “Implementing Simultaneous Design: A Case Study,” 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 39577
W. Müller, G. Lehrenfeld, and N. Wiechers, “Implementierung eines parallelen Validierungswerkzeugs für STEP-Produktdaten unter PVM.” Aachen, 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 39575
E. Börger, U. Glässer, and W. Müller, “The Semantics of Behavioral VHDL’93 Descriptions,” 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 39554
G. Lehrenfeld, W. Müller, and N. Wiechers, “Ein paralleles Framework fuer die Validierung von STEP-Produktdaten.” 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 39566
G. Lehrenfeld, W. Müller, and N. Wiechers, “Parallel Validation of STEP Files,” 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 39569
G. Lehrenfeld and W. Müller, “Computational Model of a Logical Visual Programming Language.” Paderborn, Germany, 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 39572
W. Felser and W. Müller, “EXPRESS-P - Extending EXPRESS for Process Modeling and Monitoring,” in Proceedings of the 1994 ASME Computers in Engineering Conference, 1994, pp. 145–154.
LibreCat
 

1993 | Journal Article | LibreCat-ID: 19814
A. Flögel, H. Kleine Büning, and T. Lettmann, “On the restricted equivalence for subclasses of propositional logic,” RAIRO - Theoretical Informatics and Applications, pp. 327–340, 1993.
LibreCat | DOI
 

1993 | Report | LibreCat-ID: 3045
J. Blömer, 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
F. Meyer auf der Heide, B. Monien, and A. L. Rosenberg, Eds., Parallel Architectures and Their Efficient Use. Berlin, Heidelberg: Springer, 1993.
LibreCat | DOI
 

1993 | Conference Paper | LibreCat-ID: 17479
U. Kastens, F. Meyer auf der Heide, A. Wachsmann, and F. Wichmann, “OCCAM-light: A Language Combining Shared Memory and Message Passing (A First Report),” in Proc. 3rd PASA Workshop, PARS Mitteilungen, 1993, pp. 50–55.
LibreCat
 

1993 | Conference Paper | LibreCat-ID: 7826
G. Engels and A. A. Verrijn-Stuart, “Integrationsaspekte bei verteilter Software-Entwicklung,” in Fortschritt-Berichte VDI, 1993, no. 251, pp. 45–53.
LibreCat
 

1993 | Report | LibreCat-ID: 8190
M. Andries and G. Engels, A Hybrid Query Language for the Extended Entity Relationship Model. Vakgroep Informatica, Rijksuniversiteit Leiden, 1993.
LibreCat
 

1993 | Report | LibreCat-ID: 8191
H. Ehrig and G. Engels, Towards a Module Concept for Graph Transformation Systems. Vakgroep Informatica, Rijksuniversiteit Leiden, 1993.
LibreCat
 

1993 | Report | LibreCat-ID: 8192
G. Engels and G. Rozenberg, Abstracts COMPUGRAPH II Workshop. Vakgroep Informatica, Rijksuniversiteit Leiden, 1993.
LibreCat
 

1993 | Conference Paper | LibreCat-ID: 8262
G. Engels and L. Groenewegen, “Modular, Visual Specifications of Software Processes,” in Proceedings of the Workshop on Software Process (ISPW 1993), Wadern (Germany), 1993, pp. 66–68.
LibreCat
 

1993 | Journal Article | LibreCat-ID: 16729
M. Dietzfelbinger and F. Meyer auf der Heide, “An Optimal Parallel Dictionary,” Information and Computation, pp. 196–217, 1993.
LibreCat | DOI
 

1993 | Book Chapter | LibreCat-ID: 16730
F. Meyer auf der Heide, B. Oesterdiekhoff, and R. Wanka, “Strongly adaptive token distribution,” in Automata, Languages and Programming, Berlin, Heidelberg, 1993.
LibreCat | DOI
 

1993 | Conference Paper | LibreCat-ID: 16731
M. Dietzfelbinger and F. 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.
LibreCat | DOI
 

1993 | Book Chapter | LibreCat-ID: 16732
K. Lürwer-Brüggemeier and F. Meyer auf der Heide, “Capabilities and complexity of computations with integer division,” in Lecture Notes in Computer Science, Berlin, Heidelberg, 1993.
LibreCat | DOI
 

1993 | Conference Paper | LibreCat-ID: 16828
G. Domik, “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, 1993, vol. {A-48}, pp. 25–32.
LibreCat
 

1993 | Conference Paper | LibreCat-ID: 16906
G. Domik, “Scientific Visualization,” in Proceedings of ED Media ’93, Orlando, Florida, 1993.
LibreCat
 

1993 | Journal Article | LibreCat-ID: 15045
G. Domik, “An Agenda for Education in Scientific Visualization, Visualization’92 Workshop Report,” COMPUTER GRAPHICS-NEW YORK-ASSOCIATION FOR COMPUTING MACHINERY-, vol. 27, pp. 6–6, 1993.
LibreCat
 

1993 | Journal Article | LibreCat-ID: 15273
G. Domik, “Guidelines for a curriculum in scientific visualization,” Computers & Graphics, vol. 17, no. 2, pp. 185–191, 1993.
LibreCat | DOI
 

1993 | Conference Paper | LibreCat-ID: 15275
G. Domik, 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
M. Platzner and C. Steger, “Erfahrungen mit einer Multi-Signalprozessorarchitektur (TMS320C40),” Mikroelektronik, 1993.
LibreCat
 

1993 | Conference Paper | LibreCat-ID: 13467
M. Platzner, C. Steger, and R. Weiss, “Performance Measurements on a Multi-DSP Architecture with TMS320C40,” in Proceedings of the 4th International Conference on Signal Processing Applications & Technology (ICSPAT), 1993.
LibreCat
 

1993 | Conference Paper | LibreCat-ID: 39578
W. Müller and B. Kleinjohann, “Tight Integration and Synchronization of Distributed Graphical Applications,” 1993.
LibreCat
 

1993 | Conference Paper | LibreCat-ID: 39580
W. Müller, “Approaching the Denotational Semantics of Behavioral VHDL Descriptions,” 1993.
LibreCat
 

1993 | Conference Paper | LibreCat-ID: 39579
W. Müller, G. Lehrenfeld, and N. Wiechers, “Parallel Validation of STEP Files,” 1993.
LibreCat
 

1992 | Dissertation | LibreCat-ID: 3043
J. Blömer, Simplifying Expressions Involving Radicals. PhD thesis, Freie Universität Berlin, Fachbereich Mathematik und Informatik, 1992.
LibreCat | Files available
 

1992 | Book Chapter | LibreCat-ID: 3046
H. Alt and J. Blömer, “Resemblance and symmetries of geometric patterns,” in Data structures and efficient algorithms, Berlin, Heidelberg: Springer Berlin Heidelberg, 1992, pp. 1–24.
LibreCat | DOI
 

1992 | Conference Paper | LibreCat-ID: 3047
J. Blömer, “How to denest Ramanujan’s nested radicals,” in Proceedings., 33rd Annual Symposium on Foundations of Computer Science, 1992.
LibreCat | DOI
 

1992 | Journal Article | LibreCat-ID: 18936
M. Kutylowski and R. Wanka, “Periodic Sorting on Two-Dimensional Meshes,” Parallel Processing Letters 2, pp. 213–220, 1992, doi: 10.1142/s0129626492000349.
LibreCat | DOI
 

1992 | Journal Article | LibreCat-ID: 21787
G. Domik and K. D. Mickus-Miceli, “Design and development of data visualization systems in a workstation environment,” Journal of Microcomputer Applications, vol. 15, no. 2, pp. 81–88, 1992.
LibreCat | DOI
 

1992 | Conference Paper | LibreCat-ID: 21789
G. Domik, “Designing User-Centered Interfaces for Astrophysical Software,” in Proceedings on User Interfaces for Astrophysical Software, 1992.
LibreCat
 

1992 | Conference Paper | LibreCat-ID: 7825
P. Koopman, L. Groenewegen, and G. Engels, “Functional Description of Parallel Processes,” in Proceedings of the conference SION Computing Science in the Netherlands (CSN ’92), The Netherlands, 1992, pp. 156–167.
LibreCat
 

1992 | Report | LibreCat-ID: 8189
G. Engels, Visual Specifications of Conceptual Database Schemata (Abstract). Leiden University, 1992.
LibreCat
 

1992 | Conference Paper | LibreCat-ID: 8260
G. Engels and P. 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), 1992, pp. 19–22.
LibreCat
 

1992 | Conference Paper | LibreCat-ID: 8261
G. Engels and L. 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, 1992, vol. 635, pp. 58–60.
LibreCat | DOI
 

1992 | Journal Article | LibreCat-ID: 7408
U. Hohenstein and G. Engels, “SQL/EER - Syntax and Semantics of an Entity-Relationship-Based Query Language,” Information Systems, vol. 17, no. 3, pp. 209–242, 1992.
LibreCat | DOI
 

1992 | Journal Article | LibreCat-ID: 7409
G. Engels, C. Lewerentz, M. Nagl, W. Schäfer, and A. Schürr, “Building Integrated Software Development Environments, Part I: Tool Specification,” ACM Transactions on Software Engineering and Methodology (TOSEM), vol. 1, no. 2, pp. 135–167, 1992.
LibreCat
 

1992 | Journal Article | LibreCat-ID: 7410
G. Engels et al., “Conceptual Modelling of Database Applications Using an Extended ER Model,” Data & Knowledge Engineering, vol. 9, no. 2, pp. 157–204, 1992.
LibreCat | DOI
 

1992 | Book Chapter | LibreCat-ID: 16733
M. Dietzfelbinger and F. Meyer auf der Heide, “High performance universal hashing, with applications to shared memory simulations,” in Data structures and efficient algorithms, Berlin, Heidelberg, 1992.
LibreCat | DOI
 

1992 | Book Chapter | LibreCat-ID: 16734
F. Meyer auf der Heide, “Hashing strategies for simulating shared memory on distributed memory machines,” in Lecture Notes in Computer Science, Berlin, Heidelberg, 1992.
LibreCat | DOI
 

1992 | Book Chapter | LibreCat-ID: 16735
F. Meyer auf der Heide and H. T. Pham, “On the performance of networks with multiple busses,” in STACS 92, Berlin, Heidelberg, 1992.
LibreCat | DOI
 

1992 | Conference Paper | LibreCat-ID: 16736
R. M. Karp, M. Luby, and F. 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.
LibreCat | DOI
 

1992 | Book Chapter | LibreCat-ID: 16737
M. Dietzfelbinger and F. Meyer auf der Heide, “Dynamic Hashing in Real Time,” in TEUBNER-TEXTE zur Informatik, Wiesbaden, 1992.
LibreCat | DOI
 

1992 | Conference Paper | LibreCat-ID: 14997
G. O. Domik and K. 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, 1992, vol. 25, p. 95.
LibreCat
 

1992 | Conference Paper | LibreCat-ID: 15042
G. Domik, “Visualization of Multi-dimensional Arrays in Astronomy,” in European Southern Observatory Conference and Workshop Proceedings, 1992, vol. 43, p. 249.
LibreCat
 

1992 | Conference Paper | LibreCat-ID: 15252
K. Mickus-Miceli 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
R. Ginthör, M. Platzner, and R. Weiss, “Experimental Results to Interprocessor Communication in Distributed Transputer-Systems,” in Proceedings of the 1st Austrian-Hungarian Workshop on Transputer Applications, 1992, pp. 45–54.
LibreCat
 

1992 | Conference Paper | LibreCat-ID: 39582
W. Müller and B. Kleinjohann, “The EXPRESS Information Modeling Workbench - A New Approach to Graphical Design Environments,” 1992.
LibreCat
 

1991 | Report | LibreCat-ID: 19822
B. I. Dahn, T. Lettmann, and W. Schönfeld, ILFA Interface Concept, vol. 193. ´Heidelberg: Wissenschaftliche Zentrum der IBM Deutschland , 1991.
LibreCat
 

1991 | Conference Paper | LibreCat-ID: 3048
H. Alt, B. Behrends, and J. Blömer, “Approximate matching of polygonal shapes (extended abstract),” in Proceedings of the seventh annual symposium on Computational geometry  - SCG ’91, 1991.
LibreCat | DOI
 

1991 | Conference Paper | LibreCat-ID: 3049
J. Blömer, “Computing sums of radicals in polynomial time,” in Proceedings 32nd Annual Symposium of Foundations of Computer Science, 1991.
LibreCat | DOI
 

1991 | Conference Paper | LibreCat-ID: 21790
G. Domik, “The role of visualization in understanding data,” in New Results and New Trends in Computer Science, 1991, pp. 91–107.
LibreCat
 

1991 | Report | LibreCat-ID: 8188
P. Löhr-Richter and G. 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
G. Domik and K. 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, Salzburg, 1991, pp. 267–276.
LibreCat
 

1991 | Conference Paper | LibreCat-ID: 39584
W. Müller, “Contract-Oriented System Design and Specification,” 1991.
LibreCat
 

1991 | Conference Paper | LibreCat-ID: 39583
G. Lehrenfeld and W. Müller, “Validation of EXPRESS Models Using Prolog,” 1991.
LibreCat
 

1990 | Book Chapter | LibreCat-ID: 3050
H. Alt, J. Blömer, and H. Wagener, “Approximation of convex polygons,” in Automata, Languages and Programming, Berlin/Heidelberg: Springer-Verlag, 1990, pp. 703–716.
LibreCat | DOI
 

1990 | Conference Paper | LibreCat-ID: 7824
U. Hohenstein and G. Engels, “Formal Semantics of an Entity-Relationship Query Language,” in Proceedings of the 9th International Conference on Entity-Relationship Approach (ER 90), Lausanne, Switzerland, 1990, pp. 177–188.
LibreCat
 

1990 | Conference Paper | LibreCat-ID: 8259
G. Engels, “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), 1990, vol. 532, pp. 344–362.
LibreCat | DOI
 

1990 | Book Chapter | LibreCat-ID: 16738
M. Dietzfelbinger and F. 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.
LibreCat | DOI
 

1990 | Book Chapter | LibreCat-ID: 16739
F. Meyer auf der Heide, “Dynamic hashing strategies,” in Lecture Notes in Computer Science, Berlin/Heidelberg, 1990.
LibreCat | DOI
 

1990 | Book Chapter | LibreCat-ID: 16740
M. Karpinski and F. Meyer auf der Heide, “On the complexity of genuinely polynomial computation,” in Lecture Notes in Computer Science, Berlin/Heidelberg, 1990.
LibreCat | DOI
 

1990 | Conference Paper | LibreCat-ID: 16741
M. Dietzfelbinger and F. 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.
LibreCat | DOI
 

1990 | Conference Paper | LibreCat-ID: 16742
J. Gil, F. 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.
LibreCat | DOI
 

1990 | Journal Article | LibreCat-ID: 16824
F. Meyer auf der Heide, “Das Heinz Nixdorf-Institut der Universität-GH Paderborn,” Informatik Spektrum, vol. 13, no. 4, pp. 231–232, 1990.
LibreCat
 

1990 | Conference Paper | LibreCat-ID: 16913
G. Domik, E. W. Brugel, and R. E. Stencel, “IRAS On-Line Catalogs at CASA,” in Proceedings of the 176th meeting of the American Astronomical Society, 1990, vol. Vol. 22, no. No. 2.
LibreCat
 

1990 | Conference Paper | LibreCat-ID: 15393
G. Domik, E. Brugel, R. Stencel, S. Vasudevan, and J. Pang, “Applications of IRAS Preprocessing at the Workstation,” in Bulletin of the American Astronomical Society, 1990, vol. 22, p. 828.
LibreCat
 

1990 | Journal Article | LibreCat-ID: 15394
G. Domik, E. W. Brugel, R. E. Stencel, J. Pang, and S. Vasudevan, “Workstation-based preprocessing of IRAS sky-flux images,” Publications of the Astronomical Society of the Pacific, vol. 102, no. 656, p. 1167, 1990.
LibreCat
 

1990 | Conference Paper | LibreCat-ID: 15395
K. Mickus, E. Brugel, G. Domik, and T. 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, 1990, vol. 22, p. 1259.
LibreCat
 

1990 | Conference Paper | LibreCat-ID: 15051
K. Mickus, G. Domik, E. Brugel, and T. Ayres, “Star-a scientific toolkit for astrophysical research,” in Bulletin of the American Astronomical Society, 1990, vol. 22, p. 828.
LibreCat
 

1989 | Journal Article | LibreCat-ID: 19818
H. Kleine Büning, T. Lettmann, and E. W. Mayr, “Projections of vector addition system reachability sets are semilinear,” Theoretical Computer Science, pp. 343–350, 1989.
LibreCat | DOI
 

1989 | Conference Paper | LibreCat-ID: 7821
J. Ebert and G. Engels, “Konzepte einer Software-Architektur-Beschreibungssprache,” in Software-Entwicklung: Konzepte, Erfahrungen, Perspektiven, Fachtagung, 1989, Marburg (Germany), 1989, vol. 212, pp. 238–250.
LibreCat
 

1989 | Conference Paper | LibreCat-ID: 7822
G. Engels, “CADDY-O: Syntaxgestütztes, graphisches Entwerfen konzeptioneller Datenbankschemata,” in Tagungsband GI-Fachtagung “Interaktive Schnittstellen für Informationssysteme”, TU Clausthal, Notizen zu Interaktive Systeme, 1989, vol. 18, pp. 1–16.
LibreCat
 

Filters and Search Terms

department=7

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed