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.
9213 Publications
1995 | Book Chapter | LibreCat-ID: 34448
Börger, E., Glässer, U., & Müller, W. (1995). A Formal Definition of an Abstract VHDL’93 Simulator by EA-Machines. In C. Delgado Kloos & P. T. Breuer (Eds.), Semantics of VHDL (pp. 107–139). Kluwer Academic Publishers. https://doi.org/10.1007/978-1-4615-2237-9_5
LibreCat
| DOI
1995 | Conference Paper | LibreCat-ID: 39532
Lehrenfeld, G., Müller, W., & Wiechers, N. (1995). Conformance Tests of Very Large STEP Files. Proceedings of the 4th EXPRESS User’s Group.
LibreCat
1995 | Conference Paper | LibreCat-ID: 39535
Zhao, R., Kaufmann, H. J., Kern, T., & Müller, W. (1995). Pen-based Interfaces for Engineering Environments. 6th Human-Computer Interaction International, Tokyo, Japan.
LibreCat
1995 | Conference Paper | LibreCat-ID: 39541
Lehrenfeld, G., Müller, W., & Tahedl, C. (1995). Transforming SDL Diagrams Into a Complete Visual Representation. Proceedings of Symposium on Visual Languages. https://doi.org/10.1109/VL.1995.520803
LibreCat
| DOI
1995 | Conference Paper | LibreCat-ID: 39546
Müller, W., Lehrenfeld, G., & Wiechers, N. (1995). Validation of EXPRESS Models.
LibreCat
1995 | Conference Paper | LibreCat-ID: 39531
Müller, W., Felser, W., & Buijs, F. (1995). Guide to EXPRESS-P. Proceedings of the 4th EXPRESS User’s Group.
LibreCat
1995 | Conference Paper | LibreCat-ID: 39538
Müller, W., Lehrenfeld, G., & Tahedl, C. (1995). Complete Visual Specification and Animations of Protocols. Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair. https://doi.org/10.1109/ASPDAC.1995.486383
LibreCat
| DOI
1995 | Conference Paper | LibreCat-ID: 39543
Zhao, R., Müller, W., Kaufmann, H. J., Kern, Th., & Buijs, F. (1995). An Editor for the Rapid Prototyping of EXPRESS-G Models. Proceedings of the 5th EXPRESS User’s Group.
LibreCat
1995 | Conference Paper | LibreCat-ID: 39550
Müller, W., Felser, W., & Wiechers, N. (1995). The Process Modeling Language EXPRESS-P.
LibreCat
1995 | Conference Paper | LibreCat-ID: 44278
Meier, T., Albrecht, T. F., Schulze, A., Koch, M., Bott, K., Feldmann, J., Stolz, W., Kuhl, J., Mayer, E. J., Koch, S. W., Göbel, E. O., & Cundiff, S. T. (1995). Quantum beats from biexcitons in narrow quantum wells: polarization and density dependence. Quantum Electronics and Laser Science Conference, Article QFB2. Quantum Electronics and Laser Science Conference 1995, Baltimore, Maryland United States.
LibreCat
| Download (ext.)
1995 | Conference Paper | LibreCat-ID: 44277
Meier, T., Kuhl, J., Mayer, E. J., Smith, G. O., Bott, K., Heuckeroth, V., Thomas, P., Koch, M., Hey, R., & Ploog, K. (1995). Polarization dependence of quantum beats between light-hole and heavy-hole excitons in GaAs quantum wells. Quantum Electronics and Laser Science Conference, Article QFD6. Quantum Electronics and Laser Science Conference 1995, Baltimore, Maryland United States.
LibreCat
| Download (ext.)
1994 | Dissertation | LibreCat-ID: 19624
Wanka, R. (1994). Paralleles Sortieren auf mehrdimensionalen Gittern. Universität Paderborn.
LibreCat
| Files available
1994 | Conference Paper | LibreCat-ID: 3263
Rensink, A., & Wehrheim, H. (1994). Weak Sequential Composition in Process Algebras. In B. Jonsson & J. Parrow (Eds.), {CONCUR} ’94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings (pp. 226--241). https://doi.org/10.1007/978-3-540-48654-1_20
LibreCat
| DOI
1994 | Conference Paper | LibreCat-ID: 3264
Wehrheim, H. (1994). Parametric Action Refinement. In E.-}R{\"{u}}diger Olderog (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 (pp. 247--266).
LibreCat
1994 | Conference (Editor) | LibreCat-ID: 7797
Ehrich, H.-D., Engels, G., Paredaens, J., & Wegner, J. (Eds.). (1994). Fundamentals of Object-Oriented Languages, Systems, and Methods (Vol. 95). Schloss Dagstuhl, Leibniz Center for Informatics.
LibreCat
1994 | Conference (Editor) | LibreCat-ID: 7798
Cuny, J., Ehrig, H., Engels, G., & Rozenberg, G. (Eds.). (1994). Graph Gramars and Their Application to Computer Science, 5th International Workshop (1994), Selected Papers (Vol. 1073). Berlin/Heidelberg: Springer. 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. (1994). 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) (pp. 88–90). München: MMV Medizin Verlag.
LibreCat
1994 | Conference Paper | LibreCat-ID: 7828
Ebert, J., & Engels, G. (1994). 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, pp. 142–157). Berlin/Heidelberg: Springer.
LibreCat
1994 | Conference Paper | LibreCat-ID: 7829
Engels, G., & Kappel, G. (1994). 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, pp. 434–441). Elsevier.
LibreCat
1994 | Conference Paper | LibreCat-ID: 7830
Engels, G., & Ehrig, H. (1994). 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). Universitat de les Illes Balears, Departament de Ci.
LibreCat