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.

10375 Publications


1995 | Journal Article | LibreCat-ID: 13801
W. G. Schmidt and G. P. Srivastava, “III-V(110)/Sb(1 ML): structural and dynamical properties,” Surface Science, vol. 331–333, no. Part A, pp. 540–545, 1995.
LibreCat | DOI
 

1995 | Conference Paper | LibreCat-ID: 2447
M. Röttger, U.-P. Schroeder, and J. Simon, “Implementation of a Parallel and Distributed Mapping Kernel for PARIX,” in Proc. Int. Conf. on High-Performance Computing and Networking, 1995, vol. 919, pp. 781–786.
LibreCat | DOI
 

1995 | Conference Paper | LibreCat-ID: 16707
A. Czumaj, F. Meyer auf der Heide, and V. Stemann, “Improved optimal shared memory simulations, and the power of reconfiguration,” in Proceedings Third Israel Symposium on the Theory of Computing and Systems, 1995.
LibreCat | DOI
 

1995 | Conference Paper | LibreCat-ID: 13473
M. Platzner and B. Rinner, “Improving Performance of the Qualitative Simulator QSIM - Design and Implementation of a Specialized Computer Architecture,” in Proceedings of the PDCS International Conference on Parallel and Distributed Computing Systems, 1995, pp. 494–501.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 16904
G. Kienegger-domik, “Intelligent visualization systems in educational environments,” in Proceedings of ED-MEDIA `95, 1995.
LibreCat
 

1995 | Book Chapter | LibreCat-ID: 2091
D. Krimphove, “Kommentar § 5 c GWB (Einkaufskooperationen),” in Gesetz gegen Wettbewerbsbeschränkungen und Europäisches Kartellrecht , 4th ed., H. Müller-Henneberg, G. Schwartz, and W. Benisch, Eds. Köln: Carl Heymanns Verlag KG, 1995.
LibreCat
 

1995 | Book Chapter | LibreCat-ID: 16236
E. Hüllermeier, “Konjunkturzyklen aufgrund von Investitionsinterdependenzen:  Simulation und empirische Überprüfung,” in Moderne Makroökonomie-Eine kritische Bestandsaufnahme, J. Flemmig, Ed. Metropolis, 1995, pp. 413–454.
LibreCat
 

1995 | Journal Article | LibreCat-ID: 2577
S. Betz, “Kostenorientierte Planung der Entsorgungslogistik,” Zeitschrift für Planung, vol. 6, pp. 321–339, 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 17306
F. Postel, G. Oevel, and F. Schwarz, “MuPAD in der Ausbildung,” in Beiträge zum Mathematikunterricht, 1995.
LibreCat
 

1995 | Book Chapter | LibreCat-ID: 3530
T. Gries, “Neue regionale Wachstumstheorie und Humankapital als regionaler charakteristischer Faktor,” in Standort und Region, Neue Ansätze zur Regionalökonomik, B. Gahlen and H. Hesse, Eds. Tübingen: Mohr (Siebeck), 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 2449
T. Römke, M. Röttger, U.-P. Schroeder, and J. Simon, “On Efficient Embeddings of Grids into Grids in PARIX,” in Proc. European Conf. on Parallel Processing (Euro-Par), 1995, vol. 966, pp. 179–192.
LibreCat | DOI
 

1995 | Journal Article | LibreCat-ID: 13797
P. V. Santos, N. Esser, M. Cardona, W. G. Schmidt, and F. Bechstedt, “Optical properties of Sb-terminated GaAs and InP (110) surfaces,” Physical Review B, vol. 52, no. 16, pp. 12158–12167, 1995.
LibreCat | DOI
 

1995 | Conference Paper | LibreCat-ID: 16706
F. Meyer auf der Heide, M. Storch, and R. Wanka, “Optimal trade-offs between size and slowdown for universal parallel networks,” in Proceedings of the seventh annual ACM symposium on Parallel algorithms and architectures  - SPAA ’95, 1995.
LibreCat | DOI
 

1995 | Book Chapter | LibreCat-ID: 2451
S. Blazy, U. Dralle, and J. Simon, “Parallel CG Poisson Solver for PowerPC 601,” in PowerXplorer User Report - Applications and Projects on the Parsytec PowerXplorer Parallel Computer, Düsseldorf: Heinrich-Heine-Universität, 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 13472
M. Platzner, B. Rinner, and R. Weiss, “Parallel Qualitative Simulation,” in Proceedings of the EUROSIM Congress, 1995, pp. 231–236.
LibreCat
 

1995 | Report | LibreCat-ID: 13028
S. Hellebrand, M. Herzog, and H.-J. Wunderlich, Partitioning of CMOS-Circuits for On-Chip IDDQ-Testing. University of Siegen, Germany, 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 13012
S. Hellebrand, B. Reeb, S. Tarnick, and H.-J. Wunderlich, “Pattern Generation for a Deterministic BIST Scheme,” in {ACM/IEEE International Conference on Computer Aided Design (ICCAD’95)}, 1995, pp. 88–94.
LibreCat | DOI
 

1995 | Misc | LibreCat-ID: 13086
S. Hellebrand, B. Reeb, S. Tarnick, and H.-J. Wunderlich, Pattern Generation for a Deterministic BIST Scheme. 2nd IEEE International Test Synthesis Workshop, Santa Barbara, CA, 1995.
LibreCat
 

1995 | Journal Article | LibreCat-ID: 15612
R. Hagengruber, “Philosophinnen in der Frauenforschung. Ein Plädoyer für Vernunft und Wissenschaft,” Metis, vol. 5, no. 9, pp. 67–74, 1995.
LibreCat
 

1995 | Book Chapter | LibreCat-ID: 7976
H.-H. Kremer, “Planung und Durchführung der Ausbildung,” in Meisterprüfung - Lernen für die Praxis, Ausbilden im Handwerk. Dozentenhandbuch für Teil IV der Meisterausbildung., 1st ed., U. Braukmann, D. Euler, H.-H. Kremer, and M. Theis, Eds. Düsseldorf, 1995, pp. 1–123.
LibreCat
 

1995 | Journal Article | LibreCat-ID: 13800
C. Kress, M. Fiedler, W. G. Schmidt, and F. Bechstedt, “Quasi-particle band structure of C(111)2 × 1 and C(100)2 × 1 surfaces,” Surface Science, vol. 331–333, pp. 1152–1156, 1995.
LibreCat | DOI
 

1995 | Book | LibreCat-ID: 1603
D. Krimphove, Rechtliche Rahmenbedingungen des deutschen und internationalen Börsentermingeschäftes Ein Leitfaden für Banken, Sparkassen, Kreditinstitute, Anlagevermittler und Kunden mit Checklisten und Hinweisen zur Durchführung einer ordnungsgemäßen Anlageberatung  , vol. Nr. 14. Berlin: FHTW Schriftenreihe, 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 7832
W. Thoben, H.-J. Appelrath, and S. Sauer, “Record Linkage of Anonymous Data by Control Numbers,” in Proceedings of the 18th Annual Conference of the Gesellschaft für Klassifikation, Oldenburg (Germany), 1995, pp. 412–419.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 2187
F. Meyer auf der Heide and C. Scheideler, “Routing with Bounded Buffers and Hot-Potato Routing in Vertex-Symmetric Networks,” in ESA, 1995, pp. 341--354.
LibreCat | Files available | DOI
 

1995 | Conference Paper | LibreCat-ID: 15295
E. Hüllermeier, “Rule-based modelling in fuzzy simulation,” in in Proceedings ISFL-95 International Symposium on Logic, Zürich, 1995, pp. B49–B56.
LibreCat
 

1995 | Journal Article | LibreCat-ID: 17491
V. Peckhaus, “Rüstow’s Thesis on Russell’s Paradox,” Modern Logic, vol. 5, pp. 167–169, 1995.
LibreCat
 

1995 | Journal Article | LibreCat-ID: 13852
W. G. Schmidt and F. Bechstedt, “Se/GaAs(110): Atomic and electronic structure,” Physical Review B, vol. 50, no. 23, pp. 17280–17291, 1995.
LibreCat | DOI
 

1995 | Journal Article | LibreCat-ID: 13799
W. G. Schmidt and F. Bechstedt, “Se/GaAs(110): energetics and structure,” Surface Science, vol. 331–333, no. Part A, pp. 557–563, 1995.
LibreCat | DOI
 

1995 | Book Chapter | LibreCat-ID: 16705
A. Czumaj, F. Meyer auf der Heide, and V. Stemann, “Shared memory simulations with triple-logarithmic delay,” in Lecture Notes in Computer Science, Berlin, Heidelberg, 1995.
LibreCat | DOI
 

1995 | Conference Paper | LibreCat-ID: 17482
A. Czumaj, F. Meyer auf der Heide, and V. Stemann, “Simulating shared memory in real time: On the computation power of reconfigurable meshes,” in Proceedings of the 2nd IEEE Workshop on Reconfigurable Architectures, 1995, pp. 46--59.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 8097
S. Krauter, “Solar Electricity up to 30% less expensive by optical and thermal enhanced PV modules,” in Proceedings of the ISES Solar World Congress 1995, Harare (Simbabwe), 11.–15. September 1995., 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 2207
F. Meyer auf der Heide and C. Scheideler, “Space-Efficient Routing in Vertex-Symmetric Networks (Extended Abstract),” in SPAA, 1995, pp. 137--146.
LibreCat | Files available
 

1995 | Report | LibreCat-ID: 2450
J. Gehring and J. Simon, SparcStation SCI-Interface. Paderborn Center for Parallel Computing, 1995.
LibreCat
 

1995 | Report | LibreCat-ID: 8195
J. Ebert and G. Engels, Specialization of Object Life Cycle Definitions. Koblenz: University of Koblenz-Landau, 1995.
LibreCat
 

1995 | Journal Article | LibreCat-ID: 11786
R. Haeb-Umbach, P. Beyerlein, and D. Geller, “Speech recognition algorithms for voice control interfaces,” Philips Journal of Research, 1995.
LibreCat
 

1995 | Journal Article | LibreCat-ID: 16551
M. Dellnitz, M. Golubitsky, A. Hohmann, and I. Stewart, “Spirals in Scalar Reaction–Diffusion Equations,” International Journal of Bifurcation and Chaos, pp. 1487–1501, 1995.
LibreCat | DOI
 

1995 | Conference Paper | LibreCat-ID: 8098
K. Onneken and S. Krauter, “STOPV: A Development Tool for Thermal and Optical Optimization of PV Module Encapsulations,” in Proceedings of the 1995 ISES Solar World Congress, Harare (Simbabwe), 11.–15. September 1995, 1995.
LibreCat
 

1995 | Journal Article | LibreCat-ID: 16510
P. J. Aston and M. Dellnitz, “Symmetry Breaking Bifurcations of Chaotic Attractors,” International Journal of Bifurcation and Chaos, pp. 1643–1676, 1995.
LibreCat | DOI
 

1995 | Report | LibreCat-ID: 13026
S. Hellebrand and H.-J. Wunderlich, Synthesis Procedures for Self-Testable Controllers. University of Siegen, Germany, 1995.
LibreCat
 

1995 | Book Chapter | LibreCat-ID: 16611
M. Golubitsky, J. Marsden, I. Stewart, and M. Dellnitz, “The constrained Liapunov-Schmidt procedure and periodic orbits,” in Normal Forms and Homoclinic Chaos, Providence, Rhode Island, 1995.
LibreCat | DOI
 

1995 | Conference Paper | LibreCat-ID: 17492
V. Peckhaus, “The Genesis of Grelling’s Paradox,” in Logik und Mathematik. Frege-Kolloquium Jena 1993, 1995, vol. 5, pp. 269–280.
LibreCat
 

1995 | Journal Article | LibreCat-ID: 11905
V. Steinbiss et al., “The Philips Research system for continuous-speech dictation,” Philips Journal of Research, 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 11768
S. Gamm, R. Haeb-Umbach, and D. Langmann, “The Usability Engineering of a Voice-Controlled Answering Machine,” in International Symposium on Human Factors in Telecommunications, Melbourne, 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 8100
S. Krauter, “Thermal and Optical Enhanced PV-Modules,” in Proceedings of the 13th European Photovoltaic Solar Energy Conference, Nizza (Frankreich), 23.–27. Oktober 1995, S. 2306–2309., 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 15294
E. Hüllermeier, “Towards modelling of fuzzy functions,” in in Proceedings EUFIT-95 3rd European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany, 1995, pp. 150–154.
LibreCat
 

1995 | Journal Article | LibreCat-ID: 16566
D. Breslauer, A. Czumaj, D. P. Dubhashi, and F. Meyer auf der Heide, “Transforming comparison model lower bounds to the parallel-random-access-machine,” Information Processing Letters, pp. 103–110, 1995.
LibreCat | DOI
 

1995 | Book Chapter | LibreCat-ID: 16874
A. Bäumker, W. Dittrich, and F. Meyer auf der Heide, “Truly efficient parallel algorithms: c-optimal multisearch for an extension of the BSP model,” in Lecture Notes in Computer Science, Berlin, Heidelberg, 1995.
LibreCat | DOI
 

1995 | Journal Article | LibreCat-ID: 11764
S. Gamm and R. Haeb-Umbach, “User interface design of voice controlled consumer electronics,” Philips Journal of Research, 1995.
LibreCat
 

1995 | Book | LibreCat-ID: 3386
T. Gries, Wachstum, Humankapital und die Dynamik der komparativen Vorteile. Tübingen: Mohr (Siebeck), 1995.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 8096
S. Krauter, “Actual Optical and Thermal Performance of PV-Modules,” in Proceedings of the 1st World Conference on Photovoltaic Energy Conversion (Joint Congress of IEEE/PVSEC/EUPVSEC), Waikoloa, Hawaii (USA), 5.–9. Dezember 1994, S. 734–737., 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 13014
S. Hellebrand and H.-J. Wunderlich, “An Efficient Procedure for the Synthesis of Fast Self-Testable Controller Structures,” in {ACM/IEEE International Conference on Computer-Aided Design (ICCAD’94)}, 1994, pp. 110–116.
LibreCat | DOI
 

1994 | Journal Article | LibreCat-ID: 11879
H. Ney, V. Steinbeiss, R. Haeb-Umbach, and B. H. Tran, “An Overview of the Philips Research System for Large Vocabulary Continuous Speech Recognition,” International Journal on Pattern Recognition and Artificial Intelligence, 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 15296
E. Hüllermeier, “Approximate solution of a linear programming problem using a modified perceptron-algorithm.,” in in Proceedings EUFIT-94 2nd European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany, 1994, pp. 195–199.
LibreCat
 

1994 | Book | LibreCat-ID: 3333
H. Kleine Büning and T. Lettmann, Aussagenlogik - Deduktion und Algorithmen. Teubner, 1994.
LibreCat
 

1994 | Journal Article | LibreCat-ID: 17486
V. Peckhaus, “Benno Kerry. Beiträge zu seiner Biographie,” History and Philosophy of Logic, vol. 15, pp. 1–8, 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 7827
W. Thoben, H.-J. Appelrath, J. Rettig, and S. Sauer, “Berücksichtigung von Datenschutzaspekten in einem bevölkerungsbezogenen Krebsregister,” in Proceedings of the conference on Medizin und Information, Biometrie und Epidemiologie (GMDS 1994), Dresden (Germany), 1994, pp. 88–90.
LibreCat
 

1994 | Book Chapter | LibreCat-ID: 17485
V. Peckhaus, “Bibliographie der Werke Kurt Grellings,” in Hans Reichenbach und die Berliner Gruppe, L. Danneberg, A. Kamlah, and L. Schäfer, Eds. Braunschweig: Friedr. Vieweg & Sohn, 1994, pp. 74–86.
LibreCat
 

1994 | Journal Article | LibreCat-ID: 13856
W. G. Schmidt, B. Wenzien, and F. Bechstedt, “Chemisorption of antimony on GaAs(110),” Physical Review B, vol. 49, no. 7, pp. 4731–4744, 1994.
LibreCat | DOI
 

1994 | Report | LibreCat-ID: 13025
S. Hellebrand, A. Juergensen, A. Stroele, and H.-J. Wunderlich, Chip Level Test Planning for Controlling the Tradeoff between Hardware Overhead and Test Time. University of Siegen, Germany, 1994.
LibreCat
 

1994 | Journal Article | LibreCat-ID: 17014
M. Dellnitz, “Collisions of chaotic attractors,” Schlaglichter der Forschung: Zum 75. Jahrestag der Universität Hamburg, pp. 411–428, 1994.
LibreCat
 

1994 | Journal Article | LibreCat-ID: 13855
W. G. Schmidt, B. Wenzien, and F. Bechstedt, “Coverage-dependent bonding of Sb on GaAs (110),” Surface Science, vol. 307–309, no. Part A, pp. 235–240, 1994.
LibreCat | DOI
 

1994 | Journal Article | LibreCat-ID: 1659
D. Krimphove, “Das zweite Finanzmarktförderungsgesetz - ein Beitrag zur ‘Europäisierung’ des Wertpapierrechts ,” Juristenzeitung (JZ), no. Heft 1, p. 244 ff., 1994.
LibreCat
 

1994 | Book Chapter | LibreCat-ID: 7512
J. Ebert and G. Engels, “Design Representation,” in Encyclopedia of Software Engineering, John Wiley & Sons, Inc., 1994, pp. 382–394.
LibreCat
 

1994 | Journal Article | LibreCat-ID: 1662
D. Krimphove, “Die Mitwirkungsrechte des Betriebsrates in der Betriebsverfassung,” Arbeit und Recht , no. Heft 4, p. 215 ff., 1994.
LibreCat
 

1994 | Journal Article | LibreCat-ID: 1660
D. Krimphove, “Die Mitwirkungsrechte gemäß Betriebsverfassung,” Arbeit und Arbeitsrecht (AuA), no. Heft 4, p. 215 ff., 1994.
LibreCat
 

1994 | Book Chapter | LibreCat-ID: 15610
R. Hagengruber, “Die Theorie des Punktes aus der Philosophie der Ähnlichkeit bei Tommaso Campanella,” in Actas del primer Congreso Internacional de Ontología : categorías e inteligibilidad global : el proyecto ontológico a través de la reflexión contemporánea, V. Gómez Pin, Ed. Barcelona: Bellaterra, 1994, pp. 101–107.
LibreCat | Files available
 

1994 | Journal Article | LibreCat-ID: 16728
M. Dietzfelbinger, A. Karlin, K. Mehlhorn, F. Meyer auf der Heide, H. Rohnert, and R. E. Tarjan, “Dynamic Perfect Hashing: Upper and Lower Bounds,” SIAM Journal on Computing, pp. 738–761, 1994.
LibreCat | DOI
 

1994 | Misc | LibreCat-ID: 13083
S. Venkataraman, J. Rajski, S. Hellebrand, and S. Tarnick, Effiziente Testsatzkodierung für Prüfpfad-basierte Selbsttestarchitekturen. 6th ITG/GI/GME Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen”, Vaals, The Netherlands, 1994.
LibreCat
 

1994 | Book Chapter | LibreCat-ID: 16544
M. Dellnitz and J. Scheurle, “Eigenvalue Movement for a Class of Reversible Hamiltonian Systems with Three Degrees of Freedom,” in Dynamics, Bifurcation and Symmetry, Dordrecht, 1994.
LibreCat | DOI
 

1994 | Misc | LibreCat-ID: 13084
S. Hellebrand and H.-J. Wunderlich, Ein Verfahren zur testfreundlichen Steuerwerkssynthese. 6th ITG/GI/GME Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen”, Vaals, The Netherlands, 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 8094
S. Krauter and R. Hanitsch, “Einfluß optischer und thermischer Parameter auf den Tageswirkungsgrad von photovoltaischen Modulen,” in Neuntes Internationales Sonnenforum, Berlin (Deutschland), 28. Juni – 1. Juli 1994, S. 495–502, 1994.
LibreCat
 

1994 | Journal Article | LibreCat-ID: 3068
T. Gries, C. Hentschel, and B. Wigger, “Endogenous Growth and R&D Models - A Critical Appraisal of Recent Developments,” Jahrbücher für Nationalökonomie und Statistik, vol. 213/1, pp. 64–84, 1994.
LibreCat
 

1994 | Journal Article | LibreCat-ID: 13853
F. Bechstedt, W. G. Schmidt, and B. Wenzien, “Energetics and Structure of Ordered Sb Overlayers and Sb Clusters on GaAs(110) Probed by Ab Initio Calculations,” Europhysics Letters (EPL), vol. 25, no. 5, pp. 357–362, 1994.
LibreCat | DOI
 

1994 | Journal Article | LibreCat-ID: 1661
D. Krimphove, “Europejskie prawo pracy,” Monitor Prawniczy, no. 2, p. 42 ff., 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 13468
M. Platzner, C. Steger, and R. Weiss, “Experimental Evaluation of Multi-DSP Architectures in High Performance Applications,” in Proceedings of the 7th Mediterranean Electrotechnical Conference, 1994.
LibreCat
 

1994 | Journal Article | LibreCat-ID: 13854
W. G. Schmidt and G. Srivastava, “First principles calculations of interface phonons of an Epitaxial Sb monolayer on GaAs(110) and InP(110),” Solid State Communications, vol. 89, no. 4, pp. 345–348, 1994.
LibreCat | DOI
 

1994 | Conference Paper | LibreCat-ID: 6530
J. Bendfeld, A. Ernst, E. Ortjohann, B. Langrock, and N. Scholz, “Flächendeckende Windpotentialbestimmung in einer Binnenlandregion mit ausgeprägter Orographie,” in Renergie 94 - Windenergienutzung im Binnenland, Solarenergienutzung in Deutschland, Hamm, 1994.
LibreCat
 

1994 | Conference (Editor) | LibreCat-ID: 7797
H.-D. Ehrich, G. Engels, J. Paredaens, and J. Wegner, Eds., Fundamentals of Object-Oriented Languages, Systems, and Methods, vol. 95. Schloss Dagstuhl, Leibniz Center for Informatics, 1994.
LibreCat
 

1994 | Journal Article | LibreCat-ID: 16541
M. Dellnitz and I. Melbourne, “Generic movement of eigenvalues for equivariant self-adjoint matrices,” Journal of Computational and Applied Mathematics, pp. 249–259, 1994.
LibreCat | DOI
 

1994 | Conference (Editor) | LibreCat-ID: 7798
J. Cuny, H. Ehrig, G. Engels, and G. Rozenberg, Eds., Graph Gramars and Their Application to Computer Science, 5th International Workshop (1994), Selected Papers, vol. 1073. Berlin/Heidelberg: Springer, 1994.
LibreCat | DOI
 

1994 | Book Chapter | LibreCat-ID: 17488
V. Peckhaus, “Hilbert’s Axiomatic Programme and Philosophy,” in The History of Modern Mathematics, Bd. 3: Images, Ideas, and Communities, E. Knobloch and D. E. Rowe, Eds. Boston u. a.: Academic Press, 1994, pp. 91–112.
LibreCat
 

1994 | Journal Article | LibreCat-ID: 11796
R. Haeb-Umbach and H. Ney, “Improvements in beam search for 10000-word continuous-speech recognition,” IEEE Transactions on Speech and Audio Processing, 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 17487
V. Peckhaus, “Leibniz als Identifikationsfigur der britischen Logiker des 19. Jahrhunderts,” in VI. Internationalen Leibniz-Kongreß. Vorträge I. Teil, Hannover, 18.–22.7.1994, Hannover, 1994, pp. 589–596.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 2452
J. Simon, “Leistung eines Parallelrechners auf Basis des PowerPC-Prozessors,” in Parallele Datenverarbeitung aktuell: TAT ’94, Aachen, 1994, pp. 38–45.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 17480
V. Peckhaus, “Logic in Transition: The Logical Calculi of Hilbert (1905) and Zermelo (1908),” in Logic and Philosophy of Science in Uppsala. Papers from the 9th International Congress of Logic, Methodology and Philosophy of Science, 1994, vol. 236, pp. 311–323.
LibreCat
 

1994 | Book Chapter | LibreCat-ID: 17305
K. Morisse and G. Oevel, “MuPAD - new developments and their applications,” in Computer Algebra in Science and Engineering, World Scientific, 1994.
LibreCat
 

1994 | Book | LibreCat-ID: 17303
B. Fuchssteiner et al., MuPAD: Multi Processing Algebra Data Tool; Tutorial. Basel-Boston-Berlin: Birkhäuser, 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 7829
G. Engels and G. Kappel, “Object-Oriented System Development: Will the New Approach Solve Old Problems?,” in Proceedings of the IFIP 13th World Computer Congress on Information Processing, Hamburg (Germany), 1994, vol. 3, pp. 434–441.
LibreCat
 

1994 | Report | LibreCat-ID: 8193
J. Ebert and G. Engels, Observable or Invocable Behaviour - You Have to Choose. Vakgroep Informatica, Rijksuniversiteit Leiden, 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 8092
S. Krauter, R. Hanitsch, P. Campbell, and S. R. Wenham, “Optical Modelling, Simulation and Improvement of PV Module Encapsulation,” in Proceedings of the 12th European Photovoltaic Solar Energy Conference, Amsterdam (Niederlande), 11.–15. April 1994, Band 2, S. 1198–1201, 1994.
LibreCat
 

1994 | Book Chapter | LibreCat-ID: 15509
R. Hagengruber, “Parallelen um den Punkt zwischen Campanella und Leibniz,” in Leibniz und Europa, vol. 1, A. Heinekamp, I. Hein, and Stiftung Niedersachsen, Eds. 1994, pp. 309–315.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 3264
H. Wehrheim, “Parametric Action Refinement,” in Programming Concepts, Methods and Calculi, Proceedings of the {IFIP} {TC2/WG2.1/WG2.2/WG2.3} Working Conference on Programming Concepts, Methods and Calculi {(PROCOMET} ’94) San Miniato, Italy, 6-10 June, 1994, 1994, pp. 247--266.
LibreCat
 

1994 | Book Chapter | LibreCat-ID: 15608
R. Hagengruber, “Platons ‘Timaios’, eine Anleitung zur wissenschaftlichen Hypothesenbildung?,” in Cosmographica et Geographica. Algorismus. Studien zur Geschichte der Mathematik und der Naturwissenschaften, vol. 13, B. Fritscher and G. Brey, Eds. New York: Springer, 1994, pp. 75–96.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 11878
H. Ney, V. Steinbeiss, X. L. Aubert, and R. Haeb-Umbach, “Progress in Large-Vocabulary, Continuous Speech Recognition,” in Artifical Intelligence, Progress and Prospects of Speech Research and Technology, Munich, 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 8095
S. Krauter, R. Hanitsch, and S. R. Wenham, “Simulation of Thermal and Optical Performance of PV Modules,” in Proceedings of the 3rd World Renewable Energy Congress, Reading (UK), 11.–16. September 1994, 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 8093
P. Strauss, K. Onneken, S. Krauter, and R. Hanitsch, “Simulation Tool for Prediction and Optimization of Output Power Considering Thermal and Optical Parameters of PV Module Encapsulation,” in Proceedings of the 12th European Photovoltaic Solar Energy Conference, Amsterdam (Niederlande), 11.–15. April 1994, Band 2, S. 1194–1197., 1994.
LibreCat
 

1994 | Book Chapter | LibreCat-ID: 7513
G. Engels and L. Groenewegen, “SOCCA: Specifications of Coordinated and Cooperative Activities,” in Software Process Modelling and Technology, Taunton: Research Studies Press, 1994, pp. 71–102.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 8264
G. Engels and L. Groenewegen, “Specification of coordinated behaviour by SOCCA,” in Proceedings of the Third European Workshop on Software Process Technology (EWSPT 1994), Villard de Lans (France), 1994, pp. 128–151.
LibreCat | DOI
 

1994 | Conference Paper | LibreCat-ID: 7828
J. Ebert and G. Engels, “Structural and Behavioural Views on OMT-Classes,” in Proceedings of the International Symposium on Object-Oriented Methodologies and Systems (ISOOMS 1994), Palermo (Italy), 1994, vol. 858, pp. 142–157.
LibreCat
 

1994 | Book Chapter | LibreCat-ID: 16549
M. Dellnitz, M. Golubitsky, and M. Nicol, “Symmetry of Attractors and the Karhunen-Loève Decomposition,” in Trends and Perspectives in Applied Mathematics, New York, NY, 1994.
LibreCat | DOI
 

1994 | Conference Paper | LibreCat-ID: 8263
M. Andries and G. Engels, “Syntax and Semantics of Hybrid Database Languages,” in Proceedings of the International Workshop on Graph Transformations in Computer Science (1993), Dagstuhl (Germany), 1994, vol. 776, pp. 19–36.
LibreCat | DOI
 

1994 | Conference Paper | LibreCat-ID: 13059
S. Hellebrand and H.-J. Wunderlich, “Synthese schneller selbsttestbarer Steuerwerke,” in {Tagungsband der GI/GME/ITG-Fachtagung \& Rechnergestützter Entwurf und Architektur mikroelektronischer Systeme}, 1994, pp. 3–11.
LibreCat
 

1994 | Report | LibreCat-ID: 13024
S. Hellebrand, A. Juergensen, and H.-J. Wunderlich, Synthesis for Off-line Testability. University of Siegen, Germany, 1994.
LibreCat
 

1994 | Misc | LibreCat-ID: 13085
S. Hellebrand, J. Paulo Teixeira, and H.-J. Wunderlich, Synthesis for Testability - the ARCHIMEDES Approach. 1st IEEE International Test Synthesis Workshop, Santa Barbara, CA, USA, 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 13013
S. Hellebrand and H.-J. Wunderlich, “Synthesis of Self-Testable Controllers,” in {European Design and Test Conference (EDAC/ETC/EUROASIC)}, 1994, pp. 580–585.
LibreCat | DOI
 

1994 | Dissertation | LibreCat-ID: 15497
R. Hagengruber, Tommaso Campanella. Eine Philosophie der Ähnlichkeit. Sankt Augustin: Academia, 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 7830
G. Engels and H. Ehrig, “Towards a Module Concept for Graph Transformation Systems: The Software Engineering Perspective,” in Proceedings Colloquium on Graph Transformation and its Application in Computer Science, 1994, vol. B-19.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 16819
G. Domik-Kienegger and B. Gutkauf, “User Modeling for Adaptive Visualization Systems,” in Proceedings IEEE Visualization ’94, Washington, DC, USA, October 17-21, 1994, 1994, pp. 217–223.
LibreCat | DOI
 

1994 | Conference Paper | LibreCat-ID: 8265
G. Engels and P. Löhr, “Visual Specification of Complex Database Actions,” in Proceedings of the 2nd International East/West Database Workshop, Klagenfurt (Germany), 1994, pp. 303–314.
LibreCat
 

1994 | Journal Article | LibreCat-ID: 16817
G. Domik-Kienegger, “Visualization education,” Comput. Graph., vol. 18, no. 3, pp. 277–280, 1994.
LibreCat | DOI
 

1994 | Journal Article | LibreCat-ID: 7407
P. Löhr-Richter and G. Engels, “Visuelles Spezifizieren von komplexen Aktionen auf Datenbankstrukturen,” GI-Datenbank Rundbrief, vol. 13, pp. 33–35, 1994.
LibreCat
 

1994 | Book Chapter | LibreCat-ID: 17481
V. Peckhaus, “Von Nelson zu Reichenbach. Kurt Grelling in Göttingen und Berlin,” in Hans Reichenbach und die Berliner Gruppe, L. Danneberg, A. Kamlah, and L. Schäfer, Eds. Braunschweig/Wiesbaden: Friedr. Vieweg & Sohn, 1994, pp. 53–73.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 3263
A. Rensink and H. Wehrheim, “Weak Sequential Composition in Process Algebras,” in {CONCUR} ’94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings, 1994, pp. 226--241.
LibreCat | DOI
 

1994 | Book | LibreCat-ID: 6528
J. Bendfeld, A. Ernst, and E. Ortjohann, Windatlas für das PESAG-Versorgungsgebiet. Universität - GH Paderborn, Fachgebiet Elektrische Energieversorgung, Februar 1994, 1994.
LibreCat
 

1994 | Journal Article | LibreCat-ID: 17489
V. Peckhaus, “Wozu Algebra der Logik? Ernst Schröders Suche nach einer universalen Theorie der Verknüpfungen,” Modern Logic, vol. 4, pp. 357–381, 1994.
LibreCat
 

1993 | Report | LibreCat-ID: 8190
M. Andries and G. Engels, A Hybrid Query Language for the Extended Entity Relationship Model. Vakgroep Informatica, Rijksuniversiteit Leiden, 1993.
LibreCat
 

1993 | Journal Article | LibreCat-ID: 13858
W. G. Schmidt, B. Wenzien, and F. Bechstedt, “AB initio calculation of the atomic and electronic structure for Sb adsorbed on GaAs(110),” Czechoslovak Journal of Physics, vol. 43, no. 9–10, pp. 1003–1007, 1993.
LibreCat | DOI
 

1993 | Report | LibreCat-ID: 8192
G. Engels and G. Rozenberg, Abstracts COMPUGRAPH II Workshop. Vakgroep Informatica, Rijksuniversiteit Leiden, 1993.
LibreCat
 

1993 | Journal Article | LibreCat-ID: 15045
G. Domik, “An Agenda for Education in Scientific Visualization, Visualization’92 Workshop Report,” COMPUTER GRAPHICS-NEW YORK-ASSOCIATION FOR COMPUTING MACHINERY-, vol. 27, pp. 6–6, 1993.
LibreCat
 

1993 | Conference Paper | LibreCat-ID: 13015
S. Venkataraman, J. Rajski, S. Hellebrand, and S. Tarnick, “An Efficient Bist Scheme Based On Reseeding Of Multiple Polynomial Linear Feedback Shift Registers,” in {ACM/IEEE International Conference on Computer Aided Design (ICCAD’93)}, 1993.
LibreCat | DOI
 

1993 | Journal Article | LibreCat-ID: 16729
M. Dietzfelbinger and F. Meyer auf der Heide, “An Optimal Parallel Dictionary,” Information and Computation, pp. 196–217, 1993.
LibreCat | DOI
 

1993 | Journal Article | LibreCat-ID: 1655
D. Krimphove, “Anmerkungen zum Manteltarifvertrag der Banken - Eine Kommentierung des Manteltarifvertrages des Bankgewerbes 1993,” Bankkalender 1994, no. 19. Lieferung, p. 157 ff., 1993.
LibreCat
 

1993 | Report | LibreCat-ID: 2453
J. Simon, Benutzung virtueller Topologien unter PARIX. Paderborn Center for Parallel Computing, 1993.
LibreCat
 

1993 | Book | LibreCat-ID: 8091
S. Krauter, Betriebsmodell der optischen, thermischen und elektrischen Parameter von PV-Modulen. Berlin: Verlag Köster, 1993.
LibreCat
 

1993 | Conference Paper | LibreCat-ID: 8089
S. Krauter and R. Hanitsch, “Calculating the Influence of Skylight-Polarization on the Transmission of Encapsulations of PV-Modules,” in Proceedings of the Cairo International Conference of Renewable Energy Sources, Kairo (Ägypten), 30. Dezember 1992 – 2. Januar 1993, 1993.
LibreCat
 

1993 | Book Chapter | LibreCat-ID: 16732
K. Lürwer-Brüggemeier and F. Meyer auf der Heide, “Capabilities and complexity of computations with integer division,” in Lecture Notes in Computer Science, Berlin, Heidelberg, 1993.
LibreCat | DOI
 

1993 | Journal Article | LibreCat-ID: 13857
W. G. Schmidt and G. P. Srivastava, “Chemisorption of aluminium on GaAs(110),” Journal of Physics: Condensed Matter, vol. 5, no. 49, pp. 9025–9036, 1993.
LibreCat | DOI
 

1993 | Conference Paper | LibreCat-ID: 11718
X. L. Aubert, R. Haeb-Umbach, and H. Ney, “Continuous Mixture Densities and Linear Discriminant Analysis for Improved Context-Dependent Acoustic Models,” in ICASSP, Minneapolis, 1993.
LibreCat | Download (ext.)
 

1993 | Journal Article | LibreCat-ID: 11749
S. Dobler, D. Geller, R. Haeb-Umbach, P. Meyer, H. Ney, and H. W. Ruehl, “Design and use of speech recognition algorithms for a mobile radio telephone,” Speech Communication, 1993.
LibreCat
 

1993 | Journal Article | LibreCat-ID: 16518
E. Barany, M. Dellnitz, and M. Golubitsky, “Detecting the symmetry of attractors,” Physica D: Nonlinear Phenomena, pp. 66–87, 1993.
LibreCat | DOI
 

1993 | Conference Paper | LibreCat-ID: 16828
G. Domik-Kienegger, “Education in Scientific Visualization,” in University Education Uses of Visualization in Scientific Computing, Proceedings of the {IFIP} {WG3.2} Working Conference on Visualization in Scientific Computing: Uses in University Education, Irvine, CA, USA, 28-30 July, 1993, 1993, vol. {A-48}, pp. 25–32.
LibreCat
 

1993 | Misc | LibreCat-ID: 13081
S. Hellebrand, S. Tarnick, J. Rajski, and B. Courtois, Effiziente Erzeugung deterministischer Muster im Selbsttest. 5th ITG/GI/GME Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen”, Holzhau, Germany, 1993.
LibreCat
 

1993 | Journal Article | LibreCat-ID: 13466
M. Platzner and C. Steger, “Erfahrungen mit einer Multi-Signalprozessorarchitektur (TMS320C40),” Mikroelektronik, 1993.
LibreCat
 

1993 | Conference Paper | LibreCat-ID: 17476
V. Peckhaus, “Ernst Schröder und der Logizismus,” in Philosophie und Logik. Frege-Kolloquien Jena 1989/1991, 1993, vol. 3, pp. 108–119.
LibreCat
 

1993 | Journal Article | LibreCat-ID: 1656
D. Krimphove, “Erzeugergemeinschaften: Wettbewerbsrechtliche  Möglichkeiten zur Unternehmenskooperation in der Landwirtschaft,” Recht der Landwirtschaft, no. Januar-Heft, p. 4 ff., 1993.
LibreCat
 

1993 | Journal Article | LibreCat-ID: 1658
D. Krimphove, “Europäisches Arbeitsrecht,” Europäische Zeitschrift für Wirtschaftsrecht (EuZW), no. Mai, p. 244 ff., 1993.
LibreCat
 

1993 | Journal Article | LibreCat-ID: 15273
G. Domik, “Guidelines for a curriculum in scientific visualization,” Computers \& Graphics, vol. 17, no. 2, pp. 185–191, 1993.
LibreCat
 

1993 | Conference Paper | LibreCat-ID: 11788
R. Haeb-Umbach, D. Geller, and H. Ney, “Improvements in Connected Digit Recognition Using Linear Discriminant Analysis and Mixture Densities,” in ICASSP, Minneapolis, 1993.
LibreCat | Download (ext.)
 

1993 | Conference Paper | LibreCat-ID: 7826
G. Engels and A. A. Verrijn-Stuart, “Integrationsaspekte bei verteilter Software-Entwicklung,” in Fortschritt-Berichte VDI, 1993, no. 251, pp. 45–53.
LibreCat
 

1993 | Book Chapter | LibreCat-ID: 17478
V. Peckhaus, “Kurt Grelling und der Logische Empirismus,” in Wien—Berlin—Prag. Der Aufstieg der wissenschaftlichen Philosophie. Zentenarien Rudolf Carnap–Hans Reichenbach–Edgar Zilsel, vol. 2, R. Haller and F. Stadler, Eds. Wien: Hölder-Pichler-Tempsky, 1993, pp. 362–385.
LibreCat
 

1993 | Conference Paper | LibreCat-ID: 15275
G. Domik, C. Joslyn, and T. Segura, “Macroscopic and Microscopic Aspects of Glyphs,” in Proceedings of the Vienna Conference on Human Computer Interaction, 1993.
LibreCat
 

1993 | Conference Paper | LibreCat-ID: 8262
G. Engels and L. Groenewegen, “Modular, Visual Specifications of Software Processes,” in Proceedings of the Workshop on Software Process (ISPW 1993), Wadern (Germany), 1993, pp. 66–68.
LibreCat
 

1993 | Book | LibreCat-ID: 17302
B. Fuchssteiner et al., MuPAD: Multi Processing Algebra Data Tool; Benutzerhandbuch; MuPAD Version 1.1. Basel-Boston-Berlin: Birkhäuser, 1993.
LibreCat
 

1993 | Journal Article | LibreCat-ID: 1657
D. Krimphove, “Neuer europäischer Schutz von Marken- und Herkunftszeichen in der Landwirtschaft,” Agrarrecht, no. Heft 1, p. 7 ff., 1993.
LibreCat
 

1993 | Journal Article | LibreCat-ID: 16633
I. Melbourne and M. Dellnitz, “Normal forms for linear Hamiltonian vector fields commuting with the action of a compact Lie group,” Mathematical Proceedings of the Cambridge Philosophical Society, pp. 235–268, 1993.
LibreCat | DOI
 

1993 | Conference Paper | LibreCat-ID: 17479
U. Kastens, F. Meyer auf der Heide, A. Wachsmann, and F. Wichmann, “OCCAM-light: A Language Combining Shared Memory and Message Passing (A First Report),” in Proc. 3rd PASA Workshop, PARS Mitteilungen, 1993, pp. 50–55.
LibreCat
 

1993 | Report | LibreCat-ID: 3045
J. Blömer, On Kummer theory and the number of roots of unity in radical extensions of Q. Technical Report, Freie Universität Berlin, Fachbereich Mathematik und Informatik, 1993.
LibreCat
 

1993 | Conference Paper | LibreCat-ID: 8090
S. Krauter and R. Hanitsch, “Optical and Thermal Parameters of PV-Module Encapsulation Improving Output Power,” in Proceedings of the ISES Solar World Congress 1993, Budapest (Ungarn), 23.–27. August 1993, Band 3, S. 249–254, 1993.
LibreCat
 

1993 | Book (Editor) | LibreCat-ID: 17477
F. Meyer auf der Heide, B. Monien, and A. L. Rosenberg, Eds., Parallel Architectures and Their Efficient Use. Berlin, Heidelberg: Springer, 1993.
LibreCat | DOI
 

1993 | Conference Paper | LibreCat-ID: 13467
M. Platzner, C. Steger, and R. Weiss, “Performance Measurements on a Multi-DSP Architecture with TMS320C40,” in Proceedings of the 4th International Conference on Signal Processing Applications & Technology (ICSPAT), 1993.
LibreCat
 

1993 | Report | LibreCat-ID: 2455
R. Diekmann, R. Lüling, and J. Simon, Problem Independent Distributed Simulated Annealing and its Applications. Paderborn Center for Parallel Computing, 1993.
LibreCat
 

1993 | Book Chapter | LibreCat-ID: 2456
R. Diekmann and J. Simon, “Problem Independent Distributed Simulated Annealing and its Applications,” in Applied Simulated Annealing, vol. 396, Berlin / Heidelberg: Springer, 1993, pp. 17–44.
LibreCat | DOI
 

1993 | Book Chapter | LibreCat-ID: 15570
R. Hagengruber, “Punkt und Mathematik in der Metaphysik des Tommaso Campanella,” in Verum et Factum. Beiträge zur Geistesgeschichte und Philosophie der Renaissance. Festschrift zum 60. Geburtstag von Stephan Otto, T. Albertini, Ed. Frankfurt u.a.: Peter Lang, 1993, pp. 505–514.
LibreCat
 

1993 | Conference Paper | LibreCat-ID: 16906
G. Domik-Kienegger, “Scientific Visualization,” in Proceedings of ED Media ’93, Orlando, Florida, 1993.
LibreCat
 

1993 | Conference Paper | LibreCat-ID: 16731
M. Dietzfelbinger and F. Meyer auf der Heide, “Simple, efficient shared memory simulations,” in Proceedings of the fifth annual ACM symposium on Parallel algorithms and architectures  - SPAA ’93, 1993.
LibreCat | DOI
 

1993 | Journal Article | LibreCat-ID: 8895
W. Sextro and B. Schmalhorst, “Static Behaviour of Drill Strings in Curved Boreholes,” Zeitschrift für angewandte Mathematik und Mechanik (ZAMM), vol. 73, pp. 255–257, 1993.
LibreCat
 

1993 | Book Chapter | LibreCat-ID: 16730
F. Meyer auf der Heide, B. Oesterdiekhoff, and R. Wanka, “Strongly adaptive token distribution,” in Automata, Languages and Programming, Berlin, Heidelberg, 1993.
LibreCat | DOI
 

1993 | Misc | LibreCat-ID: 13082
S. Hellebrand and H.-J. Wunderlich, Synthesis of Self-Testable Controllers. ARCHIMEDES Open Workshop on “Synthesis - Architectural Testability Support”, Montpellier, France, 1993.
LibreCat
 

1993 | Journal Article | LibreCat-ID: 3069
T. Gries and B. Wigger, “The Dynamics of Upgrading or how to catch-up,” Economia Internationale, vol. 46, no. 4, pp. 3–13, 1993.
LibreCat
 

1993 | Journal Article | LibreCat-ID: 17013
M. Dellnitz, “The equivariant Darboux theorem,” Lectures in Applied Mathematics, vol. 29, pp. 163–169, 1993.
LibreCat
 

1993 | Conference Paper | LibreCat-ID: 11904
V. Steinbiss et al., “The Philips Research System for Large-Vocabulary Continuous-Speech Recognition,” in EUROSPEECH, Berlin, 1993.
LibreCat | Download (ext.)
 

1993 | Journal Article | LibreCat-ID: 16634
I. Melbourne, M. Dellnitz, and M. Golubitsky, “The structure of symmetric attractors,” Archive for Rational Mechanics and Analysis, pp. 75–98, 1993.
LibreCat | DOI
 

1993 | Report | LibreCat-ID: 8191
H. Ehrig and G. Engels, Towards a Module Concept for Graph Transformation Systems. Vakgroep Informatica, Rijksuniversiteit Leiden, 1993.
LibreCat
 

1993 | Report | LibreCat-ID: 2454
M. Röttger, J. Simon, and U.-P. Schroeder, Virtual Topology Library for PARIX. Paderborn Center for Parallel Computing, 1993.
LibreCat
 

1992 | Conference Paper | LibreCat-ID: 2458
R. Diekmann, R. Lüling, and J. Simon, “A General Purpose Distributed Implementation of Simulated Annealing,” in Proc. 13th IMACS World Congress on Computation and Applied Mathematics, 1992.
LibreCat
 

1992 | Conference Paper | LibreCat-ID: 2459
R. Diekmann, R. Lüling, and J. Simon, “A General Purpose Distributed Implementation of Simulated Annealing,” in Proc. IEEE Symp. on Parallel and Distributed Processing (SPDP), 1992, pp. 94–101.
LibreCat | DOI
 

1992 | Journal Article | LibreCat-ID: 11782
R. Haeb-Umbach, “A modified trellis coding technique for partial response channels,” IEEE Transactions on Communications, 1992.
LibreCat
 

1992 | Journal Article | LibreCat-ID: 17301
G. Oevel and B. Fuchssteiner, “A unified Approach to Action-Angle Variables of Real and Complex Multisolitons,” Physica, vol. 181A, pp. 364–384, 1992.
LibreCat
 

1992 | Conference Paper | LibreCat-ID: 15252
K. Mickus-Miceli and G. Domik, “An Enriched Framework for Multidisciplinary Data Analysis,” in Symposium on Intelligent Scientific Computation, American Association for Artificial Intelligence (AAAI), Fall 1992 Symposium Series, Cambridge MA, October, 1992.
LibreCat
 

1992 | Book | LibreCat-ID: 1601
D. Krimphove, Anlageberatung Das System der zivilrechtlichen Haftung von Kreditinstituten. Frankfurt: Peter Lang, 1992.
LibreCat
 

1992 | Journal Article | LibreCat-ID: 1652
D. Krimphove, “Arbeitsrechtliche Aspekte der Verschmelzung von Genossenschaften ,” Sächsisches Genossenschaftsblatt , no. 11, p. 50 ff., 1992.
LibreCat
 

1992 | Journal Article | LibreCat-ID: 7409
G. Engels, C. Lewerentz, M. Nagl, W. Schäfer, and A. Schürr, “Building Integrated Software Development Environments, Part I: Tool Specification,” ACM Transactions on Software Engineering and Methodology (TOSEM), vol. 1, no. 2, pp. 135–167, 1992.
LibreCat
 

1992 | Conference Paper | LibreCat-ID: 8260
G. Engels and P. Löhr-Richter, “CADDY: A Highly Integrated Environment to Support Conceptual Database Design,” in Proceedings of the Fifth International Workshop on Computer-Aided Software Engineering (CASE 1992), Montreal (Canada), 1992, pp. 19–22.
LibreCat
 

1992 | Conference Paper | LibreCat-ID: 10201
E. Steffen, “Complexity results for the default- and autoepistemic logic,” in Computer Science Logic , 1992, vol. 626, pp. 339–352.
LibreCat
 

1992 | Journal Article | LibreCat-ID: 17012
M. Dellnitz, “Computational bifurcation of periodic solutions in systems with symmetry,” IMA Journal of Numerical Analysis, vol. 12, no. 3, pp. 429–455, 1992.
LibreCat | DOI
 

1992 | Journal Article | LibreCat-ID: 7410
G. Engels et al., “Conceptual Modelling of Database Applications Using an Extended ER Model,” Data & Knowledge Engineering, vol. 9, no. 2, pp. 157–204, 1992.
LibreCat | DOI
 

1992 | Journal Article | LibreCat-ID: 1653
D. Krimphove, “Der Begriff des ‘Europäischen Marktes’ im Lichte der Rechtssprechung des Europäischen Gerichtshofes und der Entscheidungspraxis  der Kommission der Europäischen Gemeinschaft,” Europäisches Wirtschafts- & Steuerrrecht, no. 12, p. 357 ff., 1992.
LibreCat
 

1992 | Journal Article | LibreCat-ID: 16907
G. Domik-Kienegger, “Design and Development of a Data Visualization System in a Workstation Environment,” J. Micorcomputer Applications, vol. 15, pp. 81–88, 1992.
LibreCat
 

1992 | Conference Paper | LibreCat-ID: 16908
G. Domik-Kienegger, “Designing User-Centered Interfaces for Astrophysical Software on User Interfaces for Astrophysical Software,” in Proceedings on User Interfaces for Astrophysical Software, Greenbelt, MD, 1992.
LibreCat
 

1992 | Book Chapter | LibreCat-ID: 1717
D. Krimphove, “Die Auswirkungen des Betriebsüberganges nach § 613 a BGB auf die Rechte der Arbeitnehmer,” in Die Verschmelzung von Genossenschaften - insbesondere von Kreditgenossenschaften, 5th ed., D. Ohlmeyer and R. Philipowski, Eds. Wiesbaden: DG-Verlag, 1992, pp. 163–168.
LibreCat
 

1992 | Journal Article | LibreCat-ID: 1650
D. Krimphove, “Die Bedeutung des Produkthaftungsrechtes für die Landwirtschaft ,” Recht der Landwirtschaft, no. Juni-Heft, p. 143 ff., 1992.
LibreCat
 

1992 | Journal Article | LibreCat-ID: 1651
D. Krimphove, “Die eingetragene Genossenschaft als Gesellschafts- und Unternehmensform,” Recht der Landwirtschaft, no. Oktober-Heft, p. 255 ff., 1992.
LibreCat
 

1992 | Book Chapter | LibreCat-ID: 16737
M. Dietzfelbinger and F. Meyer auf der Heide, “Dynamic Hashing in Real Time,” in TEUBNER-TEXTE zur Informatik, Wiesbaden, 1992.
LibreCat | DOI
 

1992 | Conference Paper | LibreCat-ID: 16736
R. M. Karp, M. Luby, and F. Meyer auf der Heide, “Efficient PRAM simulation on a distributed memory machine,” in Proceedings of the twenty-fourth annual ACM symposium on Theory of computing  - STOC ’92, 1992.
LibreCat | DOI
 

1992 | Book | LibreCat-ID: 1600
D. Krimphove, Europäische Fusionskontrolle  . Köln: Carl Heymanns Verlag KG, 1992.
LibreCat
 

1992 | Conference Paper | LibreCat-ID: 13465
R. Ginthör, M. Platzner, and R. Weiss, “Experimental Results to Interprocessor Communication in Distributed Transputer-Systems,” in Proceedings of the 1st Austrian-Hungarian Workshop on Transputer Applications, 1992, pp. 45–54.
LibreCat
 

1992 | Conference Paper | LibreCat-ID: 7825
P. Koopman, L. Groenewegen, and G. Engels, “Functional Description of Parallel Processes,” in Proceedings of the conference SION Computing Science in the Netherlands (CSN ’92), The Netherlands, 1992, pp. 156–167.
LibreCat
 

1992 | Book Chapter | LibreCat-ID: 17177
G. Oevel and M. Wagner, “Förderung von Studentinnen im Grundstudium,” in Frauen in natur- und ingenieurwissenschaftlichen Berufen, vol. 17, Ministerium für die Gleichstellung von Frau und Mann des Landes NRW, Ed. 1992.
LibreCat
 

1992 | Misc | LibreCat-ID: 13076
S. Hellebrand, S. Tarnick, J. Rajski, and B. Courtois, Generation of Vector Patterns through Reseeding of Multiple-Polynomial LFSRs. IEEE Design for Testability Workshop, Vail, CO, USA, 1992.
LibreCat
 

1992 | Report | LibreCat-ID: 13023
S. Hellebrand, S. Tarnick, J. Rajski, and B. Courtois, Generation of Vector Patterns through Reseeding of Multiple-Polynomial LFSRs. Institut National Polytechnique de Grenoble, Grenoble, France, 1992.
LibreCat
 

1992 | Misc | LibreCat-ID: 13080
S. Hellebrand, S. Tarnick, J. Rajski, and B. Courtois, Generation of Vector Patterns through Reseeding of Multiple-Polynomial LFSRs. Workshop on New Directions for Testing, Montreal, Canada, 1992.
LibreCat
 

1992 | Conference Paper | LibreCat-ID: 13016
S. Hellebrand, S. Tarnick, J. Rajski, and B. Courtois, “Generation of Vector Patterns through Reseeding of Multiple-Polynomial Linear Feedback Shift Registers,” in {IEEE International Test Conference (ITC’92)}, 1992, pp. 120–129.
LibreCat | DOI
 

1992 | Journal Article | LibreCat-ID: 16548
M. Dellnitz, I. Melbourne, and J. E. Marsden, “Generic bifurcation of Hamiltonian vector fields with symmetry,” Nonlinearity, pp. 979–996, 1992.
LibreCat | DOI
 

1992 | Book Chapter | LibreCat-ID: 16547
M. Dellnitz, J. E. Marsden, I. Melbourne, and J. Scheurle, “Generic Bifurcations of Pendula,” in Bifurcation and Symmetry, Basel, 1992.
LibreCat | DOI
 

1992 | Book Chapter | LibreCat-ID: 16734
F. Meyer auf der Heide, “Hashing strategies for simulating shared memory on distributed memory machines,” in Lecture Notes in Computer Science, Berlin, Heidelberg, 1992.
LibreCat | DOI
 

1992 | Book Chapter | LibreCat-ID: 16733
M. Dietzfelbinger and F. Meyer auf der Heide, “High performance universal hashing, with applications to shared memory simulations,” in Data structures and efficient algorithms, Berlin, Heidelberg, 1992.
LibreCat | DOI
 

1992 | Journal Article | LibreCat-ID: 17474
V. Peckhaus, “Hilbert, Zermelo und die Institutionalisierung der mathematischen Logik in Deutschland,” Berichte zur Wissenschaftsgeschichte, vol. 15, pp. 27–38, 1992.
LibreCat
 

1992 | Conference Paper | LibreCat-ID: 8084
S. Krauter, “Hinweise zur Modellbildung und Simulation des Strahlungseinfalls in PV-Module,” in Solar Energy Simulation Workshop der DGS, Oldenburg (Deutschland), Oldenburg (Deutschland), 1992.
LibreCat
 

1992 | Conference Paper | LibreCat-ID: 3047
J. Blömer, “How to denest Ramanujan’s nested radicals,” in Proceedings., 33rd Annual Symposium on Foundations of Computer Science, 1992.
LibreCat | DOI
 

1992 | Conference Paper | LibreCat-ID: 2460
R. Diekmann, R. Lüling, B. Monien, and J. Simon, “Implementierung von Simulated Annealing auf Transputer-Systemen,” in Parallele Datenverarbeitung mit dem Transputer, Aachen, 1992, pp. 361–368.
LibreCat | DOI
 

1992 | Conference Paper | LibreCat-ID: 8083
S. Krauter and R. Hanitsch, “Improvement of PV-Performance by Partly Structured Surfaces,” in Proceedings of the 6th Photovoltaic Science and Engineering Conference, New Delhi (Indien), 10.–14. Februar 1992, Vol 1, S. 1110., New Delhi (Indien), 1992.
LibreCat
 

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

1992 | Conference Paper | LibreCat-ID: 11769
D. Geller, R. Haeb-Umbach, and H. Ney, “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: 2457
R. Diekmann and J. Simon, “Leistungssteigerung paralleler Systeme durch virtuelle Topologien,” in Abstraktband des 4. bundesweiten Transputer-Anwender-Treffens (TAT 92), 1992.
LibreCat
 

1992 | Conference Paper | LibreCat-ID: 11797
R. Haeb-Umbach and H. Ney, “Linear Discriminant Analysis for Improved Large Vocabulary Continuous Speech Recognition,” in ICASSP, San Francisco, 1992.
LibreCat | Download (ext.)
 

1992 | Conference Paper | LibreCat-ID: 8087
S. Krauter, R. Hanitsch, R. Diwisch, and N. Diwisch, “Measuring the Heat–Transfer Coefficient of PV-Modules,” presented at the 2nd World Renewable Energy Congress, Reading (UK), 13.–18. September 1992, 1992.
LibreCat
 

1992 | Book Chapter | LibreCat-ID: 16546
M. Dellnitz, M. Golubitsky, and I. Melbourne, “Mechanisms of Symmetry Creation,” in Bifurcation and Symmetry, Basel, 1992.
LibreCat | DOI
 

1992 | Book Chapter | LibreCat-ID: 16735
F. Meyer auf der Heide and H. T. Pham, “On the performance of networks with multiple busses,” in STACS 92, Berlin, Heidelberg, 1992.
LibreCat | DOI
 

1992 | Conference Paper | LibreCat-ID: 8088
S. Krauter and R. Hanitsch, “Performance of a Partly Structured Surface at a PV-Module,” in Proceedings of the 11th European Photovoltaic Solar Energy Conference and Exhibition, Montreux (Schweiz), 12.–16. Oktober 1992, S. 1351–1354, 1992.
LibreCat
 

1992 | Conference Paper | LibreCat-ID: 8086
S. Krauter and R. Hanitsch, “Reflexionsverringerung an PV-Modulen durch partiell strukturierte Deckgläser.,” in Tagungsband des Achten Internationalen Sonnenforums, Berlin (Deutschland), 30. Juni – 3. Juli 1992, S. 736–741, 1992.
LibreCat
 

1992 | Book Chapter | LibreCat-ID: 3046
H. Alt and J. Blömer, “Resemblance and symmetries of geometric patterns,” in Data structures and efficient algorithms, Berlin, Heidelberg: Springer Berlin Heidelberg, 1992, pp. 1–24.
LibreCat | DOI
 

1992 | Dissertation | LibreCat-ID: 3043
J. Blömer, Simplifying Expressions Involving Radicals. PhD thesis, Freie Universität Berlin, Fachbereich Mathematik und Informatik, 1992.
LibreCat | Files available
 

1992 | Conference Paper | LibreCat-ID: 14997
G. O. Domik and K. D. Mickus-Miceli, “Software design and development in a scientific environment: lessons learned during the development of STAR, an astrophysical analysis and visualization package,” in Astronomical Data Analysis Software and Systems I, 1992, vol. 25, p. 95.
LibreCat
 

1992 | Conference Paper | LibreCat-ID: 8261
G. Engels and L. Groenewegen, “Specification of Coordinated Behaviour in the Software Development Process,” in Proceedings of the Second European Workshop on Software Process Technology (EWSPT 92), Trondheim, Norway, 1992, vol. 635, pp. 58–60.
LibreCat | DOI
 

1992 | Journal Article | LibreCat-ID: 7408
U. Hohenstein and G. Engels, “SQL/EER - Syntax and Semantics of an Entity-Relationship-Based Query Language,” Information Systems, vol. 17, no. 3, pp. 209–242, 1992.
LibreCat | DOI
 

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

1992 | Journal Article | LibreCat-ID: 13017
H.-J. Wunderlich and S. Hellebrand, “The Pseudoexhaustive Test of Sequential Circuits,” {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD)}, vol. 11, no. 1, pp. 26–33, 1992.
LibreCat | DOI
 

1992 | Journal Article | LibreCat-ID: 11792
R. Haeb-Umbach and R. Lynch, “Trellis codes for partial-response magnetooptical direct overwrite recording,” IEEE Journal on Selected Areas in Communications, 1992.
LibreCat
 

1992 | Report | LibreCat-ID: 8189
G. Engels, Visual Specifications of Conceptual Database Schemata (Abstract). Leiden University, 1992.
LibreCat
 

1992 | Conference Paper | LibreCat-ID: 15042
G. Domik, “Visualization of Multi-dimensional Arrays in Astronomy,” in European Southern Observatory Conference and Workshop Proceedings, 1992, vol. 43, p. 249.
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 | 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 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 | 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 | 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 | 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 | 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 | Journal Article | LibreCat-ID: 17472
V. Peckhaus, “Introduction,” Modern Logic, vol. 1, no. 2/3, pp. 113–116, 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 | Book | LibreCat-ID: 13034
S. Hellebrand, Synthese vollständig testbarer Schaltungen. Verlag Düsseldorf: VDI Verlag: Verlag Düsseldorf: VDI Verlag, 1991.
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 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: 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
 

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: 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 | 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 | 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 | 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 | 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 | 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: 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 | 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 | 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 | 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: 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 | 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: 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 | 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 | 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 | 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 | Dissertation | LibreCat-ID: 2621
S. Betz, Investitionstheoretische Bestimmung der Abschreibungen für eine entscheidungsorientierte Kostenrechnung. Paderborn, 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 | 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
 

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 | 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: 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 | 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: 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 | 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 | 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
 

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

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
 

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 | 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: 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: 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 | 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: 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 | 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 Chapter | LibreCat-ID: 16745
F. Meyer auf der Heide, “On genuinely time bounded computations,” in STACS 89, Berlin/Heidelberg, 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: 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: 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
 

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

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 | 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 | 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: 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
 

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: 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: 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 | 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 | 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 | 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: 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
 

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

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
 

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: 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: 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 | 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
 

1986 | Book Chapter | LibreCat-ID: 16776
A. Borodin, F. Fich, F. Meyer auf der Heide, E. Upfal, and A. Wigderson, “A time-space tradeoff for element distinctness,” in STACS 86, Berlin, Heidelberg, 1986.
LibreCat | DOI
 

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: 11880
M. Oerder, G. Ascheid, R. Haeb-Umbach, and H. Meyr, “An all digital implementation of a receiver for bandwidth-efficient communication,” Signal Processing: Theories and Applications, 1986.
LibreCat
 

1986 | Book | LibreCat-ID: 2092
D. Krimphove, Belgium in a Nutshell Investitionsmöglichkeiten ausländischer Unternehmen in Belgien. Brüssel, 1986.
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
 

1986 | Report | LibreCat-ID: 13022
S. Hellebrand, Deformation dicker Punkte und Netze von Quadriken. Universität Regensburg, Fakultät für Mathematik, Regensburg, Germany, 1986.
LibreCat
 

1986 | Conference Paper | LibreCat-ID: 15317
G. Domik, F. Leberl, and J. Raggam, “Developing tools for digital radar image data evaluation,” 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, vol. 1, pp. 117–119.
LibreCat
 

1986 | Conference Paper | LibreCat-ID: 15179
J. Mercer, R. Lowry, F. Leberl, and G. Domik, “Digital terrain mapping with STAR-1 SAR data,” in International Geoscienee and Remote Sensing Symposium, 1986, pp. 645–650.
LibreCat
 

1986 | Journal Article | LibreCat-ID: 16771
F. Meyer auf der Heide, “Efficient Simulations among Several Models of Parallel Computers,” SIAM Journal on Computing, pp. 106–119, 1986.
LibreCat | DOI
 

1986 | Conference Paper | LibreCat-ID: 8256
G. Engels and A. Sandbrink, “Experiences with a Hybrid-Interpreter Based on Incremental Compilation Techniques,” in Proceedings of the Workshop on Compiler Compilers and Incremental Compilation Techniques, Bautzen, 1986, vol. 12, pp. 172–184.
LibreCat
 

1986 | Dissertation | LibreCat-ID: 7588
G. Engels, Graphen als zentrale Datenstrukturen in einer Software-Entwicklungsumgebung. 1986.
LibreCat
 

1986 | Journal Article | LibreCat-ID: 16918
F. Leberl, G. Domik-Kienegger, J. Raggam, J. Cimino, and M. Kobrick, “Multiple Incidence Angle SIR-B Expenment Over Argentina: Stereo-Radargrammetrc Analysis,” IEEE Transactions on Geoscience and Remote Sensing, vol. GE-24, no. 4, pp. 482–491, 1986.
LibreCat
 

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 | 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: 14895
F. W. Leberl, G. Domik-Kienegger, J. Rraggam, and M. Kobrick, “Radar stereomapping techniques and application to SIR-B images of Mt. Shasta,” IEEE Transactions on Geoscience and Remote Sensing, no. 4, pp. 473–481, 1986.
LibreCat
 

1986 | Journal Article | LibreCat-ID: 16917
F. Leberl, G. Domik-Kienegger, J. Raggam, and M. Kobrick, “Radar Stereomapping Techniques and Application to SIR-B Images of Mt. Shasta,” IEEE Transactions on Geoscience and Remote Sensing, vol. GE-24, no. 4, pp. 473–481, 1986.
LibreCat
 

1986 | Journal Article | LibreCat-ID: 15254
F. Leberl, G. Domik, J. Raggam, J. Cimino, and M. Kobrick, “Radargrammetric Experiments with Space Shuttle SIR-B Imagery,” 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, pp. 333–344, 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: 15318
G. Domik and F. Leberl, “Using secondary image products to aid in understanding and interpretation of radar imagery,” in IGARSS’86: Remote Sensing: Today’s Solutions for Tomorrow’s Information Needs, 1986.
LibreCat
 

1985 | Conference Paper | LibreCat-ID: 16784
F. Meyer auf der Heide, “Fast algorithms for n-dimensional restrictions of hard problems,” in Proceedings of the seventeenth annual ACM symposium on Theory of computing  - STOC ’85, 1985.
LibreCat | DOI
 

1985 | Conference Paper | LibreCat-ID: 7813
G. Engels and W. Schäfer, “Graph Grammar Engineering: A Method Used for the Development of an Integrated Programming Support Environment,” in Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT 1985), Berlin (Germany), 1985, vol. 186, pp. 179–193.
LibreCat
 

1985 | Journal Article | LibreCat-ID: 16780
F. Meyer auf der Heide, “Lower bounds for solving linear diophantine equations on random access machines,” Journal of the ACM (JACM), pp. 929–937, 1985.
LibreCat | DOI
 

1985 | Journal Article | LibreCat-ID: 16779
C. Lautemann and F. Meyer auf der Heide, “Lower time bounds for integer programming with two variables,” Information Processing Letters, pp. 101–105, 1985.
LibreCat | DOI
 

1985 | Journal Article | LibreCat-ID: 16823
F. Meyer auf der Heide, “Lower time bounds for solving linear diophantine equations on several parallel computational models,” Information and Control, vol. 67, no. 1–3, pp. 195–211, 1985.
LibreCat | DOI
 

1985 | Journal Article | LibreCat-ID: 15314
F. Leberl, M. Kobrick, and undefined undefined, “Mapping with aircraft and satellite radar images,” The Photogrammetric Record, vol. 11, no. 66, pp. 647–665, 1985.
LibreCat
 

1985 | Conference Paper | LibreCat-ID: 16788
F. Meyer auf der Heide, “Nondeterministic versus probabilistic linear search algorithms,” in 26th Annual Symposium on Foundations of Computer Science (sfcs 1985), 1985.
LibreCat | DOI
 

1985 | Conference Paper | LibreCat-ID: 16783
F. E. Fich, F. Meyer auf der Heide, P. Ragde, and A. Wigderson, “One, two, three . . . infinity: lower bounds for parallel computation,” in Proceedings of the seventeenth annual ACM symposium on Theory of computing  - STOC ’85, 1985.
LibreCat | DOI
 

1985 | Journal Article | LibreCat-ID: 15315
G. Domik, “Radar image simulation as a tool to analyze topographic effects on geometry and radiometry of radar imagery,” Machine processing of remotely sensed data- Quantifying global process: Models, sensor systems, and analytical methods, pp. 248–253, 1985.
LibreCat
 

1985 | Journal Article | LibreCat-ID: 15048
J. Raggam, G. Triebnig, M. Buchroithner, G. Domik, and F. Leberl, “Radargrammetric aspects of SAR data evaluation,” Thematic Applications of SAR data, p. 57, 1985.
LibreCat
 

1985 | Journal Article | LibreCat-ID: 16781
F. Meyer auf der Heide, “Simulating probabilistic by deterministic algebraic computation trees,” Theoretical Computer Science, pp. 325–330, 1985.
LibreCat | DOI
 

1985 | Conference Paper | LibreCat-ID: 16782
F. Meyer auf der Heide and A. Wigderson, “The complexity of parallel sorting,” in 26th Annual Symposium on Foundations of Computer Science (sfcs 1985), 1985.
LibreCat | DOI
 

1985 | Conference Paper | LibreCat-ID: 7814
G. Engels and W. Schäfer, “The Design of an Adaptive and Portable Programming Support Environment,” in Proceedings of the International Computing Symposium, Amsterdam (The Netherlands), 1985.
LibreCat
 

1985 | Conference Paper | LibreCat-ID: 15316
H. Rott, G. Domik, C. MStzler, and H. Miller, “Towards a SAR system for snow and land ice applications,” in ESA Proceedings of a Workshop on Thematic Applications of SAR DATA p 29-39(SEE N 86-28488 19-42), 1985.
LibreCat
 

1984 | Journal Article | LibreCat-ID: 16785
F. Meyer auf der Heide, “A Polynomial Linear Search Algorithm forr the n-Dimensional Knapsack Problem,” Journal of the ACM (JACM), pp. 668–676, 1984.
LibreCat | DOI
 

1984 | Journal Article | LibreCat-ID: 15124
G. Domik, M. Kobrick, and F. Leberl, “Analyse von Radarbildern mittels digitaler Hoehenmodelle,” Bildmessung und luftbildwesen, vol. 52, no. 5, pp. 249–263, 1984.
LibreCat
 

1984 | Journal Article | LibreCat-ID: 16919
G. Domik-Kienegger, M. Kobrick, and F. Leberl, “Analyse von Radarbildern mittels digitaler Hoehenmodelle,” Bildmessung und Luftbildwesen, vol. 52, no. 5, pp. 249–263, 1984.
LibreCat
 

1984 | Mastersthesis | LibreCat-ID: 15498
R. Hagengruber, Das Schöne als Vollzug der Liebe. Eros-Logos-Verhältnisse in Platons Symposion. München, 1984.
LibreCat
 

1984 | Book | LibreCat-ID: 17455
V. Peckhaus, Der nationalsozialistische „neue Begriff“ von Wissenschaft am Beispiel der „Deutschen Mathematik“ — Programm, Konzeption und politische Realisierung, Magisterarbeit an der Philosophischen Fakultät der Rheinisch-Westfälischen Technischen Hochschule Aachen, August 1984. Aachen, 1984.
LibreCat | Download (ext.)
 

1984 | Report | LibreCat-ID: 15600
G. Domik, F. Leberl, and J. Raggam, Differential Rectification of SLR-Images Using Map-Derived and Radar-Generated Digital Elevation Models. 1984.
LibreCat
 

1984 | Book Chapter | LibreCat-ID: 16787
F. Meyer auf der Heide, “Efficient simulations among several models of parallel computers (extended abstract),” in STACS 84, Berlin, Heidelberg, 1984.
LibreCat | DOI
 

1984 | Journal Article | LibreCat-ID: 15055
G. Domik, “Evaluation of radar stereo viewability by means of a simulation technique,” ESA IGARSS 84: Remote Sensing: From Res. towards Operational Use, vol. 2, 1984.
LibreCat
 

1984 | Conference Paper | LibreCat-ID: 16922
G. Domik-Kienegger and E. Kienegger, “Method to Relate Digital SAR Images and Map Information in Mountainous Areas ,” in Proceedings of the World Conference on Remote Sensing, Sensing, Bayreuth, 1984.
LibreCat
 

1984 | Conference Paper | LibreCat-ID: 16786
F. Meyer auf der Heide and R. Reischuk, “On The Limits To Speed Up Parallel Machines By Large Hardware And Unbounded Communication,” in 25th Annual Symposium onFoundations of Computer Science, 1984., 1984.
LibreCat | DOI
 

1984 | Conference Paper | LibreCat-ID: 16920
G. Domik-Kienegger, F. Leberl, and M. Kobrick, “Radar Image Simulation and its Application in Image Analysis,” presented at the XVth Congress of the ISPRS , Comm. III, Rio de Janeiro, 1984, pp. 99–108.
LibreCat
 

1984 | Journal Article | LibreCat-ID: 14995
G. Domik, F. Leberl, and M. Kobrick, “Radar image simulation and its application in image analysis,” Archives of the International Society of Photogrammetry and Remote Sensing, vol. 25, p. A3a, 1984.
LibreCat
 

1984 | Conference Paper | LibreCat-ID: 16921
G. Domik-Kienegger, F. Leberl, and J. Raggam, “Rectification of Radar Images Using Stereo- Derived Height Models and Simulations,” presented at the XVth Congress of the ISPRS , Comm. III, Rio de Janeiro, 1984, vol. 25A, no. 3, pp. 109–111.
LibreCat
 

1984 | Conference Paper | LibreCat-ID: 15598
H. Rott and G. Domik, “The SAR-580 experiment on snow and glaciers at the Austrian test site,” in Proc. SAR-580 Investigators Workshop, 1984, vol. 2, pp. 217–232.
LibreCat
 

1983 | Journal Article | LibreCat-ID: 16807
P. Klein and F. Meyer auf der Heide, “A lower time bound for the knapsack problem on random access machines,” Acta Informatica, pp. 385–395, 1983.
LibreCat | DOI
 

1983 | Conference Paper | LibreCat-ID: 16809
F. Meyer auf der Heide, “A polynomial linear search algorithm for the n-dimensional knapsack problem,” in Proceedings of the fifteenth annual ACM symposium on Theory of computing  - STOC ’83, 1983.
LibreCat | DOI
 

1983 | Journal Article | LibreCat-ID: 7412
G. Engels, U. Pletat, and H.-D. Ehrich, “An Operational Semantics for Specifications of Abstract Data Types with Error Handling,” Acta Informatica, vol. 9, no. 3, pp. 235–254, 1983.
LibreCat | DOI
 

1983 | Book Chapter | LibreCat-ID: 16810
F. Meyer auf der Heide, “Efficiency of universal parallel computers,” in Lecture Notes in Computer Science, Berlin/Heidelberg, 1983.
LibreCat | DOI
 

1983 | Journal Article | LibreCat-ID: 16806
F. Meyer auf der Heide, “Efficiency of universal parallel computers,” Acta Informatica, pp. 269–296, 1983.
LibreCat | DOI
 

1983 | Journal Article | LibreCat-ID: 16808
F. Meyer auf der Heide, “Infinite cube-connected cycles,” Information Processing Letters, pp. 1–2, 1983.
LibreCat | DOI
 

1983 | Conference Paper | LibreCat-ID: 8255
M. Nagl, G. Engels, R. Gall, and W. Schäfer, “Software Specification by Graph Grammars,” in Proceedings of the 2nd International Workshop on Graph-Grammars and Their Application to Computer Science, Osnabrück (Germany), 1983, vol. 153, pp. 267–287.
LibreCat | DOI
 

1983 | Journal Article | LibreCat-ID: 7411
G. Engels, R. Gall, M. Nagl, and W. Schäfer, “Software Specification Using Graph Grammars,” Computing, vol. 31, no. 4, pp. 317–346, 1983.
LibreCat | DOI
 

1982 | Conference Paper | LibreCat-ID: 7812
U. Pletat, G. Engels, and H.-D. Ehrich, “An Operational Approach to Conditional Algebraic Specifications,” in Proceedings of the 7eme Colloque sur les Arbres en Algebre et en Programmation, Lille (France), 1982, vol. 82, pp. 254–270.
LibreCat
 

1982 | Conference Paper | LibreCat-ID: 7811
G. Engels and W. Schäfer, “Specification of a Programming Support Environment by Graph Grammars,” in Proceedings of the conference on Graphtheoretic Concepts in Computer Science (WG`82), München (Germany), 1982, pp. 47–62.
LibreCat
 

