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.

9998 Publications


1979 | Journal Article | LibreCat-ID: 16812
A comparison of two variations of a pebble game on graphs
F. Meyer auf der Heide, Automata, Languages and Programming. ICALP 1979 (1979) 411–421.
LibreCat | DOI
 

1980 | Book Chapter | LibreCat-ID: 16815
Untere Zeitschranken für das Rucksack-Problem
P. Klein, F. Meyer auf der Heide, in: GI - 10. Jahrestagung, Berlin, Heidelberg, 1980.
LibreCat | DOI
 

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

1981 | Book Chapter | LibreCat-ID: 16813
Random access machines and straight-line programs
F. Meyer auf der Heide, A. Rollik, in: Fundamentals of Computation Theory, Berlin, Heidelberg, 1981.
LibreCat | DOI
 

1981 | Journal Article | LibreCat-ID: 16820
A comparison of two variations of a pebble game on graphs
F. Meyer auf der Heide, Theoretical Computer Science (1981) 315–322.
LibreCat | DOI
 

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 | Book Chapter | LibreCat-ID: 16814
Time-processor trade-offs for universal parallel computers
F. Meyer auf der Heide, in: Lecture Notes in Computer Science, Berlin, Heidelberg, 1981.
LibreCat | DOI
 

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: 16808
Infinite cube-connected cycles
F. Meyer auf der Heide, Information Processing Letters (1983) 1–2.
LibreCat | DOI
 

1983 | Book Chapter | LibreCat-ID: 16810
Efficiency of universal parallel computers
F. Meyer auf der Heide, in: Lecture Notes in Computer Science, Berlin/Heidelberg, 1983.
LibreCat | DOI
 

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 | Conference Paper | LibreCat-ID: 16809
A polynomial linear search algorithm for the n-dimensional knapsack problem
F. Meyer auf der Heide, in: Proceedings of the Fifteenth Annual ACM Symposium on Theory of Computing  - STOC ’83, 1983.
LibreCat | DOI
 

1983 | Journal Article | LibreCat-ID: 16806
Efficiency of universal parallel computers
F. Meyer auf der Heide, Acta Informatica (1983) 269–296.
LibreCat | DOI
 

1983 | Journal Article | LibreCat-ID: 16807
A lower time bound for the knapsack problem on random access machines
P. Klein, F. Meyer auf der Heide, Acta Informatica (1983) 385–395.
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
 

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

1984 | Conference Paper | LibreCat-ID: 16920
Radar Image Simulation and its Application in Image Analysis
G. Domik-Kienegger, F. Leberl, M. Kobrick, in: 1984, pp. 99–108.
LibreCat
 

1984 | Journal Article | LibreCat-ID: 16785
A Polynomial Linear Search Algorithm forr the n-Dimensional Knapsack Problem
F. Meyer auf der Heide, Journal of the ACM (JACM) (1984) 668–676.
LibreCat | DOI
 

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

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

1984 | Journal Article | LibreCat-ID: 16919
Analyse von Radarbildern mittels digitaler Hoehenmodelle
G. Domik-Kienegger, M. Kobrick, F. Leberl, Bildmessung Und Luftbildwesen 52 (1984) 249–263.
LibreCat
 

1984 | Conference Paper | LibreCat-ID: 16921
Rectification of Radar Images Using Stereo- Derived Height Models and Simulations
G. Domik-Kienegger, F. Leberl, J. Raggam, in: 1984, pp. 109–111.
LibreCat
 

1984 | Conference Paper | LibreCat-ID: 16786
On The Limits To Speed Up Parallel Machines By Large Hardware And Unbounded Communication
F. Meyer auf der Heide, R. Reischuk, in: 25th Annual Symposium OnFoundations of Computer Science, 1984., 1984.
LibreCat | DOI
 

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

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

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

1984 | Conference Paper | LibreCat-ID: 16922
Method to Relate Digital SAR Images and Map Information in Mountainous Areas
G. Domik-Kienegger, E. Kienegger, in: Proceedings of the World Conference on Remote Sensing, 1984.
LibreCat
 

1984 | Book Chapter | LibreCat-ID: 16787
Efficient simulations among several models of parallel computers (extended abstract)
F. Meyer auf der Heide, in: STACS 84, Berlin, Heidelberg, 1984.
LibreCat | DOI
 

1985 | Conference Paper | LibreCat-ID: 16783
One, two, three . . . infinity: lower bounds for parallel computation
F.E. Fich, F. Meyer auf der Heide, P. Ragde, A. Wigderson, in: Proceedings of the Seventeenth Annual ACM Symposium on Theory of Computing  - STOC ’85, 1985.
LibreCat | DOI
 

1985 | Conference Paper | LibreCat-ID: 16788
Nondeterministic versus probabilistic linear search algorithms
F. Meyer auf der Heide, in: 26th Annual Symposium on Foundations of Computer Science (Sfcs 1985), 1985.
LibreCat | DOI
 

1985 | Conference Paper | LibreCat-ID: 16784
Fast algorithms for n-dimensional restrictions of hard problems
F. Meyer auf der Heide, in: Proceedings of the Seventeenth Annual ACM Symposium on Theory of Computing  - STOC ’85, 1985.
LibreCat | DOI
 

1985 | Journal Article | LibreCat-ID: 16823
Lower time bounds for solving linear diophantine equations on several parallel computational models
F. Meyer auf der Heide, Information and Control 67 (1985) 195–211.
LibreCat | DOI
 

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

1985 | Journal Article | LibreCat-ID: 16780
Lower bounds for solving linear diophantine equations on random access machines
F. Meyer auf der Heide, Journal of the ACM (JACM) (1985) 929–937.
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 | Journal Article | LibreCat-ID: 15315
Radar image simulation as a tool to analyze topographic effects on geometry and radiometry of radar imagery
G. Domik, Machine Processing of Remotely Sensed Data- Quantifying Global Process: Models, Sensor Systems, and Analytical Methods (1985) 248–253.
LibreCat
 

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

1985 | Journal Article | LibreCat-ID: 16779
Lower time bounds for integer programming with two variables
C. Lautemann, F. Meyer auf der Heide, Information Processing Letters (1985) 101–105.
LibreCat | DOI
 

1985 | Journal Article | LibreCat-ID: 16781
Simulating probabilistic by deterministic algebraic computation trees
F. Meyer auf der Heide, Theoretical Computer Science (1985) 325–330.
LibreCat | DOI
 

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
 

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

1985 | Conference Paper | LibreCat-ID: 16782
The complexity of parallel sorting
F. Meyer auf der Heide, A. Wigderson, in: 26th Annual Symposium on Foundations of Computer Science (Sfcs 1985), 1985.
LibreCat | DOI
 

1986 | Conference Paper | LibreCat-ID: 15317
Developing tools for digital radar image data evaluation
G. Domik, F. Leberl, J. Raggam, 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., 1986, pp. 117–119.
LibreCat
 

1986 | Journal Article | LibreCat-ID: 15254
Radargrammetric Experiments with Space Shuttle SIR-B Imagery
F. Leberl, G. Domik, J. Raggam, J. Cimino, M. Kobrick, 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 | Journal Article | LibreCat-ID: 16771
Efficient Simulations among Several Models of Parallel Computers
F. Meyer auf der Heide, SIAM Journal on Computing (1986) 106–119.
LibreCat | DOI
 

1986 | Book Chapter | LibreCat-ID: 16776
A time-space tradeoff for element distinctness
A. Borodin, F. Fich, F. Meyer auf der Heide, E. Upfal, A. Wigderson, in: STACS 86, Berlin, Heidelberg, 1986.
LibreCat | DOI
 

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 | Journal Article | LibreCat-ID: 14895
Radar stereomapping techniques and application to SIR-B images of Mt. Shasta
F.W. Leberl, G. Domik-Kienegger, J. Rraggam, M. Kobrick, IEEE Transactions on Geoscience and Remote Sensing (1986) 473–481.
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 | Conference Paper | LibreCat-ID: 15318
Using secondary image products to aid in understanding and interpretation of radar imagery
G. Domik, F. Leberl, in: IGARSS’86: Remote Sensing: Today’s Solutions for Tomorrow’s Information Needs, 1986.
LibreCat
 

1986 | Journal Article | LibreCat-ID: 16917
Radar Stereomapping Techniques and Application to SIR-B Images of Mt. Shasta
F. Leberl, G. Domik-Kienegger, J. Raggam, M. Kobrick, IEEE Transactions on Geoscience and Remote Sensing GE-24 (1986) 473–481.
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 | 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 | Conference Paper | LibreCat-ID: 15179
Digital terrain mapping with STAR-1 SAR data
J. Mercer, R. Lowry, F. Leberl, G. Domik, in: International Geoscienee and Remote Sensing Symposium, 1986, pp. 645–650.
LibreCat
 

