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.

12578 Publications

1995 | Conference Paper | LibreCat-ID: 21786
Kienegger-Domik, Gitta. “Intelligent Visualization Systems in Educational Environments.” In Proceedings of ED-MEDIA `95, edited by H. Maurer, 17–22. Graz, Austria: AACE, 1995.

1994 | Conference Paper | LibreCat-ID: 13013
Hellebrand, Sybille, and Hans-Joachim Wunderlich. “Synthesis of Self-Testable Controllers.” In {European Design and Test Conference (EDAC/ETC/EUROASIC)}, 580–85. Paris, France: {IEEE (Comput. Soc. Press)}, 1994.
LibreCat | DOI

1994 | Report | LibreCat-ID: 13025
Hellebrand, Sybille, Arne Juergensen, Albrecht Stroele, and Hans-Joachim Wunderlich. Chip Level Test Planning for Controlling the Tradeoff between Hardware Overhead and Test Time. University of Siegen, Germany, 1994.

1994 | Journal Article | LibreCat-ID: 13854
Schmidt, Wolf Gero, and GP Srivastava. “First Principles Calculations of Interface Phonons of an Epitaxial Sb Monolayer on GaAs(110) and InP(110).” Solid State Communications 89, no. 4 (1994): 345–48.
LibreCat | DOI

1994 | Book Chapter | LibreCat-ID: 15608
Hagengruber, Ruth. “Platons ‘Timaios’, eine Anleitung zur wissenschaftlichen Hypothesenbildung?” In Cosmographica et Geographica. Algorismus. Studien zur Geschichte der Mathematik und der Naturwissenschaften, edited by Bernhard Fritscher and Gerhard Brey, 13:75–96. New York: Springer, 1994.

1994 | Book Chapter | LibreCat-ID: 15610
Hagengruber, Ruth. “Die Theorie des Punktes aus der Philosophie der Ähnlichkeit bei Tommaso Campanella.” In Actas del primer Congreso Internacional de Ontología : categorías e inteligibilidad global : el proyecto ontológico a través de la reflexión contemporánea, edited by Victor Gómez Pin, 101–7. Barcelona: Bellaterra, 1994.
LibreCat | Files available

1994 | Conference Paper | LibreCat-ID: 3263
Rensink, Arend, and Heike Wehrheim. “Weak Sequential Composition in Process Algebras.” In {CONCUR} ’94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings, edited by Bengt Jonsson and Joachim Parrow, 226--241. Lecture Notes in Computer Science, 1994.
LibreCat | DOI

1994 | Book Chapter | LibreCat-ID: 7513
Engels, Gregor, and Luuk Groenewegen. “SOCCA: Specifications of Coordinated and Cooperative Activities.” In Software Process Modelling and Technology, 71–102. Taunton: Research Studies Press, 1994.

1994 | Conference Paper | LibreCat-ID: 7828
Ebert, Jürgen, and Gregor Engels. “Structural and Behavioural Views on OMT-Classes.” In Proceedings of the International Symposium on Object-Oriented Methodologies and Systems (ISOOMS 1994), Palermo (Italy), 858:142–57. Berlin/Heidelberg: Springer, 1994.

1994 | Conference Paper | LibreCat-ID: 7830
Engels, Gregor, and Hartmut 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, Vol. B-19. Technical Report . Universitat de les Illes Balears, Departament de Ci, 1994.

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

1994 | Conference Paper | LibreCat-ID: 8092
Krauter, Stefan, Rolf Hanitsch, P. Campbell, and S.R. Wenham. “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, 1994.

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

1994 | Book Review | LibreCat-ID: 17774
Peckhaus, Volker. “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, 1994.

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

1994 | Book Chapter | LibreCat-ID: 17488
Peckhaus, Volker. “Hilbert’s Axiomatic Programme and Philosophy.” In The History of Modern Mathematics, Bd. 3: Images, Ideas, and Communities, edited by Eberhard Knobloch and David E. Rowe, 91–112. Boston u. a.: Academic Press, 1994.

1994 | Book Chapter | LibreCat-ID: 19415
Eke, Norbert Otto. “Heiner Müller.” In Deutsche Dichter des 20. Jahrhunderts, edited by Hartmut Steinecke, 726–41. Berlin: Erich Schmidt, 1994.

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

1994 | Journal Article | LibreCat-ID: 11796
Haeb-Umbach, Reinhold, and Hermann Ney. “Improvements in Beam Search for 10000-Word Continuous-Speech Recognition.” IEEE Transactions on Speech and Audio Processing, 1994.

1994 | Conference Paper | LibreCat-ID: 11878
Ney, Hermann, Volker Steinbeiss, Xavier L. Aubert, and Reinhold Haeb-Umbach. “Progress in Large-Vocabulary, Continuous Speech Recognition.” In Artifical Intelligence, Progress and Prospects of Speech Research and Technology, Munich, 1994.

Filters and Search Terms



Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed