@article{51460, author = {{Hilgert, Joachim and Hofmann, K.H.}}, journal = {{Math. Ann.}}, pages = {{97--103}}, title = {{{Lie Semialgebras are Real Phenomena}}}, volume = {{270}}, year = {{1985}}, } @article{51459, author = {{Hilgert, Joachim and Hofmann, K.H.}}, journal = {{Manuscripta Math.}}, pages = {{17--52}}, title = {{{Old and New on SL(2)}}}, volume = {{54}}, year = {{1985}}, } @inbook{19477, author = {{Seng, Eva- Maria}}, booktitle = {{Ehrwürdige Zeugen verschwundener Tage, Tübinger Baudenkmale in Architekturzeichnungen des 19. Jahrhunderts, Katalog zur Ausstellung Tübingen 1986 (Tübinger Kataloge Nr. 29)}}, pages = {{102--108}}, title = {{{Architekten- und Künstlerbiographien}}}, year = {{1986}}, } @inbook{19819, author = {{Kleine Büning, H. and Lettmann, Theodor}}, booktitle = {{8th International Conference on Automated Deduction}}, isbn = {{9783540167808}}, issn = {{0302-9743}}, title = {{{Classes of first order formulas under various satisfiability definitions}}}, doi = {{10.1007/3-540-16780-3_119}}, year = {{1986}}, } @inbook{19360, author = {{Seng, Eva- Maria}}, booktitle = {{Ehrwürdige Zeugen verschwundener Tage, Tübinger Baudenkmale in Architekturzeichnungen des 19. Jahrhunderts, Katalog zur Ausstellung Tübingen 1986 (Tübinger Kataloge Nr. 29)}}, pages = {{4--16}}, title = {{{Die Zeichner und die Art der Darstellung - Zur Entwicklung und Funktion der Architekturzeichnung im 19. Jahrhundert}}}, volume = {{Nr. 29}}, year = {{1986}}, } @inbook{19364, author = {{Seng, Eva- Maria}}, booktitle = {{Blätter für württembergische Kirchengeschichte, 86. Jg. }}, editor = {{Schäfer, Gerhart and Brecht, Martin}}, pages = {{299--319}}, title = {{{Das Ulmer Hauptwerk: Der Blaubeurer Hochaltar und die Erhart-Frage}}}, volume = {{86. Jg.}}, year = {{1986}}, } @inbook{19443, author = {{Eke, Norbert Otto}}, booktitle = {{Arno Schmidt. Das Frühwerk I: Erzählungen. Interpretationen von ‚Gadir‘ bis ‚Kosmas‘}}, editor = {{Schardt, Michael Matthias}}, pages = {{151--184}}, publisher = {{Rader}}, title = {{{Risse: Pytheas, Philostratos et. al. Zu den Protagonisten der frühen Erzählungen Arno Schmidts}}}, year = {{1986}}, } @book{2092, author = {{Krimphove, Dieter}}, pages = {{98}}, title = {{{Belgium in a Nutshell Investitionsmöglichkeiten ausländischer Unternehmen in Belgien}}}, year = {{1986}}, } @article{21792, author = {{Domik, Gitta and Leberl, Franz and Cimino, Jobea}}, journal = {{IEEE Transactions on Geoscience and Remote Sensing}}, number = {{4}}, pages = {{492–497}}, publisher = {{IEEE}}, title = {{{Multiple incidence angle SIR-B experiment over Argentina: generation of secondary image products}}}, doi = {{10.1109/TGRS.1986.289663}}, volume = {{GE-24}}, year = {{1986}}, } @inproceedings{21793, author = {{Mercer, JB and Lowry, RT and Leberl, Franz and Domik, Gitta}}, booktitle = {{International Geoscience and Remote Sensing Symposium}}, pages = {{645–650}}, publisher = {{IGARSS}}, title = {{{Digital terrain mapping with STAR-1 SAR data}}}, year = {{1986}}, } @inproceedings{21794, author = {{Domik, Gitta and Leberl, Franz and Raggam, J}}, booktitle = {{Remote sensing for resources development and environmental management; Proceedings of the Seventh International Symposium}}, pages = {{117–119}}, title = {{{Developing tools for digital radar image data evaluation}}}, volume = {{1}}, year = {{1986}}, } @inproceedings{7815, author = {{Engels, Gregor and Lewerentz, Claus and Nagl, Manfred and Schäfer, Wilhelm}}, booktitle = {{Proceedings of the 19th Hawaii International Conference on System Sciences, Hawaii, USA}}, pages = {{585--597}}, title = {{{On the Structure of an Incremental and Integrated Software Development Environment}}}, volume = {{2a}}, year = {{1986}}, } @inproceedings{8256, author = {{Engels, Gregor and Sandbrink, Andrea}}, booktitle = {{Proceedings of the Workshop on Compiler Compilers and Incremental Compilation Techniques, Bautzen}}, pages = {{172--184}}, publisher = {{Berlin(Ost): Akademie der Wissenschaften der DDR}}, title = {{{Experiences with a Hybrid-Interpreter Based on Incremental Compilation Techniques}}}, volume = {{12}}, year = {{1986}}, } @phdthesis{7588, author = {{Engels, Gregor}}, title = {{{Graphen als zentrale Datenstrukturen in einer Software-Entwicklungsumgebung}}}, year = {{1986}}, } @article{16771, author = {{Meyer auf der Heide, Friedhelm}}, issn = {{0097-5397}}, journal = {{SIAM Journal on Computing}}, pages = {{106--119}}, title = {{{Efficient Simulations among Several Models of Parallel Computers}}}, doi = {{10.1137/0215008}}, year = {{1986}}, } @inbook{16774, author = {{Borodin, Allan and Fich, Faith E. and Meyer auf der Heide, Friedhelm and Upfal, Eli and Wigderson, Avi}}, booktitle = {{Automata, Languages and Programming}}, isbn = {{9783540167617}}, issn = {{0302-9743}}, title = {{{A tradeoff between search and update time for the implicit dictionary problem}}}, doi = {{10.1007/3-540-16761-7_54}}, year = {{1986}}, } @inbook{16775, author = {{Meyer auf der Heide, Friedhelm}}, booktitle = {{STACS 86}}, isbn = {{9783540160786}}, issn = {{0302-9743}}, title = {{{Speeding up random access machines by few processors}}}, doi = {{10.1007/3-540-16078-7_72}}, year = {{1986}}, } @inbook{16776, author = {{Borodin, A. and Fich, F. and Meyer auf der Heide, Friedhelm and Upfal, E. and Wigderson, A.}}, booktitle = {{STACS 86}}, isbn = {{9783540160786}}, issn = {{0302-9743}}, title = {{{A time-space tradeoff for element distinctness}}}, doi = {{10.1007/3-540-16078-7_89}}, year = {{1986}}, } @article{16917, author = {{Leberl, F. and Domik, Gitta and Raggam, J. and Kobrick, M.}}, journal = {{IEEE Transactions on Geoscience and Remote Sensing}}, number = {{4}}, pages = {{473--481}}, title = {{{Radar Stereomapping Techniques and Application to SIR-B Images of Mt. Shasta}}}, doi = {{10.1109/TGRS.1986.289661}}, volume = {{GE-24}}, year = {{1986}}, } @article{16918, author = {{Leberl, F. and Domik, Gitta and Raggam, J. and Cimino, J. and Kobrick, M.}}, journal = {{IEEE Transactions on Geoscience and Remote Sensing}}, number = {{4}}, pages = {{482--491}}, title = {{{Multiple Incidence Angle SIR-B Expenment Over Argentina: Stereo-Radargrammetrc Analysis}}}, volume = {{GE-24}}, year = {{1986}}, } @article{11880, author = {{Oerder, Martin and Ascheid, Gerd and Haeb-Umbach, Reinhold and Meyr, Heinrich}}, journal = {{Signal Processing: Theories and Applications}}, title = {{{An all digital implementation of a receiver for bandwidth-efficient communication}}}, year = {{1986}}, } @techreport{13022, author = {{Hellebrand, Sybille}}, title = {{{Deformation dicker Punkte und Netze von Quadriken}}}, year = {{1986}}, } @inproceedings{15318, author = {{Domik, Gitta and Leberl, Franz}}, booktitle = {{IGARSS'86: Remote Sensing: Today's Solutions for Tomorrow's Information Needs}}, pages = {{467--468}}, publisher = {{European Space Agency, ESA SP}}, title = {{{Using secondary image products to aid in understanding and interpretation of radar imagery}}}, volume = {{254}}, year = {{1986}}, } @article{15254, author = {{Leberl, Franz and Domik, Gitta and Raggam, J and Cimino, J and Kobrick, M}}, journal = {{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}}, pages = {{333--344}}, title = {{{Radargrammetric Experiments with Space Shuttle SIR-B Imagery}}}, year = {{1986}}, } @article{17468, abstract = {{Abstracts: Historia Mathematica 18 (1991), 400 (#18.4.67); Historical Abstracts 39A:4291.}}, author = {{Peckhaus, Volker}}, journal = {{History and Philosophy of Logic}}, pages = {{185--186}}, title = {{{Case Studies Towards the Establishment of a Social History of Logic}}}, volume = {{7}}, year = {{1986}}, } @book{29879, author = {{Böcker, Joachim and Hartmann, Irmfried and Zwanzig, Christian}}, isbn = {{3-540-16930-X}}, publisher = {{Springer-Verlag}}, title = {{{Nichtlineare und adaptive Regelungssysteme}}}, doi = {{10.1007/978-3-642-82879-9}}, year = {{1986}}, } @article{35395, author = {{Schmidt, Claudia and Wefing, S. and Blümich, B. and Spiess, H.W.}}, issn = {{0009-2614}}, journal = {{Chemical Physics Letters}}, keywords = {{Physical and Theoretical Chemistry, General Physics and Astronomy}}, number = {{1-2}}, pages = {{84--90}}, publisher = {{Elsevier BV}}, title = {{{Dynamics of molecular reorientations: direct determination of rotational angles from two-dimensional NMR of powders}}}, doi = {{10.1016/0009-2614(86)80431-6}}, volume = {{130}}, year = {{1986}}, } @inbook{18431, author = {{Beckemeyer, Rita and Tophinke, Doris}}, booktitle = {{Narrative Kompetenz. Mündliche und schriftliche Wiedergabe von Erzählstrukturen durch türkische Schulkinder in außerschulischen Lerngruppen}}, pages = {{66--118}}, publisher = {{Manuskriptdruck}}, title = {{{Eine empirische Untersuchung zu den schriftsprachlichen Leistungen türkischer Schulkinder}}}, year = {{1986}}, } @inbook{27969, author = {{Bigga, Regine and Oberliesen, R.}}, booktitle = {{Neue Technologien und technisch-ökonomische Bildung.}}, pages = {{253--270}}, publisher = {{GATWU}}, title = {{{Geschlechtsspezifische Arbeitsteilung und technische Innovation - Neue Technologien, Frauenerwerbsarbeit und historisch-genetisches Lernen über Arbeit und Technik. }}}, year = {{1986}}, } @article{38491, author = {{Noé, Reinhold}}, issn = {{0013-5194}}, journal = {{ELECTRONICS LETTERS}}, number = {{25}}, pages = {{1341--1343}}, title = {{{ENDLESS POLARIZATION CONTROL EXPERIMENT WITH 3 ELEMENTS OF LIMITED BIREFRINGENCE RANGE}}}, doi = {{10.1049/el:19860922}}, volume = {{22}}, year = {{1986}}, } @article{38490, author = {{Noé, Reinhold}}, issn = {{0013-5194}}, journal = {{ELECTRONICS LETTERS}}, number = {{15}}, pages = {{772--773}}, title = {{{ENDLESS POLARIZATION CONTROL IN COHERENT OPTICAL COMMUNICATIONS}}}, doi = {{10.1049/el:19860529}}, volume = {{22}}, year = {{1986}}, } @misc{40636, author = {{Heppke, G. and Oestreicher, F. and Kitzerow, Heinz-Siegfried and Krumrey, M.}}, title = {{{Optisches System mit einer Flüssigkristallzelle, Verfahren zu seinem Betrieb und seine Verwendung}}}, year = {{1986}}, } @inbook{40617, author = {{Grotjahn, Rebecca}}, booktitle = {{Das Niedersächsische Staatsorchester 1636–1986}}, isbn = {{9783877060414}}, pages = {{129–158}}, publisher = {{Schlütersche}}, title = {{{Das Städtische Orchester 1921–1955}}}, year = {{1986}}, } @inbook{51487, author = {{Hilgert, Joachim and Hofmann, K.H.}}, booktitle = {{Aspects of Positivity in Functional Analysis}}, editor = {{Nagel, R.}}, publisher = {{North Holland}}, title = {{{Invariant Cones in Real Lie Algebras}}}, year = {{1986}}, } @article{51454, author = {{Hilgert, Joachim}}, journal = {{Studia Math.}}, pages = {{97--104}}, title = {{{The Mayer-Vietoris and the Puppe Sequence in K-Theory for C*-algebras}}}, volume = {{83}}, year = {{1986}}, } @article{51453, author = {{Hilgert, Joachim and Hofmann, K.H.}}, journal = {{Geom. Dedicata}}, pages = {{205--217}}, title = {{{On the Automorphism Group of Cones and Wedges}}}, volume = {{21}}, year = {{1986}}, } @article{51455, author = {{Hilgert, Joachim and Hofmann, K.H.}}, journal = {{J. Funct. Anal.}}, pages = {{1--27}}, title = {{{On Sophus Lie's Fundamental Theorem}}}, volume = {{67}}, year = {{1986}}, } @inbook{19821, author = {{Büning, Hans Kleine and Lettmann, Theodor}}, booktitle = {{Computation Theory and Logic}}, editor = {{Börger, Egon}}, isbn = {{9783540181705}}, issn = {{0302-9743}}, pages = {{208--223}}, title = {{{Representation independent query and update operations on propositional definite Horn formulas}}}, doi = {{10.1007/3-540-18170-9_167}}, year = {{1987}}, } @article{17820, author = {{Peckhaus, Volker and Thiel, Christian}}, journal = {{FAU Uni-Kurier}}, number = {{Juni 1987}}, pages = {{49}}, title = {{{DFG fördert an der FAU: Projekt: Fallstudien zur Begründung einer Sozialgeschichte der Logik}}}, volume = {{70/71}}, year = {{1987}}, } @inbook{19359, author = {{Seng, Eva- Maria}}, booktitle = {{Tübinger Blätter, 74. Jg. }}, pages = {{8--14}}, title = {{{Ein Hauch von Paris ... Die Planung für den Tübinger Uhlandplatz durch Christian Friedrich von Leins}}}, volume = {{74. Jg.}}, year = {{1987}}, } @inproceedings{21791, author = {{Domik, Gitta and Leberl, Franz}}, booktitle = {{ASPRS-ACSM}}, title = {{{Image based SAR product simulation for analysis}}}, year = {{1987}}, } @inproceedings{7816, abstract = {{This paper describes the realization of an execution tool for Modula-2 modules which is part of an integrated tool set in a software development environment termed IPSEN (Incremental Programming Support Environment). In this environment, all software documents, e.g. Modula-2 modules, are manipulated by syntax-directed editors and are represented internally by attributed graphs. The execution of Modula-2 modules is done by two cooperating interpreters. The first one is a graph interpreter which traverses the internal graph from statement to statement. These statements are translated into a low-level, more efficiently executable object code and interpreted by a second interpreter. This concept of a hybrid interpreter allows the realization of an execution tool which offers a lot of runtime support features to the user.}}, author = {{Engels, Gregor and Schürr, Andy}}, booktitle = {{Proceedings of the 1st European Software Engineering Conference (ESEC '87), Strasbourg (France)}}, pages = {{80--88}}, publisher = {{Springer}}, title = {{{A Hybrid Interpreter in a Software Development Environment}}}, volume = {{289}}, year = {{1987}}, } @inproceedings{7817, author = {{Engels, Gregor and Nagl, Manfred and Schäfer, Wilhelm}}, booktitle = {{Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, Palo Alto, USA}}, number = {{1}}, pages = {{190--198}}, publisher = {{ACM SIGPLAN Notices}}, title = {{{On the Structure of Structure-Oriented Editors for Different Applications}}}, volume = {{22}}, year = {{1987}}, } @inproceedings{8257, abstract = {{Graphs as conceptual data models are accepted and used in a wide range of different problem areas. Giving some examples we outline common aspects for modeling complex structures by graphs. We present a formal frame-work based on graph grammars to specify graph classes and the corresponding graph manipulations. We show that such a specification can be written in a systematic, engineering-like manner. This is achieved by an extension of the known programmed, attributed graph grammars. Node-set operators are introduced to facilitate graph queries. Concepts like abstraction, decomposition, refinement, parameterization, and integration have been adopted from software engineering to yield a comprehensive specification method. This method has successfully been applied to specify the central data structures in a software development environment project}}, author = {{Engels, Gregor and Lewerentz, Claus and Schäfer, Wilhelm}}, booktitle = {{Proceedings of the 3rd International Workshop on Graph-Grammars and Their Application to Computer Science, Warrenton, VA (USA)}}, pages = {{186--201}}, publisher = {{Springer}}, title = {{{Graph Grammar Engineering: A Software Specification Method}}}, doi = {{dx.doi.org/10.1007/3-540-18771-5}}, volume = {{291}}, year = {{1987}}, } @article{16772, author = {{Borodin, A. and Fich, F. and Meyer auf der Heide, Friedhelm and Upfal, E. and Wigderson, A.}}, issn = {{0097-5397}}, journal = {{SIAM Journal on Computing}}, pages = {{97--99}}, title = {{{A Time-Space Tradeoff for Element Distinctness}}}, doi = {{10.1137/0216007}}, year = {{1987}}, } @article{16773, author = {{Meyer auf der Heide, Friedhelm and Wigderson, Avi}}, issn = {{0097-5397}}, journal = {{SIAM Journal on Computing}}, pages = {{100--107}}, title = {{{The Complexity of Parallel Sorting}}}, doi = {{10.1137/0216008}}, year = {{1987}}, } @inproceedings{16916, author = {{Domik, Gitta}}, booktitle = {{Proceedings of the First Int'l. Workshop on Image Rectification Tech. for Spaceborne Synthetic Aperture Radar}}, number = {{Rep. 29}}, pages = {{pp. 67--68}}, title = {{{Digital Rectification Method for Radar Images Applied on Huge Arrays}}}, year = {{1987}}, } @inproceedings{11795, author = {{Haeb-Umbach, Reinhold and Meyr, Heinrich}}, booktitle = {{Proc. Symposium on Inf. Theory and Appl. (SITA), Tokio}}, title = {{{Optimal Carrier Recovery and Detection on Frequency-Nonselective Fading Channels}}}, year = {{1987}}, } @inproceedings{15038, author = {{Domik, Gitta}}, booktitle = {{IGARSS'87-International Geoscience and Remote Sensing Symposium}}, pages = {{1551--1555}}, title = {{{Methods and application of surface shape reconstruction from multiple SAR images}}}, year = {{1987}}, } @inproceedings{15050, author = {{Leberl, Franz and Domik, Gitta and Mercer, Bryan J}}, booktitle = {{1987 ASPRS ACSM Annual Convention}}, pages = {{148--158}}, title = {{{Methods and accuracy of operational digital image mapping with aircraft SAR}}}, year = {{1987}}, }