Domik, Gitta. “The Role of Visualization in Understanding Data.” New Results and New Trends in Computer Science, edited by Hermann Maurer, Springer Berlin Heidelberg, 1991, pp. 91–107.
LibreCat: /record/21790

Löhr-Richter, Perdita, and Gregor Engels. Incremental Design of Conceptual Database Schemata with CADDY. Leiden University, 1991.
LibreCat: /record/8188

Domik, Gitta, and KD Mickus. “Visualization in the Analysis Cycle of Observational Data, in Analyzing and Modeling Data and Knowledge.” Proceedings of the 15th Annual Conference of the “Gesellschaft Für Klassifikation e.V.” University of Salzburg, edited by M. Schader, 1991, pp. 267–76.
LibreCat: /record/16912

Müller, Wolfgang. “Contract-Oriented System Design and Specification.” Proceedings of the Workshop on Practical Computer Based Systems Engineering - Its Scope and Methods, 1991.
LibreCat: /record/39584

Lehrenfeld, Georg, and Wolfgang Müller. “Validation of EXPRESS Models Using Prolog.” Proceedings of the 1st EXPRESS User’s Group Conference, 1991.
LibreCat: /record/39583

Alt, Helmut, et al. “Approximation of Convex Polygons.”10.1007/bfb0032068__Automata, Languages and Programming, Springer-Verlag, 1990, pp. 703–16, doi:10.1007/bfb0032068.
LibreCat: /record/3050
DOI: 10.1007/bfb0032068

Hohenstein, Uwe, and Gregor Engels. “Formal Semantics of an Entity-Relationship Query Language.” Proceedings of the 9th International Conference on Entity-Relationship Approach (ER 90), Lausanne, Switzerland, ER Institute, 1990, pp. 177–88.
LibreCat: /record/7824

Engels, Gregor. “Elementary Actions on an Extended Entity-Relationship Database.”http://dx.doi.org/10.1007/BFb0017372__Proceedings of the Workshop on Graph Grammars and Their Application to Computer Science (1990), Bremen (Germany), vol. 532, Springer, 1990, pp. 344–62, doi:http://dx.doi.org/10.1007/BFb0017372.
LibreCat: /record/8259
DOI: http://dx.doi.org/10.1007/BFb0017372

Dietzfelbinger, Martin, and Friedhelm Meyer auf der Heide. “A New Universal Class of Hash Functions and Dynamic Hashing in Real Time.”10.1007/bfb0032018__Automata, Languages and Programming, 1990, doi:10.1007/bfb0032018.
LibreCat: /record/16738
DOI: 10.1007/bfb0032018

Meyer auf der Heide, Friedhelm. “Dynamic Hashing Strategies.”10.1007/bfb0029597__Lecture Notes in Computer Science, 1990, doi:10.1007/bfb0029597.
LibreCat: /record/16739
DOI: 10.1007/bfb0029597

Karpinski, Marek, and Friedhelm Meyer auf der Heide. “On the Complexity of Genuinely Polynomial Computation.”10.1007/bfb0029630__Lecture Notes in Computer Science, 1990, doi:10.1007/bfb0029630.
LibreCat: /record/16740
DOI: 10.1007/bfb0029630

Dietzfelbinger, M., and Friedhelm Meyer auf der Heide. “How to Distribute a Dictionary in a Complete Network.”10.1145/100216.100229__Proceedings of the Twenty-Second Annual ACM Symposium on Theory of Computing  - STOC ’90, 1990, doi:10.1145/100216.100229.
LibreCat: /record/16741
DOI: 10.1145/100216.100229

Gil, J., et al. “Not All Keys Can Be Hashed in Constant Time.”10.1145/100216.100247__Proceedings of the Twenty-Second Annual ACM Symposium on Theory of Computing  - STOC ’90, 1990, doi:10.1145/100216.100247.
LibreCat: /record/16742
DOI: 10.1145/100216.100247

Meyer auf der Heide, Friedhelm. “Das Heinz Nixdorf-Institut Der Universität-GH Paderborn.” Informatik Spektrum, vol. 13, no. 4, 1990, pp. 231–32.
LibreCat: /record/16824

