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.

12864 Publications


1980 | Book Chapter | LibreCat-ID: 16815
@inbook{Klein_Meyer auf der Heide_1980, place={Berlin, Heidelberg}, title={Untere Zeitschranken für das Rucksack-Problem}, DOI={10.1007/978-3-642-67838-7_34}, booktitle={GI - 10. Jahrestagung}, author={Klein, P. and Meyer auf der Heide, Friedhelm}, year={1980} }
LibreCat | DOI
 

1980 | Book (Editor) | LibreCat-ID: 15510
@book{Hagengruber_1980, place={München}, title={Inseln im Ich}, publisher={Matthes & Seitz}, year={1980} }
LibreCat
 

1981 | Book Chapter | LibreCat-ID: 16813
@inbook{Meyer auf der Heide_Rollik_1981, place={Berlin, Heidelberg}, title={Random access machines and straight-line programs}, DOI={10.1007/3-540-10854-8_29}, booktitle={Fundamentals of Computation Theory}, author={Meyer auf der Heide, Friedhelm and Rollik, Anton}, year={1981} }
LibreCat | DOI
 

1981 | Journal Article | LibreCat-ID: 16820
@article{Meyer auf der Heide_1981, title={A comparison of two variations of a pebble game on graphs}, DOI={10.1016/s0304-3975(81)80004-7}, journal={Theoretical Computer Science}, author={Meyer auf der Heide, Friedhelm}, year={1981}, pages={315–322} }
LibreCat | DOI
 

1981 | Report | LibreCat-ID: 8184
@book{Engels_Pletat_Ehrich_1981, title={Handling Errors and Exceptions in the Algebraic Specifications of Data Types}, publisher={University of Osnabrück}, author={Engels, Gregor and Pletat, Udo and Ehrich, Hans-Dietrich}, year={1981} }
LibreCat
 

1981 | Book Chapter | LibreCat-ID: 16814
@inbook{Meyer auf der Heide_1981, place={Berlin, Heidelberg}, title={Time-processor trade-offs for universal parallel computers}, DOI={10.1007/3-540-10856-4_111}, booktitle={Lecture Notes in Computer Science}, author={Meyer auf der Heide, Friedhelm}, year={1981} }
LibreCat | DOI
 

1981 | Report | LibreCat-ID: 8185
@book{Pletat_Engels_Ehrich_1981, title={Operational Semantics of Algebraic Specifications with Conditional Equations}, publisher={University of Dortmund, Department of Computer Science}, author={Pletat, Udo and Engels, Gregor and Ehrich, Hans-Dietrich}, year={1981} }
LibreCat
 

