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.

12866 Publications


1994 | Report | LibreCat-ID: 8193
@book{Ebert_Engels_1994, title={Observable or Invocable Behaviour - You Have to Choose}, publisher={Vakgroep Informatica, Rijksuniversiteit Leiden}, author={Ebert, Jürgen and Engels, Gregor}, year={1994} }
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: 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 | Book Review | LibreCat-ID: 17774
@article{Peckhaus_1994, title={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)}, volume={4}, journal={Modern Logic}, author={Peckhaus, Volker}, year={1994}, pages={449–454} }
LibreCat
 

1994 | Book Chapter | LibreCat-ID: 17837
@inbook{Peckhaus_1994, title={The Axiomatic Method and Ernst Schröder’s Algebraic Approach to Logic [Abstract]}, volume={15, Nr. 5 (August 1994)}, booktitle={Abstract of Papers Presented to the American Mathematical Society}, author={Peckhaus, Volker}, year={1994}, pages={447} }
LibreCat
 

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 | Book Chapter | LibreCat-ID: 19415
@inbook{Eke_1994, place={Berlin}, title={Heiner Müller}, booktitle={Deutsche Dichter des 20. Jahrhunderts}, publisher={Erich Schmidt}, author={Eke, Norbert Otto}, editor={Steinecke, HartmutEditor}, year={1994}, pages={726–741} }
LibreCat
 

1994 | Dissertation | LibreCat-ID: 19624
@book{Wanka_1994, place={Universität Paderborn}, title={Paralleles Sortieren auf mehrdimensionalen Gittern}, author={Wanka, Rolf}, year={1994} }
LibreCat | Files available
 

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 | 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 | Conference Paper | LibreCat-ID: 13014
@inproceedings{Hellebrand_Wunderlich_1994, place={San Jose, CA, USA}, title={An Efficient Procedure for the Synthesis of Fast Self-Testable Controller Structures}, DOI={10.1109/iccad.1994.629752}, booktitle={{ACM/IEEE International Conference on Computer-Aided Design (ICCAD’94)}}, publisher={{IEEE}}, author={Hellebrand, Sybille and Wunderlich, Hans-Joachim}, year={1994}, pages={110–116} }
LibreCat | DOI
 

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
 

1994 | Conference Paper | LibreCat-ID: 13468
@inproceedings{Platzner_Steger_Weiss_1994, title={Experimental Evaluation of Multi-DSP Architectures in High Performance Applications}, booktitle={Proceedings of the 7th Mediterranean Electrotechnical Conference}, publisher={IEEE Press}, author={Platzner, Marco and Steger, Christian and Weiss, Reinhold}, year={1994} }
LibreCat
 

1994 | Journal Article | LibreCat-ID: 13855
@article{Schmidt_Wenzien_Bechstedt_1994, title={Coverage-dependent bonding of Sb on GaAs (110)}, volume={307–309}, DOI={10.1016/0039-6028(94)90400-6}, number={Part A}, journal={Surface Science}, author={Schmidt, Wolf Gero and Wenzien, Bernd and Bechstedt, Friedhelm}, year={1994}, pages={235–240} }
LibreCat | DOI
 

1994 | Journal Article | LibreCat-ID: 1662
@article{Krimphove_1994, title={Die Mitwirkungsrechte des Betriebsrates in der Betriebsverfassung}, number={Heft 4}, journal={Arbeit und Recht }, author={Krimphove, Dieter}, year={1994}, pages={215 ff.} }
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 3264
@inproceedings{Wehrheim_1994, series={{IFIP} Transactions}, title={Parametric Action Refinement}, booktitle={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}, author={Wehrheim, Heike}, editor={Olderog, Ernst{-}R{\"{u}}digerEditor}, year={1994}, pages={247--266}, collection={{IFIP} Transactions} }
LibreCat
 

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 | Conference (Editor) | LibreCat-ID: 7797
@book{Ehrich_Engels_Paredaens_Wegner_1994, series={Dagstuhl-Seminar-Report}, title={Fundamentals of Object-Oriented Languages, Systems, and Methods}, volume={95}, publisher={Schloss Dagstuhl, Leibniz Center for Informatics}, year={1994}, collection={Dagstuhl-Seminar-Report} }
LibreCat
 

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year , First Author
Citation Style: BibTeX

Export / Embed