Domik, Gitta, et al. “IRAS On-Line Catalogs at CASA.” Proceedings of the 176th Meeting of the American Astronomical Society, vol. Vol. 22, no. No. 2, 1990.
LibreCat: /record/16913

Domik, Gitta, et al. “Applications of IRAS Preprocessing at the Workstation.” Bulletin of the American Astronomical Society, vol. 22, 1990, p. 828.
LibreCat: /record/15393

Domik, Gitta, et al. “Workstation-Based Preprocessing of IRAS Sky-Flux Images.” Publications of the Astronomical Society of the Pacific, vol. 102, no. 656, IOP Publishing, 1990, p. 1167.
LibreCat: /record/15394

Mickus, KD, et al. “A Case Study: Multi-Sensor Data Analysis of Hh Objects via Star: A Scientific Toolkit for Astrophysical Research.” Bulletin of the American Astronomical Society, vol. 22, 1990, p. 1259.
LibreCat: /record/15395

Mickus, KD, et al. “Star-a Scientific Toolkit for Astrophysical Research.” Bulletin of the American Astronomical Society, vol. 22, 1990, p. 828.
LibreCat: /record/15051

Kleine Büning, Hans, et al. “Projections of Vector Addition System Reachability Sets Are Semilinear.”10.1016/0304-3975(89)90055-8__Theoretical Computer Science, 1989, pp. 343–50, doi:10.1016/0304-3975(89)90055-8.
LibreCat: /record/19818
DOI: 10.1016/0304-3975(89)90055-8

Ebert, Jürgen, and Gregor Engels. “Konzepte Einer Software-Architektur-Beschreibungssprache.” Software-Entwicklung: Konzepte, Erfahrungen, Perspektiven, Fachtagung, 1989, Marburg (Germany), vol. 212, Springer, 1989, pp. 238–50.
LibreCat: /record/7821

Engels, Gregor. “CADDY-O: Syntaxgestütztes, Graphisches Entwerfen Konzeptioneller Datenbankschemata.” Tagungsband GI-Fachtagung “Interaktive Schnittstellen Für Informationssysteme”, TU Clausthal, Notizen Zu Interaktive Systeme, vol. 18, 1989, pp. 1–16.
LibreCat: /record/7822

Engels, Gregor, et al. “CADDY: Computer-Aided Design of Non-Standard Databases.” Proceedings of the International Conference on System Development Environments &; Factories, Berlin, Germany, Pitman Publishing, 1989.
LibreCat: /record/7823

Engels, Gregor. Benutzerschnittstelle Und Architektur Der Integrierten Datenbankentwurfsumgebung CADDY (Kurzfassung). TU Braunschweig, 1989.
LibreCat: /record/8187

Engels, Gregor, and Wilhelm Schäfer. Programmentwicklungsumgebungen: Konzepte Und Realisierung. Teubner, 1989.
LibreCat: /record/7511

Just, Bettina, et al. “On Computations with Integer Division.”10.1051/ita/1989230101011__RAIRO - Theoretical Informatics and Applications, 1989, pp. 101–11, doi:10.1051/ita/1989230101011.
LibreCat: /record/16743
DOI: 10.1051/ita/1989230101011

Dietzfelbinger, M., and Friedhelm Meyer auf der Heide. “An Optimal Parallel Dictionary.”10.1145/72935.72974__Proceedings of the First Annual ACM Symposium on Parallel Algorithms and Architectures  - SPAA ’89, 1989, doi:10.1145/72935.72974.
LibreCat: /record/16744
DOI: 10.1145/72935.72974

Meyer auf der Heide, Friedhelm. “On Genuinely Time Bounded Computations.”10.1007/bfb0028969__STACS 89, 1989, doi:10.1007/bfb0028969.
LibreCat: /record/16745
DOI: 10.1007/bfb0028969

Meyer auf der Heide, Friedhelm, and Rolf Wanka. “Time-Optimal Simulations of Networks by Universal Parallel Computers.”10.1007/bfb0028978__STACS 89, 1989, doi:10.1007/bfb0028978.
LibreCat: /record/16746
DOI: 10.1007/bfb0028978

Meyer auf der Heide, Friedhelm. “Computing Minimum Spanning Forests on 1- and 2-Dimensional Processor Arrays.”10.1007/bfb0028983__STACS 89, 1989, doi:10.1007/bfb0028983.
LibreCat: /record/16789
DOI: 10.1007/bfb0028983