1982 | Conference Paper | LibreCat-ID: 7811
@inproceedings{Engels_Schäfer_1982, place={München/Leipzig}, title={Specification of a Programming Support Environment by Graph Grammars}, booktitle={Proceedings of the conference on Graphtheoretic Concepts in Computer Science (WG`82), München (Germany)}, publisher={Hanser}, author={Engels, Gregor and Schäfer, Wilhelm}, year={1982}, pages={47–62} }
LibreCat
 

1982 | Conference Paper | LibreCat-ID: 7812
@inproceedings{Pletat_Engels_Ehrich_1982, title={An Operational Approach to Conditional Algebraic Specifications}, volume={82}, booktitle={Proceedings of the 7eme Colloque sur les Arbres en Algebre et en Programmation, Lille (France)}, author={Pletat, Udo and Engels, Gregor and Ehrich, Hans-Dietrich}, year={1982}, pages={254–270} }
LibreCat
 

1983 | Journal Article | LibreCat-ID: 16808
@article{Meyer auf der Heide_1983, title={Infinite cube-connected cycles}, DOI={10.1016/0020-0190(83)90001-7}, journal={Information Processing Letters}, author={Meyer auf der Heide, Friedhelm}, year={1983}, pages={1–2} }
LibreCat | DOI
 

1983 | Book Chapter | LibreCat-ID: 16810
@inbook{Meyer auf der Heide_1983, place={Berlin/Heidelberg}, title={Efficiency of universal parallel computers}, DOI={10.1007/bfb0036483}, booktitle={Lecture Notes in Computer Science}, author={Meyer auf der Heide, Friedhelm}, year={1983} }
LibreCat | DOI
 

1983 | Journal Article | LibreCat-ID: 7412
@article{Engels_Pletat_Ehrich_1983, title={An Operational Semantics for Specifications of Abstract Data Types with Error Handling}, volume={9}, DOI={http://dx.doi.org/10.1007/BF00265557}, number={3}, journal={Acta Informatica}, author={Engels, Gregor and Pletat, Udo and Ehrich, Hans-Dietrich}, year={1983}, pages={235–254} }
LibreCat | DOI
 

1983 | Conference Paper | LibreCat-ID: 16809
@inproceedings{Meyer auf der Heide_1983, title={A polynomial linear search algorithm for the n-dimensional knapsack problem}, DOI={10.1145/800061.808734}, booktitle={Proceedings of the fifteenth annual ACM symposium on Theory of computing  - STOC ’83}, author={Meyer auf der Heide, Friedhelm}, year={1983} }
LibreCat | DOI
 

1983 | Journal Article | LibreCat-ID: 16806
@article{Meyer auf der Heide_1983, title={Efficiency of universal parallel computers}, DOI={10.1007/bf00265559}, journal={Acta Informatica}, author={Meyer auf der Heide, Friedhelm}, year={1983}, pages={269–296} }
LibreCat | DOI
 

1983 | Journal Article | LibreCat-ID: 16807
@article{Klein_Meyer auf der Heide_1983, title={A lower time bound for the knapsack problem on random access machines}, DOI={10.1007/bf00290735}, journal={Acta Informatica}, author={Klein, Peter and Meyer auf der Heide, Friedhelm}, year={1983}, pages={385–395} }
LibreCat | DOI
 

1983 | Journal Article | LibreCat-ID: 7411
@article{Engels_Gall_Nagl_Schäfer_1983, title={Software Specification Using Graph Grammars}, volume={31}, DOI={http://dx.doi.org/10.1007/BF02251236}, number={4}, journal={Computing}, author={Engels, Gregor and Gall, Rupert and Nagl, Manfred and Schäfer, Wilhelm}, year={1983}, pages={317–346} }
LibreCat | DOI
 

1983 | Conference Paper | LibreCat-ID: 8255
@inproceedings{Nagl_Engels_Gall_Schäfer_1983, place={Berlin/Heidelberg}, series={LNCS}, title={Software Specification by Graph Grammars}, volume={153}, DOI={dx.doi.org/10.1007/BFb0000113}, booktitle={Proceedings of the 2nd International Workshop on Graph-Grammars and Their Application to Computer Science, Osnabrück (Germany)}, publisher={Springer}, author={Nagl, Manfred and Engels, Gregor and Gall, Rupert and Schäfer, Wilhelm}, year={1983}, pages={267–287}, collection={LNCS} }
LibreCat | DOI
 

1984 | Journal Article | LibreCat-ID: 15124
@article{Domik_Kobrick_Leberl_1984, title={Analyse von Radarbildern mittels digitaler Hoehenmodelle}, volume={52}, number={5}, journal={Bildmessung und luftbildwesen}, author={Domik, Gitta and Kobrick, M and Leberl, Franz}, year={1984}, pages={249–263} }
LibreCat
 

1984 | Conference Paper | LibreCat-ID: 16920
@inproceedings{Domik-Kienegger_Leberl_Kobrick_1984, title={Radar Image Simulation and its Application in Image Analysis}, author={Domik-Kienegger, Gitta and Leberl, F. and Kobrick, M.}, year={1984}, pages={99–108} }
LibreCat
 

1984 | Journal Article | LibreCat-ID: 16785
@article{Meyer auf der Heide_1984, title={A Polynomial Linear Search Algorithm forr the n-Dimensional Knapsack Problem}, DOI={10.1145/828.322450}, journal={Journal of the ACM (JACM)}, author={Meyer auf der Heide, Friedhelm}, year={1984}, pages={668–676} }
LibreCat | DOI
 

1984 | Report | LibreCat-ID: 15600
@book{Domik_Leberl_Raggam_1984, title={Differential Rectification of SLR-Images Using Map-Derived and Radar-Generated Digital Elevation Models.}, author={Domik, Gitta and Leberl, Franz and Raggam, Johannes}, year={1984} }
LibreCat
 

1984 | Journal Article | LibreCat-ID: 15055
@article{Domik_1984, title={Evaluation of radar stereo viewability by means of a simulation technique}, volume={2}, journal={ESA IGARSS 84: Remote Sensing: From Res. towards Operational Use,}, author={Domik, Gitta}, year={1984} }
LibreCat
 

1984 | Journal Article | LibreCat-ID: 16919
@article{Domik-Kienegger_Kobrick_Leberl_1984, title={Analyse von Radarbildern mittels digitaler Hoehenmodelle}, volume={52}, number={5}, journal={Bildmessung und Luftbildwesen}, author={Domik-Kienegger, Gitta and Kobrick, M. and Leberl, F.}, year={1984}, pages={249–263} }
LibreCat
 

1984 | Conference Paper | LibreCat-ID: 16921
@inproceedings{Domik-Kienegger_Leberl_Raggam_1984, title={Rectification of Radar Images Using Stereo- Derived Height Models and Simulations}, volume={25A}, number={3}, author={Domik-Kienegger, Gitta and Leberl, F. and Raggam, J.}, year={1984}, pages={109–111} }
LibreCat
 

1984 | Conference Paper | LibreCat-ID: 16786
@inproceedings{Meyer auf der Heide_Reischuk_1984, title={On The Limits To Speed Up Parallel Machines By Large Hardware And Unbounded Communication}, DOI={10.1109/sfcs.1984.715901}, booktitle={25th Annual Symposium onFoundations of Computer Science, 1984.}, author={Meyer auf der Heide, Friedhelm and Reischuk, R.}, year={1984} }
LibreCat | DOI
 

1984 | Conference Paper | LibreCat-ID: 15598
@inproceedings{Rott_Domik_1984, title={The SAR-580 experiment on snow and glaciers at the Austrian test site}, volume={2}, booktitle={Proc. SAR-580 Investigators Workshop}, author={Rott, H. and Domik, Gitta}, year={1984}, pages={217–232} }
LibreCat
 

1984 | Book | LibreCat-ID: 17455
@book{Peckhaus_1984, title={Der nationalsozialistische „neue Begriff“ von Wissenschaft am Beispiel der „Deutschen Mathematik“ — Programm, Konzeption und politische Realisierung, Magisterarbeit an der Philosophischen Fakultät der Rheinisch-Westfälischen Technischen Hochschule Aachen, August 1984}, author={Peckhaus, Volker}, year={1984} }
LibreCat | Download (ext.)
 

1984 | Journal Article | LibreCat-ID: 14995
@article{Domik_Leberl_Kobrick_1984, title={Radar image simulation and its application in image analysis}, volume={25}, journal={Archives of the International Society of Photogrammetry and Remote Sensing}, author={Domik, Gitta and Leberl, Franz and Kobrick, M}, year={1984}, pages={A3a} }
LibreCat
 

1984 | Mastersthesis | LibreCat-ID: 15498
@book{Hagengruber_1984, place={München}, title={Das Schöne als Vollzug der Liebe. Eros-Logos-Verhältnisse in Platons Symposion}, author={Hagengruber, Ruth}, year={1984} }
LibreCat
 

1984 | Conference Paper | LibreCat-ID: 16922
@inproceedings{Domik-Kienegger_Kienegger_1984, title={Method to Relate Digital SAR Images and Map Information in Mountainous Areas }, booktitle={Proceedings of the World Conference on Remote Sensing}, author={Domik-Kienegger, Gitta and Kienegger, E.}, year={1984} }
LibreCat
 

1984 | Book Chapter | LibreCat-ID: 16787
@inbook{Meyer auf der Heide_1984, place={Berlin, Heidelberg}, title={Efficient simulations among several models of parallel computers (extended abstract)}, DOI={10.1007/3-540-12920-0_20}, booktitle={STACS 84}, author={Meyer auf der Heide, Friedhelm}, year={1984} }
LibreCat | DOI
 

1985 | Conference Paper | LibreCat-ID: 16783
@inproceedings{Fich_Meyer auf der Heide_Ragde_Wigderson_1985, title={One, two, three . . . infinity: lower bounds for parallel computation}, DOI={10.1145/22145.22151}, booktitle={Proceedings of the seventeenth annual ACM symposium on Theory of computing  - STOC ’85}, author={Fich, F E and Meyer auf der Heide, Friedhelm and Ragde, P and Wigderson, A}, year={1985} }
LibreCat | DOI
 

1985 | Conference Paper | LibreCat-ID: 16788
@inproceedings{Meyer auf der Heide_1985, title={Nondeterministic versus probabilistic linear search algorithms}, DOI={10.1109/sfcs.1985.38}, booktitle={26th Annual Symposium on Foundations of Computer Science (sfcs 1985)}, author={Meyer auf der Heide, Friedhelm}, year={1985} }
LibreCat | DOI
 

1985 | Conference Paper | LibreCat-ID: 16784
@inproceedings{Meyer auf der Heide_1985, title={Fast algorithms for n-dimensional restrictions of hard problems}, DOI={10.1145/22145.22191}, booktitle={Proceedings of the seventeenth annual ACM symposium on Theory of computing  - STOC ’85}, author={Meyer auf der Heide, Friedhelm}, year={1985} }
LibreCat | DOI
 

1985 | Journal Article | LibreCat-ID: 16823
@article{Meyer auf der Heide_1985, title={Lower time bounds for solving linear diophantine equations on several parallel computational models}, volume={67}, DOI={10.1016/S0019-9958(85)80035-8}, number={1–3}, journal={Information and Control}, author={Meyer auf der Heide, Friedhelm}, year={1985}, pages={195–211} }
LibreCat | DOI
 

1985 | Journal Article | LibreCat-ID: 15314
@article{Leberl_Kobrick_undefined_1985, title={Mapping with aircraft and satellite radar images}, volume={11}, number={66}, journal={The Photogrammetric Record}, publisher={Wiley Online Library}, author={Leberl, FW and Kobrick, M and undefined, undefined}, year={1985}, pages={647–665} }
LibreCat
 

1985 | Journal Article | LibreCat-ID: 16780
@article{Meyer auf der Heide_1985, title={Lower bounds for solving linear diophantine equations on random access machines}, DOI={10.1145/4221.4250}, journal={Journal of the ACM (JACM)}, author={Meyer auf der Heide, Friedhelm}, year={1985}, pages={929–937} }
LibreCat | DOI
 

1985 | Conference Paper | LibreCat-ID: 7813
@inproceedings{Engels_Schäfer_1985, place={Berlin/Heidelberg}, series={LNCS}, title={Graph Grammar Engineering: A Method Used for the Development of an Integrated Programming Support Environment}, volume={186}, booktitle={Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT 1985), Berlin (Germany)}, publisher={Springer}, author={Engels, Gregor and Schäfer, Wilhelm}, year={1985}, pages={179–193}, collection={LNCS} }
LibreCat
 

1985 | Journal Article | LibreCat-ID: 15315
@article{Domik_1985, title={Radar image simulation as a tool to analyze topographic effects on geometry and radiometry of radar imagery}, journal={Machine processing of remotely sensed data- Quantifying global process: Models, sensor systems, and analytical methods}, author={Domik, Gitta}, year={1985}, pages={248–253} }
LibreCat
 

1985 | Journal Article | LibreCat-ID: 15048
@article{Raggam_Triebnig_Buchroithner_Domik_Leberl_1985, title={Radargrammetric aspects of SAR data evaluation}, journal={Thematic Applications of SAR data}, author={Raggam, J and Triebnig, Gerhard and Buchroithner, MF and Domik, G and Leberl, Franz}, year={1985}, pages={57} }
LibreCat
 

1985 | Journal Article | LibreCat-ID: 16779
@article{Lautemann_Meyer auf der Heide_1985, title={Lower time bounds for integer programming with two variables}, DOI={10.1016/0020-0190(85)90042-0}, journal={Information Processing Letters}, author={Lautemann, Clemens and Meyer auf der Heide, Friedhelm}, year={1985}, pages={101–105} }
LibreCat | DOI
 

1985 | Journal Article | LibreCat-ID: 16781
@article{Meyer auf der Heide_1985, title={Simulating probabilistic by deterministic algebraic computation trees}, DOI={10.1016/0304-3975(85)90079-9}, journal={Theoretical Computer Science}, author={Meyer auf der Heide, Friedhelm}, year={1985}, pages={325–330} }
LibreCat | DOI
 

1985 | Conference Paper | LibreCat-ID: 7814
@inproceedings{Engels_Schäfer_1985, place={Florenz}, title={The Design of an Adaptive and Portable Programming Support Environment}, booktitle={Proceedings of the International Computing Symposium, Amsterdam (The Netherlands)}, author={Engels, Gregor and Schäfer, Wilhelm}, year={1985} }
LibreCat
 

1985 | Conference Paper | LibreCat-ID: 15316
@inproceedings{Rott_Domik_MStzler_Miller_1985, title={Towards a SAR system for snow and land ice applications}, booktitle={ESA Proceedings of a Workshop on Thematic Applications of SAR DATA p 29-39(SEE N 86-28488 19-42)}, author={Rott, H and Domik, Gitta and MStzler, C and Miller, H}, year={1985} }
LibreCat
 

1985 | Conference Paper | LibreCat-ID: 16782
@inproceedings{Meyer auf der Heide_Wigderson_1985, title={The complexity of parallel sorting}, DOI={10.1109/sfcs.1985.58}, booktitle={26th Annual Symposium on Foundations of Computer Science (sfcs 1985)}, author={Meyer auf der Heide, Friedhelm and Wigderson, Avi}, year={1985} }
LibreCat | DOI
 

1986 | Conference Paper | LibreCat-ID: 15317
@inproceedings{Domik_Leberl_Raggam_1986, title={Developing tools for digital radar image data evaluation}, volume={1}, booktitle={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.}, author={Domik, Gitta and Leberl, Franz and Raggam, J}, year={1986}, pages={117–119} }
LibreCat
 

1986 | Journal Article | LibreCat-ID: 15254
@article{Leberl_Domik_Raggam_Cimino_Kobrick_1986, title={Radargrammetric Experiments with Space Shuttle SIR-B Imagery}, 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}, author={Leberl, Franz and Domik, Gitta and Raggam, J and Cimino, J and Kobrick, M}, year={1986}, pages={333–344} }
LibreCat
 

1986 | Journal Article | LibreCat-ID: 16771
@article{Meyer auf der Heide_1986, title={Efficient Simulations among Several Models of Parallel Computers}, DOI={10.1137/0215008}, journal={SIAM Journal on Computing}, author={Meyer auf der Heide, Friedhelm}, year={1986}, pages={106–119} }
LibreCat | DOI
 

1986 | Book Chapter | LibreCat-ID: 16776
@inbook{Borodin_Fich_Meyer auf der Heide_Upfal_Wigderson_1986, place={Berlin, Heidelberg}, title={A time-space tradeoff for element distinctness}, DOI={10.1007/3-540-16078-7_89}, booktitle={STACS 86}, author={Borodin, A. and Fich, F. and Meyer auf der Heide, Friedhelm and Upfal, E. and Wigderson, A.}, year={1986} }
LibreCat | DOI
 

1986 | Conference Paper | LibreCat-ID: 8256
@inproceedings{Engels_Sandbrink_1986, place={Bautzen}, title={Experiences with a Hybrid-Interpreter Based on Incremental Compilation Techniques}, volume={12}, booktitle={Proceedings of the Workshop on Compiler Compilers and Incremental Compilation Techniques, Bautzen}, publisher={Berlin(Ost): Akademie der Wissenschaften der DDR}, author={Engels, Gregor and Sandbrink, Andrea}, year={1986}, pages={172–184} }
LibreCat
 

1986 | Journal Article | LibreCat-ID: 14895
@article{Leberl_Domik-Kienegger_Rraggam_Kobrick_1986, title={Radar stereomapping techniques and application to SIR-B images of Mt. Shasta}, number={4}, journal={IEEE Transactions on Geoscience and Remote Sensing}, publisher={IEEE}, author={Leberl, Franz  W. and Domik-Kienegger, Gitta and Rraggam, Johannes and Kobrick, Michael}, year={1986}, pages={473–481} }
LibreCat
 

1986 | Book Chapter | LibreCat-ID: 18431
@inbook{Beckemeyer_Tophinke_1986, place={Osnabrück}, title={Eine empirische Untersuchung zu den schriftsprachlichen Leistungen türkischer Schulkinder}, booktitle={Narrative Kompetenz. Mündliche und schriftliche Wiedergabe von Erzählstrukturen durch türkische Schulkinder in außerschulischen Lerngruppen}, publisher={Manuskriptdruck}, author={Beckemeyer, Rita and Tophinke, Doris}, editor={Arbeitsstelle für Sprachprobleme von MigrantenEditor}, year={1986}, pages={66–118} }
LibreCat
 

1986 | Book Chapter | LibreCat-ID: 19364
@inbook{Seng_1986, place={Stuttgart}, series={Blätter für württembergische Kirchengeschichte}, title={Das Ulmer Hauptwerk: Der Blaubeurer Hochaltar und die Erhart-Frage}, volume={86. Jg.}, booktitle={Blätter für württembergische Kirchengeschichte, 86. Jg. }, author={Seng, Eva- Maria}, editor={Schäfer, Gerhart and Brecht, MartinEditors}, year={1986}, pages={299–319}, collection={Blätter für württembergische Kirchengeschichte} }
LibreCat
 

1986 | Book Chapter | LibreCat-ID: 19477
@inbook{Seng_1986, title={Architekten- und Künstlerbiographien}, 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)}, author={Seng, Eva- Maria}, editor={Kulturamt der Universitätsstadt Tübingen Editor}, year={1986}, pages={102–108} }
LibreCat
 

1986 | Book Chapter | LibreCat-ID: 19819
@inbook{Kleine Büning_Lettmann_1986, place={Berlin, Heidelberg}, title={Classes of first order formulas under various satisfiability definitions}, DOI={10.1007/3-540-16780-3_119}, booktitle={8th International Conference on Automated Deduction}, author={Kleine Büning, H. and Lettmann, Theodor}, year={1986} }
LibreCat | DOI
 

1986 | Journal Article | LibreCat-ID: 11880
@article{Oerder_Ascheid_Haeb-Umbach_Meyr_1986, title={An all digital implementation of a receiver for bandwidth-efficient communication}, journal={Signal Processing: Theories and Applications}, author={Oerder, Martin and Ascheid, Gerd and Haeb-Umbach, Reinhold and Meyr, Heinrich}, year={1986} }
LibreCat
 

1986 | Conference Paper | LibreCat-ID: 15318
@inproceedings{Domik_Leberl_1986, title={Using secondary image products to aid in understanding and interpretation of radar imagery}, booktitle={IGARSS’86: Remote Sensing: Today’s Solutions for Tomorrow’s Information Needs}, author={Domik, Gitta and Leberl, Franz}, year={1986} }
LibreCat
 

1986 | Journal Article | LibreCat-ID: 16917
@article{Leberl_Domik-Kienegger_Raggam_Kobrick_1986, title={Radar Stereomapping Techniques and Application to SIR-B Images of Mt. Shasta}, volume={GE-24}, number={4}, journal={IEEE Transactions on Geoscience and Remote Sensing}, author={Leberl, F. and Domik-Kienegger, Gitta and Raggam, J. and Kobrick, M.}, year={1986}, pages={473–481} }
LibreCat
 

1986 | Dissertation | LibreCat-ID: 7588
@book{Engels_1986, title={Graphen als zentrale Datenstrukturen in einer Software-Entwicklungsumgebung}, author={Engels, Gregor}, year={1986} }
LibreCat
 

1986 | Book Chapter | LibreCat-ID: 19360
@inbook{Seng_1986, series={Tübinger Kataloge }, title={Die Zeichner und die Art der Darstellung - Zur Entwicklung und Funktion der Architekturzeichnung im 19. Jahrhundert}, volume={Nr. 29}, 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)}, author={Seng, Eva- Maria}, editor={Kulturamt der Universitätsstadt Tübingen Editor}, year={1986}, pages={4–16}, collection={Tübinger Kataloge } }
LibreCat
 

1986 | Report | LibreCat-ID: 13022
@book{Hellebrand_1986, place={Universität Regensburg, Fakultät für Mathematik, Regensburg, Germany}, title={Deformation dicker Punkte und Netze von Quadriken}, author={Hellebrand, Sybille}, year={1986} }
LibreCat
 

1986 | Conference Paper | LibreCat-ID: 15179
@inproceedings{Mercer_Lowry_Leberl_Domik_1986, title={Digital terrain mapping with STAR-1 SAR data}, booktitle={International Geoscienee and Remote Sensing Symposium}, author={Mercer, JB and Lowry, RT and Leberl, Franz and Domik, Gitta}, year={1986}, pages={645–650} }
LibreCat
 

1986 | Journal Article | LibreCat-ID: 16918
@article{Leberl_Domik-Kienegger_Raggam_Cimino_Kobrick_1986, title={Multiple Incidence Angle SIR-B Expenment Over Argentina: Stereo-Radargrammetrc Analysis}, volume={GE-24}, number={4}, journal={IEEE Transactions on Geoscience and Remote Sensing}, author={Leberl, F. and Domik-Kienegger, Gitta and Raggam, J. and Cimino, J. and Kobrick, M.}, year={1986}, pages={482–491} }
LibreCat
 

1986 | Book Chapter | LibreCat-ID: 19443
@inbook{Eke_1986, place={Aachen}, title={Risse: Pytheas, Philostratos et. al. Zu den Protagonisten der frühen Erzählungen Arno Schmidts}, booktitle={Arno Schmidt. Das Frühwerk I: Erzählungen. Interpretationen von ‚Gadir‘ bis ‚Kosmas‘}, publisher={Rader}, author={Eke, Norbert Otto}, editor={Schardt, Michael MatthiasEditor}, year={1986}, pages={151–184} }
LibreCat
 

1986 | Book | LibreCat-ID: 2092
@book{Krimphove_1986, place={Brüssel}, title={Belgium in a Nutshell Investitionsmöglichkeiten ausländischer Unternehmen in Belgien}, author={Krimphove, Dieter}, year={1986} }
LibreCat
 

1986 | Book Chapter | LibreCat-ID: 16774
@inbook{Borodin_Fich_Meyer auf der Heide_Upfal_Wigderson_1986, place={Berlin, Heidelberg}, title={A tradeoff between search and update time for the implicit dictionary problem}, DOI={10.1007/3-540-16761-7_54}, booktitle={Automata, Languages and Programming}, author={Borodin, Allan and Fich, Faith E. and Meyer auf der Heide, Friedhelm and Upfal, Eli and Wigderson, Avi}, year={1986} }
LibreCat | DOI
 

1986 | Journal Article | LibreCat-ID: 14983
@article{Domik_Leberl_Cimino_1986, title={Multiple incidence angle SIR-B experiment over Argentina: generation of secondary image products}, number={4}, journal={IEEE Transactions on Geoscience and Remote Sensing}, publisher={IEEE}, author={Domik, Gitta and Leberl, Franz and Cimino, Jobea}, year={1986}, pages={492–497} }
LibreCat
 

1986 | Book Chapter | LibreCat-ID: 16775
@inbook{Meyer auf der Heide_1986, place={Berlin, Heidelberg}, title={Speeding up random access machines by few processors}, DOI={10.1007/3-540-16078-7_72}, booktitle={STACS 86}, author={Meyer auf der Heide, Friedhelm}, year={1986} }
LibreCat | DOI
 

1986 | Conference Paper | LibreCat-ID: 7815
@inproceedings{Engels_Lewerentz_Nagl_Schäfer_1986, title={On the Structure of an Incremental and Integrated Software Development Environment}, volume={2a}, booktitle={Proceedings of the 19th Hawaii International Conference on System Sciences, Hawaii, USA}, author={Engels, Gregor and Lewerentz, Claus and Nagl, Manfred and Schäfer, Wilhelm}, year={1986}, pages={585–597} }
LibreCat
 

1986 | Journal Article | LibreCat-ID: 17468
@article{Peckhaus_1986, title={Case Studies Towards the Establishment of a Social History of Logic}, volume={7}, journal={History and Philosophy of Logic}, author={Peckhaus, Volker}, year={1986}, pages={185–186} }
LibreCat
 

1987 | Conference Paper | LibreCat-ID: 11795
@inproceedings{Haeb-Umbach_Meyr_1987, title={Optimal Carrier Recovery and Detection on Frequency-Nonselective Fading Channels}, booktitle={Proc. Symposium on Inf. Theory and Appl. (SITA), Tokio}, author={Haeb-Umbach, Reinhold and Meyr, Heinrich}, year={1987} }
LibreCat
 

1987 | Conference Paper | LibreCat-ID: 15038
@inproceedings{Domik_1987, title={Methods and application of surface shape reconstruction from multiple SAR images}, booktitle={IGARSS’87-International Geoscience and Remote Sensing Symposium}, author={Domik, Gitta}, year={1987}, pages={1551–1555} }
LibreCat
 

1987 | Conference Paper | LibreCat-ID: 16916
@inproceedings{Domik-Kienegger_1987, title={Digital Rectification Method for Radar Images Applied on Huge Arrays}, number={Rep. 29}, booktitle={Proceedings of the First Int’l. Workshop on Image Rectification Tech. for Spaceborne Synthetic Aperture Radar}, author={Domik-Kienegger, Gitta}, year={1987}, pages={67–68} }
LibreCat
 

1987 | Conference Paper | LibreCat-ID: 7816
@inproceedings{Engels_Schürr_1987, place={Berlin/Heidelberg}, title={A Hybrid Interpreter in a Software Development Environment}, volume={289}, booktitle={Proceedings of the 1st European Software Engineering Conference (ESEC ’87), Strasbourg (France)}, publisher={Springer}, author={Engels, Gregor and Schürr, Andy}, year={1987}, pages={80–88} }
LibreCat
 

1987 | Journal Article | LibreCat-ID: 17820
@article{Peckhaus_Thiel_1987, title={DFG fördert an der FAU: Projekt: Fallstudien zur Begründung einer Sozialgeschichte der Logik}, volume={70/71}, number={Juni 1987}, journal={FAU Uni-Kurier}, author={Peckhaus, Volker and Thiel, Christian}, year={1987}, pages={49} }
LibreCat
 

1987 | Book Chapter | LibreCat-ID: 19821
@inbook{Büning_Lettmann_1987, place={Berlin, Heidelberg}, title={Representation independent query and update operations on propositional definite Horn formulas}, DOI={10.1007/3-540-18170-9_167}, booktitle={Computation Theory and Logic}, author={Büning, Hans Kleine and Lettmann, Theodor}, editor={Börger, EgonEditor}, year={1987}, pages={208–223} }
LibreCat | DOI
 

1987 | Journal Article | LibreCat-ID: 16772
@article{Borodin_Fich_Meyer auf der Heide_Upfal_Wigderson_1987, title={A Time-Space Tradeoff for Element Distinctness}, DOI={10.1137/0216007}, journal={SIAM Journal on Computing}, author={Borodin, A. and Fich, F. and Meyer auf der Heide, Friedhelm and Upfal, E. and Wigderson, A.}, year={1987}, pages={97–99} }
LibreCat | DOI
 

1987 | Conference Paper | LibreCat-ID: 7817
@inproceedings{Engels_Nagl_Schäfer_1987, title={On the Structure of Structure-Oriented Editors for Different Applications}, volume={22}, number={1}, booktitle={Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, Palo Alto, USA}, publisher={ACM SIGPLAN Notices}, author={Engels, Gregor and Nagl, Manfred and Schäfer, Wilhelm}, year={1987}, pages={190–198} }
LibreCat
 

1987 | Conference Paper | LibreCat-ID: 8257
@inproceedings{Engels_Lewerentz_Schäfer_1987, place={Berlin/Heidelberg}, title={Graph Grammar Engineering: A Software Specification Method}, volume={291}, DOI={dx.doi.org/10.1007/3-540-18771-5}, booktitle={Proceedings of the 3rd International Workshop on Graph-Grammars and Their Application to Computer Science, Warrenton, VA (USA)}, publisher={Springer}, author={Engels, Gregor and Lewerentz, Claus and Schäfer, Wilhelm}, year={1987}, pages={186–201} }
LibreCat | DOI
 

1987 | Book Chapter | LibreCat-ID: 17819
@inbook{Peckhaus_Kötter_1987, title={Interdisziplinäres Institut für Wissenschaftstheorie und Wissenschaftsgeschichte}, booktitle={Friedrich-Alexander-Universität Erlangen-Nürnberg. Jahresbericht 1984/85 und 1985/86 (Mai 1987)}, author={Peckhaus, Volker and Kötter, Rudolf}, year={1987}, pages={89} }
LibreCat
 

1987 | Journal Article | LibreCat-ID: 15319
@article{Domik_Leberl_1987, title={Image based SAR product simulation for analysis}, journal={ASPRS-ACM}, author={Domik, Gitta and Leberl, Franz}, year={1987} }
LibreCat
 

1987 | Journal Article | LibreCat-ID: 16773
@article{Meyer auf der Heide_Wigderson_1987, title={The Complexity of Parallel Sorting}, DOI={10.1137/0216008}, journal={SIAM Journal on Computing}, author={Meyer auf der Heide, Friedhelm and Wigderson, Avi}, year={1987}, pages={100–107} }
LibreCat | DOI
 

1987 | Book Chapter | LibreCat-ID: 19359
@inbook{Seng_1987, series={Tübinger Blätter}, title={Ein Hauch von Paris ... Die Planung für den Tübinger Uhlandplatz durch Christian Friedrich von Leins}, volume={74. Jg.}, booktitle={Tübinger Blätter, 74. Jg. }, author={Seng, Eva- Maria}, editor={Bürger- und Verkehrsverein Tübingen e.V.Editor}, year={1987}, pages={8–14}, collection={Tübinger Blätter} }
LibreCat
 

1987 | Conference Paper | LibreCat-ID: 15050
@inproceedings{Leberl_Domik_Mercer_1987, title={Methods and accuracy of operational digital image mapping with aircraft SAR}, booktitle={1987 ASPRS ACSM Annual Convention}, author={Leberl, Franz and Domik, Gitta and Mercer, Bryan J}, year={1987}, pages={148–158} }
LibreCat
 

1988 | Conference Paper | LibreCat-ID: 11783
@inproceedings{Haeb-Umbach_1988, title={A Comparison of Coherent and Differentially Coherent Detection Schemes for Fading Channels}, booktitle={International Conference on Vehicular Technology, Philadelphia}, author={Haeb-Umbach, Reinhold}, year={1988} }
LibreCat | Download (ext.)
 

1988 | Journal Article | LibreCat-ID: 16764
@article{Meyer auf der Heide_1988, title={Fast algorithms for N-dimensional restrictions of hard problems}, DOI={10.1145/44483.44490}, journal={Journal of the ACM (JACM)}, author={Meyer auf der Heide, Friedhelm}, year={1988}, pages={740–747} }
LibreCat | DOI
 

1988 | Report | LibreCat-ID: 8186
@book{Ebert_Engels_1988, title={Ein Konzept zur Beschreibung von Software-Architekturen}, publisher={EWH Koblenz}, author={Ebert, Jürgen and Engels, Gregor}, year={1988} }
LibreCat
 

1988 | Journal Article | LibreCat-ID: 17469
@article{Peckhaus_1988, title={Karl Eugen Müller (1865–1932) und seine Rolle in der Entwicklung der Algebra der Logik}, volume={9}, journal={History and Philosophy of Logic}, author={Peckhaus, Volker}, year={1988}, pages={43–56} }
LibreCat
 

1988 | Conference Paper | LibreCat-ID: 13021
@inproceedings{Wunderlich_Hellebrand_1988, place={Tokyo, Japan}, title={Generating Pattern Sequences for the Pseudo-Exhaustive Test of MOS-Circuits}, DOI={10.1109/ftcs.1988.5294}, booktitle={{18th International Symposium on Fault-Tolerant Computing, FTCS-18}}, publisher={{IEEE (Comput. Soc. Press)}}, author={Wunderlich, Hans-Joachim and Hellebrand, Sybille}, year={1988}, pages={36–45} }
LibreCat | DOI
 

1988 | Conference Paper | LibreCat-ID: 15320
@inproceedings{Brugel_Domik_Voels_1988, title={A multi-spectral analysis system using large databases.}, volume={28}, booktitle={European Southern Observatory Conference and Workshop Proceedings}, author={Brugel, Edward W and Domik, Gitta and Voels, Stephen A}, year={1988}, pages={3–8} }
LibreCat
 

1988 | Journal Article | LibreCat-ID: 16765
@article{Borodin_Fich_Meyer auf der Heide_Upfal_Wigderson_1988, title={A tradeoff between search and update time for the implicit dictionary problem}, DOI={10.1016/0304-3975(88)90018-7}, journal={Theoretical Computer Science}, author={Borodin, Allan and Fich, Faith E. and Meyer auf der Heide, Friedhelm and Upfal, Eli and Wigderson, Avi}, year={1988}, pages={57–68} }
LibreCat | DOI
 

1988 | Book Chapter | LibreCat-ID: 19442
@inbook{Eke_1988, place={Aachen}, title={„Wenn man die Augen hätte schließen und schlafen können...“. Zu Arno Schmidts Nachkriegsroman „Brand’s Haide“}, booktitle={Arno Schmidt. Das Frühwerk II. Romane. Interpretationen von ‚Brand’s Haide’ bis ‚Gelehrtenrepublik’}, publisher={Alano}, author={Eke, Norbert Otto}, editor={Schardt, Michael MatthiasEditor}, year={1988}, pages={13–54} }
LibreCat
 

1988 | Conference Paper | LibreCat-ID: 13058
@inproceedings{Schmid_Wunderlich_Feldbusch_Hellebrand_Holzinger_Kunzmann_1988, place={Amsterdam, The Netherlands}, title={Integrated Tools for Automatic Design for Testability}, booktitle={{In: Tool Integration and Design Environments, F.J. Rammig (Editor)}}, publisher={Amsterdam: Elsevier Science Publishers B.V.(North Holland), IFIP}, author={Schmid, Detlef and Wunderlich, Hans-Joachim and Feldbusch, Fridtjof and Hellebrand, Sybille and Holzinger, Juergen and Kunzmann, Arno}, year={1988}, pages={233–258} }
LibreCat
 

1988 | Journal Article | LibreCat-ID: 15321
@article{Domik_Leberl_Cimino_1988, title={Dependence of image grey values on topography in SIR-B images}, volume={9}, number={5}, journal={International Journal of Remote Sensing}, publisher={Taylor \& Francis}, author={Domik, Gitta and Leberl, Franz and Cimino, J}, year={1988}, pages={1013–1022} }
LibreCat
 

1988 | Conference Paper | LibreCat-ID: 16766
@inproceedings{Dietzfelbinger_Karlin_Mehlhorn_Meyer auf der Heide_Rohnert_Tarjan_1988, title={Dynamic perfect hashing: upper and lower bounds}, DOI={10.1109/sfcs.1988.21968}, booktitle={[Proceedings 1988] 29th Annual Symposium on Foundations of Computer Science}, author={Dietzfelbinger, M. and Karlin, A. and Mehlhorn, K. and Meyer auf der Heide, Friedhelm and Rohnert, H. and Tarjan, R.E.}, year={1988} }
LibreCat | DOI
 

1988 | Conference Paper | LibreCat-ID: 7818
@inproceedings{Engels_Janning_Schäfer_1988, place={New York, NY, USA}, title={A Highly Integrated Tool Set for Program Development Support}, DOI={http://dx.doi.org/10.1145/62453.62454}, booktitle={Proceedings of the conference on ACM SIGSMALL/PC symposium on ACTES (SIGSMALL 1988), Cannes (France)}, publisher={ACM Press}, author={Engels, Gregor and Janning, Thorsten and Schäfer, Wilhelm}, year={1988}, pages={1–10} }
LibreCat | DOI
 

1988 | Conference Paper | LibreCat-ID: 7820
@inproceedings{Engels_Hohenstein_Saake_Ehrich_1988, place={Darmstadt (Germany)}, title={Auf dem Weg zu einer integrierten Datenbank-Entwurfsumgebung}, booktitle={Proceedings of the GI-Workshop on “Sprachspezifische Programmierumgebungen”}, publisher={G. Snelting}, author={Engels, Gregor and Hohenstein, Uwe and Saake, Gunter and Ehrich, Hans-Dietrich}, editor={Engels, Gregor and Hohenstein, Uwe and Saake, Gunter and Ehrich, Hans-D.Editors}, year={1988}, pages={38–51} }
LibreCat
 

1988 | Conference Paper | LibreCat-ID: 8258
@inproceedings{Engels_Janning_Schäfer_1988, title={Die Benutzerschnittstelle einer integrierten Modula-2 Programmentwicklungsumgebung}, booktitle={Proceedings of GI-Workshop Sprachspezifische Programmierumgebungen, Darmstadt, Germany}, author={Engels, Gregor and Janning, Thorsten and Schäfer, Wilhelm}, year={1988} }
LibreCat
 

1988 | Mastersthesis | LibreCat-ID: 18692
@book{Seng_1988, place={Tübingen 1987}, title={Die Johanneskirche am Feuersee in Stuttgart und der Architekt Christian Friedrich von Leins (1814 - 1892), Magisterarbeit masch.}, author={Seng, Eva- Maria}, year={1988} }
LibreCat
 

1988 | Journal Article | LibreCat-ID: 15322
@article{Leberl_Mayr_Domik_Kobrick_1988, title={SIR-B stereo-radargrammetry of Australia}, volume={9}, number={5}, journal={International journal of remote sensing}, publisher={Taylor \& Francis}, author={Leberl, Franz and Mayr, W and Domik, Gitta and Kobrick, M}, year={1988}, pages={997–1011} }
LibreCat
 

Filters and Search Terms

year<=2030 AND year>=1980

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year
Citation Style: BibTeX

Export / Embed