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


1991 | Conference Paper | LibreCat-ID: 8082
Krauter S, Hanitsch R, Strauss P. Simulation-Program for Selecting Efficiency Improving Strategies of PV-Module-Encapsulations under Operating Conditions. In: Proceedings of “Renewable Energy Sources '91”, Prag (CFSR), 1.–4. Juli 1991, Band 3, S. 48–53. ; 1991.
LibreCat
 

1991 | Report | LibreCat-ID: 8188
Löhr-Richter P, Engels G. Incremental Design of Conceptual Database Schemata with CADDY. Leiden University, P.O. Box 9500, 2300 RA Leiden, The Netherlands: Leiden University; 1991.
LibreCat
 

1991 | Book | LibreCat-ID: 13034
Hellebrand S. Synthese Vollständig Testbarer Schaltungen. Verlag Düsseldorf: VDI Verlag: Verlag Düsseldorf: VDI Verlag; 1991.
LibreCat
 

1991 | Conference Paper | LibreCat-ID: 11798
Haeb-Umbach R, Ney H. A Look-Ahead Technique for Large Vocabulary Continuous Speech Recognition. In: EUROSPEECH, Genova. ; 1991.
LibreCat | Download (ext.)
 

1991 | Book Chapter | LibreCat-ID: 8894
Stelter P, Sextro W. Bifurcations in Dynamic Systems with Dry Friction. In: Seydel R, Schneider FW, Küpper T, Troger H, eds. Bifurcation and Chaos: Analysis, Algorithms, Applications. Vol 97. International Series of Numerical Mathematics / Internationale Schriftenreihe zur Numerischen Mathematik / S{\’e}rie Internationale d’Analyse Num{\’e}rique. Birkhäuser Basel; 1991:343-347. doi:10.1007/978-3-0348-7004-7_44
LibreCat | DOI
 

1991 | Book Chapter | LibreCat-ID: 15020
Domik G. The role of visualization in understanding data. In: New Results and New Trends in Computer Science. Springer; 1991:91-107.
LibreCat
 

1992 | Conference Paper | LibreCat-ID: 3047
Blömer J. How to denest Ramanujan’s nested radicals. In: Proceedings., 33rd Annual Symposium on Foundations of Computer Science. IEEE; 1992. doi:10.1109/sfcs.1992.267807
LibreCat | DOI
 

1992 | Book Chapter | LibreCat-ID: 1717
Krimphove D. Die Auswirkungen des Betriebsüberganges nach § 613 a BGB auf die Rechte der Arbeitnehmer. In: Ohlmeyer D, Philipowski R, eds. Die Verschmelzung von Genossenschaften - Insbesondere von Kreditgenossenschaften. 5th ed. Wiesbaden: DG-Verlag; 1992:163-168.
LibreCat
 

1992 | Conference Paper | LibreCat-ID: 11719
Aubert XL, Ney H, Haeb-Umbach R. The Philips Research System for Continuous-Speech Recognition: Overview and Evaluation on the DRAPA RM Task. In: DRAPA Speech Workshop. ; 1992.
LibreCat
 

1992 | Conference Paper | LibreCat-ID: 11769
Geller D, Haeb-Umbach R, Ney H. Improvements in Speech Recognition for Voice Dialling in the Car Environment. In: ESCA Workshop on Speech Recognition in Adverse Conditions, Cannes-Mandelieu. ; 1992.
LibreCat
 

1992 | Conference Paper | LibreCat-ID: 11877
Ney H, Haeb-Umbach R, Tran BH, Oerder M. Improvements in Beam Search for 10,000-Word-Continuous Speech Recognition. In: ICASSP, San Francisco. ; 1992.
LibreCat | Download (ext.)
 

1992 | Dissertation | LibreCat-ID: 3043
Blömer J. Simplifying Expressions Involving Radicals. PhD thesis, Freie Universität Berlin, Fachbereich Mathematik und Informatik; 1992.
LibreCat | Files available
 

1992 | Book | LibreCat-ID: 1600
Krimphove D. Europäische Fusionskontrolle  . Köln: Carl Heymanns Verlag KG; 1992.
LibreCat
 

