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.

10395 Publications


1986 | Book Chapter | LibreCat-ID: 16774
Borodin A, Fich FE, Meyer auf der Heide F, Upfal E, Wigderson A. A tradeoff between search and update time for the implicit dictionary problem. In: Automata, Languages and Programming. Berlin, Heidelberg; 1986. doi:10.1007/3-540-16761-7_54
LibreCat | DOI
 

1986 | Journal Article | LibreCat-ID: 14983
Domik G, Leberl F, Cimino J. Multiple incidence angle SIR-B experiment over Argentina: generation of secondary image products. IEEE Transactions on Geoscience and Remote Sensing. 1986;(4):492-497.
LibreCat
 

1986 | Book Chapter | LibreCat-ID: 16775
Meyer auf der Heide F. Speeding up random access machines by few processors. In: STACS 86. Berlin, Heidelberg; 1986. doi:10.1007/3-540-16078-7_72
LibreCat | DOI
 

1986 | Conference Paper | LibreCat-ID: 7815
Engels G, Lewerentz C, Nagl M, Schäfer W. On the Structure of an Incremental and Integrated Software Development Environment. In: Proceedings of the 19th Hawaii International Conference on System Sciences, Hawaii, USA. Vol 2a. ; 1986:585-597.
LibreCat
 

1986 | Journal Article | LibreCat-ID: 17468
Peckhaus V. Case Studies Towards the Establishment of a Social History of Logic. History and Philosophy of Logic. 1986;7:185-186.
LibreCat
 

1987 | Conference Paper | LibreCat-ID: 11795
Haeb-Umbach R, Meyr H. Optimal Carrier Recovery and Detection on Frequency-Nonselective Fading Channels. In: Proc. Symposium on Inf. Theory and Appl. (SITA), Tokio. ; 1987.
LibreCat
 

1987 | Conference Paper | LibreCat-ID: 15038
Domik G. Methods and application of surface shape reconstruction from multiple SAR images. In: IGARSS’87-International Geoscience and Remote Sensing Symposium. ; 1987:1551-1555.
LibreCat
 

1987 | Conference Paper | LibreCat-ID: 16916
Domik-Kienegger G. Digital Rectification Method for Radar Images Applied on Huge Arrays. In: Proceedings of the First Int’l. Workshop on Image Rectification Tech. for Spaceborne Synthetic Aperture Radar. ; 1987:67-68.
LibreCat
 

1987 | Conference Paper | LibreCat-ID: 7816
Engels G, Schürr A. A Hybrid Interpreter in a Software Development Environment. In: Proceedings of the 1st European Software Engineering Conference (ESEC ’87), Strasbourg (France). Vol 289. Berlin/Heidelberg: Springer; 1987:80-88.
LibreCat
 

1987 | Journal Article | LibreCat-ID: 16772
Borodin A, Fich F, Meyer auf der Heide F, Upfal E, Wigderson A. A Time-Space Tradeoff for Element Distinctness. SIAM Journal on Computing. 1987:97-99. doi:10.1137/0216007
LibreCat | DOI
 

1987 | Conference Paper | LibreCat-ID: 7817
Engels G, Nagl M, Schäfer W. On the Structure of Structure-Oriented Editors for Different Applications. In: Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, Palo Alto, USA. Vol 22. ACM SIGPLAN Notices; 1987:190-198.
LibreCat
 

1987 | Conference Paper | LibreCat-ID: 8257
Engels G, Lewerentz C, Schäfer W. Graph Grammar Engineering: A Software Specification Method. In: Proceedings of the 3rd International Workshop on Graph-Grammars and Their Application to Computer Science, Warrenton, VA (USA). Vol 291. Berlin/Heidelberg: Springer; 1987:186-201. doi:dx.doi.org/10.1007/3-540-18771-5
LibreCat | DOI
 

1987 | Journal Article | LibreCat-ID: 15319
Domik G, Leberl F. Image based SAR product simulation for analysis. ASPRS-ACM. 1987.
LibreCat
 

