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.

12489 Publications


1994 | Book Chapter | LibreCat-ID: 7513
Engels, G., & Groenewegen, L. (1994). SOCCA: Specifications of Coordinated and Cooperative Activities. In Software Process Modelling and Technology (pp. 71–102). Taunton: Research Studies Press.
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: 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: 8092
Krauter, S., Hanitsch, R., Campbell, P., & Wenham, S. R. (1994). Optical Modelling, Simulation and Improvement of PV Module Encapsulation. In Proceedings of the 12th European Photovoltaic Solar Energy Conference, Amsterdam (Niederlande), 11.–15. April 1994, Band 2, S. 1198–1201.
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 | Book Review | LibreCat-ID: 17774
Peckhaus, V. (1994). Erik Heijerman/H. Walter Schmitz (eds.), Significs, Mathematics and Semiotics. The Signific Movement in the Netherlands. Proceedings of the International Conference Bonn 19–21 November 1986, Nodus Publicationen: Münster 1991 (= Materialien zur Geschichte der Sprachwissenschaft und der Semiotik; 5). Modern Logic.
LibreCat
 

1994 | Book Chapter | LibreCat-ID: 17837
Peckhaus, V. (1994). The Axiomatic Method and Ernst Schröder’s Algebraic Approach to Logic [Abstract]. In Abstract of Papers Presented to the American Mathematical Society (Vol. 15, Nr. 5 (August 1994), p. 447).
LibreCat
 

1994 | Book Chapter | LibreCat-ID: 17488
Peckhaus, V. (1994). Hilbert’s Axiomatic Programme and Philosophy. In E. Knobloch & D. E. Rowe (Eds.), The History of Modern Mathematics, Bd. 3: Images, Ideas, and Communities (pp. 91–112). Boston u. a.: Academic Press.
LibreCat
 

1994 | Book Chapter | LibreCat-ID: 19415
Eke, N. O. (1994). Heiner Müller. In H. Steinecke (Ed.), Deutsche Dichter des 20. Jahrhunderts (pp. 726–741). Berlin: Erich Schmidt.
LibreCat
 

1994 | Dissertation | LibreCat-ID: 19624
Wanka, R. (1994). Paralleles Sortieren auf mehrdimensionalen Gittern. Universität Paderborn.
LibreCat | Files available
 

1994 | Book | LibreCat-ID: 3333
Kleine Büning, H., & Lettmann, T. (1994). Aussagenlogik - Deduktion und Algorithmen. Teubner. https://doi.org/10.1007/978-3-322-84809-3
LibreCat | DOI
 

1994 | Journal Article | LibreCat-ID: 11796
Haeb-Umbach, R., & Ney, H. (1994). Improvements in beam search for 10000-word continuous-speech recognition. IEEE Transactions on Speech and Audio Processing.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 11878
Ney, H., Steinbeiss, V., Aubert, X. L., & Haeb-Umbach, R. (1994). Progress in Large-Vocabulary, Continuous Speech Recognition. In Artifical Intelligence, Progress and Prospects of Speech Research and Technology, Munich.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 13014
Hellebrand, S., & Wunderlich, H.-J. (1994). An Efficient Procedure for the Synthesis of Fast Self-Testable Controller Structures. In {ACM/IEEE International Conference on Computer-Aided Design (ICCAD’94)} (pp. 110–116). San Jose, CA, USA: {IEEE}. https://doi.org/10.1109/iccad.1994.629752
LibreCat | DOI
 

1994 | Misc | LibreCat-ID: 13083
Venkataraman, S., Rajski, J., Hellebrand, S., & Tarnick, S. (1994). Effiziente Testsatzkodierung für Prüfpfad-basierte Selbsttestarchitekturen. 6th ITG/GI/GME Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen”, Vaals, The Netherlands.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 13468
Platzner, M., Steger, C., & Weiss, R. (1994). Experimental Evaluation of Multi-DSP Architectures in High Performance Applications. In Proceedings of the 7th Mediterranean Electrotechnical Conference. IEEE Press.
LibreCat
 

1994 | Journal Article | LibreCat-ID: 13855
Schmidt, W. G., Wenzien, B., & Bechstedt, F. (1994). Coverage-dependent bonding of Sb on GaAs (110). Surface Science, 307309(Part A), 235–240. https://doi.org/10.1016/0039-6028(94)90400-6
LibreCat | DOI
 

1994 | Journal Article | LibreCat-ID: 1662
Krimphove, D. (1994). Die Mitwirkungsrechte des Betriebsrates in der Betriebsverfassung. Arbeit Und Recht , (Heft 4), 215 ff.
LibreCat
 

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
 

Filters and Search Terms

status=public

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year , First Author
Citation Style: APA

Export / Embed