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.

7544 Publications


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

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

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

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

1983 | Journal Article | LibreCat-ID: 7412
An Operational Semantics for Specifications of Abstract Data Types with Error Handling
G. Engels, U. Pletat, H.-D. Ehrich, Acta Informatica 9 (1983) 235–254.
LibreCat | DOI
 

1983 | Journal Article | LibreCat-ID: 7411
Software Specification Using Graph Grammars
G. Engels, R. Gall, M. Nagl, W. Schäfer, Computing 31 (1983) 317–346.
LibreCat | DOI
 

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

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

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

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

1986 | Dissertation | LibreCat-ID: 7588
Graphen als zentrale Datenstrukturen in einer Software-Entwicklungsumgebung
G. Engels, Graphen Als Zentrale Datenstrukturen in Einer Software-Entwicklungsumgebung, 1986.
LibreCat
 

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

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

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

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

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

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

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

1987 | Conference Paper | LibreCat-ID: 8257
Graph Grammar Engineering: A Software Specification Method
G. Engels, C. Lewerentz, W. Schäfer, in: Proceedings of the 3rd International Workshop on Graph-Grammars and Their Application to Computer Science, Warrenton, VA (USA), Springer, Berlin/Heidelberg, 1987, pp. 186–201.
LibreCat | DOI
 

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

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

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

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

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

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

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

1988 | Conference Paper | LibreCat-ID: 7819
Konzeption einer integrierten Datenbank-Entwurfsumgebung
G. Engels, U. Hohenstein, L. Neugebauer, G. Saake, H.-D. Ehrich, 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, pp. 151–157.
LibreCat
 

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

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

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

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

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

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

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

1989 | Conference Paper | LibreCat-ID: 7821
Konzepte einer Software-Architektur-Beschreibungssprache
J. Ebert, G. Engels, in: Software-Entwicklung: Konzepte, Erfahrungen, Perspektiven, Fachtagung, 1989, Marburg (Germany), Springer, Berlin/Heidelberg, 1989, pp. 238–250.
LibreCat
 

1989 | Journal Article | LibreCat-ID: 11793 LibreCat
 

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

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

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

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

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

1990 | Conference Paper | LibreCat-ID: 8081
The Influence of the Capsulation on the Efficiency of PV-Modules.
S. Krauter, R. Hanitsch, in: Proceedings of the 1st World Renewable Energy Congress, Reading (UK), 23.–28. September 1990, Band 1, S. 141–144., 1990.
LibreCat | DOI
 

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

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

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

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

1990 | Conference Paper | LibreCat-ID: 8259
Elementary Actions on an Extended Entity-Relationship Database
G. Engels, in: Proceedings of the Workshop on Graph Grammars and Their Application to Computer Science (1990), Bremen (Germany), Springer, Berlin/Heidelberg, 1990, pp. 344–362.
LibreCat | DOI
 

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

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

1991 | Conference Paper | LibreCat-ID: 8082
Simulation-Program for Selecting Efficiency Improving Strategies of PV-Module-Encapsulations under Operating Conditions
S. Krauter, R. Hanitsch, P. Strauss, 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
Incremental Design of Conceptual Database Schemata with CADDY
P. Löhr-Richter, G. Engels, Incremental Design of Conceptual Database Schemata with CADDY, Leiden University, Leiden University, P.O. Box 9500, 2300 RA Leiden, The Netherlands, 1991.
LibreCat
 

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

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

1991 | Book Chapter | LibreCat-ID: 8894
Bifurcations in Dynamic Systems with Dry Friction
P. Stelter, W. Sextro, in: R. Seydel, F.W. Schneider, T. Küpper, H. Troger (Eds.), Bifurcation and Chaos: Analysis, Algorithms, Applications, Birkhäuser Basel, 1991, pp. 343–347.
LibreCat | DOI
 