1987 | Journal Article | LibreCat-ID: 16773
Meyer auf der Heide F, Wigderson A. The Complexity of Parallel Sorting. SIAM Journal on Computing. 1987:100-107. doi:10.1137/0216008
LibreCat | DOI
 

1987 | Conference Paper | LibreCat-ID: 15050
Leberl F, Domik G, Mercer BJ. Methods and accuracy of operational digital image mapping with aircraft SAR. In: 1987 ASPRS ACSM Annual Convention. ; 1987:148-158.
LibreCat
 

1988 | Conference Paper | LibreCat-ID: 11783
Haeb-Umbach R. A Comparison of Coherent and Differentially Coherent Detection Schemes for Fading Channels. In: International Conference on Vehicular Technology, Philadelphia. ; 1988.
LibreCat | Download (ext.)
 

1988 | Journal Article | LibreCat-ID: 16764
Meyer auf der Heide F. Fast algorithms for N-dimensional restrictions of hard problems. Journal of the ACM (JACM). 1988:740-747. doi:10.1145/44483.44490
LibreCat | DOI
 

1988 | Report | LibreCat-ID: 8186
Ebert J, Engels G. Ein Konzept Zur Beschreibung von Software-Architekturen. EWH Koblenz; 1988.
LibreCat
 

1988 | Journal Article | LibreCat-ID: 17469
Peckhaus V. Karl Eugen Müller (1865–1932) und seine Rolle in der Entwicklung der Algebra der Logik. History and Philosophy of Logic. 1988;9:43-56.
LibreCat
 

1988 | Conference Paper | LibreCat-ID: 13021
Wunderlich H-J, Hellebrand S. Generating Pattern Sequences for the Pseudo-Exhaustive Test of MOS-Circuits. In: {18th International Symposium on Fault-Tolerant Computing, FTCS-18}. Tokyo, Japan: {IEEE (Comput. Soc. Press)}; 1988:36-45. doi:10.1109/ftcs.1988.5294
LibreCat | DOI
 

1988 | Conference Paper | LibreCat-ID: 15320
Brugel EW, Domik G, Voels SA. A multi-spectral analysis system using large databases. In: European Southern Observatory Conference and Workshop Proceedings. Vol 28. ; 1988:3-8.
LibreCat
 

1988 | Journal Article | LibreCat-ID: 16765
Borodin A, Fich FE, Meyer auf der Heide F, Upfal E, Wigderson A. A tradeoff between search and update time for the implicit dictionary problem. Theoretical Computer Science. 1988:57-68. doi:10.1016/0304-3975(88)90018-7
LibreCat | DOI
 

1988 | Conference Paper | LibreCat-ID: 13058
Schmid D, Wunderlich H-J, Feldbusch F, Hellebrand S, Holzinger J, Kunzmann A. Integrated Tools for Automatic Design for Testability. In: {In: Tool Integration and Design Environments, F.J. Rammig (Editor)}. Amsterdam, The Netherlands: Amsterdam: Elsevier Science Publishers B.V.(North Holland), IFIP; 1988:233-258.
LibreCat
 

1988 | Journal Article | LibreCat-ID: 15321
Domik G, Leberl F, Cimino J. Dependence of image grey values on topography in SIR-B images. International Journal of Remote Sensing. 1988;9(5):1013-1022.
LibreCat
 

1988 | Conference Paper | LibreCat-ID: 16766
Dietzfelbinger M, Karlin A, Mehlhorn K, Meyer auf der Heide F, Rohnert H, Tarjan RE. Dynamic perfect hashing: upper and lower bounds. In: [Proceedings 1988] 29th Annual Symposium on Foundations of Computer Science. ; 1988. doi:10.1109/sfcs.1988.21968
LibreCat | DOI
 

1988 | Conference Paper | LibreCat-ID: 7818
Engels G, Janning T, Schäfer W. A Highly Integrated Tool Set for Program Development Support. In: Proceedings of the Conference on ACM SIGSMALL/PC Symposium on ACTES (SIGSMALL 1988), Cannes (France). New York, NY, USA: ACM Press; 1988:1-10. doi:http://dx.doi.org/10.1145/62453.62454
LibreCat | DOI
 

