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.
9155 Publications
1990 | Conference Paper | LibreCat-ID: 16913
@inproceedings{Domik_Brugel_Stencel_1990, series={BAAS}, title={IRAS On-Line Catalogs at CASA}, volume={Vol. 22}, number={No. 2}, booktitle={Proceedings of the 176th meeting of the American Astronomical Society}, author={Domik, Gitta and Brugel, E.W. and Stencel, R.E.}, year={1990}, collection={BAAS} }
LibreCat
1990 | Conference Paper | LibreCat-ID: 11800 | 
@inproceedings{Haeb-Umbach_Rugar_Howell_Coleman_1990, title={Coding and Signal Processing for a Magneto-optic Resonant Bias Coil Overwrite Experiment}, booktitle={International Conference on Communication, Atlanta}, author={Haeb-Umbach, Reinhold and Rugar, D. and Howell, T. and Coleman, G. P.}, year={1990} }
LibreCat
| Download (ext.)
1990 | Conference Paper | LibreCat-ID: 15393
@inproceedings{Domik_Brugel_Stencel_Vasudevan_Pang_1990, title={Applications of IRAS Preprocessing at the Workstation}, volume={22}, booktitle={Bulletin of the American Astronomical Society}, author={Domik, Gitta and Brugel, EW and Stencel, RE and Vasudevan, S and Pang, J}, year={1990}, pages={828} }
LibreCat
1990 | Journal Article | LibreCat-ID: 15394
@article{Domik_Brugel_Stencel_Pang_Vasudevan_1990, title={Workstation-based preprocessing of IRAS sky-flux images}, volume={102}, number={656}, journal={Publications of the Astronomical Society of the Pacific}, publisher={IOP Publishing}, author={Domik, Gitta and Brugel, Edward W and Stencel, Robert E and Pang, Jinzhong and Vasudevan, Subramanian}, year={1990}, pages={1167} }
LibreCat
1990 | Conference Paper | LibreCat-ID: 15395
@inproceedings{Mickus_Brugel_Domik_Ayres_1990, title={A case study: Multi-sensor data analysis of hh objects via star: A scientific toolkit for astrophysical research}, volume={22}, booktitle={Bulletin of the American Astronomical Society}, author={Mickus, KD and Brugel, EW and Domik, Gitta and Ayres, TR}, year={1990}, pages={1259} }
LibreCat
1990 | Conference Paper | LibreCat-ID: 15051
@inproceedings{Mickus_Domik_Brugel_Ayres_1990, title={Star-a scientific toolkit for astrophysical research}, volume={22}, booktitle={Bulletin of the American Astronomical Society}, author={Mickus, KD and Domik, Gitta and Brugel, EW and Ayres, TR}, year={1990}, pages={828} }
LibreCat
1989 | Journal Article | LibreCat-ID: 19818
@article{Kleine Büning_Lettmann_Mayr_1989, title={Projections of vector addition system reachability sets are semilinear}, DOI={10.1016/0304-3975(89)90055-8}, journal={Theoretical Computer Science}, author={Kleine Büning, Hans and Lettmann, Theodor and Mayr, Ernst W.}, year={1989}, pages={343–350} }
LibreCat
| DOI
1989 | Book | LibreCat-ID: 19152
@book{Eke_Vizkelety_Skrodzki_Steinecke_1989, place={Wien}, title={Nikolaus Lenau. Werke und Briefe. Historisch-kritische Gesamtausgabe. Bd. 5,1: Briefe 1812-1837. Teil 1: Text (Edition)}, publisher={Österreichischer Bundesverlag, Klett-Cotta}, author={Eke, Norbert Otto and Vizkelety, András and Skrodzki, Karl Jürgen and Steinecke, Hartmut}, year={1989} }
LibreCat
1989 | Dissertation | LibreCat-ID: 22313
@book{Zimmer_1989, title={Flankenspielorientierte Einstellung der Hypoid- und Kegelradgetriebe}, publisher={Universität Stuttgart}, author={Zimmer, Detmar}, year={1989} }
LibreCat
1989 | Conference Paper | LibreCat-ID: 7821
@inproceedings{Ebert_Engels_1989, place={Berlin/Heidelberg}, series={Informatik-Fachberichte}, title={Konzepte einer Software-Architektur-Beschreibungssprache}, volume={212}, booktitle={Software-Entwicklung: Konzepte, Erfahrungen, Perspektiven, Fachtagung, 1989, Marburg (Germany)}, publisher={Springer}, author={Ebert, Jürgen and Engels, Gregor}, year={1989}, pages={238–250}, collection={Informatik-Fachberichte} }
LibreCat
1989 | Conference Paper | LibreCat-ID: 7822
@inproceedings{Engels_1989, title={CADDY-O: Syntaxgestütztes, graphisches Entwerfen konzeptioneller Datenbankschemata}, volume={18}, booktitle={Tagungsband GI-Fachtagung “Interaktive Schnittstellen für Informationssysteme”, TU Clausthal, Notizen zu Interaktive Systeme}, author={Engels, Gregor}, year={1989}, pages={1–16} }
LibreCat
1989 | Conference Paper | LibreCat-ID: 7823
@inproceedings{Engels_Hohenstein_Hülsmann_Löhr-Richter_Ehrich_1989, place={Berlin}, title={CADDY: Computer-Aided Design of Non-Standard Databases}, booktitle={Proceedings of the International Conference on System Development Environments & Factories, Berlin, Germany}, publisher={Pitman Publishing}, author={Engels, Gregor and Hohenstein, Uwe and Hülsmann, Klaus and Löhr-Richter, Perdita and Ehrich, Hans-Dietrich}, year={1989} }
LibreCat
1989 | Report | LibreCat-ID: 8187
@book{Engels_1989, title={Benutzerschnittstelle und Architektur der integrierten Datenbankentwurfsumgebung CADDY (Kurzfassung)}, publisher={TU Braunschweig}, author={Engels, Gregor}, year={1989} }
LibreCat
1989 | Book | LibreCat-ID: 7511
@book{Engels_Schäfer_1989, place={Stuttgart}, title={Programmentwicklungsumgebungen: Konzepte und Realisierung}, publisher={Teubner}, author={Engels, Gregor and Schäfer, Wilhelm}, year={1989} }
LibreCat
1989 | Journal Article | LibreCat-ID: 16682
@article{Dellnitz_Werner_1989, title={Computational methods for bifurcation problems with symmetries—with special attention to steady state and Hopf bifurcation points}, DOI={10.1016/0377-0427(89)90150-7}, journal={Journal of Computational and Applied Mathematics}, author={Dellnitz, Michael and Werner, Bodo}, year={1989}, pages={97–123} }
LibreCat
| DOI
1989 | Journal Article | LibreCat-ID: 16743
@article{Just_Meyer auf der Heide_Wigderson_1989, title={On computations with integer division}, DOI={10.1051/ita/1989230101011}, journal={RAIRO - Theoretical Informatics and Applications}, author={Just, Bettina and Meyer auf der Heide, Friedhelm and Wigderson, Avi}, year={1989}, pages={101–111} }
LibreCat
| DOI
1989 | Conference Paper | LibreCat-ID: 16744
@inproceedings{Dietzfelbinger_Meyer auf der Heide_1989, title={An optimal parallel dictionary}, DOI={10.1145/72935.72974}, booktitle={Proceedings of the first annual ACM symposium on Parallel algorithms and architectures - SPAA ’89}, author={Dietzfelbinger, M. and Meyer auf der Heide, Friedhelm}, year={1989} }
LibreCat
| DOI
1989 | Book Chapter | LibreCat-ID: 16745
@inbook{Meyer auf der Heide_1989, place={Berlin/Heidelberg}, title={On genuinely time bounded computations}, DOI={10.1007/bfb0028969}, booktitle={STACS 89}, author={Meyer auf der Heide, Friedhelm}, year={1989} }
LibreCat
| DOI
1989 | Book Chapter | LibreCat-ID: 16746
@inbook{Meyer auf der Heide_Wanka_1989, place={Berlin/Heidelberg}, title={Time-optimal simulations of networks by universal parallel computers}, DOI={10.1007/bfb0028978}, booktitle={STACS 89}, author={Meyer auf der Heide, Friedhelm and Wanka, Rolf}, year={1989} }
LibreCat
| DOI
1989 | Book Chapter | LibreCat-ID: 16789
@inbook{Meyer auf der Heide_1989, place={Berlin, Heidelberg}, title={Computing minimum spanning forests on 1- and 2-dimensional processor arrays}, DOI={10.1007/bfb0028983}, booktitle={STACS 89}, author={Meyer auf der Heide, Friedhelm}, year={1989} }
LibreCat
| DOI
1989 | Conference Paper | LibreCat-ID: 39585
@inproceedings{Rammig_Müller_1989, place={Washington DC}, title={ODICE: Object-Oriented Hardware Description in CAD Environment}, booktitle={Proc. of the Ninth IFIP Symposium on CHDLs and their Application}, author={Rammig, Franz Josef and Müller, Wolfgang}, year={1989} }
LibreCat
1988 | Conference Paper | LibreCat-ID: 19820
@inproceedings{Kleine Büning_Lettmann_1988, place={Berlin, Heidelberg}, title={Perspektiven für die Logikprogrammierung}, booktitle={Workshop Wissensrepräsentation in Expertensystemen}, author={Kleine Büning, Hans and Lettmann, Theodor}, editor={Rahmstorf, G.Editor}, year={1988}, pages={56–78} }
LibreCat
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: 7819
@inproceedings{Engels_Hohenstein_Neugebauer_Saake_Ehrich_1988, title={Konzeption einer integrierten Datenbank-Entwurfsumgebung}, booktitle={Proceedings of DBTA/SI Data Dictionaries und Entwicklungswerkzeuge für Datenbank-Anwendungen, Zürich, Switzerland}, publisher={Verlag der Fachvereine an den Schweiz. Hochschulen und Techniken}, author={Engels, Gregor and Hohenstein, Uwe and Neugebauer, Leonore and Saake, Gunter and Ehrich, Hans-Dietrich}, year={1988}, pages={151–157} }
LibreCat
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 | 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 | 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 | Journal Article | LibreCat-ID: 16763
@article{Babai_Just_Meyer auf der Heide_1988, title={On the limits of computations with the floor function}, DOI={10.1016/0890-5401(88)90031-4}, journal={Information and Computation}, author={Babai, László and Just, Bettina and Meyer auf der Heide, Friedhelm}, year={1988}, pages={99–107} }
LibreCat
| DOI
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 | 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 | 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 | Book Chapter | LibreCat-ID: 16767
@inbook{Just_Mathematik_Meyer auf der Heide_Informatik_Wigderson_1988, place={Berlin, Heidelberg}, title={On computations with integer division}, DOI={10.1007/bfb0035829}, booktitle={STACS 88}, author={Just, Bettina and Mathematik, Fb and Meyer auf der Heide, Friedhelm and Informatik, Fb and Wigderson, Avi}, year={1988} }
LibreCat
| DOI
1988 | Book Chapter | LibreCat-ID: 16768
@inbook{Dietzfelbinger_Mehlhorn_Meyer auf der Heide_Rohnert_1988, place={Berlin, Heidelberg}, title={Upper and lower bounds for the dictionary problem}, DOI={10.1007/3-540-19487-8_24}, booktitle={SWAT 88}, author={Dietzfelbinger, M. and Mehlhorn, K. and Meyer auf der Heide, Friedhelm and Rohnert, H.}, year={1988} }
LibreCat
| DOI
1988 | Conference Paper | LibreCat-ID: 16915
@inproceedings{Domik_1988, place={Graz, Austria}, title={Enhancement Techniques in Digital Image Processing}, booktitle={Proceedings of the Computer Science Symposium}, author={Domik, Gitta}, year={1988}, pages={211–217} }
LibreCat
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: 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 | 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
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 | Conference Paper | LibreCat-ID: 21791
@inproceedings{Domik_Leberl_1987, title={Image based SAR product simulation for analysis}, booktitle={ASPRS-ACSM}, author={Domik, Gitta and Leberl, Franz}, year={1987} }
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 | 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 | 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 | 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 | Conference Paper | LibreCat-ID: 16916
@inproceedings{Domik_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, Gitta}, year={1987}, pages={67–68} }
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: 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
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: 21792
@article{Domik_Leberl_Cimino_1986, title={Multiple incidence angle SIR-B experiment over Argentina: generation of secondary image products}, volume={GE-24}, DOI={10.1109/TGRS.1986.289663}, 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
| DOI
1986 | Conference Paper | LibreCat-ID: 21793
@inproceedings{Mercer_Lowry_Leberl_Domik_1986, title={Digital terrain mapping with STAR-1 SAR data}, booktitle={International Geoscience and Remote Sensing Symposium}, publisher={IGARSS}, author={Mercer, JB and Lowry, RT and Leberl, Franz and Domik, Gitta}, year={1986}, pages={645–650} }
LibreCat