1992 | Journal Article | LibreCat-ID: 1650
Krimphove D. Die Bedeutung des Produkthaftungsrechtes für die Landwirtschaft . Recht der Landwirtschaft. 1992;(Juni-Heft):143 ff.
LibreCat
 

1992 | Conference Paper | LibreCat-ID: 8086
Krauter S, Hanitsch R. Reflexionsverringerung an PV-Modulen durch partiell strukturierte Deckgläser. In: Tagungsband Des Achten Internationalen Sonnenforums, Berlin (Deutschland), 30. Juni – 3. Juli 1992, S. 736–741. ; 1992.
LibreCat
 

1992 | Misc | LibreCat-ID: 13076
Hellebrand S, Tarnick S, Rajski J, Courtois B. Generation of Vector Patterns through Reseeding of Multiple-Polynomial LFSRs. IEEE Design for Testability Workshop, Vail, CO, USA; 1992.
LibreCat
 

1992 | Conference Paper | LibreCat-ID: 14997
Domik GO, Mickus-Miceli KD. Software design and development in a scientific environment: lessons learned during the development of STAR, an astrophysical analysis and visualization package. In: Astronomical Data Analysis Software and Systems I. Vol 25. ; 1992:95.
LibreCat
 

1992 | Conference Paper | LibreCat-ID: 2457
Diekmann R, Simon J. Leistungssteigerung paralleler Systeme durch virtuelle Topologien. In: Abstraktband Des 4. Bundesweiten Transputer-Anwender-Treffens (TAT 92). ; 1992.
LibreCat
 

1992 | Book | LibreCat-ID: 1601
Krimphove D. Anlageberatung Das System Der Zivilrechtlichen Haftung von Kreditinstituten. Frankfurt: Peter Lang; 1992.
LibreCat
 

1992 | Journal Article | LibreCat-ID: 1651
Krimphove D. Die eingetragene Genossenschaft als Gesellschafts- und Unternehmensform. Recht der Landwirtschaft. 1992;(Oktober-Heft):255 ff.
LibreCat
 

1992 | Conference Paper | LibreCat-ID: 7825
Koopman P, Groenewegen L, Engels G. Functional Description of Parallel Processes. In: Proceedings of the Conference SION Computing Science in the Netherlands (CSN ’92), The Netherlands. ; 1992:156-167.
LibreCat
 

1992 | Conference Paper | LibreCat-ID: 8087
Krauter S, Hanitsch R, Diwisch R, Diwisch N. Measuring the Heat–Transfer Coefficient of PV-Modules. In: ; 1992.
LibreCat
 

1992 | Conference Paper | LibreCat-ID: 8260
Engels G, Löhr-Richter P. CADDY: A Highly Integrated Environment to Support Conceptual Database Design. In: Proceedings of the Fifth International Workshop on Computer-Aided Software Engineering (CASE 1992), Montreal (Canada). Washington, DC, USA: IEEE Computer Society; 1992:19-22.
LibreCat
 

1992 | Conference Paper | LibreCat-ID: 10201
Steffen E. Complexity results for the default- and autoepistemic logic. In: Börger E, ed. Computer Science Logic . Vol 626. Springer Berlin Heidelberg; 1992:339-352.
LibreCat
 

1992 | Journal Article | LibreCat-ID: 11792
Haeb-Umbach R, Lynch R. Trellis codes for partial-response magnetooptical direct overwrite recording. IEEE Journal on Selected Areas in Communications. 1992.
LibreCat
 

1992 | Conference Paper | LibreCat-ID: 11797
Haeb-Umbach R, Ney H. Linear Discriminant Analysis for Improved Large Vocabulary Continuous Speech Recognition. In: ICASSP, San Francisco. ; 1992.
LibreCat | Download (ext.)
 

1992 | Conference Paper | LibreCat-ID: 15042
Domik G. Visualization of Multi-dimensional Arrays in Astronomy. In: European Southern Observatory Conference and Workshop Proceedings. Vol 43. ; 1992:249.
LibreCat
 

