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.
37089 Publications
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
F. Meyer auf der Heide, in: 26th Annual Symposium on Foundations of Computer Science (Sfcs 1985), 1985.
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
F. Meyer auf der Heide, Information and Control 67 (1985) 195–211.
1985 | Journal Article | LibreCat-ID: 15314
Mapping with aircraft and satellite radar images
F. Leberl, M. Kobrick, G. Domik, The Photogrammetric Record 11 (1985) 647–665.
LibreCat
| DOI
F. Leberl, M. Kobrick, G. Domik, The Photogrammetric Record 11 (1985) 647–665.
1985 | Journal Article | LibreCat-ID: 15316
Towards a SAR system for snow and land ice applications
H. Rott, G. Domik, C. Mätzler, H. Miller, ESA Proceedings of a Workshop on Thematic Applications of SAR DATA p 29-39(SEE N 86-28488 19-42) (1985) 29–39.
LibreCat
H. Rott, G. Domik, C. Mätzler, H. Miller, ESA Proceedings of a Workshop on Thematic Applications of SAR DATA p 29-39(SEE N 86-28488 19-42) (1985) 29–39.
1985 | Journal Article | LibreCat-ID: 35399
Distribution of Correlation Times in Glassy Polymers From Pulsed Deuteron NMR
C. Schmidt, K.J. Kuhn, H.W. Spiess, Progress in Colloid and Polymer Science 71 (1985) 71–76.
LibreCat
| WoS
C. Schmidt, K.J. Kuhn, H.W. Spiess, Progress in Colloid and Polymer Science 71 (1985) 71–76.
1985 | Journal Article | LibreCat-ID: 40399
ELECTROOPTICAL BEHAVIOR OF CHOLESTERIC BLUE PHASES WITH NEGATIVE DIELECTRIC ANISOTROPY
G. HEPPKE, H.-S. Kitzerow, M. KRUMREY, MOLECULAR CRYSTALS AND LIQUID CRYSTALS 1 (1985) 117–122.
LibreCat
G. HEPPKE, H.-S. Kitzerow, M. KRUMREY, MOLECULAR CRYSTALS AND LIQUID CRYSTALS 1 (1985) 117–122.
1985 | Journal Article | LibreCat-ID: 40395
ELECTRIC-FIELD INDUCED VARIATION OF THE REFRACTIVE-INDEX IN CHOLESTERIC BLUE PHASES
G. HEPPKE, H.-S. Kitzerow, M. KRUMREY, MOLECULAR CRYSTALS AND LIQUID CRYSTALS 2 (1985) 59–65.
LibreCat
G. HEPPKE, H.-S. Kitzerow, M. KRUMREY, MOLECULAR CRYSTALS AND LIQUID CRYSTALS 2 (1985) 59–65.
1985 | Journal Article | LibreCat-ID: 51456
Controllabilty of Systems on Nilpotent Lie Groups
J. Hilgert, K.H. Hofmann, J.D. Lawson, Beiträge Alg. Geom. 20 (1985) 185–190.
LibreCat
J. Hilgert, K.H. Hofmann, J.D. Lawson, Beiträge Alg. Geom. 20 (1985) 185–190.
1985 | Journal Article | LibreCat-ID: 51458
Semigroups in Lie Groups, Semialgebras in Lie Algebras
J. Hilgert, K.H. Hofmann, Trans. AMS 288 (1985) 481–504.
LibreCat
J. Hilgert, K.H. Hofmann, Trans. AMS 288 (1985) 481–504.
1985 | Journal Article | LibreCat-ID: 51457
Lorentzian Cones in Real Lie Algebras
J. Hilgert, K.H. Hofmann, Monatshefte Math. 100 (1985) 183–210.
LibreCat
J. Hilgert, K.H. Hofmann, Monatshefte Math. 100 (1985) 183–210.
1985 | Journal Article | LibreCat-ID: 51460
Lie Semialgebras are Real Phenomena
J. Hilgert, K.H. Hofmann, Math. Ann. 270 (1985) 97–103.
LibreCat
J. Hilgert, K.H. Hofmann, Math. Ann. 270 (1985) 97–103.
1985 | Journal Article | LibreCat-ID: 51459
Old and New on SL(2)
J. Hilgert, K.H. Hofmann, Manuscripta Math. 54 (1985) 17–52.
LibreCat
J. Hilgert, K.H. Hofmann, Manuscripta Math. 54 (1985) 17–52.
1986 | Book Chapter | LibreCat-ID: 19477
Architekten- und Künstlerbiographien
E.-M. Seng, in: Kulturamt der Universitätsstadt Tübingen (Ed.), Ehrwürdige Zeugen verschwundener Tage, Tübinger Baudenkmale in Architekturzeichnungen des 19. Jahrhunderts, Katalog zur Ausstellung Tübingen 1986 (Tübinger Kataloge Nr. 29), 1986, pp. 102–108.
LibreCat
E.-M. Seng, in: Kulturamt der Universitätsstadt Tübingen (Ed.), Ehrwürdige Zeugen verschwundener Tage, Tübinger Baudenkmale in Architekturzeichnungen des 19. Jahrhunderts, Katalog zur Ausstellung Tübingen 1986 (Tübinger Kataloge Nr. 29), 1986, pp. 102–108.
1986 | Book Chapter | LibreCat-ID: 19819
Classes of first order formulas under various satisfiability definitions
H. Kleine Büning, T. Lettmann, in: 8th International Conference on Automated Deduction, Berlin, Heidelberg, 1986.
LibreCat
| DOI
H. Kleine Büning, T. Lettmann, in: 8th International Conference on Automated Deduction, Berlin, Heidelberg, 1986.
1986 | Book Chapter | LibreCat-ID: 19360
Die Zeichner und die Art der Darstellung - Zur Entwicklung und Funktion der Architekturzeichnung im 19. Jahrhundert
E.-M. Seng, in: Kulturamt der Universitätsstadt Tübingen (Ed.), Ehrwürdige Zeugen verschwundener Tage, Tübinger Baudenkmale in Architekturzeichnungen des 19. Jahrhunderts, Katalog zur Ausstellung Tübingen 1986 (Tübinger Kataloge Nr. 29), 1986, pp. 4–16.
LibreCat
E.-M. Seng, in: Kulturamt der Universitätsstadt Tübingen (Ed.), Ehrwürdige Zeugen verschwundener Tage, Tübinger Baudenkmale in Architekturzeichnungen des 19. Jahrhunderts, Katalog zur Ausstellung Tübingen 1986 (Tübinger Kataloge Nr. 29), 1986, pp. 4–16.
1986 | Book Chapter | LibreCat-ID: 19364
Das Ulmer Hauptwerk: Der Blaubeurer Hochaltar und die Erhart-Frage
E.-M. Seng, in: G. Schäfer, M. Brecht (Eds.), Blätter für württembergische Kirchengeschichte, 86. Jg. , Stuttgart, 1986, pp. 299–319.
LibreCat
E.-M. Seng, in: G. Schäfer, M. Brecht (Eds.), Blätter für württembergische Kirchengeschichte, 86. Jg. , Stuttgart, 1986, pp. 299–319.
1986 | Book Chapter | LibreCat-ID: 19443
Risse: Pytheas, Philostratos et. al. Zu den Protagonisten der frühen Erzählungen Arno Schmidts
N.O. Eke, in: M.M. Schardt (Ed.), Arno Schmidt. Das Frühwerk I: Erzählungen. Interpretationen von ‚Gadir‘ bis ‚Kosmas‘, Rader, Aachen, 1986, pp. 151–184.
LibreCat
N.O. Eke, in: M.M. Schardt (Ed.), Arno Schmidt. Das Frühwerk I: Erzählungen. Interpretationen von ‚Gadir‘ bis ‚Kosmas‘, Rader, Aachen, 1986, pp. 151–184.
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
D. Krimphove, Belgium in a Nutshell Investitionsmöglichkeiten Ausländischer Unternehmen in Belgien, Brüssel, 1986.
1986 | Journal Article | LibreCat-ID: 21792
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 GE-24 (1986) 492–497.
LibreCat
| DOI
G. Domik, F. Leberl, J. Cimino, IEEE Transactions on Geoscience and Remote Sensing GE-24 (1986) 492–497.
1986 | Conference Paper | LibreCat-ID: 21793
Digital terrain mapping with STAR-1 SAR data
J. Mercer, R. Lowry, F. Leberl, G. Domik, in: International Geoscience and Remote Sensing Symposium, IGARSS, 1986, pp. 645–650.
LibreCat
J. Mercer, R. Lowry, F. Leberl, G. Domik, in: International Geoscience and Remote Sensing Symposium, IGARSS, 1986, pp. 645–650.
1986 | Conference Paper | LibreCat-ID: 21794
Developing tools for digital radar image data evaluation
G. Domik, F. Leberl, J. Raggam, in: Remote Sensing for Resources Development and Environmental Management; Proceedings of the Seventh International Symposium, 1986, pp. 117–119.
LibreCat
G. Domik, F. Leberl, J. Raggam, in: Remote Sensing for Resources Development and Environmental Management; Proceedings of the Seventh International Symposium, 1986, pp. 117–119.
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
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.
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
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.
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
G. Engels, Graphen Als Zentrale Datenstrukturen in Einer Software-Entwicklungsumgebung, 1986.
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
F. Meyer auf der Heide, SIAM Journal on Computing (1986) 106–119.
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
A. Borodin, F.E. Fich, F. Meyer auf der Heide, E. Upfal, A. Wigderson, in: Automata, Languages and Programming, Berlin, Heidelberg, 1986.
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
F. Meyer auf der Heide, in: STACS 86, Berlin, Heidelberg, 1986.
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
A. Borodin, F. Fich, F. Meyer auf der Heide, E. Upfal, A. Wigderson, in: STACS 86, Berlin, Heidelberg, 1986.
1986 | Journal Article | LibreCat-ID: 16917
Radar Stereomapping Techniques and Application to SIR-B Images of Mt. Shasta
F. Leberl, G. Domik, J. Raggam, M. Kobrick, IEEE Transactions on Geoscience and Remote Sensing GE-24 (1986) 473–481.
LibreCat
| DOI
F. Leberl, G. Domik, J. Raggam, M. Kobrick, IEEE Transactions on Geoscience and Remote Sensing GE-24 (1986) 473–481.
1986 | Journal Article | LibreCat-ID: 16918
Multiple Incidence Angle SIR-B Expenment Over Argentina: Stereo-Radargrammetrc Analysis
F. Leberl, G. Domik, J. Raggam, J. Cimino, M. Kobrick, IEEE Transactions on Geoscience and Remote Sensing GE-24 (1986) 482–491.
LibreCat
F. Leberl, G. Domik, J. Raggam, J. Cimino, M. Kobrick, IEEE Transactions on Geoscience and Remote Sensing GE-24 (1986) 482–491.
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
M. Oerder, G. Ascheid, R. Haeb-Umbach, H. Meyr, Signal Processing: Theories and Applications (1986).
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
S. Hellebrand, Deformation Dicker Punkte Und Netze von Quadriken, Universität Regensburg, Fakultät für Mathematik, Regensburg, Germany, 1986.
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, European Space Agency, ESA SP, 1986, pp. 467–468.
LibreCat
G. Domik, F. Leberl, in: IGARSS’86: Remote Sensing: Today’s Solutions for Tomorrow’s Information Needs, European Space Agency, ESA SP, 1986, pp. 467–468.
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
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.
1986 | Journal Article | LibreCat-ID: 17468
Case Studies Towards the Establishment of a Social History of Logic
V. Peckhaus, History and Philosophy of Logic 7 (1986) 185–186.
LibreCat
V. Peckhaus, History and Philosophy of Logic 7 (1986) 185–186.
1986 | Book | LibreCat-ID: 29879
Nichtlineare und adaptive Regelungssysteme
J. Böcker, I. Hartmann, C. Zwanzig, Nichtlineare und adaptive Regelungssysteme, Springer-Verlag, Berlin, 1986.
LibreCat
| DOI
| Download (ext.)
J. Böcker, I. Hartmann, C. Zwanzig, Nichtlineare und adaptive Regelungssysteme, Springer-Verlag, Berlin, 1986.
1986 | Journal Article | LibreCat-ID: 35395
Dynamics of molecular reorientations: direct determination of rotational angles from two-dimensional NMR of powders
C. Schmidt, S. Wefing, B. Blümich, H.W. Spiess, Chemical Physics Letters 130 (1986) 84–90.
LibreCat
| DOI
C. Schmidt, S. Wefing, B. Blümich, H.W. Spiess, Chemical Physics Letters 130 (1986) 84–90.
1986 | Book Chapter | LibreCat-ID: 18431
Eine empirische Untersuchung zu den schriftsprachlichen Leistungen türkischer Schulkinder
R. Beckemeyer, D. Tophinke, in: Arbeitsstelle für Sprachprobleme von Migranten (Ed.), Narrative Kompetenz. Mündliche und schriftliche Wiedergabe von Erzählstrukturen durch türkische Schulkinder in außerschulischen Lerngruppen, Manuskriptdruck, Osnabrück, 1986, pp. 66–118.
LibreCat
R. Beckemeyer, D. Tophinke, in: Arbeitsstelle für Sprachprobleme von Migranten (Ed.), Narrative Kompetenz. Mündliche und schriftliche Wiedergabe von Erzählstrukturen durch türkische Schulkinder in außerschulischen Lerngruppen, Manuskriptdruck, Osnabrück, 1986, pp. 66–118.
1986 | Book Chapter | LibreCat-ID: 27969
Geschlechtsspezifische Arbeitsteilung und technische Innovation - Neue Technologien, Frauenerwerbsarbeit und historisch-genetisches Lernen über Arbeit und Technik.
R. Bigga, R. Oberliesen, in: Neue Technologien und technisch-ökonomische Bildung., GATWU, Bad Salzdetfurth , 1986, pp. 253–270.
LibreCat
R. Bigga, R. Oberliesen, in: Neue Technologien und technisch-ökonomische Bildung., GATWU, Bad Salzdetfurth , 1986, pp. 253–270.
1986 | Journal Article | LibreCat-ID: 38491
ENDLESS POLARIZATION CONTROL EXPERIMENT WITH 3 ELEMENTS OF LIMITED BIREFRINGENCE RANGE
R. Noé, ELECTRONICS LETTERS 22 (1986) 1341–1343.
LibreCat
| DOI
R. Noé, ELECTRONICS LETTERS 22 (1986) 1341–1343.
1986 | Journal Article | LibreCat-ID: 38490
ENDLESS POLARIZATION CONTROL IN COHERENT OPTICAL COMMUNICATIONS
R. Noé, ELECTRONICS LETTERS 22 (1986) 772–773.
LibreCat
| DOI
R. Noé, ELECTRONICS LETTERS 22 (1986) 772–773.
1986 | Patent | LibreCat-ID: 40636
Optisches System mit einer Flüssigkristallzelle, Verfahren zu seinem Betrieb und seine Verwendung
G. Heppke, F. Oestreicher, H.-S. Kitzerow, M. Krumrey, (1986).
LibreCat
G. Heppke, F. Oestreicher, H.-S. Kitzerow, M. Krumrey, (1986).
1986 | Book Chapter | LibreCat-ID: 40617
Das Städtische Orchester 1921–1955
R. Grotjahn, in: Niedersächsischen Staatstheater Hannover GmbH (Ed.), Das Niedersächsische Staatsorchester 1636–1986, Schlütersche, Hannover, 1986, pp. 129–158.
LibreCat
R. Grotjahn, in: Niedersächsischen Staatstheater Hannover GmbH (Ed.), Das Niedersächsische Staatsorchester 1636–1986, Schlütersche, Hannover, 1986, pp. 129–158.
1986 | Book Chapter | LibreCat-ID: 51487
Invariant Cones in Real Lie Algebras
J. Hilgert, K.H. Hofmann, in: R. Nagel, et al. (Eds.), Aspects of Positivity in Functional Analysis, North Holland, 1986.
LibreCat
J. Hilgert, K.H. Hofmann, in: R. Nagel, et al. (Eds.), Aspects of Positivity in Functional Analysis, North Holland, 1986.
1986 | Journal Article | LibreCat-ID: 51454
The Mayer-Vietoris and the Puppe Sequence in K-Theory for C*-algebras
J. Hilgert, Studia Math. 83 (1986) 97–104.
LibreCat
J. Hilgert, Studia Math. 83 (1986) 97–104.
1986 | Journal Article | LibreCat-ID: 51453
On the Automorphism Group of Cones and Wedges
J. Hilgert, K.H. Hofmann, Geom. Dedicata 21 (1986) 205–217.
LibreCat
J. Hilgert, K.H. Hofmann, Geom. Dedicata 21 (1986) 205–217.
1986 | Journal Article | LibreCat-ID: 51455
On Sophus Lie's Fundamental Theorem
J. Hilgert, K.H. Hofmann, J. Funct. Anal. 67 (1986) 1–27.
LibreCat
J. Hilgert, K.H. Hofmann, J. Funct. Anal. 67 (1986) 1–27.
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
H.K. Büning, T. Lettmann, in: E. Börger (Ed.), Computation Theory and Logic, Berlin, Heidelberg, 1987, pp. 208–223.
1987 | Journal Article | LibreCat-ID: 17820
DFG fördert an der FAU: Projekt: Fallstudien zur Begründung einer Sozialgeschichte der Logik
V. Peckhaus, C. Thiel, FAU Uni-Kurier 70/71 (1987) 49.
LibreCat
V. Peckhaus, C. Thiel, FAU Uni-Kurier 70/71 (1987) 49.
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
E.-M. Seng, in: Bürger- und Verkehrsverein Tübingen e.V. (Ed.), Tübinger Blätter, 74. Jg. , 1987, pp. 8–14.
1987 | Conference Paper | LibreCat-ID: 21791
Image based SAR product simulation for analysis
G. Domik, F. Leberl, in: ASPRS-ACSM, 1987.
LibreCat
G. Domik, F. Leberl, in: ASPRS-ACSM, 1987.
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
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.
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
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.
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
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.
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
A. Borodin, F. Fich, F. Meyer auf der Heide, E. Upfal, A. Wigderson, SIAM Journal on Computing (1987) 97–99.
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
F. Meyer auf der Heide, A. Wigderson, SIAM Journal on Computing (1987) 100–107.
1987 | Conference Paper | LibreCat-ID: 16916
Digital Rectification Method for Radar Images Applied on Huge Arrays
G. Domik, in: Proceedings of the First Int’l. Workshop on Image Rectification Tech. for Spaceborne Synthetic Aperture Radar, 1987, pp. 67–68.
LibreCat
G. Domik, in: Proceedings of the First Int’l. Workshop on Image Rectification Tech. for Spaceborne Synthetic Aperture Radar, 1987, pp. 67–68.
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
R. Haeb-Umbach, H. Meyr, in: Proc. Symposium on Inf. Theory and Appl. (SITA), Tokio, 1987.
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
G. Domik, in: IGARSS’87-International Geoscience and Remote Sensing Symposium, 1987, pp. 1551–1555.
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
F. Leberl, G. Domik, B.J. Mercer, in: 1987 ASPRS ACSM Annual Convention, 1987, pp. 148–158.
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
V. Peckhaus, R. Kötter, in: Friedrich-Alexander-Universität Erlangen-Nürnberg. Jahresbericht 1984/85 und 1985/86 (Mai 1987), 1987, p. 89.
1987 | Journal Article | LibreCat-ID: 35394
Molecular motions from two-dimensional NMR of powders: Comparison of rotational jumps and diffusive reorientations
C. Schmidt, B. Blümich, S. Wefing, S. Kaufmann, H.W. Spiess, Berichte Der Bunsengesellschaft Für Physikalische Chemie 91 (1987) 1141–1145.
LibreCat
| DOI
C. Schmidt, B. Blümich, S. Wefing, S. Kaufmann, H.W. Spiess, Berichte Der Bunsengesellschaft Für Physikalische Chemie 91 (1987) 1141–1145.
1987 | Book Chapter | LibreCat-ID: 27968
Anschauliches Lernen im Museum.
R. Bigga, in: Allgemeinbildung und Arbeit, Technik, Wirtschaft - Innovationen in Curriculum und Schul-Praxis., GATWU, Oldenburg, 1987, pp. 120–127.
LibreCat
R. Bigga, in: Allgemeinbildung und Arbeit, Technik, Wirtschaft - Innovationen in Curriculum und Schul-Praxis., GATWU, Oldenburg, 1987, pp. 120–127.
1987 | Encyclopedia Article | LibreCat-ID: 37872
Ruth Crawford Seeger
R. Grotjahn, in: H. Danuser, D. Kämper, P. Terse (Eds.), Amerikanische Musik Seit Charles Ives, 1st ed., Laaber-Verlag, Lilienthal, 1987, p. 326f.
LibreCat
R. Grotjahn, in: H. Danuser, D. Kämper, P. Terse (Eds.), Amerikanische Musik Seit Charles Ives, 1st ed., Laaber-Verlag, Lilienthal, 1987, p. 326f.
1987 | Encyclopedia Article | LibreCat-ID: 37873
Wallingford Riegger
R. Grotjahn, in: H. Danuser, D. Kämper, P. Terse (Eds.), Amerikanische Musik seit Charles Ives, 1st ed., Laaber-Verlag, Lilienthal, 1987, p. 375f.
LibreCat
R. Grotjahn, in: H. Danuser, D. Kämper, P. Terse (Eds.), Amerikanische Musik seit Charles Ives, 1st ed., Laaber-Verlag, Lilienthal, 1987, p. 375f.
1987 | Encyclopedia Article | LibreCat-ID: 37874
George Rochberg
R. Grotjahn, in: H. Danuser, D. Kämper, P. Terse (Eds.), Amerikanische Musik Seit Charles Ives, 1st ed., Laaber-Verlag, Lilienthal, 1987, p. 377f.
LibreCat
R. Grotjahn, in: H. Danuser, D. Kämper, P. Terse (Eds.), Amerikanische Musik Seit Charles Ives, 1st ed., Laaber-Verlag, Lilienthal, 1987, p. 377f.
1987 | Journal Article | LibreCat-ID: 40338
Angular Dependence of Blue Phase Selective Reflection in the Electric Field
G. Heppke, H.-S. Kitzerow, M. Krumrey, Molecular Crystals and Liquid Crystals Incorporating Nonlinear Optics 150 (1987) 265–276.
LibreCat
| DOI
G. Heppke, H.-S. Kitzerow, M. Krumrey, Molecular Crystals and Liquid Crystals Incorporating Nonlinear Optics 150 (1987) 265–276.
1987 | Book Chapter | LibreCat-ID: 45510
Theoretische und numerische Aspekte der Berechnung thermo-mechanischer Kriechvorgänge im Steinsalz
R. Mahnken, E. Stein, D. Wetjen, U. Heemann, in: Abhandlungen der Braunschweigischen Wissenschaftlichen Gesellschaft, Erich Goltzke KG, Göttingen, 1987, pp. 61–121.
LibreCat
R. Mahnken, E. Stein, D. Wetjen, U. Heemann, in: Abhandlungen der Braunschweigischen Wissenschaftlichen Gesellschaft, Erich Goltzke KG, Göttingen, 1987, pp. 61–121.
1987 | Book Chapter | LibreCat-ID: 51486
Maximal Semigroups and the Support of Gauss-Semigroups
J. Hilgert, in: R. Viertl (Ed.), Probability and Baysian Statistics, Plenum Press, New York, 1987.
LibreCat
J. Hilgert, in: R. Viertl (Ed.), Probability and Baysian Statistics, Plenum Press, New York, 1987.
1987 | Journal Article | LibreCat-ID: 51452
Maximal Semigroups and Controllability in Products of Lie Groups
J. Hilgert, Archiv Math. 49 (1987) 189–195.
LibreCat
J. Hilgert, Archiv Math. 49 (1987) 189–195.
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
H. Kleine Büning, T. Lettmann, in: G. Rahmstorf (Ed.), Workshop Wissensrepräsentation in Expertensystemen, Berlin, Heidelberg, 1988, pp. 56–78.
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
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.
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
E.-M. Seng, Die Johanneskirche am Feuersee in Stuttgart und der Architekt Christian Friedrich von Leins (1814 - 1892), Magisterarbeit masch., Tübingen 1987, 1988.
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
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.
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
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.
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
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.
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
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.
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
J. Ebert, G. Engels, Ein Konzept Zur Beschreibung von Software-Architekturen, EWH Koblenz, 1988.
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
G. Engels, T. Janning, W. Schäfer, in: Proceedings of GI-Workshop Sprachspezifische Programmierumgebungen, Darmstadt, Germany, 1988.
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
L. Babai, B. Just, F. Meyer auf der Heide, Information and Computation (1988) 99–107.
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
F. Meyer auf der Heide, Journal of the ACM (JACM) (1988) 740–747.
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
A. Borodin, F.E. Fich, F. Meyer auf der Heide, E. Upfal, A. Wigderson, Theoretical Computer Science (1988) 57–68.
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
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.
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
B. Just, F. Mathematik, F. Meyer auf der Heide, F. Informatik, A. Wigderson, in: STACS 88, Berlin, Heidelberg, 1988.
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
M. Dietzfelbinger, K. Mehlhorn, F. Meyer auf der Heide, H. Rohnert, in: SWAT 88, Berlin, Heidelberg, 1988.
1988 | Conference Paper | LibreCat-ID: 16915
Enhancement Techniques in Digital Image Processing
G. Domik, in: Proceedings of the Computer Science Symposium, Graz, Austria, 1988, pp. 211–217.
LibreCat
G. Domik, in: Proceedings of the Computer Science Symposium, Graz, Austria, 1988, pp. 211–217.
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.)
R. Haeb-Umbach, in: International Conference on Vehicular Technology, Philadelphia, 1988.
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.)
R. Haeb-Umbach, H. Meyr, in: International Conference on Communications, Philadelphia, 1988.
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
E.W. Brugel, G. Domik, S.A. Voels, in: European Southern Observatory Conference and Workshop Proceedings, 1988, pp. 3–8.
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
G. Domik, F. Leberl, J. Cimino, International Journal of Remote Sensing 9 (1988) 1013–1022.
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
F. Leberl, W. Mayr, G. Domik, M. Kobrick, International Journal of Remote Sensing 9 (1988) 997–1011.
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
V. Peckhaus, History and Philosophy of Logic 9 (1988) 43–56.
1988 | Dissertation | LibreCat-ID: 29882
Modellierung der dissipativen Eigenschaften linearer passiver Systeme unter Verwendung der Distributionentheorie
J. Böcker, Modellierung der dissipativen Eigenschaften linearer passiver Systeme unter Verwendung der Distributionentheorie, VDI-Verlag, 1988.
LibreCat
| Files available
| Download (ext.)
J. Böcker, Modellierung der dissipativen Eigenschaften linearer passiver Systeme unter Verwendung der Distributionentheorie, VDI-Verlag, 1988.
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, Tokyo, Japan, 1988, pp. 36–45.
LibreCat
| DOI
H.-J. Wunderlich, S. Hellebrand, in: 18th International Symposium on Fault-Tolerant Computing, FTCS-18, Tokyo, Japan, 1988, pp. 36–45.
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: 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
D. Schmid, H.-J. Wunderlich, F. Feldbusch, S. Hellebrand, J. Holzinger, A. Kunzmann, 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.
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
S. Hellebrand, H.-J. Wunderlich, in: GI - 18. Jahrestagung II, Hamburg, 1988, Informatik-Fachberichte 188, Springer Verlag, Hamburg, Germany, 1988, pp. 145–159.
1988 | Journal Article | LibreCat-ID: 35393
Magnetic-field-induced orientation of crystallites in powders of layered intercalation compounds detected by NMR
T.K. Halstead, C. Schmidt, H.W. Spiess, R. Schoellhorn, W. Mueller-Warmuth, H. Moeller, The Journal of Physical Chemistry 92 (1988) 7167–7168.
LibreCat
| DOI
T.K. Halstead, C. Schmidt, H.W. Spiess, R. Schoellhorn, W. Mueller-Warmuth, H. Moeller, The Journal of Physical Chemistry 92 (1988) 7167–7168.
1988 | Journal Article | LibreCat-ID: 35392
Deuteron two-dimensional exchange NMR in solids
C. Schmidt, B. Blümich, H.W. Spiess, Journal of Magnetic Resonance (1969) 79 (1988) 269–290.
LibreCat
| DOI
C. Schmidt, B. Blümich, H.W. Spiess, Journal of Magnetic Resonance (1969) 79 (1988) 269–290.
1988 | Book Chapter | LibreCat-ID: 37464
Studium Arbeitslehre - Rückblick mit Ausblick
R. Bigga, in: G.D. Duismann, K. Struve (Eds.), Arbeitslehre / Polytechnik: Ein Beitrag zur Neuen Allgemeinbildung. Die Geschichte von Arbeit, Technik und Produktion im Unterricht, Oldenburg, 1988, pp. 63–72.
LibreCat
R. Bigga, in: G.D. Duismann, K. Struve (Eds.), Arbeitslehre / Polytechnik: Ein Beitrag zur Neuen Allgemeinbildung. Die Geschichte von Arbeit, Technik und Produktion im Unterricht, Oldenburg, 1988, pp. 63–72.
1988 | Journal Article | LibreCat-ID: 37361
Die Schleswig-Holsteinische Volkszeitung 1892 bis 1968 - Facetten aus ihrer Geschichte
R. Bigga, U. Danker, Beirat für Geschichte der Arbeiterbewegung und Demokratie in Schleswig-Holstein 3 (1988) 427–436.
LibreCat
R. Bigga, U. Danker, Beirat für Geschichte der Arbeiterbewegung und Demokratie in Schleswig-Holstein 3 (1988) 427–436.