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.
7163 Publications
1994 | Conference Paper | LibreCat-ID: 3263
@inproceedings{Rensink_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
| DOI
1994 | Book | LibreCat-ID: 3333
@book{Kleine 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
| DOI
1994 | Book Chapter | LibreCat-ID: 17488
@inbook{Peckhaus_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
1994 | Conference (Editor) | LibreCat-ID: 7798
@book{Cuny_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
| DOI
1994 | Conference Paper | LibreCat-ID: 7827
@inproceedings{Thoben_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
1994 | Conference Paper | LibreCat-ID: 8092
@inproceedings{Krauter_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
1994 | Conference Paper | LibreCat-ID: 8093
@inproceedings{Strauss_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
1994 | Conference Paper | LibreCat-ID: 8094
@inproceedings{Krauter_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
1994 | Conference Paper | LibreCat-ID: 8095
@inproceedings{Krauter_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
1994 | Conference Paper | LibreCat-ID: 8096
@inproceedings{Krauter_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
1994 | Conference Paper | LibreCat-ID: 8263
@inproceedings{Andries_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
| DOI
1994 | Conference Paper | LibreCat-ID: 8264
@inproceedings{Engels_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
| DOI
1994 | Book | LibreCat-ID: 6528
@book{Bendfeld_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
1994 | Conference Paper | LibreCat-ID: 6530
@inproceedings{Bendfeld_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
1994 | Journal Article | LibreCat-ID: 11796
@article{Haeb-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
1994 | Conference Paper | LibreCat-ID: 11878
@inproceedings{Ney_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
1994 | Journal Article | LibreCat-ID: 11879
@article{Ney_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
1994 | Report | LibreCat-ID: 13024
@book{Hellebrand_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
1994 | Report | LibreCat-ID: 13025
@book{Hellebrand_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
1994 | Misc | LibreCat-ID: 13083
@book{Venkataraman_Rajski_Hellebrand_Tarnick_1994, place={6th ITG/GI/GME Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen”, Vaals, The Netherlands}, title={Effiziente Testsatzkodierung für Prüfpfad-basierte Selbsttestarchitekturen}, author={Venkataraman, Srikanth and Rajski, Janusz and Hellebrand, Sybille and Tarnick, Steffen}, year={1994} }
LibreCat