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.

12757 Publications


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
 

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
 

1994 | Conference Paper | LibreCat-ID: 7829
@inproceedings{Engels_Kappel_1994, title={Object-Oriented System Development: Will the New Approach Solve Old Problems?}, volume={3}, booktitle={Proceedings of the IFIP 13th World Computer Congress on Information Processing, Hamburg (Germany)}, publisher={Elsevier}, author={Engels, Gregor and Kappel, Gerti}, year={1994}, pages={434–441} }
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: 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 Chapter | LibreCat-ID: 16549
@inbook{Dellnitz_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 | DOI
 

1994 | Book Chapter | LibreCat-ID: 16544
@inbook{Dellnitz_Scheurle_1994, place={Dordrecht}, title={Eigenvalue Movement for a Class of Reversible Hamiltonian Systems with Three Degrees of Freedom}, DOI={10.1007/978-94-011-0956-7_9}, booktitle={Dynamics, Bifurcation and Symmetry}, author={Dellnitz, Michael and Scheurle, Jürgen}, year={1994} }
LibreCat | DOI
 

1994 | Journal Article | LibreCat-ID: 17489
@article{Peckhaus_1994, title={Wozu Algebra der Logik? Ernst Schröders Suche nach einer universalen Theorie der Verknüpfungen}, volume={4}, journal={Modern Logic}, author={Peckhaus, Volker}, year={1994}, pages={357–381} }
LibreCat
 

1994 | Journal Article | LibreCat-ID: 19416
@article{Eke_1994, title={„Lieber Niembsch“ oder: Der Dichter im Gehäus. Anmerkungen zu Manfred Karges Spiel mit Biographie und Geschichte um den Autor im „Stadium der Verrücktheit“}, volume={20}, number={Folge 1-4}, journal={Lenau-Forum}, author={Eke, Norbert Otto}, year={1994}, pages={109–129} }
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 | Misc | LibreCat-ID: 13084
@book{Hellebrand_Wunderlich_1994, place={6th ITG/GI/GME Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen”, Vaals, The Netherlands}, title={Ein Verfahren zur testfreundlichen Steuerwerkssynthese}, author={Hellebrand, Sybille and Wunderlich, Hans-Joachim}, year={1994} }
LibreCat
 

1994 | Journal Article | LibreCat-ID: 13856
@article{Schmidt_Wenzien_Bechstedt_1994, title={Chemisorption of antimony on GaAs(110)}, volume={49}, DOI={10.1103/physrevb.49.4731}, number={7}, journal={Physical Review B}, author={Schmidt, Wolf Gero and Wenzien, B. and Bechstedt, F.}, year={1994}, pages={4731–4744} }
LibreCat | DOI
 

1994 | Book Chapter | LibreCat-ID: 15509
@inbook{Hagengruber_1994, series={VI. Internationaler Leibniz-Kongress}, title={Parallelen um den Punkt zwischen Campanella und Leibniz}, volume={1}, booktitle={Leibniz und Europa}, author={Hagengruber, Ruth}, editor={Heinekamp, Albert and Hein, Isolde and Stiftung NiedersachsenEditors}, year={1994}, pages={309–315}, collection={VI. Internationaler Leibniz-Kongress} }
LibreCat
 

1994 | Journal Article | LibreCat-ID: 16728
@article{Dietzfelbinger_Karlin_Mehlhorn_Meyer auf der Heide_Rohnert_Tarjan_1994, title={Dynamic Perfect Hashing: Upper and Lower Bounds}, DOI={10.1137/s0097539791194094}, journal={SIAM Journal on Computing}, author={Dietzfelbinger, Martin and Karlin, Anna and Mehlhorn, Kurt and Meyer auf der Heide, Friedhelm and Rohnert, Hans and Tarjan, Robert E.}, year={1994}, pages={738–761} }
LibreCat | DOI
 

1994 | Journal Article | LibreCat-ID: 16817
@article{Domik-Kienegger_1994, title={Visualization education}, volume={18}, DOI={10.1016/0097-8493(94)90026-4}, number={3}, journal={Comput. Graph.}, author={Domik-Kienegger, Gitta}, year={1994}, pages={277–280} }
LibreCat | DOI
 

1994 | Conference Paper | LibreCat-ID: 2452
@inproceedings{Simon_1994, place={Amsterdam}, series={Transputer and Occam Engineering Series}, title={Leistung eines Parallelrechners auf Basis des PowerPC-Prozessors}, booktitle={Parallele Datenverarbeitung aktuell: TAT ’94}, publisher={IOS Press}, author={Simon, Jens}, year={1994}, pages={38–45}, collection={Transputer and Occam Engineering Series} }
LibreCat
 

1994 | Journal Article | LibreCat-ID: 3068
@article{Gries_Hentschel_Wigger_1994, title={Endogenous Growth and R&D Models - A Critical Appraisal of Recent Developments}, volume={213/1}, journal={Jahrbücher für Nationalökonomie und Statistik}, author={Gries, Thomas and Hentschel, C. and Wigger, B.}, year={1994}, pages={64–84} }
LibreCat
 

1994 | Journal Article | LibreCat-ID: 7407
@article{Löhr-Richter_Engels_1994, title={Visuelles Spezifizieren von komplexen Aktionen auf Datenbankstrukturen}, volume={13}, journal={GI-Datenbank Rundbrief}, author={Löhr-Richter, Perdita and Engels, Gregor}, year={1994}, pages={33–35} }
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: 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: 8265
@inproceedings{Engels_Löhr_1994, place={Berlin/Heidelberg}, title={Visual Specification of Complex Database Actions}, booktitle={Proceedings of the 2nd International East/West Database Workshop, Klagenfurt (Germany)}, publisher={Springer}, author={Engels, Gregor and Löhr, Perdita}, year={1994}, pages={303–314} }
LibreCat
 

1994 | Book | LibreCat-ID: 17303
@book{Fuchssteiner_Gottheil_Kemper_Kluge_Morisse_Naundorf_Oevel_Schulze_Wiwianka_1994, place={Basel-Boston-Berlin}, title={MuPAD: Multi Processing Algebra Data Tool; Tutorial}, publisher={Birkhäuser}, author={Fuchssteiner, Benno and Gottheil, K. and Kemper, A. and Kluge, O. and Morisse, K. and Naundorf, H. and Oevel, Gudrun and Schulze, T. and Wiwianka, W.}, year={1994} }
LibreCat
 

1994 | Book Chapter | LibreCat-ID: 17485
@inbook{Peckhaus_1994, place={Braunschweig}, title={Bibliographie der Werke Kurt Grellings}, booktitle={Hans Reichenbach und die Berliner Gruppe}, publisher={Friedr. Vieweg & Sohn}, author={Peckhaus, Volker}, editor={Danneberg, Lutz and Kamlah, Andreas and Schäfer, LotharEditors}, year={1994}, pages={74–86} }
LibreCat
 

1994 | Book Chapter | LibreCat-ID: 17834
@inbook{Peckhaus_1994, title={Ernst Schröder}, booktitle={Modern Logic Calendar 1994}, author={Peckhaus, Volker}, year={1994}, pages={November} }
LibreCat
 

1994 | Journal Article | LibreCat-ID: 17841
@article{Peckhaus_1994, title={Rüstow’s Thesis on Russell’s Paradox (Abdruck von “Alexander Rüstow’s Thesis”, Beitrag für  russell-l@mcmail.cis.mcmaster am 17. Juni 1994)}, volume={13}, number={September-Oktober 1994}, journal={History of Logic Newsletter}, author={Peckhaus, Volker}, year={1994}, pages={2–3} }
LibreCat
 

1994 | Misc | LibreCat-ID: 17896
@book{Peckhaus_1994, title={Alexander Rüstow’s Thesis, Beitrag für  russell-l@mcmail.cis.mcmaster am 17. Juni 1994 [Abdruck: Rüstow’s Thesis on Russell’s Paradox, History of Logic Newsletter, Nr. 13 (September–Oktober 1994), 2–3] [revidierte Fassung: Rüstow’s Thesis on Russell’s Paradox”, Modern Logic 5 (1995), 167–169]}, author={Peckhaus, Volker}, year={1994} }
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 17480
@inproceedings{Peckhaus_1994, place={Dordrecht/Boston/London}, series={Synthese Library}, title={Logic in Transition: The Logical Calculi of Hilbert (1905) and Zermelo (1908)}, volume={236}, booktitle={Logic and Philosophy of Science in Uppsala. Papers from the 9th International Congress of Logic, Methodology and Philosophy of Science}, publisher={Kluwer}, author={Peckhaus, Volker}, editor={Prawitz, Dag and Westerståhl, DagEditors}, year={1994}, pages={311–323}, collection={Synthese Library} }
LibreCat
 

1994 | Book (Editor) | LibreCat-ID: 18433
@book{Tophinke_1994, place={Wiesbaden}, title={Sprachbiographie und Sprachstörung. Fallstudien zur Textproduktion bei hirnorganischen Erkrankungen}, publisher={DUV (zugleich Dissertation Osnabrück 1991)}, year={1994} }
LibreCat
 

1994 | Book Chapter | LibreCat-ID: 19417
@inbook{Eke_1994, place={München}, title={Vergangene Zeiten. Anmerkungen zur Semantik des Umbruchs und zu den Bedeutungsstrukturen im historischen Erzählen der frühen Restaurationszeit (1815-1830)}, booktitle={Geschichten aus (der) Geschichte. Zum Stand des historischen Erzählens im Deutschland der frühen Restaurationszeit}, publisher={Fink}, author={Eke, Norbert Otto}, editor={Eke, Norbert Otto and Steinecke, HartmutEditors}, year={1994}, pages={17–58} }
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 13059
@inproceedings{Hellebrand_Wunderlich_1994, place={Oberwiesenthal, Informatik Xpress 4, TU Chemnitz Zwickau, Germany}, title={Synthese schneller selbsttestbarer Steuerwerke}, booktitle={{Tagungsband der GI/GME/ITG-Fachtagung \& Rechnergestützter Entwurf und Architektur mikroelektronischer Systeme}}, author={Hellebrand, Sybille and Wunderlich, Hans-Joachim}, year={1994}, pages={3–11} }
LibreCat
 

1994 | Misc | LibreCat-ID: 13085
@book{Hellebrand_Paulo Teixeira_Wunderlich_1994, place={1st IEEE International Test Synthesis Workshop, Santa Barbara, CA, USA}, title={Synthesis for Testability - the ARCHIMEDES Approach}, author={Hellebrand, Sybille and Paulo Teixeira, Joao and Wunderlich, Hans-Joachim}, year={1994} }
LibreCat
 

Search

Filter Publications

Display / Sort

Citation Style: BibTeX

Export / Embed