Rammig, Franz Josef, and Wolfgang Müller. “ODICE: Object-Oriented Hardware Description in CAD Environment.” Proc. of the Ninth IFIP Symposium on CHDLs and Their Application, 1989.
LibreCat: /record/39585

Kleine Büning, Hans, and Theodor Lettmann. “Perspektiven Für Die Logikprogrammierung.” Workshop Wissensrepräsentation in Expertensystemen, edited by G. Rahmstorf, 1988, pp. 56–78.
LibreCat: /record/19820

Engels, Gregor, et al. “A Highly Integrated Tool Set for Program Development Support.”http://dx.doi.org/10.1145/62453.62454__Proceedings of the Conference on ACM SIGSMALL/PC Symposium on ACTES (SIGSMALL 1988), Cannes (France), ACM Press, 1988, pp. 1–10, doi:http://dx.doi.org/10.1145/62453.62454.
LibreCat: /record/7818
DOI: http://dx.doi.org/10.1145/62453.62454

Engels, Gregor, et al. “Konzeption Einer Integrierten Datenbank-Entwurfsumgebung.” 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–57.
LibreCat: /record/7819

Engels, Gregor, et al. “Auf Dem Weg Zu Einer Integrierten Datenbank-Entwurfsumgebung.” Proceedings of the GI-Workshop on “Sprachspezifische Programmierumgebungen,” edited by Gregor Engels et al., G. Snelting, 1988, pp. 38–51.
LibreCat: /record/7820

Ebert, Jürgen, and Gregor Engels. Ein Konzept Zur Beschreibung von Software-Architekturen. EWH Koblenz, 1988.
LibreCat: /record/8186

Engels, Gregor, et al. “Die Benutzerschnittstelle Einer Integrierten Modula-2 Programmentwicklungsumgebung.” Proceedings of GI-Workshop Sprachspezifische Programmierumgebungen, Darmstadt, Germany, 1988.
LibreCat: /record/8258

Babai, László, et al. “On the Limits of Computations with the Floor Function.”10.1016/0890-5401(88)90031-4__Information and Computation, 1988, pp. 99–107, doi:10.1016/0890-5401(88)90031-4.
LibreCat: /record/16763
DOI: 10.1016/0890-5401(88)90031-4

Meyer auf der Heide, Friedhelm. “Fast Algorithms for N-Dimensional Restrictions of Hard Problems.”10.1145/44483.44490__Journal of the ACM (JACM), 1988, pp. 740–47, doi:10.1145/44483.44490.
LibreCat: /record/16764
DOI: 10.1145/44483.44490

Borodin, Allan, et al. “A Tradeoff between Search and Update Time for the Implicit Dictionary Problem.”10.1016/0304-3975(88)90018-7__Theoretical Computer Science, 1988, pp. 57–68, doi:10.1016/0304-3975(88)90018-7.
LibreCat: /record/16765
DOI: 10.1016/0304-3975(88)90018-7

Dietzfelbinger, M., et al. “Dynamic Perfect Hashing: Upper and Lower Bounds.”10.1109/sfcs.1988.21968__[Proceedings 1988] 29th Annual Symposium on Foundations of Computer Science, 1988, doi:10.1109/sfcs.1988.21968.
LibreCat: /record/16766
DOI: 10.1109/sfcs.1988.21968

Just, Bettina, et al. “On Computations with Integer Division.”10.1007/bfb0035829__STACS 88, 1988, doi:10.1007/bfb0035829.
LibreCat: /record/16767
DOI: 10.1007/bfb0035829

Dietzfelbinger, M., et al. “Upper and Lower Bounds for the Dictionary Problem.”10.1007/3-540-19487-8_24__SWAT 88, 1988, doi:10.1007/3-540-19487-8_24.
LibreCat: /record/16768
DOI: 10.1007/3-540-19487-8_24

Domik, Gitta. “Enhancement Techniques in Digital Image Processing.” Proceedings of the Computer Science Symposium, 1988, pp. 211–17.
LibreCat: /record/16915

Brugel, Edward W., et al. “A Multi-Spectral Analysis System Using Large Databases.” European Southern Observatory Conference and Workshop Proceedings, vol. 28, 1988, pp. 3–8.
LibreCat: /record/15320

