en
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.
4638 Publications
1992 | Journal Article | LibreCat-ID: 13017
The Pseudoexhaustive Test of Sequential Circuits
H.-J. Wunderlich, S. Hellebrand, {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD)} 11 (1992) 26–33.
LibreCat
| DOI
H.-J. Wunderlich, S. Hellebrand, {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD)} 11 (1992) 26–33.
1992 | Book Chapter | LibreCat-ID: 16737
Dynamic Hashing in Real Time
M. Dietzfelbinger, F. Meyer auf der Heide, in: TEUBNER-TEXTE Zur Informatik, Wiesbaden, 1992.
LibreCat
| DOI
M. Dietzfelbinger, F. Meyer auf der Heide, in: TEUBNER-TEXTE Zur Informatik, Wiesbaden, 1992.
1992 | Book Chapter | LibreCat-ID: 3046
Resemblance and symmetries of geometric patterns
H. Alt, J. Blömer, in: Data Structures and Efficient Algorithms, Springer Berlin Heidelberg, Berlin, Heidelberg, 1992, pp. 1–24.
LibreCat
| DOI
H. Alt, J. Blömer, in: Data Structures and Efficient Algorithms, Springer Berlin Heidelberg, Berlin, Heidelberg, 1992, pp. 1–24.
1992 | Journal Article | LibreCat-ID: 7409
Building Integrated Software Development Environments, Part I: Tool Specification
G. Engels, C. Lewerentz, M. Nagl, W. Schäfer, A. Schürr, ACM Transactions on Software Engineering and Methodology (TOSEM) 1 (1992) 135–167.
LibreCat
G. Engels, C. Lewerentz, M. Nagl, W. Schäfer, A. Schürr, ACM Transactions on Software Engineering and Methodology (TOSEM) 1 (1992) 135–167.
1992 | Conference Paper | LibreCat-ID: 8084
Hinweise zur Modellbildung und Simulation des Strahlungseinfalls in PV-Module
S. Krauter, in: Solar Energy Simulation Workshop Der DGS, Oldenburg (Deutschland), 1992.
LibreCat
S. Krauter, in: Solar Energy Simulation Workshop Der DGS, Oldenburg (Deutschland), 1992.
1992 | Conference Paper | LibreCat-ID: 16908
Designing User-Centered Interfaces for Astrophysical Software on User Interfaces for Astrophysical Software
G. Domik-Kienegger, in: Proceedings on User Interfaces for Astrophysical Software, Greenbeld, MD, 1992.
LibreCat
G. Domik-Kienegger, in: Proceedings on User Interfaces for Astrophysical Software, Greenbeld, MD, 1992.
1992 | Book Chapter | LibreCat-ID: 16547
Generic Bifurcations of Pendula
M. Dellnitz, J.E. Marsden, I. Melbourne, J. Scheurle, in: Bifurcation and Symmetry, Basel, 1992.
LibreCat
| DOI
M. Dellnitz, J.E. Marsden, I. Melbourne, J. Scheurle, in: Bifurcation and Symmetry, Basel, 1992.
1991 | Conference Paper | LibreCat-ID: 3048
Approximate matching of polygonal shapes (extended abstract)
H. Alt, B. Behrends, J. Blömer, in: Proceedings of the Seventh Annual Symposium on Computational Geometry - SCG ’91, ACM Press, 1991.
LibreCat
| DOI
H. Alt, B. Behrends, J. Blömer, in: Proceedings of the Seventh Annual Symposium on Computational Geometry - SCG ’91, ACM Press, 1991.
1991 | Conference Paper | LibreCat-ID: 16912
Visualization in the Analysis Cycle of Observational Data, in Analyzing and Modeling Data and Knowledge
G. Domik-Kienegger, in: M. Schader (Ed.), Proceedings of the 15th Annual Conference of the “Gesellschaft Für Klassifikation e.V.” University of Salzburg, 1991, pp. 267–276.
LibreCat
G. Domik-Kienegger, in: M. Schader (Ed.), Proceedings of the 15th Annual Conference of the “Gesellschaft Für Klassifikation e.V.” University of Salzburg, 1991, pp. 267–276.
1991 | Book | LibreCat-ID: 13034
Synthese vollständig testbarer Schaltungen
S. Hellebrand, Synthese Vollständig Testbarer Schaltungen, Verlag Düsseldorf: VDI Verlag, Verlag Düsseldorf: VDI Verlag, 1991.
LibreCat
S. Hellebrand, Synthese Vollständig Testbarer Schaltungen, Verlag Düsseldorf: VDI Verlag, Verlag Düsseldorf: VDI Verlag, 1991.
1991 | Conference Paper | LibreCat-ID: 3049
Computing sums of radicals in polynomial time
J. Blömer, in: Proceedings 32nd Annual Symposium of Foundations of Computer Science, IEEE Comput. Soc. Press, 1991.
LibreCat
| DOI
J. Blömer, in: Proceedings 32nd Annual Symposium of Foundations of Computer Science, IEEE Comput. Soc. Press, 1991.
1991 | Report | LibreCat-ID: 8188
Incremental Design of Conceptual Database Schemata with CADDY
P. Löhr-Richter, G. Engels, Incremental Design of Conceptual Database Schemata with CADDY, Leiden University, Leiden University, P.O. Box 9500, 2300 RA Leiden, The Netherlands, 1991.
LibreCat
P. Löhr-Richter, G. Engels, Incremental Design of Conceptual Database Schemata with CADDY, Leiden University, Leiden University, P.O. Box 9500, 2300 RA Leiden, The Netherlands, 1991.
1991 | Conference Paper | LibreCat-ID: 8082
Simulation-Program for Selecting Efficiency Improving Strategies of PV-Module-Encapsulations under Operating Conditions
S. Krauter, R. Hanitsch, P. Strauss, in: Proceedings of “Renewable Energy Sources '91”, Prag (CFSR), 1.–4. Juli 1991, Band 3, S. 48–53., 1991.
LibreCat
S. Krauter, R. Hanitsch, P. Strauss, in: Proceedings of “Renewable Energy Sources '91”, Prag (CFSR), 1.–4. Juli 1991, Band 3, S. 48–53., 1991.
1991 | Conference Paper | LibreCat-ID: 11798
A Look-Ahead Technique for Large Vocabulary Continuous Speech Recognition
R. Haeb-Umbach, H. Ney, in: EUROSPEECH, Genova, 1991.
LibreCat
| Download (ext.)
R. Haeb-Umbach, H. Ney, in: EUROSPEECH, Genova, 1991.
1991 | Book Chapter | LibreCat-ID: 15020
The role of visualization in understanding data
G. Domik, in: New Results and New Trends in Computer Science, Springer, 1991, pp. 91–107.
LibreCat
G. Domik, in: New Results and New Trends in Computer Science, Springer, 1991, pp. 91–107.
1990 | Conference Paper | LibreCat-ID: 13018
Tools and Devices Supporting the Pseudo-Exhaustive Test
S. Hellebrand, H.-J. Wunderlich, in: {European Design Automation Conference (EDAC’90)}, {IEEE (Comput. Soc. Press)}, Glasgow, UK, 1990, pp. 13–17.
LibreCat
| DOI
S. Hellebrand, H.-J. Wunderlich, in: {European Design Automation Conference (EDAC’90)}, {IEEE (Comput. Soc. Press)}, Glasgow, UK, 1990, pp. 13–17.
1990 | Conference Paper | LibreCat-ID: 15393
Applications of IRAS Preprocessing at the Workstation
G. Domik, E. Brugel, R. Stencel, S. Vasudevan, J. Pang, in: Bulletin of the American Astronomical Society, 1990, p. 828.
LibreCat
G. Domik, E. Brugel, R. Stencel, S. Vasudevan, J. Pang, in: Bulletin of the American Astronomical Society, 1990, p. 828.
1990 | Book Chapter | LibreCat-ID: 16738
A new universal class of hash functions and dynamic hashing in real time
M. Dietzfelbinger, F. Meyer auf der Heide, in: Automata, Languages and Programming, Berlin/Heidelberg, 1990.
LibreCat
| DOI
M. Dietzfelbinger, F. Meyer auf der Heide, in: Automata, Languages and Programming, Berlin/Heidelberg, 1990.
1990 | Book Chapter | LibreCat-ID: 16740
On the complexity of genuinely polynomial computation
M. Karpinski, F. Meyer auf der Heide, in: Lecture Notes in Computer Science, Berlin/Heidelberg, 1990.
LibreCat
| DOI
M. Karpinski, F. Meyer auf der Heide, in: Lecture Notes in Computer Science, Berlin/Heidelberg, 1990.
1990 | Conference Paper | LibreCat-ID: 13019
Generating Pseudo-Exhaustive Vectors for External Testing
S. Hellebrand, H.-J. Wunderlich, O. F. Haberl, in: {IEEE International Test Conference (ITC’90)}, {IEEE (Comput. Soc. Press)}, Washington, DC, USA, 1990, pp. 670–679.
LibreCat
| DOI
S. Hellebrand, H.-J. Wunderlich, O. F. Haberl, in: {IEEE International Test Conference (ITC’90)}, {IEEE (Comput. Soc. Press)}, Washington, DC, USA, 1990, pp. 670–679.
1990 | Misc | LibreCat-ID: 13103
Generating Pseudo-Exhaustive Vectors for External Testing
S. Hellebrand, H.-J. Wunderlich, O. F. Haberl, Generating Pseudo-Exhaustive Vectors for External Testing, IEEE Design for Testability Workshop, Vail, CO, USA, 1990.
LibreCat
S. Hellebrand, H.-J. Wunderlich, O. F. Haberl, Generating Pseudo-Exhaustive Vectors for External Testing, IEEE Design for Testability Workshop, Vail, CO, USA, 1990.
1990 | Journal Article | LibreCat-ID: 15394
Workstation-based preprocessing of IRAS sky-flux images
G. Domik, E.W. Brugel, R.E. Stencel, J. Pang, S. Vasudevan, Publications of the Astronomical Society of the Pacific 102 (1990) 1167.
LibreCat
G. Domik, E.W. Brugel, R.E. Stencel, J. Pang, S. Vasudevan, Publications of the Astronomical Society of the Pacific 102 (1990) 1167.
1990 | Book Chapter | LibreCat-ID: 16739
Dynamic hashing strategies
F. Meyer auf der Heide, in: Lecture Notes in Computer Science, Berlin/Heidelberg, 1990.
LibreCat
| DOI
F. Meyer auf der Heide, in: Lecture Notes in Computer Science, Berlin/Heidelberg, 1990.
1990 | Conference Paper | LibreCat-ID: 16741
How to distribute a dictionary in a complete network
M. Dietzfelbinger, F. Meyer auf der Heide, in: Proceedings of the Twenty-Second Annual ACM Symposium on Theory of Computing - STOC ’90, 1990.
LibreCat
| DOI
M. Dietzfelbinger, F. Meyer auf der Heide, in: Proceedings of the Twenty-Second Annual ACM Symposium on Theory of Computing - STOC ’90, 1990.
1990 | Book Chapter | LibreCat-ID: 3050
Approximation of convex polygons
H. Alt, J. Blömer, H. Wagener, in: Automata, Languages and Programming, Springer-Verlag, Berlin/Heidelberg, 1990, pp. 703–716.
LibreCat
| DOI
H. Alt, J. Blömer, H. Wagener, in: Automata, Languages and Programming, Springer-Verlag, Berlin/Heidelberg, 1990, pp. 703–716.
1990 | Conference Paper | LibreCat-ID: 7824
Formal Semantics of an Entity-Relationship Query Language
U. Hohenstein, G. Engels, in: Proceedings of the 9th International Conference on Entity-Relationship Approach (ER 90), Lausanne, Switzerland, ER Institute, 1990, pp. 177–188.
LibreCat
U. Hohenstein, G. Engels, in: Proceedings of the 9th International Conference on Entity-Relationship Approach (ER 90), Lausanne, Switzerland, ER Institute, 1990, pp. 177–188.
1990 | Conference Paper | LibreCat-ID: 8081
The Influence of the Capsulation on the Efficiency of PV-Modules.
S. Krauter, R. Hanitsch, in: Proceedings of the 1st World Renewable Energy Congress, Reading (UK), 23.–28. September 1990, Band 1, S. 141–144., 1990.
LibreCat
| DOI
S. Krauter, R. Hanitsch, in: Proceedings of the 1st World Renewable Energy Congress, Reading (UK), 23.–28. September 1990, Band 1, S. 141–144., 1990.
1990 | Conference Paper | LibreCat-ID: 11800
Coding and Signal Processing for a Magneto-optic Resonant Bias Coil Overwrite Experiment
R. Haeb-Umbach, D. Rugar, T. Howell, G.P. Coleman, in: International Conference on Communication, Atlanta, 1990.
LibreCat
| Download (ext.)
R. Haeb-Umbach, D. Rugar, T. Howell, G.P. Coleman, in: International Conference on Communication, Atlanta, 1990.
1990 | Conference Paper | LibreCat-ID: 15395
A case study: Multi-sensor data analysis of hh objects via star: A scientific toolkit for astrophysical research
K. Mickus, E. Brugel, G. Domik, T. Ayres, in: Bulletin of the American Astronomical Society, 1990, p. 1259.
LibreCat
K. Mickus, E. Brugel, G. Domik, T. Ayres, in: Bulletin of the American Astronomical Society, 1990, p. 1259.
1990 | Conference Paper | LibreCat-ID: 16742
Not all keys can be hashed in constant time
J. Gil, F. Meyer auf der Heide, A. Wigderson, in: Proceedings of the Twenty-Second Annual ACM Symposium on Theory of Computing - STOC ’90, 1990.
LibreCat
| DOI
J. Gil, F. Meyer auf der Heide, A. Wigderson, in: Proceedings of the Twenty-Second Annual ACM Symposium on Theory of Computing - STOC ’90, 1990.
1990 | Journal Article | LibreCat-ID: 16824
Das Heinz Nixdorf-Institut der Universität-GH Paderborn
F. Meyer auf der Heide, Informatik Spektrum 13 (1990) 231–232.
LibreCat
F. Meyer auf der Heide, Informatik Spektrum 13 (1990) 231–232.
1990 | Conference Paper | LibreCat-ID: 16913
IRAS On-Line Catalogs at CASA
G. Domik-Kienegger, E.W. Bruggel, R.E. Stencel, in: Proceedings of the 176th Meeting of the American Astronomical Society, 1990.
LibreCat
G. Domik-Kienegger, E.W. Bruggel, R.E. Stencel, in: Proceedings of the 176th Meeting of the American Astronomical Society, 1990.
1990 | Conference Paper | LibreCat-ID: 8259
Elementary Actions on an Extended Entity-Relationship Database
G. Engels, in: Proceedings of the Workshop on Graph Grammars and Their Application to Computer Science (1990), Bremen (Germany), Springer, Berlin/Heidelberg, 1990, pp. 344–362.
LibreCat
| DOI
G. Engels, in: Proceedings of the Workshop on Graph Grammars and Their Application to Computer Science (1990), Bremen (Germany), Springer, Berlin/Heidelberg, 1990, pp. 344–362.
1990 | Conference Paper | LibreCat-ID: 15051
Star-a scientific toolkit for astrophysical research
K. Mickus, G. Domik, E. Brugel, T. Ayres, in: Bulletin of the American Astronomical Society, 1990, p. 828.
LibreCat
K. Mickus, G. Domik, E. Brugel, T. Ayres, in: Bulletin of the American Astronomical Society, 1990, p. 828.
1989 | Conference Paper | LibreCat-ID: 13020
The Pseudo-Exhaustive Test of Sequential Circuits
H.-J. Wunderlich, S. Hellebrand, in: {IEEE International Test Conference (ITC’89)}, {IEEE (Comput. Soc. Press)}, Washington, DC, USA, 1989, pp. 19–27.
LibreCat
| DOI
H.-J. Wunderlich, S. Hellebrand, in: {IEEE International Test Conference (ITC’89)}, {IEEE (Comput. Soc. Press)}, Washington, DC, USA, 1989, pp. 19–27.
1989 | Book Chapter | LibreCat-ID: 16745
On genuinely time bounded computations
F. Meyer auf der Heide, in: STACS 89, Berlin/Heidelberg, 1989.
LibreCat
| DOI
F. Meyer auf der Heide, in: STACS 89, Berlin/Heidelberg, 1989.
1989 | Conference Paper | LibreCat-ID: 7823
CADDY: Computer-Aided Design of Non-Standard Databases
G. Engels, U. Hohenstein, K. Hülsmann, P. Löhr-Richter, H.-D. Ehrich, in: Proceedings of the International Conference on System Development Environments & Factories, Berlin, Germany, Pitman Publishing, Berlin, 1989.
LibreCat
G. Engels, U. Hohenstein, K. Hülsmann, P. Löhr-Richter, H.-D. Ehrich, in: Proceedings of the International Conference on System Development Environments & Factories, Berlin, Germany, Pitman Publishing, Berlin, 1989.
1989 | Journal Article | LibreCat-ID: 16682
Computational methods for bifurcation problems with symmetries—with special attention to steady state and Hopf bifurcation points
M. Dellnitz, B. Werner, Journal of Computational and Applied Mathematics (1989) 97–123.
LibreCat
| DOI
M. Dellnitz, B. Werner, Journal of Computational and Applied Mathematics (1989) 97–123.
1989 | Book Chapter | LibreCat-ID: 16746
Time-optimal simulations of networks by universal parallel computers
F. Meyer auf der Heide, R. Wanka, in: STACS 89, Berlin/Heidelberg, 1989.
LibreCat
| DOI
F. Meyer auf der Heide, R. Wanka, in: STACS 89, Berlin/Heidelberg, 1989.
1989 | Book Chapter | LibreCat-ID: 16789
Computing minimum spanning forests on 1- and 2-dimensional processor arrays
F. Meyer auf der Heide, in: STACS 89, Berlin, Heidelberg, 1989.
LibreCat
| DOI
F. Meyer auf der Heide, in: STACS 89, Berlin, Heidelberg, 1989.
1989 | Report | LibreCat-ID: 8187
Benutzerschnittstelle und Architektur der integrierten Datenbankentwurfsumgebung CADDY (Kurzfassung)
G. Engels, Benutzerschnittstelle Und Architektur Der Integrierten Datenbankentwurfsumgebung CADDY (Kurzfassung), TU Braunschweig, 1989.
LibreCat
G. Engels, Benutzerschnittstelle Und Architektur Der Integrierten Datenbankentwurfsumgebung CADDY (Kurzfassung), TU Braunschweig, 1989.
1989 | Journal Article | LibreCat-ID: 11793
A systematic approach to carrier recovery and detection of digitally phase modulated signals on fading channels
R. Haeb-Umbach, H. Meyr, IEEE Transactions on Communications (1989).
LibreCat
R. Haeb-Umbach, H. Meyr, IEEE Transactions on Communications (1989).
1989 | Journal Article | LibreCat-ID: 16743
On computations with integer division
B. Just, F. Meyer auf der Heide, A. Wigderson, RAIRO - Theoretical Informatics and Applications (1989) 101–111.
LibreCat
| DOI
B. Just, F. Meyer auf der Heide, A. Wigderson, RAIRO - Theoretical Informatics and Applications (1989) 101–111.
1989 | Book | LibreCat-ID: 7511
Programmentwicklungsumgebungen: Konzepte und Realisierung
G. Engels, W. Schäfer, Programmentwicklungsumgebungen: Konzepte Und Realisierung, Teubner, Stuttgart, 1989.
LibreCat
G. Engels, W. Schäfer, Programmentwicklungsumgebungen: Konzepte Und Realisierung, Teubner, Stuttgart, 1989.
1989 | Conference Paper | LibreCat-ID: 7821
Konzepte einer Software-Architektur-Beschreibungssprache
J. Ebert, G. Engels, in: Software-Entwicklung: Konzepte, Erfahrungen, Perspektiven, Fachtagung, 1989, Marburg (Germany), Springer, Berlin/Heidelberg, 1989, pp. 238–250.
LibreCat
J. Ebert, G. Engels, in: Software-Entwicklung: Konzepte, Erfahrungen, Perspektiven, Fachtagung, 1989, Marburg (Germany), Springer, Berlin/Heidelberg, 1989, pp. 238–250.
1989 | Conference Paper | LibreCat-ID: 16744
An optimal parallel dictionary
M. Dietzfelbinger, F. Meyer auf der Heide, in: Proceedings of the First Annual ACM Symposium on Parallel Algorithms and Architectures - SPAA ’89, 1989.
LibreCat
| DOI
M. Dietzfelbinger, F. Meyer auf der Heide, in: Proceedings of the First Annual ACM Symposium on Parallel Algorithms and Architectures - SPAA ’89, 1989.
1989 | Conference Paper | LibreCat-ID: 7822
CADDY-O: Syntaxgestütztes, graphisches Entwerfen konzeptioneller Datenbankschemata
G. Engels, in: Tagungsband GI-Fachtagung “Interaktive Schnittstellen Für Informationssysteme”, TU Clausthal, Notizen Zu Interaktive Systeme, 1989, pp. 1–16.
LibreCat
G. Engels, in: Tagungsband GI-Fachtagung “Interaktive Schnittstellen Für Informationssysteme”, TU Clausthal, Notizen Zu Interaktive Systeme, 1989, pp. 1–16.
1988 | Conference Paper | LibreCat-ID: 11783
A Comparison of Coherent and Differentially Coherent Detection Schemes for Fading Channels
R. Haeb-Umbach, in: International Conference on Vehicular Technology, Philadelphia, 1988.
LibreCat
| Download (ext.)
R. Haeb-Umbach, in: International Conference on Vehicular Technology, Philadelphia, 1988.
1988 | Journal Article | LibreCat-ID: 16764
Fast algorithms for N-dimensional restrictions of hard problems
F. Meyer auf der Heide, Journal of the ACM (JACM) (1988) 740–747.
LibreCat
| DOI
F. Meyer auf der Heide, Journal of the ACM (JACM) (1988) 740–747.
1988 | Report | LibreCat-ID: 8186
Ein Konzept zur Beschreibung von Software-Architekturen
J. Ebert, G. Engels, Ein Konzept Zur Beschreibung von Software-Architekturen, EWH Koblenz, 1988.
LibreCat
J. Ebert, G. Engels, Ein Konzept Zur Beschreibung von Software-Architekturen, EWH Koblenz, 1988.
1988 | Conference Paper | LibreCat-ID: 13021
Generating Pattern Sequences for the Pseudo-Exhaustive Test of MOS-Circuits
H.-J. Wunderlich, S. Hellebrand, in: {18th International Symposium on Fault-Tolerant Computing, FTCS-18}, {IEEE (Comput. Soc. Press)}, Tokyo, Japan, 1988, pp. 36–45.
LibreCat
| DOI
H.-J. Wunderlich, S. Hellebrand, in: {18th International Symposium on Fault-Tolerant Computing, FTCS-18}, {IEEE (Comput. Soc. Press)}, Tokyo, Japan, 1988, pp. 36–45.
1988 | Conference Paper | LibreCat-ID: 15320
A multi-spectral analysis system using large databases.
E.W. Brugel, G. Domik, S.A. Voels, in: European Southern Observatory Conference and Workshop Proceedings, 1988, pp. 3–8.
LibreCat
E.W. Brugel, G. Domik, S.A. Voels, in: European Southern Observatory Conference and Workshop Proceedings, 1988, pp. 3–8.
1988 | Journal Article | LibreCat-ID: 16765
A tradeoff between search and update time for the implicit dictionary problem
A. Borodin, F.E. Fich, F. Meyer auf der Heide, E. Upfal, A. Wigderson, Theoretical Computer Science (1988) 57–68.
LibreCat
| DOI
A. Borodin, F.E. Fich, F. Meyer auf der Heide, E. Upfal, A. Wigderson, Theoretical Computer Science (1988) 57–68.
1988 | Conference Paper | LibreCat-ID: 13058
Integrated Tools for Automatic Design for Testability
D. Schmid, H.-J. Wunderlich, F. Feldbusch, S. Hellebrand, J. Holzinger, A. Kunzmann, in: {In: Tool Integration and Design Environments, F.J. Rammig (Editor)}, Amsterdam: Elsevier Science Publishers B.V.(North Holland), IFIP, Amsterdam, The Netherlands, 1988, pp. 233–258.
LibreCat
D. Schmid, H.-J. Wunderlich, F. Feldbusch, S. Hellebrand, J. Holzinger, A. Kunzmann, in: {In: Tool Integration and Design Environments, F.J. Rammig (Editor)}, Amsterdam: Elsevier Science Publishers B.V.(North Holland), IFIP, Amsterdam, The Netherlands, 1988, pp. 233–258.
1988 | Journal Article | LibreCat-ID: 15321
Dependence of image grey values on topography in SIR-B images
G. Domik, F. Leberl, J. Cimino, International Journal of Remote Sensing 9 (1988) 1013–1022.
LibreCat
G. Domik, F. Leberl, J. Cimino, International Journal of Remote Sensing 9 (1988) 1013–1022.
1988 | Conference Paper | LibreCat-ID: 16766
Dynamic perfect hashing: upper and lower bounds
M. Dietzfelbinger, A. Karlin, K. Mehlhorn, F. Meyer auf der Heide, H. Rohnert, R.E. Tarjan, in: [Proceedings 1988] 29th Annual Symposium on Foundations of Computer Science, 1988.
LibreCat
| DOI
M. Dietzfelbinger, A. Karlin, K. Mehlhorn, F. Meyer auf der Heide, H. Rohnert, R.E. Tarjan, in: [Proceedings 1988] 29th Annual Symposium on Foundations of Computer Science, 1988.
1988 | Conference Paper | LibreCat-ID: 7818
A Highly Integrated Tool Set for Program Development Support
G. Engels, T. Janning, W. Schäfer, in: Proceedings of the Conference on ACM SIGSMALL/PC Symposium on ACTES (SIGSMALL 1988), Cannes (France), ACM Press, New York, NY, USA, 1988, pp. 1–10.
LibreCat
| DOI
G. Engels, T. Janning, W. Schäfer, in: Proceedings of the Conference on ACM SIGSMALL/PC Symposium on ACTES (SIGSMALL 1988), Cannes (France), ACM Press, New York, NY, USA, 1988, pp. 1–10.
1988 | Conference Paper | LibreCat-ID: 7820
Auf dem Weg zu einer integrierten Datenbank-Entwurfsumgebung
G. Engels, U. Hohenstein, G. Saake, H.-D. Ehrich, in: G. Engels, U. Hohenstein, G. Saake, H.-D. Ehrich (Eds.), Proceedings of the GI-Workshop on “Sprachspezifische Programmierumgebungen,” G. Snelting, Darmstadt (Germany), 1988, pp. 38–51.
LibreCat
G. Engels, U. Hohenstein, G. Saake, H.-D. Ehrich, in: G. Engels, U. Hohenstein, G. Saake, H.-D. Ehrich (Eds.), Proceedings of the GI-Workshop on “Sprachspezifische Programmierumgebungen,” G. Snelting, Darmstadt (Germany), 1988, pp. 38–51.
1988 | Conference Paper | LibreCat-ID: 8258
Die Benutzerschnittstelle einer integrierten Modula-2 Programmentwicklungsumgebung
G. Engels, T. Janning, W. Schäfer, in: Proceedings of GI-Workshop Sprachspezifische Programmierumgebungen, Darmstadt, Germany, 1988.
LibreCat
G. Engels, T. Janning, W. Schäfer, in: Proceedings of GI-Workshop Sprachspezifische Programmierumgebungen, Darmstadt, Germany, 1988.
1988 | Journal Article | LibreCat-ID: 15322
SIR-B stereo-radargrammetry of Australia
F. Leberl, W. Mayr, G. Domik, M. Kobrick, International Journal of Remote Sensing 9 (1988) 997–1011.
LibreCat
F. Leberl, W. Mayr, G. Domik, M. Kobrick, International Journal of Remote Sensing 9 (1988) 997–1011.
1988 | Book Chapter | LibreCat-ID: 16767
On computations with integer division
B. Just, F. Mathematik, F. Meyer auf der Heide, F. Informatik, A. Wigderson, in: STACS 88, Berlin, Heidelberg, 1988.
LibreCat
| DOI
B. Just, F. Mathematik, F. Meyer auf der Heide, F. Informatik, A. Wigderson, in: STACS 88, Berlin, Heidelberg, 1988.
1988 | Conference Paper | LibreCat-ID: 7819
Konzeption einer integrierten Datenbank-Entwurfsumgebung
G. Engels, U. Hohenstein, L. Neugebauer, G. Saake, H.-D. Ehrich, in: Proceedings of DBTA/SI Data Dictionaries Und Entwicklungswerkzeuge Für Datenbank-Anwendungen, Zürich, Switzerland, Verlag der Fachvereine an den Schweiz. Hochschulen und Techniken, 1988, pp. 151–157.
LibreCat
G. Engels, U. Hohenstein, L. Neugebauer, G. Saake, H.-D. Ehrich, in: Proceedings of DBTA/SI Data Dictionaries Und Entwicklungswerkzeuge Für Datenbank-Anwendungen, Zürich, Switzerland, Verlag der Fachvereine an den Schweiz. Hochschulen und Techniken, 1988, pp. 151–157.
1988 | Conference Paper | LibreCat-ID: 11794
A digital Synchronizer for Linearly Modulated Signals Transmitted over a Frequency-Nonselective Fading Channel
R. Haeb-Umbach, H. Meyr, in: International Conference on Communications, Philadelphia, 1988.
LibreCat
| Download (ext.)
R. Haeb-Umbach, H. Meyr, in: International Conference on Communications, Philadelphia, 1988.
1988 | Conference Paper | LibreCat-ID: 13062
Automatisierung des Entwurfs vollständig testbarer Schaltungen
S. Hellebrand, H.-J. Wunderlich, in: {GI - 18. Jahrestagung II, Hamburg, 1988, Informatik-Fachberichte 188}, Springer Verlag, Hamburg, Germany, 1988, pp. 145–159.
LibreCat
S. Hellebrand, H.-J. Wunderlich, in: {GI - 18. Jahrestagung II, Hamburg, 1988, Informatik-Fachberichte 188}, Springer Verlag, Hamburg, Germany, 1988, pp. 145–159.
1988 | Journal Article | LibreCat-ID: 16763
On the limits of computations with the floor function
L. Babai, B. Just, F. Meyer auf der Heide, Information and Computation (1988) 99–107.
LibreCat
| DOI
L. Babai, B. Just, F. Meyer auf der Heide, Information and Computation (1988) 99–107.
1988 | Book Chapter | LibreCat-ID: 16768
Upper and lower bounds for the dictionary problem
M. Dietzfelbinger, K. Mehlhorn, F. Meyer auf der Heide, H. Rohnert, in: SWAT 88, Berlin, Heidelberg, 1988.
LibreCat
| DOI
M. Dietzfelbinger, K. Mehlhorn, F. Meyer auf der Heide, H. Rohnert, in: SWAT 88, Berlin, Heidelberg, 1988.
1988 | Conference Paper | LibreCat-ID: 16915
Enhancement Techniques in Digital Image Processing
G. Domik-Kienegger, in: Proceedings of the Computer Science Symposium, Graz, Austria, 1988, pp. 211–217.
LibreCat
G. Domik-Kienegger, in: Proceedings of the Computer Science Symposium, Graz, Austria, 1988, pp. 211–217.
1987 | Conference Paper | LibreCat-ID: 11795
Optimal Carrier Recovery and Detection on Frequency-Nonselective Fading Channels
R. Haeb-Umbach, H. Meyr, in: Proc. Symposium on Inf. Theory and Appl. (SITA), Tokio, 1987.
LibreCat
R. Haeb-Umbach, H. Meyr, in: Proc. Symposium on Inf. Theory and Appl. (SITA), Tokio, 1987.
1987 | Conference Paper | LibreCat-ID: 15038
Methods and application of surface shape reconstruction from multiple SAR images
G. Domik, in: IGARSS’87-International Geoscience and Remote Sensing Symposium, 1987, pp. 1551–1555.
LibreCat
G. Domik, in: IGARSS’87-International Geoscience and Remote Sensing Symposium, 1987, pp. 1551–1555.
1987 | Conference Paper | LibreCat-ID: 16916
Digital Rectification Method for Radar Images Applied on Huge Arrays
G. Domik-Kienegger, in: Proceedings of the First Int’l. Workshop on Image Rectification Tech. for Spaceborne Synthetic Aperture Radar, 1987, pp. 67–68.
LibreCat
G. Domik-Kienegger, in: Proceedings of the First Int’l. Workshop on Image Rectification Tech. for Spaceborne Synthetic Aperture Radar, 1987, pp. 67–68.
1987 | Conference Paper | LibreCat-ID: 7816
A Hybrid Interpreter in a Software Development Environment
G. Engels, A. Schürr, in: Proceedings of the 1st European Software Engineering Conference (ESEC ’87), Strasbourg (France), Springer, Berlin/Heidelberg, 1987, pp. 80–88.
LibreCat
G. Engels, A. Schürr, in: Proceedings of the 1st European Software Engineering Conference (ESEC ’87), Strasbourg (France), Springer, Berlin/Heidelberg, 1987, pp. 80–88.
1987 | Journal Article | LibreCat-ID: 16772
A Time-Space Tradeoff for Element Distinctness
A. Borodin, F. Fich, F. Meyer auf der Heide, E. Upfal, A. Wigderson, SIAM Journal on Computing (1987) 97–99.
LibreCat
| DOI
A. Borodin, F. Fich, F. Meyer auf der Heide, E. Upfal, A. Wigderson, SIAM Journal on Computing (1987) 97–99.
1987 | Conference Paper | LibreCat-ID: 7817
On the Structure of Structure-Oriented Editors for Different Applications
G. Engels, M. Nagl, W. Schäfer, in: Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, Palo Alto, USA, ACM SIGPLAN Notices, 1987, pp. 190–198.
LibreCat
G. Engels, M. Nagl, W. Schäfer, in: Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, Palo Alto, USA, ACM SIGPLAN Notices, 1987, pp. 190–198.
1987 | Conference Paper | LibreCat-ID: 8257
Graph Grammar Engineering: A Software Specification Method
G. Engels, C. Lewerentz, W. Schäfer, in: Proceedings of the 3rd International Workshop on Graph-Grammars and Their Application to Computer Science, Warrenton, VA (USA), Springer, Berlin/Heidelberg, 1987, pp. 186–201.
LibreCat
| DOI
G. Engels, C. Lewerentz, W. Schäfer, in: Proceedings of the 3rd International Workshop on Graph-Grammars and Their Application to Computer Science, Warrenton, VA (USA), Springer, Berlin/Heidelberg, 1987, pp. 186–201.
1987 | Journal Article | LibreCat-ID: 15319
Image based SAR product simulation for analysis
G. Domik, F. Leberl, ASPRS-ACM (1987).
LibreCat
G. Domik, F. Leberl, ASPRS-ACM (1987).
1987 | Journal Article | LibreCat-ID: 16773
The Complexity of Parallel Sorting
F. Meyer auf der Heide, A. Wigderson, SIAM Journal on Computing (1987) 100–107.
LibreCat
| DOI
F. Meyer auf der Heide, A. Wigderson, SIAM Journal on Computing (1987) 100–107.
1987 | Conference Paper | LibreCat-ID: 15050
Methods and accuracy of operational digital image mapping with aircraft SAR
F. Leberl, G. Domik, B.J. Mercer, in: 1987 ASPRS ACSM Annual Convention, 1987, pp. 148–158.
LibreCat
F. Leberl, G. Domik, B.J. Mercer, in: 1987 ASPRS ACSM Annual Convention, 1987, pp. 148–158.
1986 | Conference Paper | LibreCat-ID: 15317
Developing tools for digital radar image data evaluation
G. Domik, F. Leberl, J. Raggam, in: 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., 1986, pp. 117–119.
LibreCat
G. Domik, F. Leberl, J. Raggam, in: 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., 1986, pp. 117–119.
1986 | Journal Article | LibreCat-ID: 15254
Radargrammetric Experiments with Space Shuttle SIR-B Imagery
F. Leberl, G. Domik, J. Raggam, J. Cimino, M. Kobrick, International Archives of Photogrammetry and Remote Sensing= Archives Internationales de Photogramm{\’e}trie et de T{\’e}l{\’e}d{\’e}tection= Internationales Archiv Der Photogrammetrie Und Fernerkundung (1986) 333–344.
LibreCat
F. Leberl, G. Domik, J. Raggam, J. Cimino, M. Kobrick, International Archives of Photogrammetry and Remote Sensing= Archives Internationales de Photogramm{\’e}trie et de T{\’e}l{\’e}d{\’e}tection= Internationales Archiv Der Photogrammetrie Und Fernerkundung (1986) 333–344.
1986 | Journal Article | LibreCat-ID: 16771
Efficient Simulations among Several Models of Parallel Computers
F. Meyer auf der Heide, SIAM Journal on Computing (1986) 106–119.
LibreCat
| DOI
F. Meyer auf der Heide, SIAM Journal on Computing (1986) 106–119.
1986 | Book Chapter | LibreCat-ID: 16776
A time-space tradeoff for element distinctness
A. Borodin, F. Fich, F. Meyer auf der Heide, E. Upfal, A. Wigderson, in: STACS 86, Berlin, Heidelberg, 1986.
LibreCat
| DOI
A. Borodin, F. Fich, F. Meyer auf der Heide, E. Upfal, A. Wigderson, in: STACS 86, Berlin, Heidelberg, 1986.
1986 | Conference Paper | LibreCat-ID: 8256
Experiences with a Hybrid-Interpreter Based on Incremental Compilation Techniques
G. Engels, A. Sandbrink, in: Proceedings of the Workshop on Compiler Compilers and Incremental Compilation Techniques, Bautzen, Berlin(Ost): Akademie der Wissenschaften der DDR, Bautzen, 1986, pp. 172–184.
LibreCat
G. Engels, A. Sandbrink, in: Proceedings of the Workshop on Compiler Compilers and Incremental Compilation Techniques, Bautzen, Berlin(Ost): Akademie der Wissenschaften der DDR, Bautzen, 1986, pp. 172–184.
1986 | Journal Article | LibreCat-ID: 14895
Radar stereomapping techniques and application to SIR-B images of Mt. Shasta
F.W. Leberl, G. Domik-Kienegger, J. Rraggam, M. Kobrick, IEEE Transactions on Geoscience and Remote Sensing (1986) 473–481.
LibreCat
F.W. Leberl, G. Domik-Kienegger, J. Rraggam, M. Kobrick, IEEE Transactions on Geoscience and Remote Sensing (1986) 473–481.
1986 | Journal Article | LibreCat-ID: 11880
An all digital implementation of a receiver for bandwidth-efficient communication
M. Oerder, G. Ascheid, R. Haeb-Umbach, H. Meyr, Signal Processing: Theories and Applications (1986).
LibreCat
M. Oerder, G. Ascheid, R. Haeb-Umbach, H. Meyr, Signal Processing: Theories and Applications (1986).
1986 | Conference Paper | LibreCat-ID: 15318
Using secondary image products to aid in understanding and interpretation of radar imagery
G. Domik, F. Leberl, in: IGARSS’86: Remote Sensing: Today’s Solutions for Tomorrow’s Information Needs, 1986.
LibreCat
G. Domik, F. Leberl, in: IGARSS’86: Remote Sensing: Today’s Solutions for Tomorrow’s Information Needs, 1986.
1986 | Journal Article | LibreCat-ID: 16917
Radar Stereomapping Techniques and Application to SIR-B Images of Mt. Shasta
F. Leberl, G. Domik-Kienegger, J. Raggam, M. Kobrick, IEEE Transactions on Geoscience and Remote Sensing GE-24 (1986) 473–481.
LibreCat
F. Leberl, G. Domik-Kienegger, J. Raggam, M. Kobrick, IEEE Transactions on Geoscience and Remote Sensing GE-24 (1986) 473–481.
1986 | Dissertation | LibreCat-ID: 7588
Graphen als zentrale Datenstrukturen in einer Software-Entwicklungsumgebung
G. Engels, Graphen Als Zentrale Datenstrukturen in Einer Software-Entwicklungsumgebung, 1986.
LibreCat
G. Engels, Graphen Als Zentrale Datenstrukturen in Einer Software-Entwicklungsumgebung, 1986.
1986 | Report | LibreCat-ID: 13022
Deformation dicker Punkte und Netze von Quadriken
S. Hellebrand, Deformation Dicker Punkte Und Netze von Quadriken, Universität Regensburg, Fakultät für Mathematik, Regensburg, Germany, 1986.
LibreCat
S. Hellebrand, Deformation Dicker Punkte Und Netze von Quadriken, Universität Regensburg, Fakultät für Mathematik, Regensburg, Germany, 1986.
1986 | Conference Paper | LibreCat-ID: 15179
Digital terrain mapping with STAR-1 SAR data
J. Mercer, R. Lowry, F. Leberl, G. Domik, in: International Geoscienee and Remote Sensing Symposium, 1986, pp. 645–650.
LibreCat
J. Mercer, R. Lowry, F. Leberl, G. Domik, in: International Geoscienee and Remote Sensing Symposium, 1986, pp. 645–650.
1986 | Journal Article | LibreCat-ID: 16918
Multiple Incidence Angle SIR-B Expenment Over Argentina: Stereo-Radargrammetrc Analysis
F. Leberl, G. Domik-Kienegger, J. Raggam, J. Cimino, M. Kobrick, IEEE Transactions on Geoscience and Remote Sensing GE-24 (1986) 482–491.
LibreCat
F. Leberl, G. Domik-Kienegger, J. Raggam, J. Cimino, M. Kobrick, IEEE Transactions on Geoscience and Remote Sensing GE-24 (1986) 482–491.
1986 | Book Chapter | LibreCat-ID: 16774
A tradeoff between search and update time for the implicit dictionary problem
A. Borodin, F.E. Fich, F. Meyer auf der Heide, E. Upfal, A. Wigderson, in: Automata, Languages and Programming, Berlin, Heidelberg, 1986.
LibreCat
| DOI
A. Borodin, F.E. Fich, F. Meyer auf der Heide, E. Upfal, A. Wigderson, in: Automata, Languages and Programming, Berlin, Heidelberg, 1986.
1986 | Journal Article | LibreCat-ID: 14983
Multiple incidence angle SIR-B experiment over Argentina: generation of secondary image products
G. Domik, F. Leberl, J. Cimino, IEEE Transactions on Geoscience and Remote Sensing (1986) 492–497.
LibreCat
G. Domik, F. Leberl, J. Cimino, IEEE Transactions on Geoscience and Remote Sensing (1986) 492–497.
1986 | Book Chapter | LibreCat-ID: 16775
Speeding up random access machines by few processors
F. Meyer auf der Heide, in: STACS 86, Berlin, Heidelberg, 1986.
LibreCat
| DOI
F. Meyer auf der Heide, in: STACS 86, Berlin, Heidelberg, 1986.
1986 | Conference Paper | LibreCat-ID: 7815
On the Structure of an Incremental and Integrated Software Development Environment
G. Engels, C. Lewerentz, M. Nagl, W. Schäfer, in: Proceedings of the 19th Hawaii International Conference on System Sciences, Hawaii, USA, 1986, pp. 585–597.
LibreCat
G. Engels, C. Lewerentz, M. Nagl, W. Schäfer, in: Proceedings of the 19th Hawaii International Conference on System Sciences, Hawaii, USA, 1986, pp. 585–597.
1985 | Conference Paper | LibreCat-ID: 16783
One, two, three . . . infinity: lower bounds for parallel computation
F.E. Fich, F. Meyer auf der Heide, P. Ragde, A. Wigderson, in: Proceedings of the Seventeenth Annual ACM Symposium on Theory of Computing - STOC ’85, 1985.
LibreCat
| DOI
F.E. Fich, F. Meyer auf der Heide, P. Ragde, A. Wigderson, in: Proceedings of the Seventeenth Annual ACM Symposium on Theory of Computing - STOC ’85, 1985.
1985 | Conference Paper | LibreCat-ID: 16788
Nondeterministic versus probabilistic linear search algorithms
F. Meyer auf der Heide, in: 26th Annual Symposium on Foundations of Computer Science (Sfcs 1985), 1985.
LibreCat
| DOI
F. Meyer auf der Heide, in: 26th Annual Symposium on Foundations of Computer Science (Sfcs 1985), 1985.
1985 | Conference Paper | LibreCat-ID: 16784
Fast algorithms for n-dimensional restrictions of hard problems
F. Meyer auf der Heide, in: Proceedings of the Seventeenth Annual ACM Symposium on Theory of Computing - STOC ’85, 1985.
LibreCat
| DOI
F. Meyer auf der Heide, in: Proceedings of the Seventeenth Annual ACM Symposium on Theory of Computing - STOC ’85, 1985.
1985 | Journal Article | LibreCat-ID: 16823
Lower time bounds for solving linear diophantine equations on several parallel computational models
F. Meyer auf der Heide, Information and Control 67 (1985) 195–211.
LibreCat
| DOI
F. Meyer auf der Heide, Information and Control 67 (1985) 195–211.
1985 | Journal Article | LibreCat-ID: 15314
Mapping with aircraft and satellite radar images
F. Leberl, M. Kobrick, undefined undefined, The Photogrammetric Record 11 (1985) 647–665.
LibreCat
F. Leberl, M. Kobrick, undefined undefined, The Photogrammetric Record 11 (1985) 647–665.
1985 | Journal Article | LibreCat-ID: 16780
Lower bounds for solving linear diophantine equations on random access machines
F. Meyer auf der Heide, Journal of the ACM (JACM) (1985) 929–937.
LibreCat
| DOI
F. Meyer auf der Heide, Journal of the ACM (JACM) (1985) 929–937.