1988 | Conference Paper | LibreCat-ID: 7820
Engels G, Hohenstein U, Saake G, Ehrich H-D. Auf dem Weg zu einer integrierten Datenbank-Entwurfsumgebung. In: Engels G, Hohenstein U, Saake G, Ehrich H-D, eds. Proceedings of the GI-Workshop on “Sprachspezifische Programmierumgebungen.” Darmstadt (Germany): G. Snelting; 1988:38-51.
LibreCat
 

1988 | Conference Paper | LibreCat-ID: 8258
Engels G, Janning T, Schäfer W. Die Benutzerschnittstelle einer integrierten Modula-2 Programmentwicklungsumgebung. In: Proceedings of GI-Workshop Sprachspezifische Programmierumgebungen, Darmstadt, Germany. ; 1988.
LibreCat
 

1988 | Journal Article | LibreCat-ID: 15322
Leberl F, Mayr W, Domik G, Kobrick M. SIR-B stereo-radargrammetry of Australia. International journal of remote sensing. 1988;9(5):997-1011.
LibreCat
 

1988 | Book Chapter | LibreCat-ID: 16767
Just B, Mathematik F, Meyer auf der Heide F, Informatik F, Wigderson A. On computations with integer division. In: STACS 88. Berlin, Heidelberg; 1988. doi:10.1007/bfb0035829
LibreCat | DOI
 

1988 | Conference Paper | LibreCat-ID: 7819
Engels G, Hohenstein U, Neugebauer L, Saake G, Ehrich H-D. Konzeption einer integrierten Datenbank-Entwurfsumgebung. 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:151-157.
LibreCat
 

1988 | Conference Paper | LibreCat-ID: 11794
Haeb-Umbach R, Meyr H. A digital Synchronizer for Linearly Modulated Signals Transmitted over a Frequency-Nonselective Fading Channel. In: International Conference on Communications, Philadelphia. ; 1988.
LibreCat | Download (ext.)
 

1988 | Conference Paper | LibreCat-ID: 13062
Hellebrand S, Wunderlich H-J. Automatisierung des Entwurfs vollständig testbarer Schaltungen. In: {GI - 18. Jahrestagung II, Hamburg, 1988, Informatik-Fachberichte 188}. Hamburg, Germany: Springer Verlag; 1988:145-159.
LibreCat
 

1988 | Journal Article | LibreCat-ID: 16763
Babai L, Just B, Meyer auf der Heide F. On the limits of computations with the floor function. Information and Computation. 1988:99-107. doi:10.1016/0890-5401(88)90031-4
LibreCat | DOI
 

1988 | Book Chapter | LibreCat-ID: 16768
Dietzfelbinger M, Mehlhorn K, Meyer auf der Heide F, Rohnert H. Upper and lower bounds for the dictionary problem. In: SWAT 88. Berlin, Heidelberg; 1988. doi:10.1007/3-540-19487-8_24
LibreCat | DOI
 

1988 | Conference Paper | LibreCat-ID: 16915
Domik-Kienegger G. Enhancement Techniques in Digital Image Processing. In: Proceedings of the Computer Science Symposium. Graz, Austria; 1988:211-217.
LibreCat
 

1988 | Conference Paper | LibreCat-ID: 17470
Peckhaus V. Historiographie wissenschaftlicher Disziplinen als Kombination von Problem- und Sozialgeschichtsschreibung: Formale Logik im Deutschland des ausgehenden 19. Jahrhunderts. In: Poser H, Burrichter C, eds. Die geschichtliche Perspektive in den Disziplinen der Wissenschaftsforschung. Kolloquium an der TU Berlin, Oktober 1988. Mit Beiträgen von Michael Heidelberger, Walter Kaiser, C. Ulises Moulines, Volker Peckhaus, Wolf Schäfer, Burghard Weiss. Vol 39. TUB-Dokumentation Kongresse und Tagungen. Berlin; 1988:177-215.
LibreCat
 