Domik, Gitta, et al. “Dependence of Image Grey Values on Topography in SIR-B Images.” International Journal of Remote Sensing, vol. 9, no. 5, Taylor \'26; Francis, 1988, pp. 1013–22.
LibreCat: /record/15321

Leberl, Franz, et al. “SIR-B Stereo-Radargrammetry of Australia.” International Journal of Remote Sensing, vol. 9, no. 5, Taylor \'26; Francis, 1988, pp. 997–1011.
LibreCat: /record/15322

Büning, Hans Kleine, and Theodor Lettmann. “Representation Independent Query and Update Operations on Propositional Definite Horn Formulas.”10.1007/3-540-18170-9_167__Computation Theory and Logic, edited by Egon Börger, 1987, pp. 208–23, doi:10.1007/3-540-18170-9_167.
LibreCat: /record/19821
DOI: 10.1007/3-540-18170-9_167

Domik, Gitta, and Franz Leberl. “Image Based SAR Product Simulation for Analysis.” ASPRS-ACSM, 1987.
LibreCat: /record/21791

Engels, Gregor, and Andy Schürr. “A Hybrid Interpreter in a Software Development Environment.” Proceedings of the 1st European Software Engineering Conference (ESEC ’87), Strasbourg (France), vol. 289, Springer, 1987, pp. 80–88.
LibreCat: /record/7816

Engels, Gregor, et al. “On the Structure of Structure-Oriented Editors for Different Applications.” Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, Palo Alto, USA, vol. 22, no. 1, ACM SIGPLAN Notices, 1987, pp. 190–98.
LibreCat: /record/7817

Engels, Gregor, et al. “Graph Grammar Engineering: A Software Specification Method.”dx.doi.org/10.1007/3-540-18771-5__Proceedings of the 3rd International Workshop on Graph-Grammars and Their Application to Computer Science, Warrenton, VA (USA), vol. 291, Springer, 1987, pp. 186–201, doi:dx.doi.org/10.1007/3-540-18771-5.
LibreCat: /record/8257
DOI: dx.doi.org/10.1007/3-540-18771-5

Borodin, A., et al. “A Time-Space Tradeoff for Element Distinctness.”10.1137/0216007__SIAM Journal on Computing, 1987, pp. 97–99, doi:10.1137/0216007.
LibreCat: /record/16772
DOI: 10.1137/0216007

Meyer auf der Heide, Friedhelm, and Avi Wigderson. “The Complexity of Parallel Sorting.”10.1137/0216008__SIAM Journal on Computing, 1987, pp. 100–07, doi:10.1137/0216008.
LibreCat: /record/16773
DOI: 10.1137/0216008

Domik, Gitta. “Digital Rectification Method for Radar Images Applied on Huge Arrays.” Proceedings of the First Int’l. Workshop on Image Rectification Tech. for Spaceborne Synthetic Aperture Radar, no. Rep. 29, 1987, pp. 67–68.
LibreCat: /record/16916

Domik, Gitta. “Methods and Application of Surface Shape Reconstruction from Multiple SAR Images.” IGARSS’87-International Geoscience and Remote Sensing Symposium, 1987, pp. 1551–55.
LibreCat: /record/15038

Leberl, Franz, et al. “Methods and Accuracy of Operational Digital Image Mapping with Aircraft SAR.” 1987 ASPRS ACSM Annual Convention, 1987, pp. 148–58.
LibreCat: /record/15050

Kleine Büning, H., and Theodor Lettmann. “Classes of First Order Formulas under Various Satisfiability Definitions.”10.1007/3-540-16780-3_119__8th International Conference on Automated Deduction, 1986, doi:10.1007/3-540-16780-3_119.
LibreCat: /record/19819
DOI: 10.1007/3-540-16780-3_119

Domik, Gitta, et al. “Multiple Incidence Angle SIR-B Experiment over Argentina: Generation of Secondary Image Products.”10.1109/TGRS.1986.289663__IEEE Transactions on Geoscience and Remote Sensing, vol. GE-24, no. 4, IEEE, 1986, pp. 492–497, doi:10.1109/TGRS.1986.289663.
LibreCat: /record/21792
DOI: 10.1109/TGRS.1986.289663