1981 | Journal Article | LibreCat-ID: 16820
F. Meyer auf der Heide, “A comparison of two variations of a pebble game on graphs,” Theoretical Computer Science, pp. 315–322, 1981.
LibreCat | DOI
 

1981 | Report | LibreCat-ID: 8184
G. Engels, U. Pletat, and H.-D. Ehrich, Handling Errors and Exceptions in the Algebraic Specifications of Data Types. University of Osnabrück, 1981.
LibreCat
 

1981 | Report | LibreCat-ID: 8185
U. Pletat, G. Engels, and H.-D. Ehrich, Operational Semantics of Algebraic Specifications with Conditional Equations. University of Dortmund, Department of Computer Science, 1981.
LibreCat
 

1981 | Book Chapter | LibreCat-ID: 16813
F. Meyer auf der Heide and A. Rollik, “Random access machines and straight-line programs,” in Fundamentals of Computation Theory, Berlin, Heidelberg, 1981.
LibreCat | DOI
 

1981 | Book Chapter | LibreCat-ID: 16814
F. Meyer auf der Heide, “Time-processor trade-offs for universal parallel computers,” in Lecture Notes in Computer Science, Berlin, Heidelberg, 1981.
LibreCat | DOI
 

1980 | Book (Editor) | LibreCat-ID: 15510
R. Hagengruber, Ed., Inseln im Ich. München: Matthes & Seitz, 1980.
LibreCat
 

1980 | Book Chapter | LibreCat-ID: 16815
P. Klein and F. Meyer auf der Heide, “Untere Zeitschranken für das Rucksack-Problem,” in GI - 10. Jahrestagung, Berlin, Heidelberg, 1980.
LibreCat | DOI
 

1979 | Journal Article | LibreCat-ID: 16812
F. Meyer auf der Heide, “A comparison of two variations of a pebble game on graphs,” Automata, Languages and Programming. ICALP 1979, pp. 411–421, 1979.
LibreCat | DOI
 

[n.d.] | Journal Article | LibreCat-ID: 15596
R. Biehler et al., “Paderborn Symposium on Data Science Education at School Level 2017: The Collected Extended Abstracts.”
LibreCat
 

Filters and Search Terms

status=public

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year , Title
Citation Style: IEEE

Export / Embed