1989 | Conference Paper | LibreCat-ID: 13020
Wunderlich H-J, Hellebrand S. The Pseudo-Exhaustive Test of Sequential Circuits. In: {IEEE International Test Conference (ITC’89)}. Washington, DC, USA: {IEEE (Comput. Soc. Press)}; 1989:19-27. doi:10.1109/test.1989.82273
LibreCat | DOI
 

1989 | Book Chapter | LibreCat-ID: 16745
Meyer auf der Heide F. On genuinely time bounded computations. In: STACS 89. Berlin/Heidelberg; 1989. doi:10.1007/bfb0028969
LibreCat | DOI
 

1989 | Conference Paper | LibreCat-ID: 7823
Engels G, Hohenstein U, Hülsmann K, Löhr-Richter P, Ehrich H-D. CADDY: Computer-Aided Design of Non-Standard Databases. In: Proceedings of the International Conference on System Development Environments & Factories, Berlin, Germany. Berlin: Pitman Publishing; 1989.
LibreCat
 

1989 | Journal Article | LibreCat-ID: 16682
Dellnitz M, Werner B. Computational methods for bifurcation problems with symmetries—with special attention to steady state and Hopf bifurcation points. Journal of Computational and Applied Mathematics. 1989:97-123. doi:10.1016/0377-0427(89)90150-7
LibreCat | DOI
 

1989 | Book Chapter | LibreCat-ID: 16746
Meyer auf der Heide F, Wanka R. Time-optimal simulations of networks by universal parallel computers. In: STACS 89. Berlin/Heidelberg; 1989. doi:10.1007/bfb0028978
LibreCat | DOI
 

1989 | Book Chapter | LibreCat-ID: 16789
Meyer auf der Heide F. Computing minimum spanning forests on 1- and 2-dimensional processor arrays. In: STACS 89. Berlin, Heidelberg; 1989. doi:10.1007/bfb0028983
LibreCat | DOI
 

1989 | Report | LibreCat-ID: 8187
Engels G. Benutzerschnittstelle Und Architektur Der Integrierten Datenbankentwurfsumgebung CADDY (Kurzfassung). TU Braunschweig; 1989.
LibreCat
 

1989 | Journal Article | LibreCat-ID: 17162
Fuchssteiner B, Oevel G. Geometry and Action-Angle Variables of Multi Soliton Systems. Rev Math Phys. 1989;(1):415-479.
LibreCat
 

1989 | Book | LibreCat-ID: 3532
Gries T. Chaos in the Market of Foreign Exchange, in: Rieder, Gessner, Peyer, Immhoff, Radermacher (Eds).; 1989.
LibreCat
 

1989 | Journal Article | LibreCat-ID: 11793
Haeb-Umbach R, Meyr H. A systematic approach to carrier recovery and detection of digitally phase modulated signals on fading channels. IEEE Transactions on Communications. 1989.
LibreCat
 

1989 | Journal Article | LibreCat-ID: 16743
Just B, Meyer auf der Heide F, Wigderson A. On computations with integer division. RAIRO - Theoretical Informatics and Applications. 1989:101-111. doi:10.1051/ita/1989230101011
LibreCat | DOI
 

1989 | Book | LibreCat-ID: 7511
Engels G, Schäfer W. Programmentwicklungsumgebungen: Konzepte Und Realisierung. Stuttgart: Teubner; 1989.
LibreCat
 

1989 | Conference Paper | LibreCat-ID: 7821
Ebert J, Engels G. Konzepte einer Software-Architektur-Beschreibungssprache. In: Software-Entwicklung: Konzepte, Erfahrungen, Perspektiven, Fachtagung, 1989, Marburg (Germany). Vol 212. Informatik-Fachberichte. Berlin/Heidelberg: Springer; 1989:238-250.
LibreCat
 