1992 | Conference Paper | LibreCat-ID: 3047
How to denest Ramanujan's nested radicals
J. Blömer, in: Proceedings., 33rd Annual Symposium on Foundations of Computer Science, IEEE, 1992.
LibreCat | DOI
 

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

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

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

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

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

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

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

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

1992 | Misc | LibreCat-ID: 13076
Generation of Vector Patterns through Reseeding of Multiple-Polynomial LFSRs
S. Hellebrand, S. Tarnick, J. Rajski, B. Courtois, 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: 2457
Leistungssteigerung paralleler Systeme durch virtuelle Topologien
R. Diekmann, J. Simon, in: Abstraktband Des 4. Bundesweiten Transputer-Anwender-Treffens (TAT 92), 1992.
LibreCat
 

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

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

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

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

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

1992 | Conference Paper | LibreCat-ID: 10201
Complexity results for the default- and autoepistemic logic
E. Steffen, in: E. Börger (Ed.), Computer Science Logic , Springer Berlin Heidelberg, 1992, pp. 339–352.
LibreCat
 

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

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

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

1992 | Conference Paper | LibreCat-ID: 2460
Implementierung von Simulated Annealing auf Transputer-Systemen
R. Diekmann, R. Lüling, B. Monien, J. Simon, in: Parallele Datenverarbeitung Mit Dem Transputer, Springer, Berlin / Heidelberg, 1992, pp. 361–368.
LibreCat | DOI
 

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

1992 | Journal Article | LibreCat-ID: 7408
SQL/EER - Syntax and Semantics of an Entity-Relationship-Based Query Language
U. Hohenstein, G. Engels, Information Systems 17 (1992) 209–242.
LibreCat | DOI
 

1992 | Journal Article | LibreCat-ID: 7410
Conceptual Modelling of Database Applications Using an Extended ER Model
G. Engels, M. Gogolla, U. Hohenstein, K. Hülsmann, P. Löhr-Richter, G. Saake, H.-D. Ehrich, Data & Knowledge Engineering 9 (1992) 157–204.
LibreCat | DOI
 

1992 | Conference Paper | LibreCat-ID: 8083
Improvement of PV-Performance by Partly Structured Surfaces
S. Krauter, R. Hanitsch, 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
Performance of a Partly Structured Surface at a PV-Module
S. Krauter, R. Hanitsch, 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
Visual Specifications of Conceptual Database Schemata (Abstract)
G. Engels, Visual Specifications of Conceptual Database Schemata (Abstract), Leiden University, 1992.
LibreCat
 

1992 | Conference Paper | LibreCat-ID: 8261
Specification of Coordinated Behaviour in the Software Development Process
G. Engels, L. Groenewegen, in: Proceedings of the Second European Workshop on Software Process Technology (EWSPT 92), Trondheim, Norway, Springer, Berlin/Heidelberg, 1992, pp. 58–60.
LibreCat | DOI
 

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

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

1992 | Misc | LibreCat-ID: 13080
Generation of Vector Patterns through Reseeding of Multiple-Polynomial LFSRs
S. Hellebrand, S. Tarnick, J. Rajski, B. Courtois, 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: 2459
A General Purpose Distributed Implementation of Simulated Annealing
R. Diekmann, R. Lüling, J. Simon, in: Proc. IEEE Symp. on Parallel and Distributed Processing (SPDP), IEEE, 1992, pp. 94–101.
LibreCat | DOI
 

1992 | Book Chapter | LibreCat-ID: 3046
Resemblance and symmetries of geometric patterns
H. Alt, J. Blömer, in: Data Structures and Efficient Algorithms, Springer Berlin Heidelberg, Berlin, Heidelberg, 1992, pp. 1–24.
LibreCat | DOI
 
 

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

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

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

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

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

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

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

1993 | Conference Paper | LibreCat-ID: 11904
The Philips Research System for Large-Vocabulary Continuous-Speech Recognition
V. Steinbiss, H. Ney, R. Haeb-Umbach, B.-H. Train, U. Essen, R. Kneser, M. Oerder, H.G. Meier, X. Aubert, C. Dugast, D. Geller, W. Hoellerbauer, H. Bartosik, in: EUROSPEECH, Berlin, 1993.
LibreCat | Download (ext.)
 

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

