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.

9250 Publications


1980 | Book (Editor) | LibreCat-ID: 15510
Hagengruber R, ed. Inseln im Ich. München: Matthes & Seitz; 1980.
LibreCat
 

1981 | Report | LibreCat-ID: 8184
Engels G, Pletat U, Ehrich H-D. Handling Errors and Exceptions in the Algebraic Specifications of Data Types. University of Osnabrück; 1981.
LibreCat
 

1981 | Report | LibreCat-ID: 8185
Pletat U, Engels G, Ehrich H-D. Operational Semantics of Algebraic Specifications with Conditional Equations. University of Dortmund, Department of Computer Science; 1981.
LibreCat
 

1982 | Conference Paper | LibreCat-ID: 7811
Engels G, Schäfer W. Specification of a Programming Support Environment by Graph Grammars. In: Proceedings of the Conference on Graphtheoretic Concepts in Computer Science (WG`82), München (Germany). München/Leipzig: Hanser; 1982:47-62.
LibreCat
 

1982 | Conference Paper | LibreCat-ID: 7812
Pletat U, Engels G, Ehrich H-D. An Operational Approach to Conditional Algebraic Specifications. In: Proceedings of the 7eme Colloque Sur Les Arbres En Algebre et En Programmation, Lille (France). Vol 82. ; 1982:254-270.
LibreCat
 

1983 | Journal Article | LibreCat-ID: 7412
Engels G, Pletat U, Ehrich H-D. An Operational Semantics for Specifications of Abstract Data Types with Error Handling. Acta Informatica. 1983;9(3):235-254. doi:http://dx.doi.org/10.1007/BF00265557
LibreCat | DOI
 

1983 | Journal Article | LibreCat-ID: 7411
Engels G, Gall R, Nagl M, Schäfer W. Software Specification Using Graph Grammars. Computing. 1983;31(4):317-346. doi:http://dx.doi.org/10.1007/BF02251236
LibreCat | DOI
 

1983 | Conference Paper | LibreCat-ID: 8255
Nagl M, Engels G, Gall R, Schäfer W. Software Specification by Graph Grammars. In: Proceedings of the 2nd International Workshop on Graph-Grammars and Their Application to Computer Science, Osnabrück (Germany). Vol 153. LNCS. Berlin/Heidelberg: Springer; 1983:267-287. doi:dx.doi.org/10.1007/BFb0000113
LibreCat | DOI
 

1984 | Journal Article | LibreCat-ID: 15124
Domik G, Kobrick M, Leberl F. Analyse von Radarbildern mittels digitaler Hoehenmodelle. Bildmessung und luftbildwesen. 1984;52(5):249-263.
LibreCat
 

1984 | Report | LibreCat-ID: 15600
Domik G, Leberl F, Raggam J. Differential Rectification of SLR-Images Using Map-Derived and Radar-Generated Digital Elevation Models.; 1984.
LibreCat
 

1984 | Journal Article | LibreCat-ID: 15055
Domik G. Evaluation of radar stereo viewability by means of a simulation technique. ESA IGARSS 84: Remote Sensing: From Res towards Operational Use,. 1984;2.
LibreCat
 

1984 | Conference Paper | LibreCat-ID: 15598
Rott H, Domik G. The SAR-580 experiment on snow and glaciers at the Austrian test site. In: Proc. SAR-580 Investigators Workshop. Vol 2. ; 1984:217-232.
LibreCat
 

1984 | Journal Article | LibreCat-ID: 14995
Domik G, Leberl F, Kobrick M. Radar image simulation and its application in image analysis. Archives of the International Society of Photogrammetry and Remote Sensing. 1984;25:A3a.
LibreCat
 

1984 | Mastersthesis | LibreCat-ID: 15498
Hagengruber R. Das Schöne Als Vollzug Der Liebe. Eros-Logos-Verhältnisse in Platons Symposion. München; 1984.
LibreCat
 

1985 | Conference Paper | LibreCat-ID: 7813
Engels G, Schäfer W. Graph Grammar Engineering: A Method Used for the Development of an Integrated Programming Support Environment. In: Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT 1985), Berlin (Germany). Vol 186. LNCS. Berlin/Heidelberg: Springer; 1985:179-193.
LibreCat
 

1985 | Journal Article | LibreCat-ID: 15314
Leberl F, Kobrick M, undefined undefined. Mapping with aircraft and satellite radar images. The Photogrammetric Record. 1985;11(66):647-665.
LibreCat
 

1985 | Conference Paper | LibreCat-ID: 7814
Engels G, Schäfer W. The Design of an Adaptive and Portable Programming Support Environment. In: Proceedings of the International Computing Symposium, Amsterdam (The Netherlands). Florenz; 1985.
LibreCat
 

1985 | Journal Article | LibreCat-ID: 15048
Raggam J, Triebnig G, Buchroithner M, Domik G, Leberl F. Radargrammetric aspects of SAR data evaluation. Thematic Applications of SAR data. 1985:57.
LibreCat
 

1985 | Journal Article | LibreCat-ID: 15315
Domik G. Radar image simulation as a tool to analyze topographic effects on geometry and radiometry of radar imagery. Machine processing of remotely sensed data- Quantifying global process: Models, sensor systems, and analytical methods. 1985:248-253.
LibreCat
 

1985 | Conference Paper | LibreCat-ID: 15316
Rott H, Domik G, MStzler C, Miller H. Towards a SAR system for snow and land ice applications. In: ESA Proceedings of a Workshop on Thematic Applications of SAR DATA p 29-39(SEE N 86-28488 19-42). ; 1985.
LibreCat
 

1986 | Conference Paper | LibreCat-ID: 8256
Engels G, Sandbrink A. Experiences with a Hybrid-Interpreter Based on Incremental Compilation Techniques. In: Proceedings of the Workshop on Compiler Compilers and Incremental Compilation Techniques, Bautzen. Vol 12. Bautzen: Berlin(Ost): Akademie der Wissenschaften der DDR; 1986:172-184.
LibreCat
 

1986 | Journal Article | LibreCat-ID: 14895
Leberl FW, Domik-Kienegger G, Rrggam J, Kobrick M. Radar stereomapping techniques and application to SIR-B images of Mt. Shasta. IEEE Transactions on Geoscience and Remote Sensing. 1986;(4):473-481.
LibreCat
 

1986 | Journal Article | LibreCat-ID: 15254
Leberl F, Domik G, Raggam J, Cimino J, Kobrick M. Radargrammetric Experiments with Space Shuttle SIR-B Imagery. International archives of photogrammetry and remote sensing= Archives internationales de photogramm{\’e}trie et de t{\’e}l{\’e}d{\’e}tection= Internationales Archiv der Photogrammetrie und Fernerkundung. 1986:333-344.
LibreCat
 

1986 | Conference Paper | LibreCat-ID: 15317
Domik G, Leberl F, Raggam J. Developing tools for digital radar image data evaluation. In: IN: Remote Sensing for Resources Development and Environmental Management; Proceedings of the Seventh International Symposium, Enschede, Netherlands, Aug. 25-29, 1986. Volume 1 (A88-41961 17-43). Rotterdam, AA Balkema, 1986, p. 117-119. ESA-NASA-Supported Research. Vol 1. ; 1986:117-119.
LibreCat
 

1986 | Dissertation | LibreCat-ID: 7588
Engels G. Graphen Als Zentrale Datenstrukturen in Einer Software-Entwicklungsumgebung.; 1986.
LibreCat
 

1986 | Journal Article | LibreCat-ID: 11880
Oerder M, Ascheid G, Haeb-Umbach R, Meyr H. An all digital implementation of a receiver for bandwidth-efficient communication. Signal Processing: Theories and Applications. 1986.
LibreCat
 

1986 | Conference Paper | LibreCat-ID: 15318
Domik G, Leberl F. Using secondary image products to aid in understanding and interpretation of radar imagery. In: IGARSS’86: Remote Sensing: Today’s Solutions for Tomorrow’s Information Needs. ; 1986.
LibreCat
 

1986 | Report | LibreCat-ID: 13022
Hellebrand S. Deformation Dicker Punkte Und Netze von Quadriken. Universität Regensburg, Fakultät für Mathematik, Regensburg, Germany; 1986.
LibreCat
 

1986 | Conference Paper | LibreCat-ID: 15179
Mercer J, Lowry R, Leberl F, Domik G. Digital terrain mapping with STAR-1 SAR data. In: International Geoscienee and Remote Sensing Symposium. ; 1986:645-650.
LibreCat
 

1986 | Book | LibreCat-ID: 2092
Krimphove D. Belgium in a Nutshell Investitionsmöglichkeiten Ausländischer Unternehmen in Belgien. Brüssel; 1986.
LibreCat
 

1986 | Conference Paper | LibreCat-ID: 7815
Engels G, Lewerentz C, Nagl M, Schäfer W. On the Structure of an Incremental and Integrated Software Development Environment. In: Proceedings of the 19th Hawaii International Conference on System Sciences, Hawaii, USA. Vol 2a. ; 1986:585-597.
LibreCat
 

1986 | Journal Article | LibreCat-ID: 14983
Domik G, Leberl F, Cimino J. Multiple incidence angle SIR-B experiment over Argentina: generation of secondary image products. IEEE Transactions on Geoscience and Remote Sensing. 1986;(4):492-497.
LibreCat
 

1987 | Conference Paper | LibreCat-ID: 7816
Engels G, Schürr A. A Hybrid Interpreter in a Software Development Environment. In: Proceedings of the 1st European Software Engineering Conference (ESEC ’87), Strasbourg (France). Vol 289. Berlin/Heidelberg: Springer; 1987:80-88.
LibreCat
 

1987 | Conference Paper | LibreCat-ID: 11795
Haeb-Umbach R, Meyr H. Optimal Carrier Recovery and Detection on Frequency-Nonselective Fading Channels. In: Proc. Symposium on Inf. Theory and Appl. (SITA), Tokio. ; 1987.
LibreCat
 

1987 | Conference Paper | LibreCat-ID: 15038
Domik G. Methods and application of surface shape reconstruction from multiple SAR images. In: IGARSS’87-International Geoscience and Remote Sensing Symposium. ; 1987:1551-1555.
LibreCat
 

1987 | Conference Paper | LibreCat-ID: 7817
Engels G, Nagl M, Schäfer W. On the Structure of Structure-Oriented Editors for Different Applications. In: Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, Palo Alto, USA. Vol 22. ACM SIGPLAN Notices; 1987:190-198.
LibreCat
 

1987 | Conference Paper | LibreCat-ID: 8257
Engels G, Lewerentz C, Schäfer W. Graph Grammar Engineering: A Software Specification Method. In: Proceedings of the 3rd International Workshop on Graph-Grammars and Their Application to Computer Science, Warrenton, VA (USA). Vol 291. Berlin/Heidelberg: Springer; 1987:186-201. doi:dx.doi.org/10.1007/3-540-18771-5
LibreCat | DOI
 

1987 | Journal Article | LibreCat-ID: 15319
Domik G, Leberl F. Image based SAR product simulation for analysis. ASPRS-ACM. 1987.
LibreCat
 

1987 | Conference Paper | LibreCat-ID: 15050
Leberl F, Domik G, Mercer BJ. Methods and accuracy of operational digital image mapping with aircraft SAR. In: 1987 ASPRS ACSM Annual Convention. ; 1987:148-158.
LibreCat
 

1988 | Report | LibreCat-ID: 8186
Ebert J, Engels G. Ein Konzept Zur Beschreibung von Software-Architekturen. EWH Koblenz; 1988.
LibreCat
 

1988 | Conference Paper | LibreCat-ID: 11783
Haeb-Umbach R. A Comparison of Coherent and Differentially Coherent Detection Schemes for Fading Channels. In: International Conference on Vehicular Technology, Philadelphia. ; 1988.
LibreCat | Download (ext.)
 

1988 | Conference Paper | LibreCat-ID: 13021
Wunderlich H-J, Hellebrand S. Generating Pattern Sequences for the Pseudo-Exhaustive Test of MOS-Circuits. In: {18th International Symposium on Fault-Tolerant Computing, FTCS-18}. Tokyo, Japan: {IEEE (Comput. Soc. Press)}; 1988:36-45. doi:10.1109/ftcs.1988.5294
LibreCat | DOI
 

1988 | Conference Paper | LibreCat-ID: 15320
Brugel EW, Domik G, Voels SA. A multi-spectral analysis system using large databases. In: European Southern Observatory Conference and Workshop Proceedings. Vol 28. ; 1988:3-8.
LibreCat
 

1988 | Conference Paper | LibreCat-ID: 7818
Engels G, Janning T, Schäfer W. A Highly Integrated Tool Set for Program Development Support. In: Proceedings of the Conference on ACM SIGSMALL/PC Symposium on ACTES (SIGSMALL 1988), Cannes (France). New York, NY, USA: ACM Press; 1988:1-10. doi:http://dx.doi.org/10.1145/62453.62454
LibreCat | DOI
 

1988 | Conference Paper | LibreCat-ID: 7820
Engels G, Hohenstein U, Saake G, Ehrich H-D. Auf dem Weg zu einer integrierten Datenbank-Entwurfsumgebung. In: Engels G, Hohenstein U, Saake G, Ehrich H-D, eds. Proceedings of the GI-Workshop on “Sprachspezifische Programmierumgebungen.” Darmstadt (Germany): G. Snelting; 1988:38-51.
LibreCat
 

1988 | Conference Paper | LibreCat-ID: 8258
Engels G, Janning T, Schäfer W. Die Benutzerschnittstelle einer integrierten Modula-2 Programmentwicklungsumgebung. In: Proceedings of GI-Workshop Sprachspezifische Programmierumgebungen, Darmstadt, Germany. ; 1988.
LibreCat
 

1988 | Conference Paper | LibreCat-ID: 13058
Schmid D, Wunderlich H-J, Feldbusch F, Hellebrand S, Holzinger J, Kunzmann A. Integrated Tools for Automatic Design for Testability. In: {In: Tool Integration and Design Environments, F.J. Rammig (Editor)}. Amsterdam, The Netherlands: Amsterdam: Elsevier Science Publishers B.V.(North Holland), IFIP; 1988:233-258.
LibreCat
 

1988 | Journal Article | LibreCat-ID: 15321
Domik G, Leberl F, Cimino J. Dependence of image grey values on topography in SIR-B images. International Journal of Remote Sensing. 1988;9(5):1013-1022.
LibreCat
 

1988 | Conference Paper | LibreCat-ID: 7819
Engels G, Hohenstein U, Neugebauer L, Saake G, Ehrich H-D. Konzeption einer integrierten Datenbank-Entwurfsumgebung. In: Proceedings of DBTA/SI Data Dictionaries Und Entwicklungswerkzeuge Für Datenbank-Anwendungen, Zürich, Switzerland. Verlag der Fachvereine an den Schweiz. Hochschulen und Techniken; 1988:151-157.
LibreCat
 

1988 | Journal Article | LibreCat-ID: 15322
Leberl F, Mayr W, Domik G, Kobrick M. SIR-B stereo-radargrammetry of Australia. International journal of remote sensing. 1988;9(5):997-1011.
LibreCat
 

1988 | Conference Paper | LibreCat-ID: 11794
Haeb-Umbach R, Meyr H. A digital Synchronizer for Linearly Modulated Signals Transmitted over a Frequency-Nonselective Fading Channel. In: International Conference on Communications, Philadelphia. ; 1988.
LibreCat | Download (ext.)
 

1988 | Conference Paper | LibreCat-ID: 13062
Hellebrand S, Wunderlich H-J. Automatisierung des Entwurfs vollständig testbarer Schaltungen. In: {GI - 18. Jahrestagung II, Hamburg, 1988, Informatik-Fachberichte 188}. Hamburg, Germany: Springer Verlag; 1988:145-159.
LibreCat
 

1989 | Conference Paper | LibreCat-ID: 7823
Engels G, Hohenstein U, Hülsmann K, Löhr-Richter P, Ehrich H-D. CADDY: Computer-Aided Design of Non-Standard Databases. In: Proceedings of the International Conference on System Development Environments & Factories, Berlin, Germany. Berlin: Pitman Publishing; 1989.
LibreCat
 

1989 | Conference Paper | LibreCat-ID: 13020
Wunderlich H-J, Hellebrand S. The Pseudo-Exhaustive Test of Sequential Circuits. In: {IEEE International Test Conference (ITC’89)}. Washington, DC, USA: {IEEE (Comput. Soc. Press)}; 1989:19-27. doi:10.1109/test.1989.82273
LibreCat | DOI
 

1989 | Report | LibreCat-ID: 8187
Engels G. Benutzerschnittstelle Und Architektur Der Integrierten Datenbankentwurfsumgebung CADDY (Kurzfassung). TU Braunschweig; 1989.
LibreCat
 

1989 | Book | LibreCat-ID: 3532
Gries T. Chaos in the Market of Foreign Exchange, in: Rieder, Gessner, Peyer, Immhoff, Radermacher (Eds).; 1989.
LibreCat
 

1989 | Book | LibreCat-ID: 7511
Engels G, Schäfer W. Programmentwicklungsumgebungen: Konzepte Und Realisierung. Stuttgart: Teubner; 1989.
LibreCat
 

1989 | Conference Paper | LibreCat-ID: 7821
Ebert J, Engels G. Konzepte einer Software-Architektur-Beschreibungssprache. In: Software-Entwicklung: Konzepte, Erfahrungen, Perspektiven, Fachtagung, 1989, Marburg (Germany). Vol 212. Informatik-Fachberichte. Berlin/Heidelberg: Springer; 1989:238-250.
LibreCat
 

1989 | Journal Article | LibreCat-ID: 11793
Haeb-Umbach R, Meyr H. A systematic approach to carrier recovery and detection of digitally phase modulated signals on fading channels. IEEE Transactions on Communications. 1989.
LibreCat
 

1989 | Conference Paper | LibreCat-ID: 7822
Engels G. CADDY-O: Syntaxgestütztes, graphisches Entwerfen konzeptioneller Datenbankschemata. In: Tagungsband GI-Fachtagung “Interaktive Schnittstellen Für Informationssysteme”, TU Clausthal, Notizen Zu Interaktive Systeme. Vol 18. ; 1989:1-16.
LibreCat
 

1990 | Dissertation | LibreCat-ID: 2621
Betz S. Investitionstheoretische Bestimmung der Abschreibungen für eine entscheidungsorientierte Kostenrechnung. Paderborn; 1990.
LibreCat
 

1990 | Conference Paper | LibreCat-ID: 13018
Hellebrand S, Wunderlich H-J. Tools and Devices Supporting the Pseudo-Exhaustive Test. In: {European Design Automation Conference (EDAC’90)}. Glasgow, UK: {IEEE (Comput. Soc. Press)}; 1990:13-17. doi:10.1109/edac.1990.136612
LibreCat | DOI
 

1990 | Conference Paper | LibreCat-ID: 15393
Domik G, Brugel E, Stencel R, Vasudevan S, Pang J. Applications of IRAS Preprocessing at the Workstation. In: Bulletin of the American Astronomical Society. Vol 22. ; 1990:828.
LibreCat
 

1990 | Book Chapter | LibreCat-ID: 3050
Alt H, Blömer J, Wagener H. Approximation of convex polygons. In: Automata, Languages and Programming. Berlin/Heidelberg: Springer-Verlag; 1990:703-716. doi:10.1007/bfb0032068
LibreCat | DOI
 

1990 | Conference Paper | LibreCat-ID: 7824
Hohenstein U, Engels G. Formal Semantics of an Entity-Relationship Query Language. In: Proceedings of the 9th International Conference on Entity-Relationship Approach (ER 90), Lausanne, Switzerland. ER Institute; 1990:177-188.
LibreCat
 

1990 | Conference Paper | LibreCat-ID: 8081
Krauter S, Hanitsch R. The Influence of the Capsulation on the Efficiency of PV-Modules. In: Proceedings of the 1st World Renewable Energy Congress, Reading (UK), 23.–28. September 1990, Band 1, S. 141–144. ; 1990. doi:10.1016/B978-0-08-037539-7.50062-4
LibreCat | DOI
 

1990 | Journal Article | LibreCat-ID: 3531
Gries T. Wechselkurstheorie und internationale monetäre Transmissionen . Jahrbuch für Sozialwissenschaften. 1990;41(1):3-41.
LibreCat
 

1990 | Conference Paper | LibreCat-ID: 13019
Hellebrand S, Wunderlich H-J, F. Haberl O. Generating Pseudo-Exhaustive Vectors for External Testing. In: {IEEE International Test Conference (ITC’90)}. Washington, DC, USA: {IEEE (Comput. Soc. Press)}; 1990:670-679. doi:10.1109/test.1990.114082
LibreCat | DOI
 

1990 | Misc | LibreCat-ID: 13103
Hellebrand S, Wunderlich H-J, F. Haberl O. Generating Pseudo-Exhaustive Vectors for External Testing. IEEE Design for Testability Workshop, Vail, CO, USA; 1990.
LibreCat
 

1990 | Journal Article | LibreCat-ID: 15394
Domik G, Brugel EW, Stencel RE, Pang J, Vasudevan S. Workstation-based preprocessing of IRAS sky-flux images. Publications of the Astronomical Society of the Pacific. 1990;102(656):1167.
LibreCat
 

1990 | Conference Paper | LibreCat-ID: 11800
Haeb-Umbach R, Rugar D, Howell T, Coleman GP. Coding and Signal Processing for a Magneto-optic Resonant Bias Coil Overwrite Experiment. In: International Conference on Communication, Atlanta. ; 1990.
LibreCat | Download (ext.)
 

1990 | Conference Paper | LibreCat-ID: 15395
Mickus K, Brugel E, Domik G, Ayres T. A case study: Multi-sensor data analysis of hh objects via star: A scientific toolkit for astrophysical research. In: Bulletin of the American Astronomical Society. Vol 22. ; 1990:1259.
LibreCat
 

1990 | Conference Paper | LibreCat-ID: 8259
Engels G. Elementary Actions on an Extended Entity-Relationship Database. In: Proceedings of the Workshop on Graph Grammars and Their Application to Computer Science (1990), Bremen (Germany). Vol 532. Berlin/Heidelberg: Springer; 1990:344-362. doi:http://dx.doi.org/10.1007/BFb0017372
LibreCat | DOI
 

1990 | Conference Paper | LibreCat-ID: 15051
Mickus K, Domik G, Brugel E, Ayres T. Star-a scientific toolkit for astrophysical research. In: Bulletin of the American Astronomical Society. Vol 22. ; 1990:828.
LibreCat
 

1991 | Conference Paper | LibreCat-ID: 3048
Alt H, Behrends B, Blömer J. Approximate matching of polygonal shapes (extended abstract). In: Proceedings of the Seventh Annual Symposium on Computational Geometry  - SCG ’91. ACM Press; 1991. doi:10.1145/109648.109669
LibreCat | DOI
 

1991 | Book Review | LibreCat-ID: 15609
Hagengruber R. Tommaso Campanella: Mathematica (Hrsg. von A. Brissoni. Rom: Gangemi, 1989). Sudhoffs Archive. 1991;75(1):118-119.
LibreCat
 

1991 | Conference Paper | LibreCat-ID: 3049
Blömer J. Computing sums of radicals in polynomial time. In: Proceedings 32nd Annual Symposium of Foundations of Computer Science. IEEE Comput. Soc. Press; 1991. doi:10.1109/sfcs.1991.185434
LibreCat | DOI
 

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 | Journal Article | LibreCat-ID: 15273
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 | Conference Paper | LibreCat-ID: 15275
Domik G, Joslyn C, Segura T. Macroscopic and Microscopic Aspects of Glyphs. In: Proceedings of the Vienna Conference on Human Computer Interaction. ; 1993.
LibreCat
 

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
 

1993 | Book Chapter | LibreCat-ID: 15570
Hagengruber R. Punkt und Mathematik in der Metaphysik des Tommaso Campanella. In: Albertini T, ed. Verum et Factum. Beiträge zur Geistesgeschichte und Philosophie der Renaissance. Festschrift zum 60. Geburtstag von Stephan Otto. Frankfurt u.a.: Peter Lang; 1993:505-514.
LibreCat
 

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 | Book Chapter | LibreCat-ID: 15610
Hagengruber R. Die Theorie des Punktes aus der Philosophie der Ähnlichkeit bei Tommaso Campanella. In: Gómez Pin V, ed. 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. Barcelona: Bellaterra; 1994:101-107.
LibreCat | Files available
 

1994 | Book Chapter | LibreCat-ID: 15608
Hagengruber R. Platons “Timaios”, eine Anleitung zur wissenschaftlichen Hypothesenbildung? In: Fritscher B, Brey G, eds. Cosmographica et Geographica. Algorismus. Studien zur Geschichte der Mathematik und der Naturwissenschaften. Vol 13. New York: Springer; 1994:75-96.
LibreCat
 

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
 

1994 | Book | LibreCat-ID: 6528
Bendfeld J, Ernst A, Ortjohann E. Windatlas für das PESAG-Versorgungsgebiet. Universität - GH Paderborn, Fachgebiet Elektrische Energieversorgung, Februar 1994; 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 6530
Bendfeld J, Ernst A, Ortjohann E, Langrock B, Scholz N. Flächendeckende Windpotentialbestimmung in einer Binnenlandregion mit ausgeprägter Orographie. In: Renergie 94 - Windenergienutzung im Binnenland, Solarenergienutzung in Deutschland. Renergie 94 - Windenergienutzung im Binnenland, Solarenergienutzung in Deutschland. ; 1994.
LibreCat
 

1994 | Journal Article | LibreCat-ID: 11796
Haeb-Umbach R, Ney H. Improvements in beam search for 10000-word continuous-speech recognition. IEEE Transactions on Speech and Audio Processing. 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 11878
Ney H, Steinbeiss V, Aubert XL, Haeb-Umbach R. Progress in Large-Vocabulary, Continuous Speech Recognition. In: Artifical Intelligence, Progress and Prospects of Speech Research and Technology, Munich. ; 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 13014
Hellebrand S, Wunderlich H-J. An Efficient Procedure for the Synthesis of Fast Self-Testable Controller Structures. In: {ACM/IEEE International Conference on Computer-Aided Design (ICCAD’94)}. San Jose, CA, USA: {IEEE}; 1994:110-116. doi:10.1109/iccad.1994.629752
LibreCat | DOI
 

1994 | Misc | LibreCat-ID: 13083
Venkataraman S, Rajski J, Hellebrand S, Tarnick S. Effiziente Testsatzkodierung Für Prüfpfad-Basierte Selbsttestarchitekturen. 6th ITG/GI/GME Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen”, Vaals, The Netherlands; 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 13468
Platzner M, Steger C, Weiss R. Experimental Evaluation of Multi-DSP Architectures in High Performance Applications. In: Proceedings of the 7th Mediterranean Electrotechnical Conference. IEEE Press; 1994.
LibreCat
 

1994 | Journal Article | LibreCat-ID: 13855
Schmidt WG, Wenzien B, Bechstedt F. Coverage-dependent bonding of Sb on GaAs (110). Surface Science. 1994;307-309(Part A):235-240. doi:10.1016/0039-6028(94)90400-6
LibreCat | DOI
 

1994 | Conference Paper | LibreCat-ID: 2452
Simon J. Leistung eines Parallelrechners auf Basis des PowerPC-Prozessors. In: Parallele Datenverarbeitung Aktuell: TAT ’94. Transputer and Occam Engineering Series. Amsterdam: IOS Press; 1994:38-45.
LibreCat
 

1994 | Journal Article | LibreCat-ID: 3068
Gries T, Hentschel C, Wigger B. Endogenous Growth and R&D Models - A Critical Appraisal of Recent Developments. Jahrbücher für Nationalökonomie und Statistik. 1994;213/1:64-84.
LibreCat
 

1994 | Journal Article | LibreCat-ID: 7407
Löhr-Richter P, Engels G. Visuelles Spezifizieren von komplexen Aktionen auf Datenbankstrukturen. GI-Datenbank Rundbrief. 1994;13:33-35.
LibreCat
 

1994 | Conference (Editor) | LibreCat-ID: 7798
Cuny J, Ehrig H, Engels G, Rozenberg G, eds. Graph Gramars and Their Application to Computer Science, 5th International Workshop (1994), Selected Papers. Vol 1073. Berlin/Heidelberg: Springer; 1994. doi:http://dx.doi.org/10.1007/3-540-61228-9
LibreCat | DOI
 

1994 | Conference Paper | LibreCat-ID: 8094
Krauter S, Hanitsch R. Einfluß optischer und thermischer Parameter auf den Tageswirkungsgrad von photovoltaischen Modulen. In: Neuntes Internationales Sonnenforum, Berlin (Deutschland), 28. Juni – 1. Juli 1994, S. 495–502. ; 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 8265
Engels G, Löhr P. Visual Specification of Complex Database Actions. In: Proceedings of the 2nd International East/West Database Workshop, Klagenfurt (Germany). Berlin/Heidelberg: Springer; 1994:303-314.
LibreCat
 

1994 | Journal Article | LibreCat-ID: 11879
Ney H, Steinbeiss V, Haeb-Umbach R, Tran BH. An Overview of the Philips Research System for Large Vocabulary Continuous Speech Recognition. International Journal on Pattern Recognition and Artificial Intelligence. 1994.
LibreCat
 

1994 | Misc | LibreCat-ID: 13084
Hellebrand S, Wunderlich H-J. Ein Verfahren Zur Testfreundlichen Steuerwerkssynthese. 6th ITG/GI/GME Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen”, Vaals, The Netherlands; 1994.
LibreCat
 

1994 | Journal Article | LibreCat-ID: 13856
Schmidt WG, Wenzien B, Bechstedt F. Chemisorption of antimony on GaAs(110). Physical Review B. 1994;49(7):4731-4744. doi:10.1103/physrevb.49.4731
LibreCat | DOI
 

1994 | Book Chapter | LibreCat-ID: 15509
Hagengruber R. Parallelen um den Punkt zwischen Campanella und Leibniz. In: Heinekamp A, Hein I, Stiftung Niedersachsen, eds. Leibniz und Europa. Vol 1. VI. Internationaler Leibniz-Kongress. ; 1994:309-315.
LibreCat
 

Filters and Search Terms

year<=2030 AND year>=1980

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year
Citation Style: AMA

Export / Embed