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: 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 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: 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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: 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 | 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: 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 | 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 | 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 | 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