1993 | Book Chapter | LibreCat-ID: 2456
Problem Independent Distributed Simulated Annealing and its Applications
R. Diekmann, J. Simon, in: Applied Simulated Annealing, Springer, Berlin / Heidelberg, 1993, pp. 17–44.
LibreCat | DOI
 

1993 | Journal Article | LibreCat-ID: 1655 LibreCat
 

1993 | Journal Article | LibreCat-ID: 1656 LibreCat
 

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

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

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

1993 | Report | LibreCat-ID: 3045
On Kummer theory and the number of roots of unity in radical extensions of Q
J. Blömer, 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
The Dynamics of Upgrading or how to catch-up
T. Gries, B. Wigger, Economia Internationale 46 (1993) 3–13.
LibreCat
 

1993 | Journal Article | LibreCat-ID: 1657 LibreCat
 

1993 | Conference Paper | LibreCat-ID: 7826
Integrationsaspekte bei verteilter Software-Entwicklung
G. Engels, A.A. Verrijn-Stuart, in: Fortschritt-Berichte VDI, VDI Verlag, 1993, pp. 45–53.
LibreCat
 

1993 | Conference Paper | LibreCat-ID: 8090
Optical and Thermal Parameters of PV-Module Encapsulation Improving Output Power
S. Krauter, R. Hanitsch, 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
Towards a Module Concept for Graph Transformation Systems
H. Ehrig, G. Engels, Towards a Module Concept for Graph Transformation Systems, Vakgroep Informatica, Rijksuniversiteit Leiden, 1993.
LibreCat
 

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

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

1993 | Conference Paper | LibreCat-ID: 8089
Calculating the Influence of Skylight-Polarization on the Transmission of Encapsulations of PV-Modules
S. Krauter, R. Hanitsch, 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
Betriebsmodell der optischen, thermischen und elektrischen Parameter von PV-Modulen
S. Krauter, Betriebsmodell Der Optischen, Thermischen Und Elektrischen Parameter von PV-Modulen, Verlag Köster, Berlin, 1993.
LibreCat
 

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

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

1993 | Conference Paper | LibreCat-ID: 11718 LibreCat | Download (ext.)
 

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

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

1994 | Journal Article | LibreCat-ID: 1659 LibreCat
 

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

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

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

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

