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.

10514 Publications


1986 | Book Chapter | LibreCat-ID: 16774
A. Borodin, F. E. Fich, F. Meyer auf der Heide, E. Upfal, and A. Wigderson, “A tradeoff between search and update time for the implicit dictionary problem,” in Automata, Languages and Programming, Berlin, Heidelberg, 1986.
LibreCat | DOI
 

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

1986 | Book Chapter | LibreCat-ID: 16775
F. Meyer auf der Heide, “Speeding up random access machines by few processors,” in STACS 86, Berlin, Heidelberg, 1986.
LibreCat | DOI
 

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

1986 | Journal Article | LibreCat-ID: 17468
V. Peckhaus, “Case Studies Towards the Establishment of a Social History of Logic,” History and Philosophy of Logic, vol. 7, pp. 185–186, 1986.
LibreCat
 

1987 | Conference Paper | LibreCat-ID: 11795
R. Haeb-Umbach and H. Meyr, “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
G. Domik, “Methods and application of surface shape reconstruction from multiple SAR images,” in IGARSS’87-International Geoscience and Remote Sensing Symposium, 1987, pp. 1551–1555.
LibreCat
 

1987 | Conference Paper | LibreCat-ID: 16916
G. Domik-Kienegger, “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, no. Rep. 29, pp. 67–68.
LibreCat
 

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

1987 | Journal Article | LibreCat-ID: 17820
V. Peckhaus and C. Thiel, “DFG fördert an der FAU: Projekt: Fallstudien zur Begründung einer Sozialgeschichte der Logik,” FAU Uni-Kurier, vol. 70/71, no. Juni 1987, p. 49, 1987.
LibreCat
 

1987 | Journal Article | LibreCat-ID: 16772
A. Borodin, F. Fich, F. Meyer auf der Heide, E. Upfal, and A. Wigderson, “A Time-Space Tradeoff for Element Distinctness,” SIAM Journal on Computing, pp. 97–99, 1987.
LibreCat | DOI
 

1987 | Conference Paper | LibreCat-ID: 7817
G. Engels, M. Nagl, and W. Schäfer, “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, 1987, vol. 22, no. 1, pp. 190–198.
LibreCat
 

1987 | Conference Paper | LibreCat-ID: 8257
G. Engels, C. Lewerentz, and W. Schäfer, “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), 1987, vol. 291, pp. 186–201.
LibreCat | DOI
 

1987 | Book Chapter | LibreCat-ID: 17819
V. Peckhaus and R. Kötter, “Interdisziplinäres Institut für Wissenschaftstheorie und Wissenschaftsgeschichte,” in Friedrich-Alexander-Universität Erlangen-Nürnberg. Jahresbericht 1984/85 und 1985/86 (Mai 1987), 1987, p. 89.
LibreCat
 

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

1987 | Journal Article | LibreCat-ID: 16773
F. Meyer auf der Heide and A. Wigderson, “The Complexity of Parallel Sorting,” SIAM Journal on Computing, pp. 100–107, 1987.
LibreCat | DOI
 

1987 | Conference Paper | LibreCat-ID: 15050
F. Leberl, G. Domik, and B. J. Mercer, “Methods and accuracy of operational digital image mapping with aircraft SAR,” in 1987 ASPRS ACSM Annual Convention, 1987, pp. 148–158.
LibreCat
 

1988 | Conference Paper | LibreCat-ID: 11783
R. Haeb-Umbach, “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
F. Meyer auf der Heide, “Fast algorithms for N-dimensional restrictions of hard problems,” Journal of the ACM (JACM), pp. 740–747, 1988.
LibreCat | DOI
 

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

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

1988 | Conference Paper | LibreCat-ID: 13021
H.-J. Wunderlich and S. Hellebrand, “Generating Pattern Sequences for the Pseudo-Exhaustive Test of MOS-Circuits,” in {18th International Symposium on Fault-Tolerant Computing, FTCS-18}, 1988, pp. 36–45.
LibreCat | DOI
 

1988 | Conference Paper | LibreCat-ID: 15320
E. W. Brugel, G. Domik, and S. A. Voels, “A multi-spectral analysis system using large databases.,” in European Southern Observatory Conference and Workshop Proceedings, 1988, vol. 28, pp. 3–8.
LibreCat
 