1986 | Journal Article | LibreCat-ID: 16918
Multiple Incidence Angle SIR-B Expenment Over Argentina: Stereo-Radargrammetrc Analysis
F. Leberl, G. Domik-Kienegger, J. Raggam, J. Cimino, M. Kobrick, IEEE Transactions on Geoscience and Remote Sensing GE-24 (1986) 482–491.
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 | Book Chapter | LibreCat-ID: 16774
A tradeoff between search and update time for the implicit dictionary problem
A. Borodin, F.E. Fich, F. Meyer auf der Heide, E. Upfal, A. Wigderson, in: Automata, Languages and Programming, Berlin, Heidelberg, 1986.
LibreCat | DOI
 

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

1986 | Book Chapter | LibreCat-ID: 16775
Speeding up random access machines by few processors
F. Meyer auf der Heide, in: STACS 86, Berlin, Heidelberg, 1986.
LibreCat | DOI
 

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: 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: 15038
Methods and application of surface shape reconstruction from multiple SAR images
G. Domik, in: IGARSS’87-International Geoscience and Remote Sensing Symposium, 1987, pp. 1551–1555.
LibreCat
 

1987 | Conference Paper | LibreCat-ID: 16916
Digital Rectification Method for Radar Images Applied on Huge Arrays
G. Domik-Kienegger, in: Proceedings of the First Int’l. Workshop on Image Rectification Tech. for Spaceborne Synthetic Aperture Radar, 1987, pp. 67–68.
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 | Journal Article | LibreCat-ID: 16772
A Time-Space Tradeoff for Element Distinctness
A. Borodin, F. Fich, F. Meyer auf der Heide, E. Upfal, A. Wigderson, SIAM Journal on Computing (1987) 97–99.
LibreCat | DOI
 

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
 

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

1987 | Journal Article | LibreCat-ID: 16773
The Complexity of Parallel Sorting
F. Meyer auf der Heide, A. Wigderson, SIAM Journal on Computing (1987) 100–107.
LibreCat | DOI
 

1987 | Conference Paper | LibreCat-ID: 15050
Methods and accuracy of operational digital image mapping with aircraft SAR
F. Leberl, G. Domik, B.J. Mercer, in: 1987 ASPRS ACSM Annual Convention, 1987, pp. 148–158.
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 | Journal Article | LibreCat-ID: 16764
Fast algorithms for N-dimensional restrictions of hard problems
F. Meyer auf der Heide, Journal of the ACM (JACM) (1988) 740–747.
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: 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: 15320
A multi-spectral analysis system using large databases.
E.W. Brugel, G. Domik, S.A. Voels, in: European Southern Observatory Conference and Workshop Proceedings, 1988, pp. 3–8.
LibreCat
 

1988 | Journal Article | LibreCat-ID: 16765
A tradeoff between search and update time for the implicit dictionary problem
A. Borodin, F.E. Fich, F. Meyer auf der Heide, E. Upfal, A. Wigderson, Theoretical Computer Science (1988) 57–68.
LibreCat | DOI
 

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

1988 | Conference Paper | LibreCat-ID: 16766
Dynamic perfect hashing: upper and lower bounds
M. Dietzfelbinger, A. Karlin, K. Mehlhorn, F. Meyer auf der Heide, H. Rohnert, R.E. Tarjan, in: [Proceedings 1988] 29th Annual Symposium on Foundations of Computer Science, 1988.
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 | Journal Article | LibreCat-ID: 15322
SIR-B stereo-radargrammetry of Australia
F. Leberl, W. Mayr, G. Domik, M. Kobrick, International Journal of Remote Sensing 9 (1988) 997–1011.
LibreCat
 

1988 | Book Chapter | LibreCat-ID: 16767
On computations with integer division
B. Just, F. Mathematik, F. Meyer auf der Heide, F. Informatik, A. Wigderson, in: STACS 88, Berlin, Heidelberg, 1988.
LibreCat | DOI
 

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
 

1988 | Journal Article | LibreCat-ID: 16763
On the limits of computations with the floor function
L. Babai, B. Just, F. Meyer auf der Heide, Information and Computation (1988) 99–107.
LibreCat | DOI
 

1988 | Book Chapter | LibreCat-ID: 16768
Upper and lower bounds for the dictionary problem
M. Dietzfelbinger, K. Mehlhorn, F. Meyer auf der Heide, H. Rohnert, in: SWAT 88, Berlin, Heidelberg, 1988.
LibreCat | DOI
 

