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.

12489 Publications


1994 | Book Chapter | LibreCat-ID: 7513
@inbook{Engels_Groenewegen_1994, place={Taunton}, title={SOCCA: Specifications of Coordinated and Cooperative Activities}, booktitle={Software Process Modelling and Technology}, publisher={Research Studies Press}, author={Engels, Gregor and Groenewegen, Luuk}, year={1994}, pages={71–102} }
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 7828
@inproceedings{Ebert_Engels_1994, place={Berlin/Heidelberg}, title={Structural and Behavioural Views on OMT-Classes}, volume={858}, booktitle={Proceedings of the International Symposium on Object-Oriented Methodologies and Systems (ISOOMS 1994), Palermo (Italy)}, publisher={Springer}, author={Ebert, Jürgen and Engels, Gregor}, year={1994}, pages={142–157} }
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 7830
@inproceedings{Engels_Ehrig_1994, series={Technical Report }, title={Towards a Module Concept for Graph Transformation Systems: The Software Engineering Perspective}, volume={B-19}, booktitle={Proceedings Colloquium on Graph Transformation and its Application in Computer Science}, publisher={Universitat de les Illes Balears, Departament de Ci}, author={Engels, Gregor and Ehrig, Hartmut}, year={1994}, collection={Technical Report } }
LibreCat
 

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
 

Search

Filter Publications

Display / Sort

Citation Style: BibTeX

Export / Embed