1992 | Conference Paper | LibreCat-ID: 2458
Diekmann R, Lüling R, Simon J. A General Purpose Distributed Implementation of Simulated Annealing. In: Proc. 13th IMACS World Congress on Computation and Applied Mathematics. ; 1992.
LibreCat
 

1992 | Conference Paper | LibreCat-ID: 2460
Diekmann R, Lüling R, Monien B, Simon J. Implementierung von Simulated Annealing auf Transputer-Systemen. In: Parallele Datenverarbeitung Mit Dem Transputer. Informatik aktuell. Berlin / Heidelberg: Springer; 1992:361-368. doi:10.1007/978-3-642-77447-8_48
LibreCat | DOI
 

1992 | Journal Article | LibreCat-ID: 1652
Krimphove D. Arbeitsrechtliche Aspekte der Verschmelzung von Genossenschaften . Sächsisches Genossenschaftsblatt . 1992;(11):50 ff.
LibreCat
 

1992 | Journal Article | LibreCat-ID: 7408
Hohenstein U, Engels G. SQL/EER - Syntax and Semantics of an Entity-Relationship-Based Query Language. Information Systems. 1992;17(3):209-242. doi:http://dx.doi.org/10.1016/0306-4379(92)90014-E
LibreCat | DOI
 

1992 | Journal Article | LibreCat-ID: 7410
Engels G, Gogolla M, Hohenstein U, et al. Conceptual Modelling of Database Applications Using an Extended ER Model. Data & Knowledge Engineering. 1992;9(2):157-204. doi:http://dx.doi.org/10.1016/0169-023X(92)90008-Y
LibreCat | DOI
 

1992 | Conference Paper | LibreCat-ID: 8083
Krauter S, Hanitsch R. Improvement of PV-Performance by Partly Structured Surfaces. In: Proceedings of the 6th Photovoltaic Science and Engineering Conference, New Delhi (Indien), 10.–14. Februar 1992, Vol 1, S. 1110. ; 1992.
LibreCat
 

1992 | Conference Paper | LibreCat-ID: 8088
Krauter S, Hanitsch R. Performance of a Partly Structured Surface at a PV-Module. In: Proceedings of the 11th European Photovoltaic Solar Energy Conference and Exhibition, Montreux (Schweiz), 12.–16. Oktober 1992, S. 1351–1354. ; 1992.
LibreCat
 

1992 | Report | LibreCat-ID: 8189
Engels G. Visual Specifications of Conceptual Database Schemata (Abstract). Leiden University; 1992.
LibreCat
 

1992 | Conference Paper | LibreCat-ID: 8261
Engels G, Groenewegen L. Specification of Coordinated Behaviour in the Software Development Process. In: Proceedings of the Second European Workshop on Software Process Technology (EWSPT 92), Trondheim, Norway. Vol 635. LNCS. Berlin/Heidelberg: Springer; 1992:58-60. doi:http://dx.doi.org/10.1007/BFb0017495
LibreCat | DOI
 

1992 | Conference Paper | LibreCat-ID: 13016
Hellebrand S, Tarnick S, Rajski J, Courtois B. Generation of Vector Patterns through Reseeding of Multiple-Polynomial Linear Feedback Shift Registers. In: {IEEE International Test Conference (ITC’92)}. Baltimore, MD, USA: {IEEE}; 1992:120-129. doi:10.1109/test.1992.527812
LibreCat | DOI
 

1992 | Report | LibreCat-ID: 13023
Hellebrand S, Tarnick S, Rajski J, Courtois B. Generation of Vector Patterns through Reseeding of Multiple-Polynomial LFSRs. Institut National Polytechnique de Grenoble, Grenoble, France; 1992.
LibreCat
 

1992 | Misc | LibreCat-ID: 13080
Hellebrand S, Tarnick S, Rajski J, Courtois B. Generation of Vector Patterns through Reseeding of Multiple-Polynomial LFSRs. Workshop on New Directions for Testing, Montreal, Canada; 1992.
LibreCat
 