1988 | Conference Paper | LibreCat-ID: 16915
Enhancement Techniques in Digital Image Processing
G. Domik-Kienegger, in: Proceedings of the Computer Science Symposium, Graz, Austria, 1988, pp. 211–217.
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 | Book Chapter | LibreCat-ID: 16745
On genuinely time bounded computations
F. Meyer auf der Heide, in: STACS 89, Berlin/Heidelberg, 1989.
LibreCat | DOI
 

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 | Journal Article | LibreCat-ID: 16682
Computational methods for bifurcation problems with symmetries—with special attention to steady state and Hopf bifurcation points
M. Dellnitz, B. Werner, Journal of Computational and Applied Mathematics (1989) 97–123.
LibreCat | DOI
 

1989 | Book Chapter | LibreCat-ID: 16746
Time-optimal simulations of networks by universal parallel computers
F. Meyer auf der Heide, R. Wanka, in: STACS 89, Berlin/Heidelberg, 1989.
LibreCat | DOI
 

1989 | Book Chapter | LibreCat-ID: 16789
Computing minimum spanning forests on 1- and 2-dimensional processor arrays
F. Meyer auf der Heide, in: STACS 89, Berlin, Heidelberg, 1989.
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 | Journal Article | LibreCat-ID: 11793 LibreCat
 

1989 | Journal Article | LibreCat-ID: 16743
On computations with integer division
B. Just, F. Meyer auf der Heide, A. Wigderson, RAIRO - Theoretical Informatics and Applications (1989) 101–111.
LibreCat | DOI
 

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 | Conference Paper | LibreCat-ID: 16744
An optimal parallel dictionary
M. Dietzfelbinger, F. Meyer auf der Heide, in: Proceedings of the First Annual ACM Symposium on Parallel Algorithms and Architectures  - SPAA ’89, 1989.
LibreCat | DOI
 

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 | 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 | Conference Paper | LibreCat-ID: 15393
Applications of IRAS Preprocessing at the Workstation
G. Domik, E. Brugel, R. Stencel, S. Vasudevan, J. Pang, in: Bulletin of the American Astronomical Society, 1990, p. 828.
LibreCat
 

1990 | Book Chapter | LibreCat-ID: 16738
A new universal class of hash functions and dynamic hashing in real time
M. Dietzfelbinger, F. Meyer auf der Heide, in: Automata, Languages and Programming, Berlin/Heidelberg, 1990.
LibreCat | DOI
 

1990 | Book Chapter | LibreCat-ID: 16740
On the complexity of genuinely polynomial computation
M. Karpinski, F. Meyer auf der Heide, in: Lecture Notes in Computer Science, Berlin/Heidelberg, 1990.
LibreCat | DOI
 

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: 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 | Journal Article | LibreCat-ID: 15394
Workstation-based preprocessing of IRAS sky-flux images
G. Domik, E.W. Brugel, R.E. Stencel, J. Pang, S. Vasudevan, Publications of the Astronomical Society of the Pacific 102 (1990) 1167.
LibreCat
 

1990 | Book Chapter | LibreCat-ID: 16739
Dynamic hashing strategies
F. Meyer auf der Heide, in: Lecture Notes in Computer Science, Berlin/Heidelberg, 1990.
LibreCat | DOI
 

1990 | Conference Paper | LibreCat-ID: 16741
How to distribute a dictionary in a complete network
M. Dietzfelbinger, F. Meyer auf der Heide, in: Proceedings of the Twenty-Second Annual ACM Symposium on Theory of Computing  - STOC ’90, 1990.
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 | 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: 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 | 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: 15395
A case study: Multi-sensor data analysis of hh objects via star: A scientific toolkit for astrophysical research
K. Mickus, E. Brugel, G. Domik, T. Ayres, in: Bulletin of the American Astronomical Society, 1990, p. 1259.
LibreCat
 

1990 | Conference Paper | LibreCat-ID: 16742
Not all keys can be hashed in constant time
J. Gil, F. Meyer auf der Heide, A. Wigderson, in: Proceedings of the Twenty-Second Annual ACM Symposium on Theory of Computing  - STOC ’90, 1990.
LibreCat | DOI
 

1990 | Journal Article | LibreCat-ID: 16824
Das Heinz Nixdorf-Institut der Universität-GH Paderborn
F. Meyer auf der Heide, Informatik Spektrum 13 (1990) 231–232.
LibreCat
 

