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.

9598 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 | 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}, publisher={Teubner}, author={Kleine Büning, Hans and Lettmann, Theodor}, year={1994}, collection={Leitfäden und Monographien der Informatik} }
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 | 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: 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: 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 | 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 | Journal Article | LibreCat-ID: 13854
@article{Schmidt_Srivastava_1994, title={First principles calculations of interface phonons of an Epitaxial Sb monolayer on GaAs(110) and InP(110)}, volume={89}, DOI={10.1016/0038-1098(94)90597-5}, number={4}, journal={Solid State Communications}, author={Schmidt, Wolf Gero and Srivastava, GP}, year={1994}, pages={345–348} }
LibreCat | DOI
 

1994 | Book Chapter | LibreCat-ID: 15610
@inbook{Hagengruber_1994, place={Barcelona}, title={Die Theorie des Punktes aus der Philosophie der Ähnlichkeit bei Tommaso Campanella}, booktitle={ Actas del primer Congreso Internacional de Ontología : categorías e inteligibilidad global : el proyecto ontológico a través de la reflexión contemporánea}, publisher={Bellaterra}, author={Hagengruber, Ruth}, editor={Gómez Pin, VictorEditor}, year={1994}, pages={101–107} }
LibreCat | Files available
 

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: 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 | 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 (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 | 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
 

Filters and Search Terms

status=public

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year
Citation Style: BibTeX

Export / Embed