1992 | Conference Paper | LibreCat-ID: 13465
Ginthör R, Platzner M, Weiss R. Experimental Results to Interprocessor Communication in Distributed Transputer-Systems. In: Proceedings of the 1st Austrian-Hungarian Workshop on Transputer Applications. ; 1992:45-54.
LibreCat
 

1992 | Conference Paper | LibreCat-ID: 15252
Mickus-Miceli K, Domik G. An Enriched Framework for Multidisciplinary Data Analysis. In: Symposium on Intelligent Scientific Computation, American Association for Artificial Intelligence (AAAI), Fall 1992 Symposium Series, Cambridge MA, October. ; 1992.
LibreCat
 

1992 | Conference Paper | LibreCat-ID: 2459
Diekmann R, Lüling R, Simon J. A General Purpose Distributed Implementation of Simulated Annealing. In: Proc. IEEE Symp. on Parallel and Distributed Processing (SPDP). IEEE; 1992:94-101. doi:10.1109/SPDP.1992.242758
LibreCat | DOI
 

1992 | Book Chapter | LibreCat-ID: 3046
Alt H, Blömer J. Resemblance and symmetries of geometric patterns. In: Data Structures and Efficient Algorithms. Berlin, Heidelberg: Springer Berlin Heidelberg; 1992:1-24. doi:10.1007/3-540-55488-2_19
LibreCat | DOI
 

1992 | Journal Article | LibreCat-ID: 1653
Krimphove D. Der Begriff des “Europäischen Marktes” im Lichte der Rechtssprechung des Europäischen Gerichtshofes und der Entscheidungspraxis  der Kommission der Europäischen Gemeinschaft. Europäisches Wirtschafts- & Steuerrrecht. 1992;(12):357 ff.
LibreCat
 

1992 | Journal Article | LibreCat-ID: 7409
Engels G, Lewerentz C, Nagl M, Schäfer W, Schürr A. Building Integrated Software Development Environments, Part I: Tool Specification. ACM Transactions on Software Engineering and Methodology (TOSEM). 1992;1(2):135-167.
LibreCat
 

1992 | Conference Paper | LibreCat-ID: 8084
Krauter S. Hinweise zur Modellbildung und Simulation des Strahlungseinfalls in PV-Module. In: Solar Energy Simulation Workshop Der DGS, Oldenburg (Deutschland). ; 1992.
LibreCat
 

1992 | Journal Article | LibreCat-ID: 11782
Haeb-Umbach R. A modified trellis coding technique for partial response channels. IEEE Transactions on Communications. 1992.
LibreCat
 

1992 | Journal Article | LibreCat-ID: 13017
Wunderlich H-J, Hellebrand S. The Pseudoexhaustive Test of Sequential Circuits. {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD)}. 1992;11(1):26-33. doi:10.1109/43.108616
LibreCat | DOI
 

1992 | Conference Paper | LibreCat-ID: 15253
Mickus-Miceli K, Domik G. An Enriched Framework for Multidisciplinary Data Analysis. In: Symposium on Intelligent Scientific Computation, American Association for Artificial Intelligence (AAAI), Fall 1992 Symposium Series, Cambridge MA, October. ; 1992.
LibreCat
 

1993 | Report | LibreCat-ID: 2455
Diekmann R, Lüling R, Simon J. Problem Independent Distributed Simulated Annealing and Its Applications. Paderborn Center for Parallel Computing; 1993.
LibreCat
 

1993 | Journal Article | LibreCat-ID: 8895
Sextro W, Schmalhorst B. Static Behaviour of Drill Strings in Curved Boreholes. Zeitschrift für angewandte Mathematik und Mechanik (ZAMM). 1993;73:255-257.
LibreCat
 

1993 | Conference Paper | LibreCat-ID: 11788
Haeb-Umbach R, Geller D, Ney H. Improvements in Connected Digit Recognition Using Linear Discriminant Analysis and Mixture Densities. In: ICASSP, Minneapolis. ; 1993.
LibreCat | Download (ext.)
 

