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.

12787 Publications


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 Chapter | LibreCat-ID: 15608
@inbook{Hagengruber_1994, place={New York}, title={Platons “Timaios”, eine Anleitung zur wissenschaftlichen Hypothesenbildung?}, volume={13}, booktitle={Cosmographica et Geographica. Algorismus. Studien zur Geschichte der Mathematik und der Naturwissenschaften}, publisher={Springer}, author={Hagengruber, Ruth}, editor={Fritscher, Bernhard and Brey, GerhardEditors}, year={1994}, pages={75–96} }
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: 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 | 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: 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 | 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: 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 (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 | 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 | 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 | 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: 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 | 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 | 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
 

1994 | Conference Paper | LibreCat-ID: 13013
@inproceedings{Hellebrand_Wunderlich_1994, place={Paris, France}, title={Synthesis of Self-Testable Controllers}, DOI={10.1109/edtc.1994.326815}, booktitle={{European Design and Test Conference (EDAC/ETC/EUROASIC)}}, publisher={{IEEE (Comput. Soc. Press)}}, author={Hellebrand, Sybille and Wunderlich, Hans-Joachim}, year={1994}, pages={580–585} }
LibreCat | DOI
 

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 | Dissertation | LibreCat-ID: 15497
@book{Hagengruber_1994, place={Sankt Augustin}, title={Tommaso Campanella. Eine Philosophie der Ähnlichkeit}, publisher={Academia}, author={Hagengruber, Ruth}, year={1994} }
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 | Conference Paper | LibreCat-ID: 16819
@inproceedings{Domik-Kienegger_Gutkauf_1994, title={User Modeling for Adaptive Visualization Systems}, DOI={10.1109/VISUAL.1994.346316}, booktitle={Proceedings IEEE Visualization ’94, Washington, DC, USA, October 17-21, 1994}, publisher={IEEE Computer Society}, author={Domik-Kienegger, Gitta and Gutkauf, Bernd}, editor={Daniel Bergeron, R. and E. Kaufman, ArieEditors}, year={1994}, pages={217–223} }
LibreCat | DOI
 

Filters and Search Terms

status=public

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year , Title
Citation Style: BibTeX

Export / Embed