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.

8129 Publications


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
 

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

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

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

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

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

Filters and Search Terms

year<=2030 AND year>=1980

status=public

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year
Citation Style: AMA

Export / Embed