@inproceedingsRensink_Wehrheim_1994, series=Lecture Notes in Computer Science, title=Weak Sequential Composition in Process Algebras, DOI=10.1007/978-3-540-48654-1_20, booktitle=CONCUR ’94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings, author=Rensink, Arend and Wehrheim, Heike, editor=Jonsson, Bengt and Parrow, JoachimEditors, year=1994, pages=226--241, collection=Lecture Notes in Computer Science 
LibreCat: /record/3263
DOI: 10.1007/978-3-540-48654-1_20

@bookKleine Büning_Lettmann_1994, series=Leitfäden und Monographien der Informatik, title=Aussagenlogik - Deduktion und Algorithmen, DOI=10.1007/978-3-322-84809-3, publisher=Teubner, author=Kleine Büning, Hans and Lettmann, Theodor, year=1994, collection=Leitfäden und Monographien der Informatik 
LibreCat: /record/3333
DOI: 10.1007/978-3-322-84809-3

@inbookPeckhaus_1994, place=Boston u. a., title=Hilbert’s Axiomatic Programme and Philosophy, booktitle=The History of Modern Mathematics, Bd. 3: Images, Ideas, and Communities, publisher=Academic Press, author=Peckhaus, Volker, editor=Knobloch, Eberhard and Rowe, David E.Editors, year=1994, pages=91–112 
LibreCat: /record/17488

@bookCuny_Ehrig_Engels_Rozenberg_1994, place=Berlin/Heidelberg, series=LNCS, title=Graph Gramars and Their Application to Computer Science, 5th International Workshop (1994), Selected Papers, volume=1073, DOI=http://dx.doi.org/10.1007/3-540-61228-9, publisher=Springer, year=1994, collection=LNCS 
LibreCat: /record/7798
DOI: http://dx.doi.org/10.1007/3-540-61228-9

@inproceedingsThoben_Appelrath_Rettig_Sauer_1994, place=München, title=Berücksichtigung von Datenschutzaspekten in einem bevölkerungsbezogenen Krebsregister, booktitle=Proceedings of the conference on Medizin und Information, Biometrie und Epidemiologie (GMDS 1994), Dresden (Germany), publisher=MMV Medizin Verlag, author=Thoben, Wilfried and Appelrath, Hans-Jürgen and Rettig, Jens and Sauer, Stefan, year=1994, pages=88–90 
LibreCat: /record/7827

@inproceedingsKrauter_Hanitsch_Campbell_Wenham_1994, title=Optical Modelling, Simulation and Improvement of PV Module Encapsulation, booktitle=Proceedings of the 12th European Photovoltaic Solar Energy Conference, Amsterdam (Niederlande), 11.–15. April 1994, Band 2, S. 1198–1201, author=Krauter, Stefan and Hanitsch, Rolf and Campbell, P. and Wenham, S.R. , year=1994 
LibreCat: /record/8092

@inproceedingsStrauss_Onneken_Krauter_Hanitsch_1994, title=Simulation Tool for Prediction and Optimization of Output Power Considering Thermal and Optical Parameters of PV Module Encapsulation, booktitle=Proceedings of the 12th European Photovoltaic Solar Energy Conference, Amsterdam (Niederlande), 11.–15. April 1994, Band 2, S. 1194–1197., author=Strauss, Philipp and Onneken, K.  and Krauter, Stefan and Hanitsch, Rolf, year=1994 
LibreCat: /record/8093

@inproceedingsKrauter_Hanitsch_1994, title=Einfluß optischer und thermischer Parameter auf den Tageswirkungsgrad von photovoltaischen Modulen, booktitle=Neuntes Internationales Sonnenforum, Berlin (Deutschland), 28. Juni – 1. Juli 1994, S. 495–502, author=Krauter, Stefan and Hanitsch, Rolf, year=1994 
LibreCat: /record/8094

@inproceedingsKrauter_Hanitsch_Wenham_1994, title=Simulation of Thermal and Optical Performance of PV Modules, booktitle=Proceedings of the 3rd World Renewable Energy Congress, Reading (UK), 11.–16. September 1994, author=Krauter, Stefan and Hanitsch, Rolf and Wenham, S. R., year=1994 
LibreCat: /record/8095

@inproceedingsKrauter_1994, title=Actual Optical and Thermal Performance of PV-Modules, booktitle=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., author=Krauter, Stefan, year=1994 
LibreCat: /record/8096

