Wehrheim, Heike. “Parametric Action Refinement.” In Programming Concepts, Methods and Calculi, Proceedings of the IFIP T/W.1/W.2/W.3 Working Conference on Programming Concepts, Methods and Calculi (PROCOMET ’94) San Miniato, Italy, 6-10 June, 1994, edited by Ernst-R\'22udiger Olderog, 247--266. IFIP Transactions, 1994.

Kleine Büning, Hans, and Theodor Lettmann. Aussagenlogik - Deduktion und Algorithmen. Leitfäden und Monographien der Informatik. Teubner, 1994.https://doi.org/10.1007/978-3-322-84809-3 .

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.

Cuny, Janice, Hartmut Ehrig, Gregor Engels, and Grzegorz Rozenberg, eds. Graph Gramars and Their Application to Computer Science, 5th International Workshop (1994), Selected Papers. Vol. 1073. LNCS. Berlin/Heidelberg: Springer, 1994.http://dx.doi.org/10.1007/3-540-61228-9 .

Thoben, Wilfried, Hans-Jürgen Appelrath, Jens Rettig, and Stefan Sauer. “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), 88–90. München: MMV Medizin Verlag, 1994.

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.

Strauss, Philipp, K.  Onneken, Stefan Krauter, and Rolf Hanitsch. “Simulation Tool for Prediction and Optimization of Output Power Considering Thermal and Optical Parameters of PV Module Encapsulation.” In Proceedings of the 12th European Photovoltaic Solar Energy Conference, Amsterdam (Niederlande), 11.–15. April 1994, Band 2, S. 1194–1197., 1994.

Krauter, Stefan, and Rolf Hanitsch. “Einfluß Optischer Und Thermischer Parameter Auf Den Tageswirkungsgrad von Photovoltaischen Modulen.” In Neuntes Internationales Sonnenforum, Berlin (Deutschland), 28. Juni – 1. Juli 1994, S. 495–502, 1994.

Krauter, Stefan, Rolf Hanitsch, and S. R. Wenham. “Simulation of Thermal and Optical Performance of PV Modules.” In Proceedings of the 3rd World Renewable Energy Congress, Reading (UK), 11.–16. September 1994, 1994.

Krauter, Stefan. “Actual Optical and Thermal Performance of PV-Modules.” In Proceedings of the 1st World Conference on Photovoltaic Energy Conversion (Joint Congress of IEEE/PVSEC/EUPVSEC), Waikoloa, Hawaii (USA), 5.–9. Dezember 1994, S. 734–737., 1994.

Andries, Marc, and Gregor Engels. “Syntax and Semantics of Hybrid Database Languages.”http://dx.doi.org/10.1007/3-540-57787-4_2__In Proceedings of the International Workshop on Graph Transformations in Computer Science (1993), Dagstuhl (Germany), 776:19–36. LNCS. Berlin/Heidelberg: Springer, 1994.http://dx.doi.org/10.1007/3-540-57787-4_2 .

Engels, Gregor, and Luuk Groenewegen. “Specification of Coordinated Behaviour by SOCCA.”http://dx.doi.org/10.1007/3-540-57739-4_19__In Proceedings of the Third European Workshop on Software Process Technology (EWSPT 1994), Villard de Lans (France), 128–51. LNCS. Berlin/Heidelberg: Springer, 1994.http://dx.doi.org/10.1007/3-540-57739-4_19 .

Bendfeld, Jörg, Achim Ernst, and Egon Ortjohann. Windatlas für das PESAG-Versorgungsgebiet. Universität - GH Paderborn, Fachgebiet Elektrische Energieversorgung, Februar 1994, 1994.

Bendfeld, Jörg, Achim Ernst, Egon Ortjohann, Beate Langrock, and Norbert Scholz. “Flächendeckende Windpotentialbestimmung in einer Binnenlandregion mit ausgeprägter Orographie.” In Renergie 94 - Windenergienutzung im Binnenland, Solarenergienutzung in Deutschland. Renergie 94 - Windenergienutzung im Binnenland, Solarenergienutzung in Deutschland, 1994.

Haeb-Umbach, Reinhold, and Hermann Ney. “Improvements in Beam Search for 10000-Word Continuous-Speech Recognition.” IEEE Transactions on Speech and Audio Processing, 1994.

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.

Ney, Hermann, Volker Steinbeiss, Reinhold Haeb-Umbach, and Bach Hiep Tran. “An Overview of the Philips Research System for Large Vocabulary Continuous Speech Recognition.” International Journal on Pattern Recognition and Artificial Intelligence, 1994.

Hellebrand, Sybille, Arne Juergensen, and Hans-Joachim Wunderlich. Synthesis for Off-Line Testability. University of Siegen, Germany, 1994.

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.

Venkataraman, Srikanth, Janusz Rajski, Sybille Hellebrand, and Steffen 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.