Mercer, JB, et al. “Digital Terrain Mapping with STAR-1 SAR Data.” International Geoscience and Remote Sensing Symposium, IGARSS, 1986, pp. 645–650.
LibreCat: /record/21793

Domik, Gitta, et al. “Developing Tools for Digital Radar Image Data Evaluation.” Remote Sensing for Resources Development and Environmental Management; Proceedings of the Seventh International Symposium, vol. 1, 1986, pp. 117–119.
LibreCat: /record/21794

Engels, Gregor, et al. “On the Structure of an Incremental and Integrated Software Development Environment.” Proceedings of the 19th Hawaii International Conference on System Sciences, Hawaii, USA, vol. 2a, 1986, pp. 585–97.
LibreCat: /record/7815

Engels, Gregor, and Andrea Sandbrink. “Experiences with a Hybrid-Interpreter Based on Incremental Compilation Techniques.” Proceedings of the Workshop on Compiler Compilers and Incremental Compilation Techniques, Bautzen, vol. 12, Berlin(Ost): Akademie der Wissenschaften der DDR, 1986, pp. 172–84.
LibreCat: /record/8256

Engels, Gregor. Graphen Als Zentrale Datenstrukturen in Einer Software-Entwicklungsumgebung. 1986.
LibreCat: /record/7588

Meyer auf der Heide, Friedhelm. “Efficient Simulations among Several Models of Parallel Computers.”10.1137/0215008__SIAM Journal on Computing, 1986, pp. 106–19, doi:10.1137/0215008.
LibreCat: /record/16771
DOI: 10.1137/0215008

Borodin, Allan, et al. “A Tradeoff between Search and Update Time for the Implicit Dictionary Problem.”10.1007/3-540-16761-7_54__Automata, Languages and Programming, 1986, doi:10.1007/3-540-16761-7_54.
LibreCat: /record/16774
DOI: 10.1007/3-540-16761-7_54

Meyer auf der Heide, Friedhelm. “Speeding up Random Access Machines by Few Processors.”10.1007/3-540-16078-7_72__STACS 86, 1986, doi:10.1007/3-540-16078-7_72.
LibreCat: /record/16775
DOI: 10.1007/3-540-16078-7_72

Borodin, A., et al. “A Time-Space Tradeoff for Element Distinctness.”10.1007/3-540-16078-7_89__STACS 86, 1986, doi:10.1007/3-540-16078-7_89.
LibreCat: /record/16776
DOI: 10.1007/3-540-16078-7_89

Leberl, F., et al. “Radar Stereomapping Techniques and Application to SIR-B Images of Mt. Shasta.”10.1109/TGRS.1986.289661__IEEE Transactions on Geoscience and Remote Sensing, vol. GE-24, no. 4, 1986, pp. 473–81, doi:10.1109/TGRS.1986.289661.
LibreCat: /record/16917
DOI: 10.1109/TGRS.1986.289661

Leberl, F., et al. “Multiple Incidence Angle SIR-B Expenment Over Argentina: Stereo-Radargrammetrc Analysis.” IEEE Transactions on Geoscience and Remote Sensing, vol. GE-24, no. 4, 1986, pp. 482–91.
LibreCat: /record/16918

Domik, Gitta, and Franz Leberl. “Using Secondary Image Products to Aid in Understanding and Interpretation of Radar Imagery.” IGARSS’86: Remote Sensing: Today’s Solutions for Tomorrow’s Information Needs, vol. 254, European Space Agency, ESA SP, 1986, pp. 467–68.
LibreCat: /record/15318

Leberl, Franz, et al. “Radargrammetric Experiments with Space Shuttle SIR-B Imagery.” International Archives of Photogrammetry and Remote Sensing= Archives Internationales de Photogramm\rquote etrie et de T\rquote el\rquote ed\rquote etection= Internationales Archiv Der Photogrammetrie Und Fernerkundung, 1986, pp. 333–44.
LibreCat: /record/15254

Domik, Gitta. “Radar Image Simulation as a Tool to Analyze Topographic Effects on Geometry and Radiometry of Radar Imagery.” Machine Processing of Remotely Sensed Data- Quantifying Global Process: Models, Sensor Systems, and Analytical Methods, 1985, pp. 248–253.
LibreCat: /record/21606