1994 | Conference Paper | LibreCat-ID: 3263
Weak Sequential Composition in Process Algebras
A. Rensink, H. Wehrheim, in: B. Jonsson, J. Parrow (Eds.), {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
Aussagenlogik - Deduktion und Algorithmen
H. Kleine Büning, T. Lettmann, Aussagenlogik - Deduktion und Algorithmen, Teubner, 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 8092
Optical Modelling, Simulation and Improvement of PV Module Encapsulation
S. Krauter, R. Hanitsch, P. Campbell, S.R. Wenham, 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
Observable or Invocable Behaviour - You Have to Choose
J. Ebert, G. Engels, Observable or Invocable Behaviour - You Have to Choose, Vakgroep Informatica, Rijksuniversiteit Leiden, 1994.
LibreCat
 

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

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

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

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

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

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

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

1994 | Conference Paper | LibreCat-ID: 8093
Simulation Tool for Prediction and Optimization of Output Power Considering Thermal and Optical Parameters of PV Module Encapsulation
P. Strauss, K. Onneken, S. Krauter, R. Hanitsch, 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
Specification of coordinated behaviour by SOCCA
G. Engels, L. Groenewegen, in: Proceedings of the Third European Workshop on Software Process Technology (EWSPT 1994), Villard de Lans (France), Springer, Berlin/Heidelberg, 1994, pp. 128–151.
LibreCat | DOI
 

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

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

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

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

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

1994 | Misc | LibreCat-ID: 13083
Effiziente Testsatzkodierung für Prüfpfad-basierte Selbsttestarchitekturen
S. Venkataraman, J. Rajski, S. Hellebrand, S. Tarnick, 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: 2452
Leistung eines Parallelrechners auf Basis des PowerPC-Prozessors
J. Simon, in: Parallele Datenverarbeitung Aktuell: TAT ’94, IOS Press, Amsterdam, 1994, pp. 38–45.
LibreCat
 

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

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

1994 | Conference (Editor) | LibreCat-ID: 7798
Graph Gramars and Their Application to Computer Science, 5th International Workshop (1994), Selected Papers
J. Cuny, H. Ehrig, G. Engels, G. Rozenberg, eds., Graph Gramars and Their Application to Computer Science, 5th International Workshop (1994), Selected Papers, Springer, Berlin/Heidelberg, 1994.
LibreCat | DOI
 

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

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

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

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

1994 | Conference Paper | LibreCat-ID: 8095
Simulation of Thermal and Optical Performance of PV Modules
S. Krauter, R. Hanitsch, S.R. Wenham, in: Proceedings of the 3rd World Renewable Energy Congress, Reading (UK), 11.–16. September 1994, 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 13059
Synthese schneller selbsttestbarer Steuerwerke
S. Hellebrand, H.-J. Wunderlich, in: {Tagungsband Der GI/GME/ITG-Fachtagung \& Rechnergestützter Entwurf Und Architektur Mikroelektronischer Systeme}, Oberwiesenthal, Informatik Xpress 4, TU Chemnitz Zwickau, Germany, 1994, pp. 3–11.
LibreCat
 

1994 | Misc | LibreCat-ID: 13085
Synthesis for Testability - the ARCHIMEDES Approach
S. Hellebrand, J. Paulo Teixeira, H.-J. Wunderlich, Synthesis for Testability - the ARCHIMEDES Approach, 1st IEEE International Test Synthesis Workshop, Santa Barbara, CA, USA, 1994.
LibreCat
 

1994 | Journal Article | LibreCat-ID: 1660
Die Mitwirkungsrechte gemäß Betriebsverfassung
D. Krimphove, Arbeit Und Arbeitsrecht (AuA) (1994) 215 ff.
LibreCat
 

1994 | Book Chapter | LibreCat-ID: 7512
Design Representation
J. Ebert, G. Engels, in: Encyclopedia of Software Engineering, John Wiley & Sons, Inc., 1994, pp. 382–394.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 7827
Berücksichtigung von Datenschutzaspekten in einem bevölkerungsbezogenen Krebsregister
W. Thoben, H.-J. Appelrath, J. Rettig, S. Sauer, in: Proceedings of the Conference on Medizin Und Information, Biometrie Und Epidemiologie (GMDS 1994), Dresden (Germany), MMV Medizin Verlag, München, 1994, pp. 88–90.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 8096
Actual Optical and Thermal Performance of PV-Modules
S. Krauter, in: Proceedings of the 1st World Conference on Photovoltaic Energy Conversion (Joint Congress of IEEE/PVSEC/EUPVSEC), Waikoloa, Hawaii (USA), 5.–9. Dezember 1994, S. 734–737., 1994.
LibreCat
 

1994 | Report | LibreCat-ID: 13024
Synthesis for Off-line Testability
S. Hellebrand, A. Juergensen, H.-J. Wunderlich, Synthesis for Off-Line Testability, University of Siegen, Germany, 1994.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 2208
Exploiting Storage Redundancy to Speed Up Randomized Shared Memory Simulations
F. Meyer auf der Heide, C. Scheideler, V. Stemann, in: STACS, 1995, pp. 267--278.
LibreCat | Files available
 

1995 | Conference Paper | LibreCat-ID: 2448
An Efficient Mapping Library for Parix
T. Römke, M. Röttger, U.-P. Schroeder, J. Simon, in: Proc. ZEUS Workshop on Par. Programming and Computation, IOS Press, 1995.
LibreCat
 

1995 | Report | LibreCat-ID: 2450
SparcStation SCI-Interface
J. Gehring, J. Simon, SparcStation SCI-Interface, Paderborn Center for Parallel Computing, 1995.
LibreCat
 

1995 | Journal Article | LibreCat-ID: 2563 LibreCat
 

1995 | Book Chapter | LibreCat-ID: 8078
Existenzgründung
H.-H. Kremer, in: U. Braukmann, A. Diettrich, H.-H. Kremer, P.F.E. Sloane, E. Stickling (Eds.), Meisterprüfung - Lernen Für Die Praxis - Unternehmensführung 1, 1st ed., Düsseldorf, 1995, pp. 19–94.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 8097
Solar Electricity up to 30% less expensive by optical and thermal enhanced PV modules
S. Krauter, in: Proceedings of the ISES Solar World Congress 1995, Harare (Simbabwe), 11.–15. September 1995., 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 8100
Thermal and Optical Enhanced PV-Modules
S. Krauter, in: Proceedings of the 13th European Photovoltaic Solar Energy Conference, Nizza (Frankreich), 23.–27. Oktober 1995, S. 2306–2309., 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 8268
GRAPHIT: Graphical Support and Integration of Formal and Semiformal Methods for Software Specification and Development
B. Bardohl, R. Bardohl, P. Castro, H. Ehrig, R. Heckel, L. Ribeiro, D. Nunes, A. Martini, in: Proceedings of the 3rd German-Brazilian Workshop on Information Technology (1995), Berlin (Germany), Forschungszentrum Jülich GmbH, 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 8270
Ensuring Consistency of Conditional Graph Grammars - A constructive Approach
R. Heckel, A. Wagner, in: Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy), Elsevier, 1995, pp. 118–126.
LibreCat | DOI
 