1989 | Conference Paper | LibreCat-ID: 16744
Dietzfelbinger M, Meyer auf der Heide F. An optimal parallel dictionary. In: Proceedings of the First Annual ACM Symposium on Parallel Algorithms and Architectures  - SPAA ’89. ; 1989. doi:10.1145/72935.72974
LibreCat | DOI
 

1989 | Conference Paper | LibreCat-ID: 7822
Engels G. CADDY-O: Syntaxgestütztes, graphisches Entwerfen konzeptioneller Datenbankschemata. In: Tagungsband GI-Fachtagung “Interaktive Schnittstellen Für Informationssysteme”, TU Clausthal, Notizen Zu Interaktive Systeme. Vol 18. ; 1989:1-16.
LibreCat
 

1990 | Conference Paper | LibreCat-ID: 13018
Hellebrand S, Wunderlich H-J. Tools and Devices Supporting the Pseudo-Exhaustive Test. In: {European Design Automation Conference (EDAC’90)}. Glasgow, UK: {IEEE (Comput. Soc. Press)}; 1990:13-17. doi:10.1109/edac.1990.136612
LibreCat | DOI
 

1990 | Conference Paper | LibreCat-ID: 15393
Domik G, Brugel E, Stencel R, Vasudevan S, Pang J. Applications of IRAS Preprocessing at the Workstation. In: Bulletin of the American Astronomical Society. Vol 22. ; 1990:828.
LibreCat
 

1990 | Book Chapter | LibreCat-ID: 16738
Dietzfelbinger M, Meyer auf der Heide F. A new universal class of hash functions and dynamic hashing in real time. In: Automata, Languages and Programming. Berlin/Heidelberg; 1990. doi:10.1007/bfb0032018
LibreCat | DOI
 

1990 | Book Chapter | LibreCat-ID: 16740
Karpinski M, Meyer auf der Heide F. On the complexity of genuinely polynomial computation. In: Lecture Notes in Computer Science. Berlin/Heidelberg; 1990. doi:10.1007/bfb0029630
LibreCat | DOI
 

1990 | Dissertation | LibreCat-ID: 2621
Betz S. Investitionstheoretische Bestimmung der Abschreibungen für eine entscheidungsorientierte Kostenrechnung. Paderborn; 1990.
LibreCat
 

1990 | Book | LibreCat-ID: 17445
Peckhaus V. Hilbertprogramm und Kritische Philosophie. Das Göttinger Modell interdisziplinärer Zusammenarbeit zwischen Mathematik und Philosophie. Vol 7. Göttingen: Vandenhoeck & Ruprecht; 1990.
LibreCat
 

1990 | Journal Article | LibreCat-ID: 17471
Peckhaus V. ,Ich habe mich wohl gehütet, alle Patronen auf einmal zu verschießen‘. Ernst Zermelo in Göttingen. History and Philosophy of Logic. 1990;11:19-58.
LibreCat
 

1990 | Conference Paper | LibreCat-ID: 13019
Hellebrand S, Wunderlich H-J, F. Haberl O. Generating Pseudo-Exhaustive Vectors for External Testing. In: {IEEE International Test Conference (ITC’90)}. Washington, DC, USA: {IEEE (Comput. Soc. Press)}; 1990:670-679. doi:10.1109/test.1990.114082
LibreCat | DOI
 

1990 | Misc | LibreCat-ID: 13103
Hellebrand S, Wunderlich H-J, F. Haberl O. Generating Pseudo-Exhaustive Vectors for External Testing. IEEE Design for Testability Workshop, Vail, CO, USA; 1990.
LibreCat
 

1990 | Journal Article | LibreCat-ID: 15394
Domik G, Brugel EW, Stencel RE, Pang J, Vasudevan S. Workstation-based preprocessing of IRAS sky-flux images. Publications of the Astronomical Society of the Pacific. 1990;102(656):1167.
LibreCat
 