1988 | Journal Article | LibreCat-ID: 16765
A. Borodin, F. E. Fich, F. Meyer auf der Heide, E. Upfal, and A. Wigderson, “A tradeoff between search and update time for the implicit dictionary problem,” Theoretical Computer Science, pp. 57–68, 1988.
LibreCat | DOI
 

1988 | Conference Paper | LibreCat-ID: 13058
D. Schmid, H.-J. Wunderlich, F. Feldbusch, S. Hellebrand, J. Holzinger, and A. Kunzmann, “Integrated Tools for Automatic Design for Testability,” in {In: Tool Integration and Design Environments, F.J. Rammig (Editor)}, 1988, pp. 233–258.
LibreCat
 

1988 | Journal Article | LibreCat-ID: 15321
G. Domik, F. Leberl, and J. Cimino, “Dependence of image grey values on topography in SIR-B images,” International Journal of Remote Sensing, vol. 9, no. 5, pp. 1013–1022, 1988.
LibreCat
 

1988 | Conference Paper | LibreCat-ID: 16766
M. Dietzfelbinger, A. Karlin, K. Mehlhorn, F. Meyer auf der Heide, H. Rohnert, and R. E. Tarjan, “Dynamic perfect hashing: upper and lower bounds,” in [Proceedings 1988] 29th Annual Symposium on Foundations of Computer Science, 1988.
LibreCat | DOI
 

1988 | Conference Paper | LibreCat-ID: 7818
G. Engels, T. Janning, and W. Schäfer, “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), 1988, pp. 1–10.
LibreCat | DOI
 

1988 | Conference Paper | LibreCat-ID: 7820
G. Engels, U. Hohenstein, G. Saake, and H.-D. Ehrich, “Auf dem Weg zu einer integrierten Datenbank-Entwurfsumgebung,” in Proceedings of the GI-Workshop on “Sprachspezifische Programmierumgebungen,” 1988, pp. 38–51.
LibreCat
 

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

1988 | Journal Article | LibreCat-ID: 15322
F. Leberl, W. Mayr, G. Domik, and M. Kobrick, “SIR-B stereo-radargrammetry of Australia,” International journal of remote sensing, vol. 9, no. 5, pp. 997–1011, 1988.
LibreCat
 

1988 | Book Chapter | LibreCat-ID: 16767
B. Just, F. Mathematik, F. Meyer auf der Heide, F. Informatik, and A. Wigderson, “On computations with integer division,” in STACS 88, Berlin, Heidelberg, 1988.
LibreCat | DOI
 

1988 | Conference Paper | LibreCat-ID: 7819
G. Engels, U. Hohenstein, L. Neugebauer, G. Saake, and H.-D. Ehrich, “Konzeption einer integrierten Datenbank-Entwurfsumgebung,” in Proceedings of DBTA/SI Data Dictionaries und Entwicklungswerkzeuge für Datenbank-Anwendungen, Zürich, Switzerland, 1988, pp. 151–157.
LibreCat
 

1988 | Conference Paper | LibreCat-ID: 11794
R. Haeb-Umbach and H. Meyr, “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
S. Hellebrand and H.-J. Wunderlich, “Automatisierung des Entwurfs vollständig testbarer Schaltungen,” in {GI - 18. Jahrestagung II, Hamburg, 1988, Informatik-Fachberichte 188}, 1988, pp. 145–159.
LibreCat
 

1988 | Journal Article | LibreCat-ID: 16763
L. Babai, B. Just, and F. Meyer auf der Heide, “On the limits of computations with the floor function,” Information and Computation, pp. 99–107, 1988.
LibreCat | DOI
 

1988 | Book Chapter | LibreCat-ID: 16768
M. Dietzfelbinger, K. Mehlhorn, F. Meyer auf der Heide, and H. Rohnert, “Upper and lower bounds for the dictionary problem,” in SWAT 88, Berlin, Heidelberg, 1988.
LibreCat | DOI
 

1988 | Conference Paper | LibreCat-ID: 16915
G. Domik-Kienegger, “Enhancement Techniques in Digital Image Processing,” in Proceedings of the Computer Science Symposium, 1988, pp. 211–217.
LibreCat
 