1995 | Book Chapter | LibreCat-ID: 3530
Neue regionale Wachstumstheorie und Humankapital als regionaler charakteristischer Faktor
T. Gries, in: B. Gahlen, H. Hesse (Eds.), Standort Und Region, Neue Ansätze Zur Regionalökonomik, Mohr (Siebeck), Tübingen, 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 11757
Application of Clustering Techniques to Mixture Density Modelling for Continuous-Speech Recognition
C. Dugast, P. Beyerlein, R. Haeb-Umbach, in: ICASSP, Detroit, 1995.
LibreCat | Download (ext.)
 

1995 | Journal Article | LibreCat-ID: 11764
User interface design of voice controlled consumer electronics
S. Gamm, R. Haeb-Umbach, Philips Journal of Research (1995).
LibreCat
 

1995 | Journal Article | LibreCat-ID: 10610
Exploiting Parallelism in Constraint Satisfaction for Qualitative Simulation
M. Platzner, B. Rinner, R. Weiss, J.UCS Journal of Universal Computer Science 12 (1995) 811–820.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 2449
On Efficient Embeddings of Grids into Grids in PARIX
T. Römke, M. Röttger, U.-P. Schroeder, J. Simon, in: Proc. European Conf. on Parallel Processing (Euro-Par), Springer, Berlin / Heidelberg, 1995, pp. 179–192.
LibreCat | DOI
 

1995 | Book Chapter | LibreCat-ID: 2451
Parallel CG Poisson Solver for PowerPC 601
S. Blazy, U. Dralle, J. Simon, in: PowerXplorer User Report - Applications and Projects on the Parsytec PowerXplorer Parallel Computer, Heinrich-Heine-Universität, Düsseldorf, 1995.
LibreCat
 

1995 | Journal Article | LibreCat-ID: 2576
Die Erfahrungskurve als Instrument der Zielkostenspaltung
S. Betz, Betriebswirtschaftliche Forschung und Praxis 47 (1995) 609–625.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 7831
Attributed Graph Transformations with Controlled Application of Rules
R. Heckel, J. Müller, G. Taentzer, A. Wagner, in: Proceedings of the Colloquium on Graph Transformation and Its Application in Computer Science, Universitat de les Illes Balears, 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 8098
STOPV: A Development Tool for Thermal and Optical Optimization of PV Module Encapsulations
K. Onneken, S. Krauter, in: Proceedings of the 1995 ISES Solar World Congress, Harare (Simbabwe), 11.–15. September 1995, 1995.
LibreCat
 