@inproceedingsAndries_Engels_1994, place=Berlin/Heidelberg, series=LNCS, title=Syntax and Semantics of Hybrid Database Languages, volume=776, DOI=http://dx.doi.org/10.1007/3-540-57787-4_2, booktitle=Proceedings of the International Workshop on Graph Transformations in Computer Science (1993), Dagstuhl (Germany), publisher=Springer, author=Andries, Marc and Engels, Gregor, year=1994, pages=19–36, collection=LNCS 
LibreCat: /record/8263
DOI: http://dx.doi.org/10.1007/3-540-57787-4_2

@inproceedingsEngels_Groenewegen_1994, place=Berlin/Heidelberg, series=LNCS, title=Specification of coordinated behaviour by SOCCA, DOI=http://dx.doi.org/10.1007/3-540-57739-4_19, booktitle=Proceedings of the Third European Workshop on Software Process Technology (EWSPT 1994), Villard de Lans (France), publisher=Springer, author=Engels, Gregor and Groenewegen, Luuk, year=1994, pages=128–151, collection=LNCS 
LibreCat: /record/8264
DOI: http://dx.doi.org/10.1007/3-540-57739-4_19

@bookBendfeld_Ernst_Ortjohann_1994, title=Windatlas für das PESAG-Versorgungsgebiet, publisher=Universität - GH Paderborn, Fachgebiet Elektrische Energieversorgung, Februar 1994, author=Bendfeld, Jörg and Ernst, Achim and Ortjohann, Egon, year=1994 
LibreCat: /record/6528

@inproceedingsBendfeld_Ernst_Ortjohann_Langrock_Scholz_1994, series=Renergie 94 - Windenergienutzung im Binnenland, Solarenergienutzung in Deutschland, title=Flächendeckende Windpotentialbestimmung in einer Binnenlandregion mit ausgeprägter Orographie, booktitle=Renergie 94 - Windenergienutzung im Binnenland, Solarenergienutzung in Deutschland, author=Bendfeld, Jörg and Ernst, Achim and Ortjohann, Egon and Langrock, Beate and Scholz, Norbert, year=1994, collection=Renergie 94 - Windenergienutzung im Binnenland, Solarenergienutzung in Deutschland 
LibreCat: /record/6530

@inbookDellnitz_Golubitsky_Nicol_1994, place=New York, NY, title=Symmetry of Attractors and the Karhunen-Loève Decomposition, DOI=10.1007/978-1-4612-0859-4_4, booktitle=Trends and Perspectives in Applied Mathematics, author=Dellnitz, Michael and Golubitsky, Martin and Nicol, Matthew, year=1994 
LibreCat: /record/16549
DOI: 10.1007/978-1-4612-0859-4_4

@articleHaeb-Umbach_Ney_1994, title=Improvements in beam search for 10000-word continuous-speech recognition, journal=IEEE Transactions on Speech and Audio Processing, author=Haeb-Umbach, Reinhold and Ney, Hermann, year=1994 
LibreCat: /record/11796

@inproceedingsNey_Steinbeiss_Aubert_Haeb-Umbach_1994, title=Progress in Large-Vocabulary, Continuous Speech Recognition, booktitle=Artifical Intelligence, Progress and Prospects of Speech Research and Technology, Munich, author=Ney, Hermann and Steinbeiss, Volker and Aubert, Xavier L. and Haeb-Umbach, Reinhold, year=1994 
LibreCat: /record/11878

@articleNey_Steinbeiss_Haeb-Umbach_Tran_1994, title=An Overview of the Philips Research System for Large Vocabulary Continuous Speech Recognition, journal=International Journal on Pattern Recognition and Artificial Intelligence, author=Ney, Hermann and Steinbeiss, Volker and Haeb-Umbach, Reinhold and Tran, Bach Hiep, year=1994 
LibreCat: /record/11879

@bookHellebrand_Juergensen_Wunderlich_1994, place=University of Siegen, Germany, title=Synthesis for Off-line Testability, author=Hellebrand, Sybille and Juergensen, Arne and Wunderlich, Hans-Joachim, year=1994 
LibreCat: /record/13024

@bookHellebrand_Juergensen_Stroele_Wunderlich_1994, place=University of Siegen, Germany, title=Chip Level Test Planning for Controlling the Tradeoff between Hardware Overhead and Test Time, author=Hellebrand, Sybille and Juergensen, Arne and Stroele, Albrecht and Wunderlich, Hans-Joachim, year=1994 
LibreCat: /record/13025