1993 | Conference Paper | LibreCat-ID: 11904
Steinbiss V, Ney H, Haeb-Umbach R, et al. The Philips Research System for Large-Vocabulary Continuous-Speech Recognition. In: EUROSPEECH, Berlin. ; 1993.
LibreCat | Download (ext.)
 

1993 | Misc | LibreCat-ID: 13082
Hellebrand S, Wunderlich H-J. Synthesis of Self-Testable Controllers. ARCHIMEDES Open Workshop on “Synthesis - Architectural Testability Support”, Montpellier, France; 1993.
LibreCat
 

1993 | Conference Paper | LibreCat-ID: 13467
Platzner M, Steger C, Weiss R. Performance Measurements on a Multi-DSP Architecture with TMS320C40. In: Proceedings of the 4th International Conference on Signal Processing Applications & Technology (ICSPAT). DSP Associates; 1993.
LibreCat
 

1993 | Journal Article | LibreCat-ID: 15045
Domik G. An Agenda for Education in Scientific Visualization, Visualization’92 Workshop Report. COMPUTER GRAPHICS-NEW YORK-ASSOCIATION FOR COMPUTING MACHINERY-. 1993;27:6-6.
LibreCat
 

1993 | Journal Article | LibreCat-ID: 15052
Domik G. Guidelines for a curriculum in scientific visualization. Computers \& Graphics. 1993;17(2):185-191.
LibreCat
 

1993 | Book Chapter | LibreCat-ID: 2456
Diekmann R, Simon J. Problem Independent Distributed Simulated Annealing and its Applications. In: Applied Simulated Annealing. Vol 396. Lecture Notes in Economics and Mathematical Systems (LNE). Berlin / Heidelberg: Springer; 1993:17-44. doi:10.1007/978-3-642-46787-5_2
LibreCat | DOI
 

1993 | Journal Article | LibreCat-ID: 1655
Krimphove D. Anmerkungen zum Manteltarifvertrag der Banken - Eine Kommentierung des Manteltarifvertrages des Bankgewerbes 1993. Bankkalender 1994. 1993;(19. Lieferung):157 ff.
LibreCat
 

1993 | Journal Article | LibreCat-ID: 1656
Krimphove D. Erzeugergemeinschaften: Wettbewerbsrechtliche  Möglichkeiten zur Unternehmenskooperation in der Landwirtschaft. Recht der Landwirtschaft. 1993;(Januar-Heft):4 ff.
LibreCat
 

1993 | Report | LibreCat-ID: 8190
Andries M, Engels G. A Hybrid Query Language for the Extended Entity Relationship Model. Vakgroep Informatica, Rijksuniversiteit Leiden; 1993.
LibreCat
 

1993 | Conference Paper | LibreCat-ID: 13015
Venkataraman S, Rajski J, Hellebrand S, Tarnick S. An Efficient Bist Scheme Based On Reseeding Of Multiple Polynomial Linear Feedback Shift Registers. In: {ACM/IEEE International Conference on Computer Aided Design (ICCAD’93)}. {IEEE (Comput. Soc. Press)}; 1993. doi:10.1109/iccad.1993.580117
LibreCat | DOI
 

1993 | Report | LibreCat-ID: 2453
Simon J. Benutzung Virtueller Topologien Unter PARIX. Paderborn Center for Parallel Computing; 1993.
LibreCat
 

1993 | Report | LibreCat-ID: 3045
Blömer J. On Kummer Theory and the Number of Roots of Unity in Radical Extensions of Q. Technical Report, Freie Universität Berlin, Fachbereich Mathematik und Informatik; 1993.
LibreCat
 

1993 | Journal Article | LibreCat-ID: 3069
Gries T, Wigger B. The Dynamics of Upgrading or how to catch-up. Economia Internationale. 1993;46(4):3-13.
LibreCat
 

1993 | Journal Article | LibreCat-ID: 1657
Krimphove D. Neuer europäischer Schutz von Marken- und Herkunftszeichen in der Landwirtschaft. Agrarrecht. 1993;(Heft 1):7 ff.
LibreCat
 