1990 | Book Chapter | LibreCat-ID: 16739
Meyer auf der Heide F. Dynamic hashing strategies. In: Lecture Notes in Computer Science. Berlin/Heidelberg; 1990. doi:10.1007/bfb0029597
LibreCat | DOI
 

1990 | Conference Paper | LibreCat-ID: 16741
Dietzfelbinger M, Meyer auf der Heide F. How to distribute a dictionary in a complete network. In: Proceedings of the Twenty-Second Annual ACM Symposium on Theory of Computing  - STOC ’90. ; 1990. doi:10.1145/100216.100229
LibreCat | DOI
 

1990 | Book Chapter | LibreCat-ID: 3050
Alt H, Blömer J, Wagener H. Approximation of convex polygons. In: Automata, Languages and Programming. Berlin/Heidelberg: Springer-Verlag; 1990:703-716. doi:10.1007/bfb0032068
LibreCat | DOI
 

1990 | Journal Article | LibreCat-ID: 3531
Gries T. Wechselkurstheorie und internationale monetäre Transmissionen . Jahrbuch für Sozialwissenschaften. 1990;41(1):3-41.
LibreCat
 

1990 | Conference Paper | LibreCat-ID: 7824
Hohenstein U, Engels G. Formal Semantics of an Entity-Relationship Query Language. In: Proceedings of the 9th International Conference on Entity-Relationship Approach (ER 90), Lausanne, Switzerland. ER Institute; 1990:177-188.
LibreCat
 

1990 | Conference Paper | LibreCat-ID: 8081
Krauter S, Hanitsch R. The Influence of the Capsulation on the Efficiency of PV-Modules. In: Proceedings of the 1st World Renewable Energy Congress, Reading (UK), 23.–28. September 1990, Band 1, S. 141–144. ; 1990. doi:10.1016/B978-0-08-037539-7.50062-4
LibreCat | DOI
 

1990 | Conference Paper | LibreCat-ID: 11800
Haeb-Umbach R, Rugar D, Howell T, Coleman GP. Coding and Signal Processing for a Magneto-optic Resonant Bias Coil Overwrite Experiment. In: International Conference on Communication, Atlanta. ; 1990.
LibreCat | Download (ext.)
 

1990 | Conference Paper | LibreCat-ID: 15395
Mickus K, Brugel E, Domik G, Ayres T. A case study: Multi-sensor data analysis of hh objects via star: A scientific toolkit for astrophysical research. In: Bulletin of the American Astronomical Society. Vol 22. ; 1990:1259.
LibreCat
 

1990 | Conference Paper | LibreCat-ID: 16742
Gil J, Meyer auf der Heide F, Wigderson A. Not all keys can be hashed in constant time. In: Proceedings of the Twenty-Second Annual ACM Symposium on Theory of Computing  - STOC ’90. ; 1990. doi:10.1145/100216.100247
LibreCat | DOI
 

1990 | Journal Article | LibreCat-ID: 16824
Meyer auf der Heide F. Das Heinz Nixdorf-Institut der Universität-GH Paderborn. Informatik Spektrum. 1990;13(4):231-232.
LibreCat
 

1990 | Conference Paper | LibreCat-ID: 16913
Domik-Kienegger G, Bruggel EW, Stencel RE. IRAS On-Line Catalogs at CASA. In: Proceedings of the 176th Meeting of the American Astronomical Society. Vol Vol. 22. BAAS. ; 1990.
LibreCat
 

1990 | Journal Article | LibreCat-ID: 17175
Oevel G, Fuchssteiner B, Blaszak M. Action-Angle Representation of Multisolitons by Potentials of Mastersymmetries. Prog Theor Phys. 1990;83:395-413.
LibreCat
 

1990 | Conference Paper | LibreCat-ID: 8259
Engels G. Elementary Actions on an Extended Entity-Relationship Database. In: Proceedings of the Workshop on Graph Grammars and Their Application to Computer Science (1990), Bremen (Germany). Vol 532. Berlin/Heidelberg: Springer; 1990:344-362. doi:http://dx.doi.org/10.1007/BFb0017372
LibreCat | DOI
 

