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.

8644 Publications


1993 | Journal Article | LibreCat-ID: 13858
W. G. Schmidt, B. Wenzien, and F. Bechstedt, “AB initio calculation of the atomic and electronic structure for Sb adsorbed on GaAs(110),” Czechoslovak Journal of Physics, vol. 43, no. 9–10, pp. 1003–1007, 1993.
LibreCat | DOI
 

1994 | Journal Article | LibreCat-ID: 1659
D. Krimphove, “Das zweite Finanzmarktförderungsgesetz - ein Beitrag zur ‘Europäisierung’ des Wertpapierrechts ,” Juristenzeitung (JZ), no. Heft 1, p. 244 ff., 1994.
LibreCat
 

1994 | Journal Article | LibreCat-ID: 1661
D. Krimphove, “Europejskie prawo pracy,” Monitor Prawniczy, no. 2, p. 42 ff., 1994.
LibreCat
 

1994 | Book Chapter | LibreCat-ID: 7513
G. Engels and L. Groenewegen, “SOCCA: Specifications of Coordinated and Cooperative Activities,” in Software Process Modelling and Technology, Taunton: Research Studies Press, 1994, pp. 71–102.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 7828
J. Ebert and G. Engels, “Structural and Behavioural Views on OMT-Classes,” in Proceedings of the International Symposium on Object-Oriented Methodologies and Systems (ISOOMS 1994), Palermo (Italy), 1994, vol. 858, pp. 142–157.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 7830
G. Engels and H. Ehrig, “Towards a Module Concept for Graph Transformation Systems: The Software Engineering Perspective,” in Proceedings Colloquium on Graph Transformation and its Application in Computer Science, 1994, vol. B-19.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 3263
A. Rensink and H. Wehrheim, “Weak Sequential Composition in Process Algebras,” in {CONCUR} ’94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings, 1994, pp. 226--241.
LibreCat | DOI
 

1994 | Book | LibreCat-ID: 3333
H. Kleine Büning and T. Lettmann, Aussagenlogik - Deduktion und Algorithmen. Teubner, 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 8092
S. Krauter, R. Hanitsch, P. Campbell, and S. R. Wenham, “Optical Modelling, Simulation and Improvement of PV Module Encapsulation,” in Proceedings of the 12th European Photovoltaic Solar Energy Conference, Amsterdam (Niederlande), 11.–15. April 1994, Band 2, S. 1198–1201, 1994.
LibreCat
 

1994 | Report | LibreCat-ID: 8193
J. Ebert and G. Engels, Observable or Invocable Behaviour - You Have to Choose. Vakgroep Informatica, Rijksuniversiteit Leiden, 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 8263
M. Andries and G. Engels, “Syntax and Semantics of Hybrid Database Languages,” in Proceedings of the International Workshop on Graph Transformations in Computer Science (1993), Dagstuhl (Germany), 1994, vol. 776, pp. 19–36.
LibreCat | DOI
 

1994 | Conference Paper | LibreCat-ID: 13013
S. Hellebrand and H.-J. Wunderlich, “Synthesis of Self-Testable Controllers,” in {European Design and Test Conference (EDAC/ETC/EUROASIC)}, 1994, pp. 580–585.
LibreCat | DOI
 

1994 | Report | LibreCat-ID: 13025
S. Hellebrand, A. Juergensen, A. Stroele, and H.-J. Wunderlich, Chip Level Test Planning for Controlling the Tradeoff between Hardware Overhead and Test Time. University of Siegen, Germany, 1994.
LibreCat
 

1994 | Journal Article | LibreCat-ID: 13854
W. G. Schmidt and G. Srivastava, “First principles calculations of interface phonons of an Epitaxial Sb monolayer on GaAs(110) and InP(110),” Solid State Communications, vol. 89, no. 4, pp. 345–348, 1994.
LibreCat | DOI
 

1994 | Conference Paper | LibreCat-ID: 3264
H. Wehrheim, “Parametric Action Refinement,” in 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, 1994, pp. 247--266.
LibreCat
 

1994 | Journal Article | LibreCat-ID: 1662
D. Krimphove, “Die Mitwirkungsrechte des Betriebsrates in der Betriebsverfassung,” Arbeit und Recht , no. Heft 4, p. 215 ff., 1994.
LibreCat
 

1994 | Conference (Editor) | LibreCat-ID: 7797
H.-D. Ehrich, G. Engels, J. Paredaens, and J. Wegner, Eds., Fundamentals of Object-Oriented Languages, Systems, and Methods, vol. 95. Schloss Dagstuhl, Leibniz Center for Informatics, 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 7829
G. Engels and G. Kappel, “Object-Oriented System Development: Will the New Approach Solve Old Problems?,” in Proceedings of the IFIP 13th World Computer Congress on Information Processing, Hamburg (Germany), 1994, vol. 3, pp. 434–441.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 8093
P. Strauss, K. Onneken, S. Krauter, and R. Hanitsch, “Simulation Tool for Prediction and Optimization of Output Power Considering Thermal and Optical Parameters of PV Module Encapsulation,” in Proceedings of the 12th European Photovoltaic Solar Energy Conference, Amsterdam (Niederlande), 11.–15. April 1994, Band 2, S. 1194–1197., 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 8264
G. Engels and L. Groenewegen, “Specification of coordinated behaviour by SOCCA,” in Proceedings of the Third European Workshop on Software Process Technology (EWSPT 1994), Villard de Lans (France), 1994, pp. 128–151.
LibreCat | DOI
 

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year
Citation Style: IEEE

Export / Embed