1988 | Conference Paper | LibreCat-ID: 17470
V. Peckhaus, “Historiographie wissenschaftlicher Disziplinen als Kombination von Problem- und Sozialgeschichtsschreibung: Formale Logik im Deutschland des ausgehenden 19. Jahrhunderts,” in 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, 1988, vol. 39, pp. 177–215.
LibreCat
 

1989 | Conference Paper | LibreCat-ID: 13020
H.-J. Wunderlich and S. Hellebrand, “The Pseudo-Exhaustive Test of Sequential Circuits,” in {IEEE International Test Conference (ITC’89)}, 1989, pp. 19–27.
LibreCat | DOI
 

1989 | Book Chapter | LibreCat-ID: 16745
F. Meyer auf der Heide, “On genuinely time bounded computations,” in STACS 89, Berlin/Heidelberg, 1989.
LibreCat | DOI
 

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

1989 | Journal Article | LibreCat-ID: 16682
M. Dellnitz and B. Werner, “Computational methods for bifurcation problems with symmetries—with special attention to steady state and Hopf bifurcation points,” Journal of Computational and Applied Mathematics, pp. 97–123, 1989.
LibreCat | DOI
 

1989 | Book Chapter | LibreCat-ID: 16746
F. Meyer auf der Heide and R. Wanka, “Time-optimal simulations of networks by universal parallel computers,” in STACS 89, Berlin/Heidelberg, 1989.
LibreCat | DOI
 

1989 | Book Chapter | LibreCat-ID: 16789
F. Meyer auf der Heide, “Computing minimum spanning forests on 1- and 2-dimensional processor arrays,” in STACS 89, Berlin, Heidelberg, 1989.
LibreCat | DOI
 

1989 | Report | LibreCat-ID: 8187
G. Engels, Benutzerschnittstelle und Architektur der integrierten Datenbankentwurfsumgebung CADDY (Kurzfassung). TU Braunschweig, 1989.
LibreCat
 

1989 | Journal Article | LibreCat-ID: 17162
B. Fuchssteiner and G. Oevel, “Geometry and Action-Angle Variables of Multi Soliton Systems,” Rev. Math. Phys., no. 1, pp. 415–479, 1989.
LibreCat
 

1989 | Conference Paper | LibreCat-ID: 17821
V. Peckhaus, “Die Institutionalisierung der Mathematischen Logik in Deutschland,” in XVIIIth International Congress of History of Science. General Theme: Science and Political Order. Wissenschaft und Staat. 1st — 9th August 1989 Hamburg — München. Abstracts, 1989, vol. E1.4.
LibreCat
 

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

1989 | Journal Article | LibreCat-ID: 11793
R. Haeb-Umbach and H. Meyr, “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
B. Just, F. Meyer auf der Heide, and A. Wigderson, “On computations with integer division,” RAIRO - Theoretical Informatics and Applications, pp. 101–111, 1989.
LibreCat | DOI
 

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

1989 | Conference Paper | LibreCat-ID: 7821
J. Ebert and G. Engels, “Konzepte einer Software-Architektur-Beschreibungssprache,” in Software-Entwicklung: Konzepte, Erfahrungen, Perspektiven, Fachtagung, 1989, Marburg (Germany), 1989, vol. 212, pp. 238–250.
LibreCat
 

1989 | Conference Paper | LibreCat-ID: 16744
M. Dietzfelbinger and F. Meyer auf der Heide, “An optimal parallel dictionary,” in Proceedings of the first annual ACM symposium on Parallel algorithms and architectures  - SPAA ’89, 1989.
LibreCat | DOI
 

1989 | Conference Paper | LibreCat-ID: 7822
G. Engels, “CADDY-O: Syntaxgestütztes, graphisches Entwerfen konzeptioneller Datenbankschemata,” in Tagungsband GI-Fachtagung “Interaktive Schnittstellen für Informationssysteme”, TU Clausthal, Notizen zu Interaktive Systeme, 1989, vol. 18, pp. 1–16.
LibreCat
 

1990 | Conference Paper | LibreCat-ID: 13018
S. Hellebrand and H.-J. Wunderlich, “Tools and Devices Supporting the Pseudo-Exhaustive Test,” in {European Design Automation Conference (EDAC’90)}, 1990, pp. 13–17.
LibreCat | DOI
 

1990 | Conference Paper | LibreCat-ID: 15393
G. Domik, E. Brugel, R. Stencel, S. Vasudevan, and J. Pang, “Applications of IRAS Preprocessing at the Workstation,” in Bulletin of the American Astronomical Society, 1990, vol. 22, p. 828.
LibreCat
 

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

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

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

1990 | Book | LibreCat-ID: 17445
V. Peckhaus, 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
V. Peckhaus, “,Ich habe mich wohl gehütet, alle Patronen auf einmal zu verschießen‘. Ernst Zermelo in Göttingen,” History and Philosophy of Logic, vol. 11, pp. 19–58, 1990.
LibreCat
 

1990 | Conference Paper | LibreCat-ID: 13019
S. Hellebrand, H.-J. Wunderlich, and O. F. Haberl, “Generating Pseudo-Exhaustive Vectors for External Testing,” in {IEEE International Test Conference (ITC’90)}, 1990, pp. 670–679.
LibreCat | DOI
 

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

1990 | Journal Article | LibreCat-ID: 15394
G. Domik, E. W. Brugel, R. E. Stencel, J. Pang, and S. Vasudevan, “Workstation-based preprocessing of IRAS sky-flux images,” Publications of the Astronomical Society of the Pacific, vol. 102, no. 656, p. 1167, 1990.
LibreCat
 

1990 | Book Chapter | LibreCat-ID: 16739
F. Meyer auf der Heide, “Dynamic hashing strategies,” in Lecture Notes in Computer Science, Berlin/Heidelberg, 1990.
LibreCat | DOI
 

1990 | Conference Paper | LibreCat-ID: 16741
M. Dietzfelbinger and F. Meyer auf der Heide, “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.
LibreCat | DOI
 

1990 | Book Chapter | LibreCat-ID: 3050
H. Alt, J. Blömer, and H. Wagener, “Approximation of convex polygons,” in Automata, Languages and Programming, Berlin/Heidelberg: Springer-Verlag, 1990, pp. 703–716.
LibreCat | DOI
 

1990 | Journal Article | LibreCat-ID: 3531
T. Gries, “Wechselkurstheorie und internationale monetäre Transmissionen ,” Jahrbuch für Sozialwissenschaften, vol. 41, no. 1, pp. 3–41, 1990.
LibreCat
 

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

1990 | Conference Paper | LibreCat-ID: 8081
S. Krauter and R. Hanitsch, “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., Reading (UK), 1990.
LibreCat | DOI
 

1990 | Conference Paper | LibreCat-ID: 11800
R. Haeb-Umbach, D. Rugar, T. Howell, and G. P. Coleman, “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
K. Mickus, E. Brugel, G. Domik, and T. Ayres, “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, 1990, vol. 22, p. 1259.
LibreCat
 

1990 | Conference Paper | LibreCat-ID: 16742
J. Gil, F. Meyer auf der Heide, and A. Wigderson, “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.
LibreCat | DOI
 

1990 | Journal Article | LibreCat-ID: 16824
F. Meyer auf der Heide, “Das Heinz Nixdorf-Institut der Universität-GH Paderborn,” Informatik Spektrum, vol. 13, no. 4, pp. 231–232, 1990.
LibreCat
 

1990 | Conference Paper | LibreCat-ID: 16913
G. Domik-Kienegger, E. W. Bruggel, and R. E. Stencel, “IRAS On-Line Catalogs at CASA,” in Proceedings of the 176th meeting of the American Astronomical Society, 1990, vol. Vol. 22, no. No. 2.
LibreCat
 

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

1990 | Conference Paper | LibreCat-ID: 8259
G. Engels, “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), 1990, vol. 532, pp. 344–362.
LibreCat | DOI
 

1990 | Journal Article | LibreCat-ID: 17164
B. Fuchssteiner and G. Oevel, “Action-Angle Representation of Multisolitons,” Appl. Math. Lett., no. 3, pp. 75–78, 1990.
LibreCat
 

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

1990 | Conference Paper | LibreCat-ID: 15051
K. Mickus, G. Domik, E. Brugel, and T. Ayres, “Star-a scientific toolkit for astrophysical research,” in Bulletin of the American Astronomical Society, 1990, vol. 22, p. 828.
LibreCat
 

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

1990 | Dissertation | LibreCat-ID: 17456
V. Peckhaus, 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
V. Peckhaus, 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
R. Hagengruber, “Tommaso Campanella: Mathematica (Hrsg. von A. Brissoni. Rom: Gangemi, 1989),” Sudhoffs Archive, vol. 75, no. 1. pp. 118–119, 1991.
LibreCat
 

1991 | Conference Paper | LibreCat-ID: 3048
H. Alt, B. Behrends, and J. Blömer, “Approximate matching of polygonal shapes (extended abstract),” in Proceedings of the seventh annual symposium on Computational geometry  - SCG ’91, 1991.
LibreCat | DOI
 

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

1991 | Journal Article | LibreCat-ID: 17472
V. Peckhaus, “Introduction,” Modern Logic, vol. 1, no. 2/3, pp. 113–116, 1991.
LibreCat
 

1991 | Book | LibreCat-ID: 13034
S. Hellebrand, Synthese vollständig testbarer Schaltungen. Verlag Düsseldorf: VDI Verlag: Verlag Düsseldorf: VDI Verlag, 1991.
LibreCat
 

1991 | Conference Paper | LibreCat-ID: 3049
J. Blömer, “Computing sums of radicals in polynomial time,” in Proceedings 32nd Annual Symposium of Foundations of Computer Science, 1991.
LibreCat | DOI
 

1991 | Report | LibreCat-ID: 8188
P. Löhr-Richter and G. Engels, 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
S. Krauter, R. Hanitsch, and P. Strauss, “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., Prag (CFSR), 1991.
LibreCat
 

1991 | Journal Article | LibreCat-ID: 17473
V. Peckhaus, “Ernst Schröder und die ,pasigraphischen Systeme‘ von Peano und Peirce,” Modern Logic, vol. 1, no. 2/3, pp. 174–205, 1991.
LibreCat
 

1991 | Conference Abstract | LibreCat-ID: 17822
V. Peckhaus, “Logic in Transition: The Logical Calculi of Hilbert (1905) and Zermelo (1908) [Abstract],” in Abstracts of the 9th International Congress of Logic, Methodology and Philosophy of Science, Uppsala, August 7–14, 1991, Bd. 2: General Philosophy of Science. Sections 6–9, 1991, p. 158.
LibreCat
 

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

1991 | Conference Abstract | LibreCat-ID: 17823
V. Peckhaus, “Ernst Schröder und die logizistische Begründung der Mathematik [Abstract],” in Deutsche Mathematiker-Vereinigung. Jahrestagung 15.–20.9.1991 in Bielefeld. Vortragsauszüge, 1991, p. 43.
LibreCat
 

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

1991 | Book Chapter | LibreCat-ID: 8894
P. Stelter and W. Sextro, “Bifurcations in Dynamic Systems with Dry Friction,” in Bifurcation and Chaos: Analysis, Algorithms, Applications, vol. 97, R. Seydel, F. W. Schneider, T. Küpper, and H. Troger, Eds. Birkhäuser Basel, 1991, pp. 343–347.
LibreCat | DOI
 

1991 | Journal Article | LibreCat-ID: 17300
G. Oevel and M. Blaszak, “Action-Angle Representation of Complex Multisolitons,” Prog. Theor. Phys., vol. 86, pp. 29–43, 1991.
LibreCat
 

1991 | Conference Abstract | LibreCat-ID: 17824
V. Peckhaus, “Kurt Grelling und der Logische Empirismus [Abstract],” in Mitteilungen des Instituts für Wissenschaft und Kunst 46 (1991), Nr. 2 (= „Wien — Berlin — Prag. Der Aufstieg der wissenschaftlichen Philosophie. Internationales Symposion aus Anlaß der Centenarien von Rudolf Carnap (1891–1970), Hans Reichenbach (1891–1953), Edgar Zilsel (1891–1944)“), 1991, vol. 46, no. 2, p. 24.
LibreCat
 

Filters and Search Terms

status=public

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year
Citation Style: IEEE

Export / Embed