1990 | Journal Article | LibreCat-ID: 17164
Fuchssteiner B, Oevel G. Action-Angle Representation of Multisolitons. Appl Math Lett. 1990;(3):75-78.
LibreCat
 

1990 | Dissertation | LibreCat-ID: 17176
Oevel G. Reduktion integrabler Systeme auf ihre Multisoliton Mannigfaltigkeiten. Universität-Gesamthochschule Paderborn; 1990.
LibreCat
 

1990 | Conference Paper | LibreCat-ID: 15051
Mickus K, Domik G, Brugel E, Ayres T. Star-a scientific toolkit for astrophysical research. In: Bulletin of the American Astronomical Society. Vol 22. ; 1990:828.
LibreCat
 

1990 | Book Chapter | LibreCat-ID: 17165
Oevel G, Fuchssteiner B, Blaszak M. Action/Angle Variables and Asymptotic Data. In: Carillo S, Ragnisco O, eds. Nonlinear Evolution Equations and Dynamical Systems. Berlin-Heidelberg-New York: Springer; 1990.
LibreCat
 

1990 | Dissertation | LibreCat-ID: 17456
Peckhaus V. Hilbertprogramm und Kritische Philosophie. Das Göttinger Modell interdisziplinärer Zusammenarbeit zwischen Mathematik und Philosophie, Inaugural-Dissertation in der Philosophischen Fakultät I (Philosophie, Geschichte und Sozialwissenschaften) der Friedrich-Alexander-Universität Erlangen-Nürnberg.; 1990.
LibreCat
 

1990 | Book (Editor) | LibreCat-ID: 17451
Peckhaus V, ed. Modern Logic 1 (1990/91), H. 2/3 (Winter 1990/91), Special Issue Commemorating the Centenary of the Publication of the First Volume of Ernst Schröder’s Vorlesungen Über Die Algebra Der Logik. Vol H. 2/3.; 1990.
LibreCat
 

1991 | Book Review | LibreCat-ID: 15609
Hagengruber R. Tommaso Campanella: Mathematica (Hrsg. von A. Brissoni. Rom: Gangemi, 1989). Sudhoffs Archive. 1991;75(1):118-119.
LibreCat
 

1991 | Conference Paper | LibreCat-ID: 3048
Alt H, Behrends B, Blömer J. Approximate matching of polygonal shapes (extended abstract). In: Proceedings of the Seventh Annual Symposium on Computational Geometry  - SCG ’91. ACM Press; 1991. doi:10.1145/109648.109669
LibreCat | DOI
 

1991 | Conference Paper | LibreCat-ID: 16912
Domik-Kienegger G. Visualization in the Analysis Cycle of Observational Data, in Analyzing and Modeling Data and Knowledge. In: Schader M, ed. Proceedings of the 15th Annual Conference of the “Gesellschaft Für Klassifikation e.V.” University of Salzburg. ; 1991:267-276.
LibreCat
 

1991 | Journal Article | LibreCat-ID: 17472
Peckhaus V. Introduction. Modern Logic. 1991;1(2/3):113-116.
LibreCat
 

1991 | Book | LibreCat-ID: 13034
Hellebrand S. Synthese Vollständig Testbarer Schaltungen. Verlag Düsseldorf: VDI Verlag: Verlag Düsseldorf: VDI Verlag; 1991.
LibreCat
 

1991 | Conference Paper | LibreCat-ID: 3049
Blömer J. Computing sums of radicals in polynomial time. In: Proceedings 32nd Annual Symposium of Foundations of Computer Science. IEEE Comput. Soc. Press; 1991. doi:10.1109/sfcs.1991.185434
LibreCat | DOI
 

1991 | Report | LibreCat-ID: 8188
Löhr-Richter P, Engels G. Incremental Design of Conceptual Database Schemata with CADDY. Leiden University, P.O. Box 9500, 2300 RA Leiden, The Netherlands: Leiden University; 1991.
LibreCat
 