1990 | Conference Paper | LibreCat-ID: 16913
IRAS On-Line Catalogs at CASA
G. Domik-Kienegger, E.W. Bruggel, R.E. Stencel, in: Proceedings of the 176th Meeting of the American Astronomical Society, 1990.
LibreCat
 

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
 

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

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

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: 16912
Visualization in the Analysis Cycle of Observational Data, in Analyzing and Modeling Data and Knowledge
G. Domik-Kienegger, in: M. Schader (Ed.), Proceedings of the 15th Annual Conference of the “Gesellschaft Für Klassifikation e.V.” University of Salzburg, 1991, pp. 267–276.
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: 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 | 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 | 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 | 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: 15020
The role of visualization in understanding data
G. Domik, in: New Results and New Trends in Computer Science, Springer, 1991, pp. 91–107.
LibreCat
 

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: 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 | 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 | Book Chapter | LibreCat-ID: 16733
High performance universal hashing, with applications to shared memory simulations
M. Dietzfelbinger, F. Meyer auf der Heide, in: Data Structures and Efficient Algorithms, Berlin, Heidelberg, 1992.
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 | Journal Article | LibreCat-ID: 16548
Generic bifurcation of Hamiltonian vector fields with symmetry
M. Dellnitz, I. Melbourne, J.E. Marsden, Nonlinearity (1992) 979–996.
LibreCat | DOI
 

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: 14997 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 | Book | LibreCat-ID: 1600
Europäische Fusionskontrolle
D. Krimphove, Europäische Fusionskontrolle  , Carl Heymanns Verlag KG, Köln, 1992.
LibreCat
 

1992 | Book Chapter | LibreCat-ID: 16734
Hashing strategies for simulating shared memory on distributed memory machines
F. Meyer auf der Heide, in: Lecture Notes in Computer Science, Berlin, Heidelberg, 1992.
LibreCat | DOI
 

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 | 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 | 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: 15042
Visualization of Multi-dimensional Arrays in Astronomy
G. Domik, in: European Southern Observatory Conference and Workshop Proceedings, 1992, p. 249.
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 | Book Chapter | LibreCat-ID: 16735
On the performance of networks with multiple busses
F. Meyer auf der Heide, H.T. Pham, in: STACS 92, Berlin, Heidelberg, 1992.
LibreCat | DOI
 

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 | 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 | Journal Article | LibreCat-ID: 17012
Computational bifurcation of periodic solutions in systems with symmetry
M. Dellnitz, IMA Journal of Numerical Analysis 12 (1992) 429–455.
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: 13465
Experimental Results to Interprocessor Communication in Distributed Transputer-Systems
R. Ginthör, M. Platzner, R. Weiss, in: Proceedings of the 1st Austrian-Hungarian Workshop on Transputer Applications, 1992, pp. 45–54.
LibreCat
 

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

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

1992 | Conference Paper | LibreCat-ID: 16736
Efficient PRAM simulation on a distributed memory machine
R.M. Karp, M. Luby, F. Meyer auf der Heide, in: Proceedings of the Twenty-Fourth Annual ACM Symposium on Theory of Computing  - STOC ’92, 1992.
LibreCat | DOI
 

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: 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 | Journal Article | LibreCat-ID: 16907
Design and Development of a Data Visualization System in a Workstation Environment
G. Domik-Kienegger, J. Micorcomputer Applications 15 (1992) 81–88.
LibreCat
 

1992 | Book Chapter | LibreCat-ID: 16546
Mechanisms of Symmetry Creation
M. Dellnitz, M. Golubitsky, I. Melbourne, in: Bifurcation and Symmetry, Basel, 1992.
LibreCat | DOI
 

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
 
 

1992 | Book Chapter | LibreCat-ID: 16737
Dynamic Hashing in Real Time
M. Dietzfelbinger, F. Meyer auf der Heide, in: TEUBNER-TEXTE Zur Informatik, Wiesbaden, 1992.
LibreCat | DOI
 

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 | Conference Paper | LibreCat-ID: 16908
Designing User-Centered Interfaces for Astrophysical Software on User Interfaces for Astrophysical Software
G. Domik-Kienegger, in: Proceedings on User Interfaces for Astrophysical Software, Greenbeld, MD, 1992.
LibreCat
 

1992 | Book Chapter | LibreCat-ID: 16547
Generic Bifurcations of Pendula
M. Dellnitz, J.E. Marsden, I. Melbourne, J. Scheurle, in: Bifurcation and Symmetry, Basel, 1992.
LibreCat | DOI
 

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

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

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

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 | Journal Article | LibreCat-ID: 1655 LibreCat
 

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year

Export / Embed