1993 | Conference Paper | LibreCat-ID: 7826
Engels G, Verrijn-Stuart AA. Integrationsaspekte bei verteilter Software-Entwicklung. In: Fortschritt-Berichte VDI. Reihe 10: Informatik/Kommunikationstechnik. VDI Verlag; 1993:45-53.
LibreCat
 

1993 | Conference Paper | LibreCat-ID: 8090
Krauter S, Hanitsch R. Optical and Thermal Parameters of PV-Module Encapsulation Improving Output Power. In: Proceedings of the ISES Solar World Congress 1993, Budapest (Ungarn), 23.–27. August 1993, Band 3, S. 249–254. ; 1993.
LibreCat
 

1993 | Report | LibreCat-ID: 8191
Ehrig H, Engels G. Towards a Module Concept for Graph Transformation Systems. Vakgroep Informatica, Rijksuniversiteit Leiden; 1993.
LibreCat
 

1993 | Journal Article | LibreCat-ID: 13857
Schmidt WG, Srivastava GP. Chemisorption of aluminium on GaAs(110). Journal of Physics: Condensed Matter. 1993;5(49):9025-9036. doi:10.1088/0953-8984/5/49/005
LibreCat | DOI
 

1993 | Report | LibreCat-ID: 2454
Röttger M, Simon J, Schroeder U-P. Virtual Topology Library for PARIX. Paderborn Center for Parallel Computing; 1993.
LibreCat
 

1993 | Journal Article | LibreCat-ID: 1658
Krimphove D. Europäisches Arbeitsrecht. Europäische Zeitschrift für Wirtschaftsrecht (EuZW). 1993;(Mai):244 ff.
LibreCat
 

1993 | Conference Paper | LibreCat-ID: 8089
Krauter S, Hanitsch R. Calculating the Influence of Skylight-Polarization on the Transmission of Encapsulations of PV-Modules. In: Proceedings of the Cairo International Conference of Renewable Energy Sources, Kairo (Ägypten), 30. Dezember 1992 – 2. Januar 1993. ; 1993.
LibreCat
 

1993 | Book | LibreCat-ID: 8091
Krauter S. Betriebsmodell Der Optischen, Thermischen Und Elektrischen Parameter von PV-Modulen. Berlin: Verlag Köster; 1993.
LibreCat
 

1993 | Report | LibreCat-ID: 8192
Engels G, Rozenberg G. Abstracts COMPUGRAPH II Workshop. Vakgroep Informatica, Rijksuniversiteit Leiden; 1993.
LibreCat
 

1993 | Conference Paper | LibreCat-ID: 8262
Engels G, Groenewegen L. Modular, Visual Specifications of Software Processes. In: Proceedings of the Workshop on Software Process (ISPW 1993), Wadern (Germany). Washington, DC, USA: IEEE Computer Society; 1993:66-68.
LibreCat
 

1993 | Conference Paper | LibreCat-ID: 11718
Aubert XL, Haeb-Umbach R, Ney H. Continuous Mixture Densities and Linear Discriminant Analysis for Improved Context-Dependent Acoustic Models. In: ICASSP, Minneapolis. ; 1993.
LibreCat | Download (ext.)
 

1993 | Journal Article | LibreCat-ID: 11749
Dobler S, Geller D, Haeb-Umbach R, Meyer P, Ney H, Ruehl HW. Design and use of speech recognition algorithms for a mobile radio telephone. Speech Communication. 1993.
LibreCat
 

1993 | Misc | LibreCat-ID: 13081
Hellebrand S, Tarnick S, Rajski J, Courtois B. Effiziente Erzeugung Deterministischer Muster Im Selbsttest. 5th ITG/GI/GME Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen”, Holzhau, Germany; 1993.
LibreCat
 

1993 | Journal Article | LibreCat-ID: 13466
Platzner M, Steger C. Erfahrungen mit einer Multi-Signalprozessorarchitektur (TMS320C40). Mikroelektronik. 1993.
LibreCat
 