1991 | Conference Paper | LibreCat-ID: 8082
Krauter S, Hanitsch R, Strauss P. Simulation-Program for Selecting Efficiency Improving Strategies of PV-Module-Encapsulations under Operating Conditions. In: Proceedings of “Renewable Energy Sources '91”, Prag (CFSR), 1.–4. Juli 1991, Band 3, S. 48–53. ; 1991.
LibreCat
 

1991 | Journal Article | LibreCat-ID: 17473
Peckhaus V. Ernst Schröder und die ,pasigraphischen Systeme‘ von Peano und Peirce. Modern Logic. 1991;1(2/3):174-205.
LibreCat
 

1991 | Conference Paper | LibreCat-ID: 11798
Haeb-Umbach R, Ney H. A Look-Ahead Technique for Large Vocabulary Continuous Speech Recognition. In: EUROSPEECH, Genova. ; 1991.
LibreCat | Download (ext.)
 

1991 | Book Chapter | LibreCat-ID: 15020
Domik G. The role of visualization in understanding data. In: New Results and New Trends in Computer Science. Springer; 1991:91-107.
LibreCat
 

1991 | Book Chapter | LibreCat-ID: 8894
Stelter P, Sextro W. Bifurcations in Dynamic Systems with Dry Friction. In: Seydel R, Schneider FW, Küpper T, Troger H, eds. Bifurcation and Chaos: Analysis, Algorithms, Applications. Vol 97. International Series of Numerical Mathematics / Internationale Schriftenreihe zur Numerischen Mathematik / S{\’e}rie Internationale d’Analyse Num{\’e}rique. Birkhäuser Basel; 1991:343-347. doi:10.1007/978-3-0348-7004-7_44
LibreCat | DOI
 

1991 | Journal Article | LibreCat-ID: 17300
Oevel G, Blaszak M. Action-Angle Representation of Complex Multisolitons. Prog Theor Phys. 1991;86:29-43.
LibreCat
 

1992 | Conference Paper | LibreCat-ID: 11719
Aubert XL, Ney H, Haeb-Umbach R. The Philips Research System for Continuous-Speech Recognition: Overview and Evaluation on the DRAPA RM Task. In: DRAPA Speech Workshop. ; 1992.
LibreCat
 

1992 | Conference Paper | LibreCat-ID: 11769
Geller D, Haeb-Umbach R, Ney H. Improvements in Speech Recognition for Voice Dialling in the Car Environment. In: ESCA Workshop on Speech Recognition in Adverse Conditions, Cannes-Mandelieu. ; 1992.
LibreCat
 

1992 | Conference Paper | LibreCat-ID: 11877
Ney H, Haeb-Umbach R, Tran BH, Oerder M. Improvements in Beam Search for 10,000-Word-Continuous Speech Recognition. In: ICASSP, San Francisco. ; 1992.
LibreCat | Download (ext.)
 

1992 | Book Chapter | LibreCat-ID: 1717
Krimphove D. Die Auswirkungen des Betriebsüberganges nach § 613 a BGB auf die Rechte der Arbeitnehmer. In: Ohlmeyer D, Philipowski R, eds. Die Verschmelzung von Genossenschaften - Insbesondere von Kreditgenossenschaften. 5th ed. Wiesbaden: DG-Verlag; 1992:163-168.
LibreCat
 

1992 | Book Chapter | LibreCat-ID: 16733
Dietzfelbinger M, Meyer auf der Heide F. High performance universal hashing, with applications to shared memory simulations. In: Data Structures and Efficient Algorithms. Berlin, Heidelberg; 1992. doi:10.1007/3-540-55488-2_31
LibreCat | DOI
 

1992 | Conference Paper | LibreCat-ID: 3047
Blömer J. How to denest Ramanujan’s nested radicals. In: Proceedings., 33rd Annual Symposium on Foundations of Computer Science. IEEE; 1992. doi:10.1109/sfcs.1992.267807
LibreCat | DOI
 

Filters and Search Terms

status=public

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year
Citation Style: AMA

Export / Embed