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.

13550 Publications


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

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

1994 | Conference Paper | LibreCat-ID: 7830
Towards a Module Concept for Graph Transformation Systems: The Software Engineering Perspective
G. Engels, H. Ehrig, in: Proceedings Colloquium on Graph Transformation and Its Application in Computer Science, Universitat de les Illes Balears, Departament de Ci, 1994.
LibreCat
 

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

1994 | Conference Paper | LibreCat-ID: 8092
Optical Modelling, Simulation and Improvement of PV Module Encapsulation
S. Krauter, R. Hanitsch, P. Campbell, S.R. Wenham, in: Proceedings of the 12th European Photovoltaic Solar Energy Conference, Amsterdam (Niederlande), 11.–15. April 1994, Band 2, S. 1198–1201, 1994.
LibreCat
 

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

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

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

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

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

1994 | Book | LibreCat-ID: 3333
Aussagenlogik - Deduktion und Algorithmen
H. Kleine Büning, T. Lettmann, Aussagenlogik - Deduktion und Algorithmen, Teubner, 1994.
LibreCat | DOI
 

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

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

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

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

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

1994 | Journal Article | LibreCat-ID: 13855
Coverage-dependent bonding of Sb on GaAs (110)
W.G. Schmidt, B. Wenzien, F. Bechstedt, Surface Science 307–309 (1994) 235–240.
LibreCat | DOI
 

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

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

Filters and Search Terms

status=public

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year , First Author

Export / Embed