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.

12543 Publications


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

1987 | Book Chapter | LibreCat-ID: 19821
Representation independent query and update operations on propositional definite Horn formulas
H.K. Büning, T. Lettmann, in: E. Börger (Ed.), Computation Theory and Logic, Berlin, Heidelberg, 1987, pp. 208–223.
LibreCat | DOI
 

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 | Book Chapter | LibreCat-ID: 17819
Interdisziplinäres Institut für Wissenschaftstheorie und Wissenschaftsgeschichte
V. Peckhaus, R. Kötter, in: Friedrich-Alexander-Universität Erlangen-Nürnberg. Jahresbericht 1984/85 und 1985/86 (Mai 1987), 1987, p. 89.
LibreCat
 

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 | Book Chapter | LibreCat-ID: 19359
Ein Hauch von Paris ... Die Planung für den Tübinger Uhlandplatz durch Christian Friedrich von Leins
E.-M. Seng, in: Bürger- und Verkehrsverein Tübingen e.V. (Ed.), Tübinger Blätter, 74. Jg. , 1987, pp. 8–14.
LibreCat
 

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 | Journal Article | LibreCat-ID: 17469
Karl Eugen Müller (1865–1932) und seine Rolle in der Entwicklung der Algebra der Logik
V. Peckhaus, History and Philosophy of Logic 9 (1988) 43–56.
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 | Book Chapter | LibreCat-ID: 19442
„Wenn man die Augen hätte schließen und schlafen können...“. Zu Arno Schmidts Nachkriegsroman „Brand’s Haide“
N.O. Eke, in: M.M. Schardt (Ed.), Arno Schmidt. Das Frühwerk II. Romane. Interpretationen von ‚Brand’s Haide’ bis ‚Gelehrtenrepublik’, Alano, Aachen, 1988, pp. 13–54.
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 | 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 | Mastersthesis | LibreCat-ID: 18692
Die Johanneskirche am Feuersee in Stuttgart und der Architekt Christian Friedrich von Leins (1814 - 1892), Magisterarbeit masch.
E.-M. Seng, Die Johanneskirche am Feuersee in Stuttgart und der Architekt Christian Friedrich von Leins (1814 - 1892), Magisterarbeit masch., Tübingen 1987, 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
 

1988 | Conference Paper | LibreCat-ID: 17470
Historiographie wissenschaftlicher Disziplinen als Kombination von Problem- und Sozialgeschichtsschreibung: Formale Logik im Deutschland des ausgehenden 19. Jahrhunderts
V. Peckhaus, in: H. Poser, C. Burrichter (Eds.), Die geschichtliche Perspektive in den Disziplinen der Wissenschaftsforschung. Kolloquium an der TU Berlin, Oktober 1988. Mit Beiträgen von Michael Heidelberger, Walter Kaiser, C. Ulises Moulines, Volker Peckhaus, Wolf Schäfer, Burghard Weiss, Berlin, 1988, pp. 177–215.
LibreCat
 

1988 | Conference Paper | LibreCat-ID: 19820
Perspektiven für die Logikprogrammierung
H. Kleine Büning, T. Lettmann, in: G. Rahmstorf (Ed.), Workshop Wissensrepräsentation in Expertensystemen, Berlin, Heidelberg, 1988, pp. 56–78.
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 | LibreCat-ID: 19030
Heiner Müller. Apokalypse und Utopie
N.O. Eke, Heiner Müller. Apokalypse und Utopie, Schöningh, Paderborn, München, Wien, Zürich, 1989.
LibreCat
 

1989 | Book Chapter | LibreCat-ID: 19321
Vom Ballhaus zum Gotteshaus, Vorgeschichte und Bau der katholischen St. Johannes-Kirche in Tübingen
E.-M. Seng, in: Bürger- und Verkehrsverein Tübingen e.V. (Ed.), Tübinger Blätter, 76. Jg. , Tübingen, 1989, pp. 29–34.
LibreCat
 

1989 | Encyclopedia Article | LibreCat-ID: 19489
Friedrich Halm
N.O. Eke, in: W. Killy (Ed.), Literatur Lexikon. Autoren und Werke deutscher Sprache. Bd. 4, Gütersloh, München, 1989, pp. 487–489.
LibreCat
 

1989 | Book Review | LibreCat-ID: 19559
Norbert Mecklenburg: Erzählte Provinz. Regionalismus und Moderne im Roman. Königstein/Ts. 2. Auflage. 1986
N.O. Eke, Germanistik. Internationales Referatenorgan mit bibliographischen Hinweisen 30 (1989) 1057.
LibreCat
 

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
 

Filters and Search Terms

year<=2030 AND year>=1980

status=public

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year
Citation Style: Default

Export / Embed