1995 | Report | LibreCat-ID: 8194
Graphische Spezifikation ausgewählter Teile von AGG - einem algebraischen Graphgrammatiksystem
M. Conrad, M. Gajewsky, R. Holl-Biniasz, M. Rudolf, J. Demuth, S. Weber, R. Heckel, J. Müller, G. Taentzer, A. Wagner, Graphische Spezifikation Ausgewählter Teile von AGG - Einem Algebraischen Graphgrammatiksystem, 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 8269
Encapsulated Hierarchical Graphs, Graph Types, and Meta Types
G. Engels, A. Schürr, in: Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy), Elsevier, Amsterdam, The Netherlands, 1995, pp. 101–109.
LibreCat | DOI
 

1995 | Conference Paper | LibreCat-ID: 11765
Human Factors of a Voice-Controlled Car Stereo
S. Gamm, R. Haeb-Umbach, in: Eurospeech, Madrid, 1995.
LibreCat
 

1995 | Journal Article | LibreCat-ID: 11948
Continuous speech dictation - From theory to practice
V. Steinbiss, H.J. Ney, U. Essen, B.H. Tran, X.L. Aubert, C. Dugast, R. Kneser, H.G. Meier, M. Oerder, R. Haeb-Umbach, D. Geller, W. Hoellerbauer, H. Bartosik, Speech Communication (1995).
LibreCat
 

1995 | Journal Article | LibreCat-ID: 11905
The Philips Research system for continuous-speech dictation
V. Steinbiss, H.J. Ney, X.L. Aubert, S. Besling, C. Dugast, U. Essen, D. Geller, R. Haeb-Umbach, R. Kneser, H.G. Meier, M. Oerder, B.H. Tran, Philips Journal of Research (1995).
LibreCat
 

1995 | Report | LibreCat-ID: 13026
Synthesis Procedures for Self-Testable Controllers
S. Hellebrand, H.-J. Wunderlich, Synthesis Procedures for Self-Testable Controllers, University of Siegen, Germany, 1995.
LibreCat
 

1995 | Book Chapter | LibreCat-ID: 2091
Kommentar § 5 c GWB (Einkaufskooperationen)
D. Krimphove, in: H. Müller-Henneberg, G. Schwartz, W. Benisch (Eds.), Gesetz Gegen Wettbewerbsbeschränkungen Und Europäisches Kartellrecht , 4th ed., Carl Heymanns Verlag KG, Köln, 1995.
LibreCat
 

1995 | Journal Article | LibreCat-ID: 2577
Kostenorientierte Planung der Entsorgungslogistik
S. Betz, Zeitschrift Für Planung 6 (1995) 321–339.
LibreCat
 

1995 | Journal Article | LibreCat-ID: 3037
Approximate matching of polygonal shapes
H. Alt, B. Behrends, J. Blömer, Annals of Mathematics and Artificial Intelligence 13 (1995).
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 7832
Record Linkage of Anonymous Data by Control Numbers
W. Thoben, H.-J. Appelrath, S. Sauer, in: Proceedings of the 18th Annual Conference of the Gesellschaft Für Klassifikation, Oldenburg (Germany), Springer, Berlin/Heidelberg, 1995, pp. 412–419.
LibreCat
 

1995 | Book Chapter | LibreCat-ID: 7976
Planung und Durchführung der Ausbildung
H.-H. Kremer, in: U. Braukmann, D. Euler, H.-H. Kremer, M. Theis (Eds.), Meisterprüfung - Lernen für die Praxis, Ausbilden im Handwerk. Dozentenhandbuch für Teil IV der Meisterausbildung., 1st ed., Düsseldorf, 1995, pp. 1–123.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 8099
Actual Optical and Thermal Performance of PV-Modules
S. Krauter, in: Proceedings of the ISES Solar World Congress 1995, Harare (Simbabwe), 11.–15. September 1995, 1995.
LibreCat
 