1993 | Journal Article | LibreCat-ID: 13858
Schmidt WG, Wenzien B, Bechstedt F. AB initio calculation of the atomic and electronic structure for Sb adsorbed on GaAs(110). Czechoslovak Journal of Physics. 1993;43(9-10):1003-1007. doi:10.1007/bf01595293
LibreCat | DOI
 

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

1994 | Journal Article | LibreCat-ID: 1661
Krimphove D. Europejskie prawo pracy. Monitor Prawniczy. 1994;(2):42 ff.
LibreCat
 

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

1994 | Conference Paper | LibreCat-ID: 7828
Ebert J, Engels G. Structural and Behavioural Views on OMT-Classes. In: Proceedings of the International Symposium on Object-Oriented Methodologies and Systems (ISOOMS 1994), Palermo (Italy). Vol 858. Berlin/Heidelberg: Springer; 1994:142-157.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 7830
Engels G, Ehrig H. Towards a Module Concept for Graph Transformation Systems: The Software Engineering Perspective. In: Proceedings Colloquium on Graph Transformation and Its Application in Computer Science. Vol B-19. Technical Report . Universitat de les Illes Balears, Departament de Ci; 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 3263
Rensink A, Wehrheim H. Weak Sequential Composition in Process Algebras. In: Jonsson B, Parrow J, eds. {CONCUR} ’94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings. Lecture Notes in Computer Science. ; 1994:226--241. doi:10.1007/978-3-540-48654-1_20
LibreCat | DOI
 

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

1994 | Conference Paper | LibreCat-ID: 8092
Krauter S, Hanitsch R, Campbell P, Wenham SR. 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
Ebert J, Engels G. Observable or Invocable Behaviour - You Have to Choose. Vakgroep Informatica, Rijksuniversiteit Leiden; 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 8263
Andries M, Engels G. Syntax and Semantics of Hybrid Database Languages. In: Proceedings of the International Workshop on Graph Transformations in Computer Science (1993), Dagstuhl (Germany). Vol 776. LNCS. Berlin/Heidelberg: Springer; 1994:19-36. doi:http://dx.doi.org/10.1007/3-540-57787-4_2
LibreCat | DOI
 

1994 | Conference Paper | LibreCat-ID: 13013
Hellebrand S, Wunderlich H-J. Synthesis of Self-Testable Controllers. In: {European Design and Test Conference (EDAC/ETC/EUROASIC)}. Paris, France: {IEEE (Comput. Soc. Press)}; 1994:580-585. doi:10.1109/edtc.1994.326815
LibreCat | DOI
 

1994 | Report | LibreCat-ID: 13025
Hellebrand S, Juergensen A, Stroele A, Wunderlich H-J. 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
Schmidt WG, Srivastava G. First principles calculations of interface phonons of an Epitaxial Sb monolayer on GaAs(110) and InP(110). Solid State Communications. 1994;89(4):345-348. doi:10.1016/0038-1098(94)90597-5
LibreCat | DOI
 

1994 | Conference Paper | LibreCat-ID: 3264
Wehrheim H. Parametric Action Refinement. In: Olderog E-}R{\"{u}}diger, ed. 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. {IFIP} Transactions. ; 1994:247--266.
LibreCat
 

1994 | Journal Article | LibreCat-ID: 1662
Krimphove D. Die Mitwirkungsrechte des Betriebsrates in der Betriebsverfassung. Arbeit und Recht . 1994;(Heft 4):215 ff.
LibreCat
 

1994 | Conference (Editor) | LibreCat-ID: 7797
Ehrich H-D, Engels G, Paredaens J, Wegner J, 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
Engels G, Kappel G. 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). Vol 3. Elsevier; 1994:434-441.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 8093
Strauss P, Onneken K, Krauter S, Hanitsch R. 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
Engels G, Groenewegen L. Specification of coordinated behaviour by SOCCA. In: Proceedings of the Third European Workshop on Software Process Technology (EWSPT 1994), Villard de Lans (France). LNCS. Berlin/Heidelberg: Springer; 1994:128-151. doi:http://dx.doi.org/10.1007/3-540-57739-4_19
LibreCat | DOI
 

Filters and Search Terms

status=public

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year
Citation Style: AMA

Export / Embed