Raggam, J., et al. “Radargrammetric Aspects of SAR Data Evaluation.” Thematic Applications of SAR Data, 1985, p. 57.
LibreCat: /record/21607

Engels, Gregor, and Wilhelm Schäfer. “Graph Grammar Engineering: A Method Used for the Development of an Integrated Programming Support Environment.” Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT 1985), Berlin (Germany), vol. 186, Springer, 1985, pp. 179–93.
LibreCat: /record/7813

Engels, Gregor, and Wilhelm Schäfer. “The Design of an Adaptive and Portable Programming Support Environment.” Proceedings of the International Computing Symposium, Amsterdam (The Netherlands), 1985.
LibreCat: /record/7814

Lautemann, Clemens, and Friedhelm Meyer auf der Heide. “Lower Time Bounds for Integer Programming with Two Variables.”10.1016/0020-0190(85)90042-0__Information Processing Letters, 1985, pp. 101–05, doi:10.1016/0020-0190(85)90042-0.
LibreCat: /record/16779
DOI: 10.1016/0020-0190(85)90042-0

Meyer auf der Heide, Friedhelm. “Lower Bounds for Solving Linear Diophantine Equations on Random Access Machines.”10.1145/4221.4250__Journal of the ACM (JACM), 1985, pp. 929–37, doi:10.1145/4221.4250.
LibreCat: /record/16780
DOI: 10.1145/4221.4250

Meyer auf der Heide, Friedhelm. “Simulating Probabilistic by Deterministic Algebraic Computation Trees.”10.1016/0304-3975(85)90079-9__Theoretical Computer Science, 1985, pp. 325–30, doi:10.1016/0304-3975(85)90079-9.
LibreCat: /record/16781
DOI: 10.1016/0304-3975(85)90079-9

Meyer auf der Heide, Friedhelm, and Avi Wigderson. “The Complexity of Parallel Sorting.”10.1109/sfcs.1985.58__26th Annual Symposium on Foundations of Computer Science (Sfcs 1985), 1985, doi:10.1109/sfcs.1985.58.
LibreCat: /record/16782
DOI: 10.1109/sfcs.1985.58

Fich, F. E., et al. “One, Two, Three . . . Infinity: Lower Bounds for Parallel Computation.”10.1145/22145.22151__Proceedings of the Seventeenth Annual ACM Symposium on Theory of Computing  - STOC ’85, 1985, doi:10.1145/22145.22151.
LibreCat: /record/16783
DOI: 10.1145/22145.22151

Meyer auf der Heide, Friedhelm. “Fast Algorithms for N-Dimensional Restrictions of Hard Problems.”10.1145/22145.22191__Proceedings of the Seventeenth Annual ACM Symposium on Theory of Computing  - STOC ’85, 1985, doi:10.1145/22145.22191.
LibreCat: /record/16784
DOI: 10.1145/22145.22191

Meyer auf der Heide, Friedhelm. “Nondeterministic versus Probabilistic Linear Search Algorithms.”10.1109/sfcs.1985.38__26th Annual Symposium on Foundations of Computer Science (Sfcs 1985), 1985, doi:10.1109/sfcs.1985.38.
LibreCat: /record/16788
DOI: 10.1109/sfcs.1985.38

Meyer auf der Heide, Friedhelm. “Lower Time Bounds for Solving Linear Diophantine Equations on Several Parallel Computational Models.”10.1016/S0019-9958(85)80035-8__Information and Control, vol. 67, no. 1–3, 1985, pp. 195–211, doi:10.1016/S0019-9958(85)80035-8.
LibreCat: /record/16823
DOI: 10.1016/S0019-9958(85)80035-8

Leberl, FW, et al. “Mapping with Aircraft and Satellite Radar Images.”10.1111/j.1477-9730.1985.tb01315.x__The Photogrammetric Record, vol. 11, no. 66, Wiley Online Library, 1985, pp. 647–65, doi:10.1111/j.1477-9730.1985.tb01315.x.
LibreCat: /record/15314
DOI: 10.1111/j.1477-9730.1985.tb01315.x

Rott, H., et al. “Towards a SAR System for Snow and Land Ice Applications.” ESA Proceedings of a Workshop on Thematic Applications of SAR DATA p 29-39(SEE N 86-28488 19-42), 1985, pp. 29–39.
LibreCat: /record/15316

