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.
5751 Publications
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
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
1994 | Report | LibreCat-ID: 8193
Ebert, J., & Engels, G. (1994). Observable or Invocable Behaviour - You Have to Choose. Vakgroep Informatica, Rijksuniversiteit Leiden.
LibreCat
1994 | Conference Paper | LibreCat-ID: 8263
Andries, M., & Engels, G. (1994). Syntax and Semantics of Hybrid Database Languages. In Proceedings of the International Workshop on Graph Transformations in Computer Science (1993), Dagstuhl (Germany) (Vol. 776, pp. 19–36). Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/3-540-57787-4_2
LibreCat
| DOI
1994 | Conference Paper | LibreCat-ID: 8264
Engels, G., & Groenewegen, L. (1994). Specification of coordinated behaviour by SOCCA. In Proceedings of the Third European Workshop on Software Process Technology (EWSPT 1994), Villard de Lans (France) (pp. 128–151). Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/3-540-57739-4_19
LibreCat
| DOI