1995 | Report | LibreCat-ID: 8195
Specialization of Object Life Cycle Definitions
J. Ebert, G. Engels, Specialization of Object Life Cycle Definitions, University of Koblenz-Landau, Koblenz, 1995.
LibreCat
 

1995 | Book Chapter | LibreCat-ID: 8354
Existenzgründung
H.-H. Kremer, in: U. Braukmann, A. Diettrich, H.-H. Kremer, P.F.E. Sloane, E. Stickling (Eds.), Meisterprüfung - Lernen für die Praxis - Unternehmensführung 1, 1st ed., Düsseldorf, 1995, pp. 19–94.
LibreCat
 

1995 | Report | LibreCat-ID: 13027
Evaluation of Self-Testable Controller Architectures Based on Realistic Fault Analysis
S. Hellebrand, H.-J. Wunderlich, F. Goncalves, J. Paulo Teixeira, Evaluation of Self-Testable Controller Architectures Based on Realistic Fault Analysis, University Siegen, Germany, 1995.
LibreCat
 

1995 | Journal Article | LibreCat-ID: 2561 LibreCat
 

1995 | Journal Article | LibreCat-ID: 2573
Gemeinkostencontrolling auf Basis der Prozesskostenrechnung
S. Betz, Kostenrechnungspraxis 39 (1995) 135–144.
LibreCat
 

1995 | Report | LibreCat-ID: 3038
An XOR-based erasure-resilient coding scheme
J. Blömer, M. Kalfane, R. Karp, M. Karpinski, M. Luby, D. Zuckerman, An XOR-Based Erasure-Resilient Coding Scheme, Berkeley, USA, 1995.
LibreCat | Files available
 

1995 | Book | LibreCat-ID: 1602
Die Gründung einer GmbH
D. Krimphove, C. Brehmer, Die Gründung Einer GmbH, FHTW Schriftenreihe, Berlin, 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 7833
Embedding of Conditional Graph Transformations
R. Heckel, in: Proceedings of the Colloquium on Graph Transformation and Its Application in Computer Science, Universitat de les Illes Balears, 1995.
LibreCat
 

1995 | Book Chapter | LibreCat-ID: 8076
Grundfragen der Berufsbildung
D. Euler, H.-H. Kremer, M. Theis, in: U. Braukmann, D. Euler, H.-H. Kremer, M. Theis (Eds.), Meisterprüfung - Lernen Für Die Praxis, Ausbilden Im Handwerk. Dozentenhandbuch Für Teil IV Der Meisterausbildung., 1st ed., Düsseldorf, 1995, pp. 1–23.
LibreCat
 

1995 | Report | LibreCat-ID: 8196
Encapsulated Hierarchical Graphs, Graph Types, and Meta Types
G. Engels, A. Schürr, Encapsulated Hierarchical Graphs, Graph Types, and Meta Types, Vakgroep Informatica, Rijksuniversiteit Leiden, 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 8266
Coordination by Behavioural Views and Communication Patterns
L. Groenewegen, G. Engels, in: Proceedings of the 4th European Workshop on Software Process Technology (EWSPT 1995), Noordwijkerhout (The Netherlands), Springer, Berlin/Heidelberg, 1995, pp. 189–192.
LibreCat | DOI
 

1995 | Book | LibreCat-ID: 3386
Wachstum, Humankapital und die Dynamik der komparativen Vorteile
T. Gries, Wachstum, Humankapital Und Die Dynamik Der Komparativen Vorteile, Mohr (Siebeck), Tübingen, 1995.
LibreCat
 

Filters and Search Terms

year<=2030 AND year>=1980

status=public

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year

Export / Embed