Domik, Gitta, et al. “Radar Image Simulation and Its Application in Image Analysis.” International Archives of Photogrammetry and Remote Sensing, vol. 25A, no. 3, 1984, pp. 99–108.
LibreCat: /record/21603

Domik, Gitta, et al. “Rectification of Radar Images Using Stereo- Derived Height Models and Simulations.” XVth Congress of the International Society for Photogrammetry and Remote Sensing, vol. 25A, no. 3, 1984, pp. 109–116.
LibreCat: /record/21604

Domik, Gitta. “Evaluation of Radar Stereo Viewability by Means of a Simulation Technique.” ESA IGARSS 84: Remote Sensing: From Res. towards Operational Use, vol. 2, 1984.
LibreCat: /record/21605

Meyer auf der Heide, Friedhelm. “A Polynomial Linear Search Algorithm Forr the N-Dimensional Knapsack Problem.”10.1145/828.322450__Journal of the ACM (JACM), 1984, pp. 668–76, doi:10.1145/828.322450.
LibreCat: /record/16785
DOI: 10.1145/828.322450

Meyer auf der Heide, Friedhelm, and R. Reischuk. “On The Limits To Speed Up Parallel Machines By Large Hardware And Unbounded Communication.”10.1109/sfcs.1984.715901__25th Annual Symposium OnFoundations of Computer Science, 1984., 1984, doi:10.1109/sfcs.1984.715901.
LibreCat: /record/16786
DOI: 10.1109/sfcs.1984.715901

Meyer auf der Heide, Friedhelm. “Efficient Simulations among Several Models of Parallel Computers (Extended Abstract).”10.1007/3-540-12920-0_20__STACS 84, 1984, doi:10.1007/3-540-12920-0_20.
LibreCat: /record/16787
DOI: 10.1007/3-540-12920-0_20

Domik, Gitta, and E. Kienegger. “Method to Relate Digital SAR Images and Map Information in Mountainous Areas .” Proceedings of the World Conference on Remote Sensing, 1984.
LibreCat: /record/16922

Rott, H., and Gitta Domik. “The SAR-580 Experiment on Snow and Glaciers at the Austrian Test Site.” Proc. SAR-580 Investigators Workshop, vol. 2, 1984, pp. 217–32.
LibreCat: /record/15598

Domik, Gitta, et al. Differential Rectification of SLR-Images Using Map-Derived and Radar-Generated Digital Elevation Models. Graz Research Center, 1984.
LibreCat: /record/15600

Domik, Gitta, et al. “Analyse von Radarbildern Mittels Digitaler Hoehenmodelle.” Bildmessung Und Luftbildwesen, vol. 52, no. 5, 1984, pp. 249–63.
LibreCat: /record/15124

Nagl, Manfred, et al. “Software Specification by Graph Grammars.”dx.doi.org/10.1007/BFb0000113__Proceedings of the 2nd International Workshop on Graph-Grammars and Their Application to Computer Science, Osnabrück (Germany), vol. 153, Springer, 1983, pp. 267–87, doi:dx.doi.org/10.1007/BFb0000113.
LibreCat: /record/8255
DOI: dx.doi.org/10.1007/BFb0000113

Engels, Gregor, et al. “Software Specification Using Graph Grammars.”http://dx.doi.org/10.1007/BF02251236__Computing, vol. 31, no. 4, 1983, pp. 317–46, doi:http://dx.doi.org/10.1007/BF02251236.
LibreCat: /record/7411
DOI: http://dx.doi.org/10.1007/BF02251236

Engels, Gregor, et al. “An Operational Semantics for Specifications of Abstract Data Types with Error Handling.”http://dx.doi.org/10.1007/BF00265557__Acta Informatica, vol. 9, no. 3, 1983, pp. 235–54, doi:http://dx.doi.org/10.1007/BF00265557.
LibreCat: /record/7412
DOI: http://dx.doi.org/10.1007/BF00265557

Meyer auf der Heide, Friedhelm. “Efficiency of Universal Parallel Computers.”10.1007/bf00265559__Acta Informatica, 1983, pp. 269–96, doi:10.1007/bf00265559.
LibreCat: /record/16806
DOI: 10.1007/bf00265559