12866 Publications

1998 | Book Review | LibreCat-ID: 18226
Boole, George, Selected Manuscripts on Logic and its Philosophy, hg. v. Ivor Grattan-Guinness/Gérard Bornet, Birkhäuser: Basel 1997
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 877.03003] (1998).
LibreCat
 
1998 | Book Review | LibreCat-ID: 18219
Deakin, Michael A.B., “Boole’s Mathematical Blindness”, Math. Gaz. 80 (1996), 511–518
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 877.01019] (1998).
LibreCat
 
1998 | Book Review | LibreCat-ID: 18245 LibreCat
 
1998 | Book Review | LibreCat-ID: 18233
Murawski, Roman, “On the Philosophical Meaning of Reverse Mathematics”, in: Czermak (Hg.) 1993 [9.4], 173–184
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 878.00006] (1998).
LibreCat
 
1998 | Book Review | LibreCat-ID: 18238
Wang, Hao, “What is Logic?”, in: Puhl (Hg.) 1993 [9.5], 11–23
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 878.03005] (1998).
LibreCat
 
1998 | Book Review | LibreCat-ID: 18252 LibreCat
 
1998 | Book Review | LibreCat-ID: 18271 LibreCat
 
1998 | Book Review | LibreCat-ID: 18269
Schroeder-Heister, Peter, “Frege and the Resolution Calculus”, History and Philosophy of Logic 18 (1997), 95–108
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 889.03002] (1998).
LibreCat
 
1998 | Book Review | LibreCat-ID: 18295
Morley, Michael, “Two Insights”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996, 79–80
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 894.01014] (1998).
LibreCat
 
 
1998 | Book Review | LibreCat-ID: 18308 LibreCat
 
1998 | Book Review | LibreCat-ID: 18303
McCarty, David, “Completeness for Intuitionistic Logic”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996, 301–334
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 896.03007] (1998).
LibreCat
 
1998 | Journal Article | LibreCat-ID: 18620
Spectra and total energies from self-consistent many-body perturbation theory
A. Schindlmayr, T.J. Pollehn, R.W. Godby, Physical Review B 58 (1998) 12684–12690.
LibreCat | Files available | DOI | WoS
 
 
1998 | Book | LibreCat-ID: 18144
Erziehung zu europäischer Verständigung in der Grundschule - Bedingungen - didaktische Konkretisierung - Realisationsmöglichkeiten
P. Büker, Erziehung zu europäischer Verständigung in der Grundschule - Bedingungen - didaktische Konkretisierung - Realisationsmöglichkeiten, Lang, Frankfurt am Main u. a., 1998.
LibreCat
 
1998 | Book Chapter | LibreCat-ID: 19712
Europaoffenes Lernen mit Grundschulkindern - Bedingungen und didaktische Perspektiven für einen neuen Aufgabenbereich der Primarstufe
P. Büker, in: A. Tuyaerts, W. Hagemann, G. Tulodziecki (Eds.), Lernen und Lehren für Europa. Festschrift für Waltraut Schöler, Lang, Frankfurt am Main, 1998, pp. 175–201.
LibreCat
 
1998 | Conference Paper | LibreCat-ID: 2170
Improved Bounds for Acyclic Job Shop Scheduling (Extended Abstract)
U. Feige, C. Scheideler, in: STOC, 1998, pp. 624--633.
LibreCat | Files available
 
1998 | Journal Article | LibreCat-ID: 2168
Universal Continuous Routing Strategies
C. Scheideler, B. Vöcking, Theory Comput. Syst. 31 (1998) 425--449.
LibreCat | DOI
 
1997 | Journal Article | LibreCat-ID: 10196
3- and 4-critical graphs of small even order
G. Brinkmann, E. Steffen, Discrete Mathematics 188 (1997) 193–197.
LibreCat
 
1997 | Journal Article | LibreCat-ID: 13859
A High Resolution Investigation of the Anisotropic Electron-Positron Momentum Distribution in Diamond
R.W.N. Nilen, S.H. Connell, D.T. Britton, C.G. Fischer, E.J. Sendezera, W.G. Schmidt, J.P.F. Sellschop, W.S. Verwoerd, Materials Science Forum 255–257 (1997) 475–478.
LibreCat | DOI
 
1997 | Journal Article | LibreCat-ID: 13777
As on InP(110) studied within density-functional theory
U. Grossner, W.G. Schmidt, F. Bechstedt, Physical Review B 56 (1997) 6719–6726.
LibreCat | DOI
 
1997 | Journal Article | LibreCat-ID: 1445
KnittingFactory: An Infrastructure for Distributed Web Applications
A. Baratloo, M. Karaul, H. Karl, Z.M. Kedem, Technical Report (1997).
LibreCat | Files available
 
1997 | Conference Paper | LibreCat-ID: 14991
A user-adaptive chart editing system based on user modeling and critiquing
B. Gutkauf, S. Thies, G. Domik, in: User Modeling, 1997, pp. 159–170.
LibreCat
 
1997 | Journal Article | LibreCat-ID: 15571
La fondazione del punto matematico nella filosofia di Tommaso Campanella
R. Hagengruber, Bruniana & Campanelliana 3 (1997) 77–92.
LibreCat | Download (ext.)
 
1997 | Conference Paper | LibreCat-ID: 2013
A Closer Step towards Management of Metacomputing-Resources
M. Brune, C. Hellmann, A. Keller, in: Proc. Workshop Hypercomputing at ITG/GI-Conference Architekur von Rechensystemen, Rostock, Germany, 1997.
LibreCat
 
 
1997 | Book Chapter | LibreCat-ID: 16687
Routing on asyncronous processor networks
E. Karaivazoglou, F. Meyer auf der Heide, in: Euro-Par’97 Parallel Processing, Berlin, Heidelberg, 1997.
LibreCat | DOI
 
1997 | Journal Article | LibreCat-ID: 16567
Optimal Tradeoffs Between Size and Slowdown for Universal Parallel Networks
F. Meyer auf der Heide, M. Storch, R. Wanka, Theory of Computing Systems (1997) 627–644.
LibreCat | DOI
 
1997 | Working Paper | LibreCat-ID: 2671
Die Zielkostenrechnung als Controllinginstrument
S. Betz, Die Zielkostenrechnung Als Controllinginstrument, Paderborn, 1997.
LibreCat
 
1997 | Journal Article | LibreCat-ID: 3706
Qualität in der Weiterbildung?
C. Harteis, Grundlagen Der Weiterbildung (GdWZ) 8 (1997) 214–215.
LibreCat
 
1997 | Conference Paper | LibreCat-ID: 7842
Einfrequenzbetrieb von Nd:YAG-Stablasersystemen hoher Ausgangsleistung
S. Knoke, R. Depke, W. Schöne, O.S. Brozek, A. Tünnermann, H. Welling, in: Verhandlungen Der Deutschen Physikalischen Gesellschaft, Weinheim (Germany), Physik-Verlag, 1997.
LibreCat
 
1997 | Report | LibreCat-ID: 8201
Loose Semantics and Constraints for Graph Transformation Systems
R. Heckel, H. Ehrig, U. Wolter, A. Corradini, Loose Semantics and Constraints for Graph Transformation Systems, 1997.
LibreCat
 
1997 | Conference Paper | LibreCat-ID: 8903
Schwingungsverhalten von Schaufelkränzen mit Reibelementen bei Frequenzverstimmung
W. Sextro, in: VDI-Reihe, VDI-Verlag, Düsseldorf, 1997.
LibreCat
 
1997 | Journal Article | LibreCat-ID: 17015
A subdivision algorithm for the computation of unstable manifolds and global attractors
M. Dellnitz, A. Hohmann, Numerische Mathematik 75 (1997) 293–317.
LibreCat | DOI
 
1997 | Conference Paper | LibreCat-ID: 17495
The Axiomatic Method and Ernst Schröder’s Algebraic Approach to Logic
V. Peckhaus, in: Philosophia Scientiae. Travaux d’histoire et de Philosophie Des Science (Nancy) 1/3 (1996). 1–15 [Erschienen Im Juni 1997, = Actes Du Congrès International Poincaré – Nancy 1994; Bd. 2.2], 1997, pp. 1–15.
LibreCat
 
 
1997 | Book Review | LibreCat-ID: 18203
Temple, George, “Fundamental Mathematical Theories”, Philos. Trans. R. Soc. Lond., Ser. A 354, No. 1714 (1996), 1941–1967
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 863.03005] (1997).
LibreCat
 
1997 | Book Review | LibreCat-ID: 18208
Benmakhlouf, Ali, Gottlob Frege. Logicien philosophe, Presses Universitaires de France: Paris 1997
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 873.01015] (1997).
LibreCat
 
1997 | Book (Editor) | LibreCat-ID: 18551
Gattungen mittelalterlicher Schriftlichkeit
B. Frank, T. Haye, D. Tophinke, eds., Gattungen mittelalterlicher Schriftlichkeit, Narr, Tübingen, 1997.
LibreCat
 
1997 | Conference Paper | LibreCat-ID: 18575
Encoding a Triangulation as a Permutation of its Point Set
C. Sohler, M. Denny, in: Proceedings of the 9th Canadian Conference on Computational Geometry, 1997, pp. 39–43.
LibreCat
 
1997 | Journal Article | LibreCat-ID: 18626
Excitons with anisotropic effective mass
A. Schindlmayr, European Journal of Physics 18 (1997) 374–376.
LibreCat | Files available | DOI
 
1997 | Report | LibreCat-ID: 18955
Decremental Biconnectivity on Planar Graphs
W.-B. Strothmann, T. Lukovszki, Decremental Biconnectivity on Planar Graphs, Paderborn, 1997.
LibreCat | Files available
 
1997 | Journal Article | LibreCat-ID: 19410 LibreCat
 
1997 | Dissertation | LibreCat-ID: 19636
Communication and I/O Efficient Parallel Data Structures
W. Dittrich, Communication and I/O Efficient Parallel Data Structures, Universität Paderborn, 1997.
LibreCat
 
1997 | Dissertation | LibreCat-ID: 19631
Communication Efficient Parallel Searching
A. Bäumker, Communication Efficient Parallel Searching, Universität Paderborn, 1997.
LibreCat
 
1997 | Conference Paper | LibreCat-ID: 19869
Bounded degree spanning trees
A. Czumaj, W.-B. Strothmann, in: Proceedings of the Fifth Annual European Symposium on Algorithms (ESA’97), 1997.
LibreCat | DOI
 
1997 | Journal Article | LibreCat-ID: 10609
A Computer Architecture to Support Qualitative Simulation in Industrial Applications
M. Platzner, B. Rinner, R. Weiss, E & i Elektrotechnik Und Informationstechnik 114 (1997) 13–18.
LibreCat
 
1997 | Journal Article | LibreCat-ID: 10724
Parallel qualitative simulation
M. Platzner, B. Rinner, R. Weiss, Simulation Practice and Theory 5 (1997) 623–638.
LibreCat | DOI
 
1997 | Misc | LibreCat-ID: 13090
Synthesis of Fast On-Line Testable Controllers for Data-Dominated Applications
A. Hertwig, S. Hellebrand, H.-J. Wunderlich, Synthesis of Fast On-Line Testable Controllers for Data-Dominated Applications, 3rd IEEE International On-Line Testing Workshop, Crete, Greece, 1997.
LibreCat
 
1997 | Conference Paper | LibreCat-ID: 13603
Fast Signature Segmentation on a Multi-DSP Architecture
M. Platzner, L. Peters, in: Proceedings of the SPIE: Conference on Parallel and Distributed Methods for Image Processing, 1997.
LibreCat
 
1997 | Journal Article | LibreCat-ID: 13778
Chemisorption of arsenic on InP(110)
U. Großner, W.G. Schmidt, F. Bechstedt, P.V. Santos, B. Koopmans, N. Esser, Surface Science 377–379 (1997) 619–622.
LibreCat | DOI
 
1997 | Journal Article | LibreCat-ID: 13780
Antimony-stabilized GaAs(001)(2×4) reconstructions
W.G. Schmidt, F. Bechstedt, Physical Review B 55 (1997) 13051–13057.
LibreCat | DOI
 
1997 | Book (Editor) | LibreCat-ID: 15611
Begegnungen mit Philosophinnen : Seminar "Feministische Ethik"
R. Hagengruber, O. Stein, S. Wedig, eds., Begegnungen mit Philosophinnen : Seminar “Feministische Ethik” , Quast-Verlag, Koblenz, 1997.
LibreCat
 
1997 | Conference Paper | LibreCat-ID: 15034
How effective are 3D display modes?
S. Volbracht, G. Domik, K. Shahrbabaki, G. Fels, in: Proceedings of the ACM SIGCHI Conference on Human Factors in Computing Systems, 1997, pp. 540–541.
LibreCat
 
1997 | Book Chapter | LibreCat-ID: 1718
Europäisches Wirtschaftsrecht
D. Krimphove, A. Schollmeier, in: Bleckmann, Europarecht, 6th ed., Carl Heymanns Verlag KG, Köln, 1997, pp. 650–717.
LibreCat
 
1997 | Book Chapter | LibreCat-ID: 3029
Denesting by bounded degree radicals
J. Blömer, in: Algorithms — ESA ’97, Springer Berlin Heidelberg, Berlin, Heidelberg, 1997, pp. 53–63.
LibreCat | Files available | DOI
 
1997 | Journal Article | LibreCat-ID: 3067
Catching-up and Structural Change
T. Gries, S. Jungblut, Economia Internationale 50 (1997) 3–24.
LibreCat
 
1997 | Journal Article | LibreCat-ID: 5607
Flexibility in European Labour Markets? The Evidence Renewed
C. Brewster, L. Mayne, M.A.I. Valverde, R. Kabst, Employee Relations 6 (1997) 509–518.
LibreCat
 
1997 | Dissertation | LibreCat-ID: 7348
Medienentwicklung - Theoretische Modellierung und fachdidaktisch ausgerichtete Anwendung
H.-H. Kremer, Medienentwicklung - Theoretische Modellierung und fachdidaktisch ausgerichtete Anwendung, Köln, 1997.
LibreCat
 
1997 | Conference Paper | LibreCat-ID: 8106
Das ECO–PV–System
S. Krauter, H. Duwe, in: Zwölftes Nationales Symposium Für Photovoltaische Energiewandlung, Staffelstein, 26.–28. Februar 1997, Band 1, S. 297–302., 1997.
LibreCat
 
1997 | Conference Paper | LibreCat-ID: 8904
Improved reliability of bladed disks due to friction dampers
W. Sextro, K. Popp, I. Wolter, in: The 1997 International Gas Turbine \& Aeroengine Congress \& Exposition, 1997.
LibreCat
 
1997 | Conference Paper | LibreCat-ID: 8276
A 2-Categorical Presentation of Distributed Graph Transformation
F. Gadducci, R. Heckel, in: Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France), Bordeaux, 1997.
LibreCat
 
1997 | Journal Article | LibreCat-ID: 16614
An adaptive method for the approximation of the generalized cell mapping
R. Guder, M. Dellnitz, E. Kreuzer, Chaos, Solitons & Fractals (1997) 525–534.
LibreCat | DOI
 
1997 | Book Chapter | LibreCat-ID: 17496
Formalistische Taschenspielertricks? Frege und Hankel
V. Peckhaus, in: G. Gabriel, W. Kienzler (Eds.), Frege in Jena. Beiträge zur Spurensicherung, Königshausen & Neumann, Würzburg, 1997, pp. 111–122.
LibreCat
 
 
1997 | Book Review | LibreCat-ID: 18204
Hintikka, Jaakko, The Principles of Mathematics Revisited, Cambridge University Press: Cambridge 1996
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 869.03003] (1997).
LibreCat
 
1997 | Conference Paper | LibreCat-ID: 16568
Dynamic data structures for realtime management of large geometric scenes
M. Fischer, F. Meyer auf der Heide, W.-B. Strothmann, in: 5th Annual European Symposium on Algorithms (ESA ’97), Springer, Berlin, Heidelberg, 1997, pp. 1157–170.
LibreCat | DOI
 
1997 | Book Chapter | LibreCat-ID: 19411
„Sein Leben machen / ist nicht, / sein Glück machen / mein Herr“. Zum Verhältnis von Ästhetik und Politik in Herta Müllers Nachrichten aus Rumänien
N.O. Eke, in: W. Barner, W. Müller-Seidel, U. Ott (Eds.), Jahrbuch der Deutschen Schillergesellschaft, Metzler, Stuttgart, 1997, pp. 481–509.
LibreCat
 
1997 | Encyclopedia Article | LibreCat-ID: 19480
Bürgerliches Trauerspiel
N.O. Eke, in: H. Brunner, R. Moritz (Eds.), Literaturwissenschaftliches Lexikon. Grundbegriffe der Germanistik, Berlin, 1997, pp. 58–60.
LibreCat
 
1997 | Encyclopedia Article | LibreCat-ID: 19485
Tragödie
N.O. Eke, in: H. Brunner, R. Moritz (Eds.), Literaturwissenschaftliches Lexikon. Grundbegriffe der Germanistik, Berlin, 1997, pp. 347–350.
LibreCat
 
1997 | Dissertation | LibreCat-ID: 19637
Bounded Degree Spanning Trees
W.-B. Strothmann, Bounded Degree Spanning Trees, Universität Paderborn, 1997.
LibreCat | Files available
 
1997 | Conference Paper | LibreCat-ID: 11855
Investigation of Acoustic Front Ends for Speaker-Independent Speech Recognition in the Car
D. Langmann, F. Wuppermann, R. Haeb-Umbach, A. Fischer, T. Eisele, in: Aachener Kolloquium on Signal Theory, 1997.
LibreCat
 
1997 | Journal Article | LibreCat-ID: 11766
The development of a command-based speech interface for a telephone answering machine
S. Gamm, R. Haeb-Umbach, D. Langmann, Speech Communication (1997).
LibreCat
 
1997 | Misc | LibreCat-ID: 13089
STARBIST: Scan Autocorrelated Random Pattern Generation
K.-H. Tsai, S. Hellebrand, J. Rajski, M. Marek-Sadowska, STARBIST: Scan Autocorrelated Random Pattern Generation, 4th IEEE International Test Synthesis Workshop, Santa Barbara, CA, USA, 1997.
LibreCat
 
1997 | Journal Article | LibreCat-ID: 13779
Comparison of As-rich and Sb-terminated GaAs(100)(2 × 4) reconstructions
W.G. Schmidt, F. Bechstedt, Surface Science 377–379 (1997) 11–14.
LibreCat | DOI
 
1997 | Journal Article | LibreCat-ID: 13781
Electron-positron momentum density distribution in diamond
R.W.N. Nilen, S.H. Connell, W.G. Schmidt, D.T. Britton, W.S. Verwoerd, J.P.F. Sellschop, S. Shrivastava, Applied Surface Science 116 (1997) 330–334.
LibreCat | DOI
 
1997 | Conference Paper | LibreCat-ID: 13604
Specialized Architectures for Optical Flow Computation: A Performance Comparison of ASIC, DSP, and Multi-DSP
T. Röwekamp, M. Platzner, L. Peters, in: Proceedings of the 8th International Conference on Signal Processing Applications & Technology (ICSPAT), 1997, pp. 829–833.
LibreCat
 
1997 | Conference Paper | LibreCat-ID: 16689
Exploiting locality for data management in systems of limited bandwidth
B.M. Maggs, F. Meyer auf der Heide, B. Vöcking, M. Westermann, in: Proceedings 38th Annual Symposium on Foundations of Computer Science, 1997.
LibreCat | DOI
 
1997 | Book Chapter | LibreCat-ID: 16569
Static and dynamic data management in networks
F. Meyer auf der Heide, B. Vöcking, in: Euro-Par’97 Parallel Processing, Berlin, Heidelberg, 1997.
LibreCat | DOI
 
1997 | Book | LibreCat-ID: 1606
"Wir haben ein Gesetz..." rechtliche Anmerkungen zum Strafverfahren gegen Jesus
D. Krimphove, “Wir Haben Ein Gesetz...” Rechtliche Anmerkungen Zum Strafverfahren Gegen Jesus, Lit Verlag, Münster, 1997.
LibreCat
 
 
1997 | Conference Paper | LibreCat-ID: 2438
Workload Analysis of Computation Intensive Tasks: Case Study on SPEC CPU95 Benchmarks
J. Simon, R. Weicker, M. Vieth, in: Proc. European Conf. on Parallel Processing (Euro-Par), Springer, Berlin / Heidelberg, 1997, pp. 971–984.
LibreCat | DOI
 
1997 | Conference Paper | LibreCat-ID: 2440
SCI multiprocessor PC cluster in a WindowsNT environment
J. Simon, O. Heinz, in: Proc. Workshops Im Rahmen Der 14. ITG/GI-Fachtagung Architektur von Rechensystemen, 1997, pp. 189–199.
LibreCat
 
1997 | Conference Paper | LibreCat-ID: 3258
Dependency-Based Action Refinement
A. Rensink, H. Wehrheim, in: I. Pr{\’{\i}}vara, P. Ruzicka (Eds.), Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings, 1997, pp. 468--477.
LibreCat | DOI
 
1997 | Book | LibreCat-ID: 6752
Samuel Beckett's Dramatic Strategy. Audience Laughter and the Postmodernist Debate
M. Tönnies, Samuel Beckett’s Dramatic Strategy. Audience Laughter and the Postmodernist Debate, WVT, Trier, 1997.
LibreCat
 
1997 | Journal Article | LibreCat-ID: 7402
Guest Editors' Introduction
G. Engels, H. Jürgen Schneider, International Journal on Software Engineering and Knowledge Engineering (IJSEKE) 7 (1997) 397–400.
LibreCat | DOI
 
1997 | Book Chapter | LibreCat-ID: 7515
Algebraic Approaches to Graph Transformation, Part II: Single Pushout Approach and Comparison with Double Pushout Approach
H. Ehrig, R. Heckel, M. Korff, M. Löwe, L. Ribeiro, A. Wagner, A. Corradini, in: Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations, World Scientific, Singapore, 1997, pp. 247–312.
LibreCat
 
1997 | Journal Article | LibreCat-ID: 8107
Lernen über das World–Wide–Web am Beispiel der Sonnenenergienutzung
S. Krauter, Telelearning: Aufgabe Und Chance Für Bildung Und Gesellschaft (1997) 149–150.
LibreCat
 
1997 | Conference Paper | LibreCat-ID: 8277
Combining Graph Transformations with Temporal Logic
F. Gadducci, R. Heckel, M. Koch, in: Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France), Bordeaux, 1997.
LibreCat
 
1997 | Conference Paper | LibreCat-ID: 8900
Ultrasonic motors for linear positioning tasks in automobiles
T. Hemsel, J. Wallaschek, in: Proceedings of the 30th International Symposium on Automotive Technology \& Automation (ISATA), Florenz, Italien, 1997, pp. 631–637.
LibreCat
 
1997 | Conference Paper | LibreCat-ID: 16893
Demo eines Intelligenten Diagramm Assistenten (IDIAS)
S. Thies, B. Gutkauf, G. Domik-Kienegger, in: Proceedings 5. GI Workshop Adaptivität Und Benutzermodellierung in Interaktiven Softwaresystemen, 1997.
LibreCat
 
1997 | Journal Article | LibreCat-ID: 16552
Exploring invariant sets and invariant measures
M. Dellnitz, A. Hohmann, O. Junge, M. Rumpf, Chaos: An Interdisciplinary Journal of Nonlinear Science (1997) 221–228.
LibreCat | DOI
 
1997 | Journal Article | LibreCat-ID: 16564
A lower bound for randomized algebraic decision trees
D. Grigoriev, M. Karpinski, F. Meyer auf der Heide, R. Smolensky, Computational Complexity (1997) 357–375.
LibreCat | DOI
 
1997 | Book | LibreCat-ID: 17447
Logik, Mathesis universalis und allgemeine Wissenschaft. Leibniz und die Wiederentdeckung der formalen Logik im 19. Jahrhundert
V. Peckhaus, Logik, Mathesis universalis und allgemeine Wissenschaft. Leibniz und die Wiederentdeckung der formalen Logik im 19. Jahrhundert, Akademie-Verlag, Berlin, 1997.
LibreCat
 
1997 | Book Review | LibreCat-ID: 18197 LibreCat
 
 
1997 | Book Review | LibreCat-ID: 18205 LibreCat
 
1997 | Journal Article | LibreCat-ID: 18628
Violation of particle number conservation in the GW approximation
A. Schindlmayr, Physical Review B 56 (1997) 3528–3531.
LibreCat | Files available | DOI | WoS
 
1997 | Conference Paper | LibreCat-ID: 11781 LibreCat | Download (ext.)
 
1997 | Conference Paper | LibreCat-ID: 11750
Signal Representations for Hidden Markov Model Based On-Line Handwriting Recognition
J.G.A. Dolfing, R. Haeb-Umbach, in: ICASSP, Munich, 1997.
LibreCat | Download (ext.)
 
1997 | Conference Paper | LibreCat-ID: 13009
STARBIST: Scan Autocorrelated Random Pattern Generation
K.-H. Tsai, S. Hellebrand, M. Marek-Sadowska, J. Rajski, in: {34th ACM/IEEE Design Automation Conference (DAC’97)}, {IEEE}, Anaheim, CA, USA, 1997.
LibreCat | DOI
 
1997 | Journal Article | LibreCat-ID: 13775
(4×2) and (2×4) reconstructions of GaAs and InP(001) surfaces
W.G. Schmidt, Applied Physics A: Materials Science & Processing 65 (1997) 581–586.
LibreCat | DOI
 
1997 | Conference Paper | LibreCat-ID: 15290
Hierarchical propagation of uncertain constraints
E. Hüllermeier, in: H.J. Zimmermann (Ed.), In Proceedings EUFIT-97 5th European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany, 1997, pp. 953–957.
LibreCat
 
1997 | Book Chapter | LibreCat-ID: 15613
Über die Vervollständigung des Wissens. Philosophinnen in der Wissenschaft
R. Hagengruber, in: G. Völger (Ed.), Sie und Er. Frauenmacht und Männerherrschaft im Kulturvergleich, Rautenstrauch-Joest-Museum, Köln, 1997, pp. 109–114.
LibreCat
 
1997 | Journal Article | LibreCat-ID: 16565
Simulating Shared Memory in Real Time: On the Computation Power of Reconfigurable Architectures
A. Czumaj, F. Meyer auf der Heide, V. Stemann, Information and Computation (1997) 103–120.
LibreCat | DOI
 
1997 | Conference Paper | LibreCat-ID: 16604
Allocating weighted jobs in parallel
P. Berenbrink, F. Meyer auf der Heide, K. Schröder, in: Proceedings of the Ninth Annual ACM Symposium on Parallel Algorithms and Architectures  - SPAA ’97, 1997.
LibreCat | DOI
 
1997 | Book Review | LibreCat-ID: 1690 LibreCat
 
1997 | Conference Paper | LibreCat-ID: 2439
Experiences with a SCI Multiprocessor Workstation Cluster
O. Heinz, J. Simon, in: Proc. Int. Conf. on Architecture of Computing Systems (ARCS), VDE Verlag, 1997.
LibreCat
 
1997 | Conference Paper | LibreCat-ID: 2441
Embedding SCI into PVM
M. Fischer, J. Simon, in: Proc. European Parallel Virtual Machine / Message Passing Interface Users’ Group Meeting (EuroPVM/MPI), Springer, Berlin / Heidelberg, 1997, pp. 175–184.
LibreCat | DOI
 
1997 | Working Paper | LibreCat-ID: 2580
Zum Abbau der Diskriminierung von Frauenarbeit im Rahmen kostenminimaler Produktionen
S. Betz, Zum Abbau der Diskriminierung von Frauenarbeit im Rahmen kostenminimaler Produktionen, Braunschweig, 1997.
LibreCat
 
1997 | Journal Article | LibreCat-ID: 3033
The rank of sparse random matrices over finite fields
J. Blömer, R. Karp, E. Welzl, Random Structures \& Algorithms (1997) 407–419.
LibreCat | DOI
 
1997 | Conference Paper | LibreCat-ID: 3259
Dependency-Based Action Refinement
A. Rensink, H. Wehrheim, in: I. Pr{\’{\i}}vara, P. Ruzicka (Eds.), Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings, 1997, pp. 468--477.
LibreCat | DOI
 
1997 | Book Chapter | LibreCat-ID: 3526
Catching-up of Economies in Transformation
T. Gries, S. Jungblut, in: P.J.J. Welfens, H.C. Wolf (Eds.), Banking, International Capital Flows and Growth in Europe, Springer-Verlag, Berlin Heidelberg New York, 1997, pp. 297–311.
LibreCat
 
1997 | Journal Article | LibreCat-ID: 6234
New Developments in Labour Flexibility
L. Mayne, M.A.I. Valverde, C. Brewster, R. Kabst, New Developments in Labour Flexibility, Special Issue, Employee Relations: The International Journal 19 (1997).
LibreCat
 
1997 | Journal Article | LibreCat-ID: 5611
The Flexibility Paradox
M.A.I. Valverde, R. Kabst, C. Brewster, L. Mayne, Employee Relations 6 (1997) 596–608.
LibreCat
 
1997 | Book | LibreCat-ID: 6537
Windatlas für die Kreise Holzminden, Hameln-Pyrmont und Teile der Kreise Schaumburg und Hildesheim
J. Bendfeld, S.O. Gärtner, E. Ortjohann, Windatlas für die Kreise Holzminden, Hameln-Pyrmont und Teile der Kreise Schaumburg und Hildesheim, Universität - GH Paderborn, Fachgebiet Elektrische Energieversorgung, 1997.
LibreCat
 
1997 | Journal Article | LibreCat-ID: 7403
A Combined Reference Model- and View-Based Approach to System Specification
G. Engels, R. Heckel, G. Taentzer, H. Ehrig, Int. Journal of Software and Knowledge Engeneering 7 (1997) 457–477.
LibreCat
 
1997 | Book Chapter | LibreCat-ID: 7516
How to represent a visual specification
G. Engels, J. Rekers, M. Andries, in: Visual Language Theory, Springer, Berlin/Heidelberg, 1997, pp. 241–255.
LibreCat
 
1997 | Conference Paper | LibreCat-ID: 7840
Thermooptische Effekte in Nd:YAG-Slablasern
R. Depke, S. Knoke, W. Schöne, A. Tünnermann, H. Welling, in: Verhandlungen Der Deutschen Physikalischen Gesellschaft, Physik-Verlag, Weinheim, Germany, 1997.
LibreCat
 
1997 | Conference Paper | LibreCat-ID: 8108
Reflection-Losses at Structured PV-Modules
U. Kerst, S. Krauter, R. Hanitsch, in: Proceedings of the 14th European Photovoltaic Solar Energy Conference, Barcelona (Spanien), 30. Juni – 4. Juli 1997, S. 232–235, 1997.
LibreCat
 
1997 | Conference Paper | LibreCat-ID: 8278
An Inductive View of Graph Transformation
F. Gadducci, R. Heckel, in: Proceedings of the 12th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 1997), Tarquinia (Italy), Springer, Berlin/Heidelberg, 1997, pp. 223–237.
LibreCat
 
1997 | Journal Article | LibreCat-ID: 8470
Didaktik des Rechnungswesens
H.-H. Kremer, P.F.E. Sloane, Erziehungswissenschaft und Beruf (1997) 137–138.
LibreCat
 
1997 | Conference Paper | LibreCat-ID: 8898
Schwingungsprüfstand zur vollautomatischen Messung von Ultraschallschwingungen in piezoelektrischen Antrieben
S. Goldschmidt, T. Hemsel, J. Krome, H. Storck, J. Wallaschek, in: Tagungsband Zum 4. Laser Vibrometer Seminar Der Polytec GmbH, Waldbronn, Deutschland, 1997.
LibreCat
 
1997 | Conference Paper | LibreCat-ID: 8901
Piezoelectric ultrasonic linear motors
T. Hemsel, J. Wallaschek, in: EUROMECH, European Mechanics Colloquium “Synthesis of Mechatronic Sytems,” Duisburg, 1997.
LibreCat
 
1997 | Conference Paper | LibreCat-ID: 16894
User Adaptive Presentation of Information
B. Gutkauf, S. Thies, G. Domik-Kienegger, in: Proceedings 2nd International Symposium on Global Engineering Networking, 1997, pp. 115–127.
LibreCat
 
1997 | Book Review | LibreCat-ID: 18198
Jourdain, P.E.B., Selected Essays on the History of Set Theory and Logics (1906–1918), hg. v. I. Grattan-Guinness, CLUEB: Bologna 1991
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 853.01037] (1997).
LibreCat
 
1997 | Book Review | LibreCat-ID: 18201
Halmos, P.R., “To Count or to Think, that is the Question”, Nieuw Arch. Wiskd., IV. ser., 13 (1995), 61–76
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 858.00006] (1997).
LibreCat
 
1997 | Book Review | LibreCat-ID: 18206
DePauli-Schimanovich, Werner/Weibel, Peter, Kurt Gödel: ein mathematischer Mythos, Hölder-Pichler-Tempski: Wien 1997
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 872.01030] (1997).
LibreCat
 
1997 | Book Chapter | LibreCat-ID: 18427
Zum Problem der Gattungsgrenze – Möglichkeiten einer prototypentheoretischen Lösung
D. Tophinke, in: B. Frank, T. Haye, D. Tophinke (Eds.), Gattungen mittelalterlicher Schriftlichkeit, Narr, Tübingen, 1997, pp. 161–182.
LibreCat
 
1997 | Book | LibreCat-ID: 19019
Signaturen der Revolution. Frankreich – Deutschland: deutsche Zeitgenossenschaft und deutsches Drama zur Französischen Revolution um 1800
N.O. Eke, Signaturen der Revolution. Frankreich – Deutschland: deutsche Zeitgenossenschaft und deutsches Drama zur Französischen Revolution um 1800, Fink, München, 1997.
LibreCat
 
1997 | Conference Paper | LibreCat-ID: 2179
Simple, Efficient Routing Schemes for All-Optical Networks
M. Flammini, C. Scheideler, in: SPAA, 1997, pp. 170--179.
LibreCat | Files available
 
1997 | Conference Paper | LibreCat-ID: 11819
European Speech Databases for Telephone Applications
H. Hoege, H.S. Tropf, R. Winsky, H. van den Heuvel, R. Haeb-Umbach, K. Choukri, in: ICASSP, Munich, 1997.
LibreCat | Download (ext.)
 
1997 | Conference Paper | LibreCat-ID: 11852
Acoustic Front Ends for Speaker-Independent Digit Recognition in Car Environments
D. Langmann, A. Fischer, F. Wuppermann, R. Haeb-Umbach, T. Eisele, in: Eurospeech, 1997.
LibreCat | Download (ext.)
 
1997 | Journal Article | LibreCat-ID: 13776
The anisotropic electron - positron momentum distribution in diamond
R.W.N. Nilen, S.H. Connell, D.T. Britton, C.G. Fischer, E.J. Sendezera, P. Schaaff, W.G. Schmidt, J.P.F. Sellschop, W.S. Verwoerd, Journal of Physics: Condensed Matter 9 (1997) 6323–6333.
LibreCat | DOI
 
1997 | Conference Paper | LibreCat-ID: 15291
Approximation of fuzzy functions
E. Hüllermeier, in: A. Grauel, W. Becker, F. Belli (Eds.), In Proceedings 4.Internationaler Workshop Fuzzy-Neuro-Systeme. Soest Germany, 1997, pp. 374–381.
LibreCat
 
1997 | Conference Paper | LibreCat-ID: 15811
Modellierung und Simulation unsicherer dynamischer Systeme und Anwendungen in der Diagnose
E. Hüllermeier, in: D.P.F. Möller, O. Richter (Eds.), In Proceedings ASIM Fachgruppentagung Soft Computing, 1997.
LibreCat
 
1997 | Journal Article | LibreCat-ID: 16201
A new approach to modelling and simulation of uncertain dynamical systems
E. Hüllermeier, International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 5 (1997) 117–137.
LibreCat
 
 
1997 | Book Chapter | LibreCat-ID: 16605
Communication efficient parallel searching
A. Bäumker, F. Meyer auf der Heide, in: Solving Irregularly Structured Problems in Parallel, Berlin, Heidelberg, 1997.
LibreCat | DOI
 
1997 | Journal Article | LibreCat-ID: 1665
Europäisches Arbeitsrecht - Konsequenzen für die betriebliche Praxis
D. Krimphove, Kommunale Aufgaben Und Umweltrecht (1997) 49 ff.
LibreCat
 
1997 | Book Chapter | LibreCat-ID: 16693
Parallel Computing in Paderborn: The SFB 376 “Massive Parallelism — Algorithms, Design Methods, Applications”
F. Meyer auf der Heide, T. Decker, in: Informatik ’97 Informatik Als Innovationsmotor, Berlin, Heidelberg, 1997.
LibreCat | DOI
 
1997 | Conference Paper | LibreCat-ID: 2442
The MOL Project: An Open, Extensible Metacomputer
A. Reinefeld, R. Baraglia, T. Decker, J. Gehring, D. Laforenza, F. Ramme, T. Römke, J. Simon, in: Proc. Heterogenous Computing Workshop (HCW), IEEE Computer Society, 1997, pp. 17–31.
LibreCat | DOI
 
1997 | Journal Article | LibreCat-ID: 3527
Amerikanisches Job-Wunder versus deutsches Produktivitätswunder: Ein Vergleich der Arbeitsmarktstrategien
T. Gries, A. Birk, Wirtschaftsdienst – Zeitschrift Für Wirtschaftspolitik (1949 - 2007) 77 (1997) 99–106.
LibreCat
 
1997 | Book Chapter | LibreCat-ID: 6228
Personalwirtschaftliche Strategien im europäischen Vergleich – Eine Analyse organisations- und landesspezifischer Prädiktoren
W. Weber, R. Kabst, in: R. Klimecki, A. Remer (Eds.), Personal Als Strategie, 1997, pp. 20–45.
LibreCat
 
1997 | Book Chapter | LibreCat-ID: 7517
Algebraic Approaches to Graph Transformation, Part I: Basic Concepts and Double Pushout Approach
A. Corradini, U. Montanari, F. Rossi, H. Ehrig, R. Heckel, M. Löwe, in: Handbook of Graph Grammars and Computing by Graph Transformation, Volume 1: Foundations, World Scientific, Singapore, 1997, pp. 163–245.
LibreCat
 
1997 | Conference Paper | LibreCat-ID: 7841
Integrating the Specification Techniques of Graph Transformation and Temporal Logic
R. Heckel, H. Ehrig, U. Wolter, A. Corradini, in: Proceedings of the 22nd International Symposium on Mathematical Foundations of Computer Science (MFCS 1997), Bratislava (Slovakia), Springer, London, UK, 1997, pp. 219–228.
LibreCat | DOI
 
1997 | Conference (Editor) | LibreCat-ID: 7795
Themenheft: Softwaretechnik
G. Engels, ed., Themenheft: Softwaretechnik, Springer, Berlin/Heidelberg, 1997.
LibreCat | DOI
 
1997 | Conference Paper | LibreCat-ID: 7839
A View-Oriented Approach to System Modelling Using Graph Transformations
G. Engels, R. Heckel, G. Taentzer, H. Ehrig, in: M. Jazayeri, H. Schauer (Eds.), Proceedings European Software Engineering Conference (ESEC 1997), Zürich (Switzerland), Springer, Berlin/Heidelberg, 1997, pp. 327–343.
LibreCat | DOI
 
1997 | Conference Paper | LibreCat-ID: 8902
Schwingungsverhalten von verstimmten Beschaufelungen mit Reibelementen
K. Popp, W. Sextro, in: Forschungsvereinigung Verbrennungskraftmaschinen (FW) -Lnformationstagung Turbinen, Frankfurt am Main, Germany, 1997, pp. 131–142.
LibreCat
 
1997 | Book Chapter | LibreCat-ID: 8421
Grundfragen der Berufsbildung
D. Euler, H.-H. Kremer, M. Theis, in: D. Euler, H.-H. Kremer, M. Theis (Eds.), Meisterprüfung - Lernen für die Praxis, Ausbilden im Handwerk, 3rd ed., Düsseldorf, 1997, pp. 13–42.
LibreCat
 
1997 | Conference Paper | LibreCat-ID: 8279
Compositional Development and Verification of Graph Transformation Systems Based on Views and View Integration
R. Heckel, in: Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France), 1997.
LibreCat
 
1997 | Journal Article | LibreCat-ID: 16535
Almost Invariant Sets in Chua's Circuit
M. Dellnitz, O. Junge, International Journal of Bifurcation and Chaos (1997) 2475–2485.
LibreCat | DOI
 
 
1997 | Journal Article | LibreCat-ID: 17494
The Way of Logic into Mathematics
V. Peckhaus, Theoria. Segunda Época (Seccion Monografica Sobre La Historia de La Lógica Matemática, Hg. v. Luis Vega Reñon) 12 (1997) 39–64.
LibreCat
 
1997 | Book Review | LibreCat-ID: 18202 LibreCat
 
1997 | Book Review | LibreCat-ID: 18199
Gödel, Kurt, Unpublished Philosophical Essays, hg. v. Francisco A. Rodríguez-Consuegra, Birkhäuser: Basel 1995
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 854.01046] (1997).
LibreCat
 
1997 | Encyclopedia Article | LibreCat-ID: 19483
DDR-Literatur
N.O. Eke, in: H. Brunner, R. Moritz (Eds.), Literaturwissenschaftliches Lexikon. Grundbegriffe der Germanistik, Berlin, 1997, pp. 64–68.
LibreCat
 
1997 | Conference Paper | LibreCat-ID: 2175
Optimal Wormhole Routing in the (n, d)-Torus
S. Bock, F. Meyer auf der Heide, C. Scheideler, in: IPPS, IEEE Computer Society, 1997, pp. 326--332.
LibreCat | Files available
 
1996 | Conference Paper | LibreCat-ID: 11853 LibreCat | Download (ext.)
 
1996 | Misc | LibreCat-ID: 13087
Using Embedded Processors for BIST
S. Hellebrand, H.-J. Wunderlich, Using Embedded Processors for BIST, 3rd IEEE International Test Synthesis Workshop, Santa Barbara, CA, 1996.
LibreCat
 
1996 | Conference Paper | LibreCat-ID: 13602
A Multi-DSP System with Dynamically Reconfigurable Processors
E. Lind, M. Platzner, B. Rinner, in: Proceedings of the 7th International Conference on Signal Processing Applications & Technology (ICSPAT), 1996.
LibreCat
 
1996 | Journal Article | LibreCat-ID: 13784
Optical Properties of Ordered As Layers on InP(110) Surfaces
P.V. Santos, B. Koopmans, N. Esser, W.G. Schmidt, F. Bechstedt, Physical Review Letters 77 (1996) 759–762.
LibreCat | DOI
 
1996 | Journal Article | LibreCat-ID: 13789
Structure of the diamond (111) surface: Single-dangling-bond versus triple-dangling-bond face
A. Scholze, W.G. Schmidt, F. Bechstedt, Physical Review B 53 (1996) 13725–13733.
LibreCat | DOI
 
1996 | Journal Article | LibreCat-ID: 13791
Diamond (111) and (100) surface reconstructions
A. Scholze, W.G. Schmidt, F. Bechstedt, Thin Solid Films 281–282 (1996) 256–259.
LibreCat | DOI
 
1996 | Conference Paper | LibreCat-ID: 15292
Approminate probabilistic reasoning with fuzzy constraints
E. Hüllermeier, in: H.J. Zimmermann (Ed.), In Proceedings EUFIT-96 4th European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany, 1996.
LibreCat
 
1996 | Journal Article | LibreCat-ID: 16699
Strongly adaptive token distribution
F. Meyer auf der Heide, B. Oesterdiekhoff, R. Wanka, Algorithmica (1996) 413–427.
LibreCat | DOI
 
1996 | Book (Editor) | LibreCat-ID: 16702
Automata, Languages and Programming, 23rd International Colloquium, ICALP96
F. Meyer auf der Heide, B. Monien, eds., Automata, Languages and Programming, 23rd International Colloquium, ICALP96, Berlin, Heidelberg, 1996.
LibreCat | DOI
 
1996 | Conference Paper | LibreCat-ID: 2443
Sequential Performance versus Scalability: Optimizing Parallel LU-Decomposition
J. Simon, J.-M. Wierum, in: Proc. Int. Conf. on High-Performance Computing and Networking (HPCN-Europe), Springer, Berlin / Heidelberg, 1996, pp. 627–632.
LibreCat | DOI
 
1996 | Book Chapter | LibreCat-ID: 6229
Flexibility in Germany
W. Weber, R. Kabst, in: C. Brewster (Ed.), Working Time and Contract Flexibility in the E.U., Cranfield Center for European Human Resource Management, Bedford, 1996, pp. 20–57.
LibreCat
 
1996 | Book | LibreCat-ID: 6534
Windatlas für die Stadt Steinheim
J. Bendfeld, S.O. Gärtner, T. Winkelmann, E. Ortjohann, Windatlas für die Stadt Steinheim, Universität - GH Paderborn, Fachgebiet Elektrische Energieversorgung, 1996.
LibreCat
 
1996 | Report | LibreCat-ID: 6399
Personalwesen im europäischen Vergleich – Ergebnisbericht 1995, Paderborn 1996.
W. Weber, R. Kabst, Personalwesen Im Europäischen Vergleich – Ergebnisbericht 1995, Paderborn 1996., 1996.
LibreCat
 
1996 | Conference (Editor) | LibreCat-ID: 7796
Special Issue on Graph Transformations
G. Engels, H. Ehrig, G. Rozenberg, A. Skowron, eds., Special Issue on Graph Transformations, IOS Press, Amsterdam, 1996.
LibreCat
 
1996 | Conference Paper | LibreCat-ID: 7835
Behavioral Constraints for Loose Graph Transformation Systems
R. Heckel, in: Report on the Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science, Technical University of Berlin, 1996, pp. 12–13.
LibreCat
 
1996 | Journal Article | LibreCat-ID: 7405
Horizontal and Vertical Structuring of Typed Graph Transformation Systems
R. Heckel, A. Corradini, H. Ehrig, M. Löwe, Mathematical Structures in Computer Science 6 (1996) 613–648.
LibreCat
 
1996 | Report | LibreCat-ID: 8198
Definition of an Encapsulated Hierarchical Graph Data Model: Static Aspects, Part 1.
G. Busatto, G. Engels, Definition of an Encapsulated Hierarchical Graph Data Model: Static Aspects, Part 1., Vakgroep Informatica, Rijksuniversiteit Leiden, 1996.
LibreCat
 
1996 | Book Chapter | LibreCat-ID: 8105
Lernen im Internet am Beispiel der Solarenergie
S. Krauter, in: D. Beste, M. Kälke (Eds.), Bildung Im Netz, VDI–Verlag, Düsseldorf, 1996, pp. 115–120.
LibreCat
 
1996 | Conference Paper | LibreCat-ID: 8275
Automatic Integration of Safety Invariants into Z Specifications
R. Heckel, M. Conrad, G. Egger, J. Hiemer, in: Proceedings of the Workshop on Tools for System Development and Verifcation, Shaker Verlag, Bremen, Germany, 1996, pp. 70–83.
LibreCat | Download (ext.)
 
1996 | Book Chapter | LibreCat-ID: 8403
Existenzgründung
H.-H. Kremer, in: H.-H. Kremer, E. Stickling (Eds.), Meisterprüfung - Lernen für die Praxis. Unternehmensführung im Handwerk 1. Dozentenhandbuch für Teil lll der Meisterprüfung - Existenzgründung, Marketing , 1996, pp. 1–30.
LibreCat
 
1996 | Conference Paper | LibreCat-ID: 16896
An Experimental Comparison of 3D Display Modes
S. Volbracht, G. Domik-Kienegger, K. Shahrbabaki, G. Fels, in: Proceedings of IEEE Visualization , 1996, pp. 8–11.
LibreCat
 
1996 | Conference Paper | LibreCat-ID: 17419
A lower bound for randomized algebraic decision trees
D. Grigoriev, M. Karpinski, F. Meyer auf der Heide, R. Smolensky, in: Proc. of 28th ACM-STOC, Eurographics Symposium on Parallel Graphics and Visualization, 1996, pp. 612–621.
LibreCat
 
1996 | Encyclopedia Article | LibreCat-ID: 17642
Wiener [Ludwig Christian]
V. Peckhaus, in: J. Mittelstraß (Ed.), Enzyklopädie Philosophie und Wissenschaftstheorie, Bd. 4: Sp–Z, J.B. Metzler, Stuttgart/Weimar, 1996, pp. 693–694.
LibreCat
 
1996 | Conference Abstract | LibreCat-ID: 17844
Die Wurzeln der deutschen Algebra der Logik
V. Peckhaus, in: Deutsche Mathematiker-Vereinigung. Jahrestagung 1996. 15.–21. September 1996 in Jena, o.O.u.J. (Jena), 1996, p. 196.
LibreCat
 
 
1996 | Book Review | LibreCat-ID: 17921
Quesada, Daniel, “State of Affairs and the Evolution of Carnap’s Semantics”, Logique & Analyse Nouv. Sér. 36 (1993), 149–157
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 836.01018] (1996).
LibreCat
 
1996 | Book Review | LibreCat-ID: 17940 LibreCat
 
1996 | Book Review | LibreCat-ID: 17926 LibreCat
 
1996 | Book Review | LibreCat-ID: 17933
Woleński, Jan, “Mathematical Logic in Poland 1900–1939: People, Circles, Institutions, Ideas”, Modern Logic 5 (1995), 363–405
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 843.03001] (1996).
LibreCat
 
1996 | Book Review | LibreCat-ID: 17938
Hintikka, Jaakko, “Why Parallel Processing?”, in: Casati/Smith/White (Hgg.) 1994 [9.39], 265–272
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 845.68039] (1996).
LibreCat
 
1996 | Book Review | LibreCat-ID: 17945 LibreCat
 
1996 | Book Review | LibreCat-ID: 17952
Detlefsen, Michael, “The Kantian Character of Hilbert’s Formalism”, in: Czermak (Hg.) 1993 [9.4], 195–205
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl 849.00016] (1996).
LibreCat
 
1996 | Conference Paper | LibreCat-ID: 17483
A Realistic Cost Model for the Communication Time in Parallel Programs
M. Fischer, J. Rethmann, A. Wachsmann, in: 3rd Workshop on Abstract Machine Models for Parallel and Distributed Computing (AMW ’96), IOS Press, Amsterdam, 1996, pp. 13–27.
LibreCat | Files available
 
1996 | Misc | LibreCat-ID: 19047
Fotografie: Peter Singer (Erlangen, 22.6.1993), die tageszeitung v. 8.5.1996
V. Peckhaus, Fotografie: Peter Singer (Erlangen, 22.6.1993), die tageszeitung v. 8.5.1996, 1996.
LibreCat
 
1996 | Journal Article | LibreCat-ID: 19314
Geometrische Muster zwischen frühneuzeitlicher Utopie und russischer Avantgarde
E.-M. Seng, R. Saage, Zeitschrift für Geschichtswissenschaft, Heft 8, (1996) 677–602.
LibreCat
 
1996 | Book Review | LibreCat-ID: 19554
Stefan Scherer: Richard Beer-Hofmann und die Wiener Moderne. Tübingen: Max Niemeyer Verlag, 1993
N.O. Eke, Zeitschrift für deutsche Philologie 115 (1996) 307–310.
LibreCat
 
1996 | Conference Paper | LibreCat-ID: 2183
Deterministic Routing with Bounded Buffers: Turning Offline into Online Protocols
F. Meyer auf der Heide, C. Scheideler, in: FOCS, 1996, pp. 370--379.
LibreCat | Files available
 
1996 | Journal Article | LibreCat-ID: 19958
Routing on Networks of Optical Crossbars (Extended Abstract).
F. Schwarze, F. Meyer auf der Heide, K. Schröder, Euro-Par 1996 I (1996) 299–306.
LibreCat
 
1996 | Journal Article | LibreCat-ID: 10197 LibreCat
 
1996 | Conference Paper | LibreCat-ID: 11854
Robust Rejection Modeling for a Small-Vocabulary Application
D. Langmann, R. Haeb-Umbach, T. Eisele, in: ITG Fachtagung Sprachkommunikation, Frankfurt, 1996.
LibreCat
 
1996 | Misc | LibreCat-ID: 13088
Mixed-Mode BIST Using Embedded Processors
S. Hellebrand, H.-J. Wunderlich, A. Hertwig, Mixed-Mode BIST Using Embedded Processors, 2nd IEEE International On-Line Testing Workshop. Biarritz, France, 1996.
LibreCat
 
1996 | Journal Article | LibreCat-ID: 13785
Atomic structures of GaAs(100)-(2 × 4) reconstructions
W.G. Schmidt, F. Bechstedt, Surface Science 360 (1996) L473–L477.
LibreCat | DOI
 
1996 | Journal Article | LibreCat-ID: 13792
Phonons at III–V (110) surfaces
W.G. Schmidt, F. Bechstedt, G.P. Srivastava, Surface Science 352–354 (1996) 83–88.
LibreCat | DOI
 
1996 | Conference Paper | LibreCat-ID: 15293
A fuzzy simulation method
E. Hüllermeier, in: P.G. Anderson, K. Warwick (Eds.), International Symposium on Soft Computing, Reading U.K., ICSC Academic Press, 1996, pp. B230–B236.
LibreCat
 
1996 | Book | LibreCat-ID: 1605
Europäisches Arbeitsrecht
D. Krimphove, Europäisches Arbeitsrecht, Franz Vahlen, München, 1996.
LibreCat
 
1996 | Conference Paper | LibreCat-ID: 16816
Computer Visualization - Concepts, Trends and Current Research
G. Domik-Kienegger, in: K. G. Jeffery, J. Kr{\’{a}}l, M. Bartosek (Eds.), {SOFSEM} ’96: Theory and Practice of Informatics, 23rd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23-30, 1996, Proceedings, Springer, 1996, pp. 178–196.
LibreCat | DOI
 
1996 | Book Chapter | LibreCat-ID: 16703
Fault-tolerant shared memory simulations
P. Berenbrink, F. Meyer auf der Heide, V. Stemann, in: STACS 96, Berlin, Heidelberg, 1996.
LibreCat | DOI
 
1996 | Conference Paper | LibreCat-ID: 2444
Performance Prediction of Benchmark Programs for Massively Parallel Architectures
J. Simon, J.-M. Wierum, in: Proc. Annual Int. Conf. on High-Performance Computers (HPCS), 1996.
LibreCat
 
1996 | Book Chapter | LibreCat-ID: 3529
A Dynamic Model of a Reconstruction Economy
T. Gries, in: J.W. Owsinski, Z. Nahorski (Eds.), Modelling and Analysing Economies in Transition, 1996.
LibreCat
 
1996 | Book | LibreCat-ID: 6535
Windatlas für den Kreis Lippe
J. Bendfeld, S.O. Gärtner, T. Winkelmann, E. Ortjohann, Windatlas für den Kreis Lippe, Universität - GH Paderborn, Fachgebiet Elektrische Energieversorgung, 1996.
LibreCat
 
1996 | Journal Article | LibreCat-ID: 7406
A Hybrid Query Language for the Extended Entity Relationship Model
M. Andries, G. Engels, Journal of Visual Languages and Computing 7 (1996) 321–352.
LibreCat | DOI
 
1996 | Book Chapter | LibreCat-ID: 7514
Tight Integration on One Document: The Programming Environment
G. Engels, M. Nagl, W. Schäfer, B. Westfechtel, in: Building Tightly Integrated Software Development Environments: The IPSEN Approach, Springer, Berlin/Heidelberg, 1996, pp. 170–177.
LibreCat
 
1996 | Conference Paper | LibreCat-ID: 7836
Industrial maintenance modelled in SOCCA: an experience report
T. de Bunje, G. Engels, L. Groenewegen, A. Matsinger, M. Rijnbeek, in: Proceedings of the Fourth International Conference on the Software Process (ICSP 1996), Brighton (UK), IEEE Computer Society, Washington, DC, USA, 1996, pp. 13–26.
LibreCat | DOI
 
1996 | Journal Article | LibreCat-ID: 8101
Actual Optical and Thermal Performance of PV Modules
S. Krauter, R. Hanitsch, Solar Energy Materials and Solar Cells 41/42 (1996) 557–574.
LibreCat
 
1996 | Report | LibreCat-ID: 8199
Object-oriented Specification of Coordinated Collaboration
G. Engels, L. Groenewegen, G. Kappel, Object-Oriented Specification of Coordinated Collaboration, Vakgroep Informatica, Rijksuniversiteit Leiden, 1996.
LibreCat
 
1996 | Book | LibreCat-ID: 8372
Meisterprüfung - Lernen für die Praxis. Unternehmensführung im Handwerk 2. Dozentenhandbuch für Teil lll der Meisterprüfung. Finanz- und Rechnungswesen.
H.-H. Kremer, P.F.E. Sloane, Meisterprüfung - Lernen für die Praxis. Unternehmensführung im Handwerk 2. Dozentenhandbuch für Teil lll der Meisterprüfung. Finanz- und Rechnungswesen., 1st ed., Düsseldorf, 1996.
LibreCat
 
1996 | Conference Paper | LibreCat-ID: 8896
Schwingungsverhalten eines Schaufelkranzes mit Reibelementen bei Frequenzverstimmung
K. Popp, W. Sextro, in: Forschungsvereinigung Verbrennungskraftmaschinen (FW) - Lnformationstagung Turbinen, Frankfurt am Main, Germany, 1996, pp. 53–76.
LibreCat
 
1996 | Conference Paper | LibreCat-ID: 8271
Towards Measurable Process Models
T. de Bunje, G. Engels, L. Groenewegen, M. Heus, A. Matsinger, in: Proceedings of the Workshop on Software Process Technology (EWSPT 1996), Nancy (France), Springer, Berlin/Heidelberg, 1996, pp. 183–187.
LibreCat | DOI
 
1996 | Encyclopedia Article | LibreCat-ID: 17643
Zermelo-Fraenkelsches Axiomensystem
V. Peckhaus, C. Thiel, in: J. Mittelstraß (Ed.), Enzyklopädie Philosophie und Wissenschaftstheorie, Bd. 4: Sp–Z, J.B. Metzler, Stuttgart/Weimar, 1996, pp. 843–845.
LibreCat
 
1996 | Book Review | LibreCat-ID: 17915 LibreCat
 
1996 | Book Review | LibreCat-ID: 17922
Hintikka, Jaakko, “The Original Sinn of Wittgenstein’s Philosophy of Mathematics”, in: Puhl (Hg.) 1993 [9.5], 24–51
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 837.00005] (1996).
LibreCat
 
 
1996 | Book Review | LibreCat-ID: 17927
Rodríguez-Consuegra, Francisco A., “Russell, Gödel and Logicism”, in: Czermak (Hg.) 1993 [9.4], 233–242
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 840.01023] (1996).
LibreCat
 
1996 | Book Review | LibreCat-ID: 17941 LibreCat
 
1996 | Book Review | LibreCat-ID: 17946 LibreCat
 
1996 | Book Review | LibreCat-ID: 17953
Grattan-Guinness, Ivor, “Structure-Similarity: Between Mathematics and Philosophy”, in: Czermak (Hg.) 1993 [9.4], 317–333
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 849.00017] (1996).
LibreCat
 
1996 | Conference Paper | LibreCat-ID: 2184
Communication in Parallel Systems
F. Meyer auf der Heide, C. Scheideler, in: SOFSEM, Springer, 1996, pp. 16--33.
LibreCat | Files available
 
1996 | Journal Article | LibreCat-ID: 10198
Star chromatic numbers of graphs
E. Steffen, X. Zhu, Combinatorica 16 (1996) 439–448.
LibreCat
 
1996 | Conference Paper | LibreCat-ID: 11761
A Comparative Study of Linear Feature Transformation Techniques for Automatic Speech Recognition
T. Eisele, R. Haeb-Umbach, D. Langmann, in: ICSLP , Philadelphia, 1996.
LibreCat | Download (ext.)
 
1996 | Conference Paper | LibreCat-ID: 13010
Mixed-Mode BIST Using Embedded Processors
S. Hellebrand, H.-J. Wunderlich, A. Hertwig, in: {IEEE International Test Conference (ITC’96)}, {IEEE}, Washington, DC, USA, 1996, pp. 195–204.
LibreCat | DOI
 
1996 | Journal Article | LibreCat-ID: 13786
Adatoms and vacancies on the diamond(111) surface
F. Bechstedt, W.G. Schmidt, A. Scholze, Europhysics Letters (EPL) 35 (1996) 585–590.
LibreCat | DOI
 
1996 | Journal Article | LibreCat-ID: 13793
Dimerized, buckled, or ideal chains on the diamond (111)2 × 1 surface?
W.G. Schmidt, A. Scholze, F. Bechstedt, Surface Science 351 (1996) 183–188.
LibreCat | DOI
 
1996 | Conference Paper | LibreCat-ID: 15167
An Experimental Comparison of 3-D Display Modes
S. Volbracht, G. Domik, K. Shahrbabaki, G. Fels, in: IEEE Visualization, 1996, pp. 8–11.
LibreCat
 
1996 | Journal Article | LibreCat-ID: 1663
Der "Diplom Wirtschaftsjurist (FH)" oder die Reform der Juristenausbildung von Unten?
D. Krimphove, Zeitschrift Für Rechtspolitik (ZRP) (1996) 249 ff.
LibreCat
 
1996 | Conference Paper | LibreCat-ID: 2445
Accurate Performance Prediction for Massively Parallel Systems and its Applications
J. Simon, J.-M. Wierum, in: Proc. European Conf. on Parallel Processing (Euro-Par), Springer, Berlin / Heidelberg, 1996, pp. 675–688.
LibreCat | DOI
 
1996 | Dissertation | LibreCat-ID: 3260
Specifying reactive systems with action dependencies: modelling and hierarchical design
H. Wehrheim, Specifying Reactive Systems with Action Dependencies: Modelling and Hierarchical Design, University of Hildesheim, Germany, 1996.
LibreCat
 
1996 | Book | LibreCat-ID: 3385
Repetitorium Mikroökonomik
T. Gries, G. Sieg, H. Strulik, Repetitorium Mikroökonomik, Springer-Verlag, Berlin Heidelberg, 1996.
LibreCat
 
1996 | Book | LibreCat-ID: 6536
Windatlas für die Stadt Willebadessen
J. Bendfeld, S.O. Gärtner, T. Winkelmann, E. Ortjohann, Windatlas für die Stadt Willebadessen, Universität - GH Paderborn, Fachgebiet Elektrische Energieversorgung, 1996.
LibreCat
 
1996 | Conference Paper | LibreCat-ID: 7837
A View-Based Approach to System Modelling
G. Engels, H. Ehrig, R. Heckel, G. Taentzer, A. Corradini, in: Report on Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science, Technical University of Berlin, 1996, p. 11.
LibreCat
 
1996 | Journal Article | LibreCat-ID: 8102
Actual Optical and Thermal Performance of PV Modules
S. Krauter, R. Hanitsch, Fuel and Energy Abstracts 37 (1996) 436.
LibreCat
 
1996 | Conference Paper | LibreCat-ID: 8272
Pragmatic and Semantic Aspects of a Module Concept for Graph Transformation Systems
H. Ehrig, G. Engels, in: Selected Papers from the 5th International Workshop on Graph Gramars and Their Application to Computer Science, Williamsburg, VA (USA), Springer, Berlin/Heidelberg, 1996, pp. 137–154.
LibreCat | Download (ext.)
 
1996 | Conference Paper | LibreCat-ID: 880
ReGTime - Rent Gigaflops someTimes
B. Dreier, A. Huber, H. Karl, T. Ungerer, M. Zahn, in: Trends in Distributed Systems: CORBA and Beyond, International Workshop TreDS ’96, Aachen, Germany, October 1-2, 1996, Proceedings, 1996, pp. 84--93.
LibreCat | DOI
 
1996 | Conference Paper | LibreCat-ID: 8897
Dynamical Behaviour of a Bladed Disk with Friction Dampers
K. Popp, W. Sextro, in: The 2nd European Nonlinear Oscillation Conference - Proceedings of EUROMECH, Prag, 1996, pp. 157–183.
LibreCat
 
1996 | Book Chapter | LibreCat-ID: 8373
Einführung für den Dozenten
D. Euler, H.-H. Kremer, in: U. Braukmann, A. Diettrich, D. Euler, H.-H. Kremer, P.F.E. Sloane (Eds.), Meisterprüfung - Lernen für die Praxis. Unternehmensführung im  Handwerk 1. Dozentenhandbuch für Teil lll der Meisterprüfung. Personalwirtschaft. , Düsseldorf, 1996, pp. 9–32.
LibreCat
 
1996 | Book Chapter | LibreCat-ID: 16533
The Computation of Unstable Manifolds Using Subdivision and Continuation
M. Dellnitz, A. Hohmann, in: Nonlinear Dynamical Systems and Chaos, Basel, 1996.
LibreCat | DOI
 
1996 | Encyclopedia Article | LibreCat-ID: 17644
Zermelosches Axiom
V. Peckhaus, in: J. Mittelstraß (Ed.), Enzyklopädie Philosophie und Wissenschaftstheorie, Bd. 4: Sp–Z, J.B. Metzler, Stuttgart/Weimar, 1996, p. 846.
LibreCat
 
1996 | Book Review | LibreCat-ID: 17930 LibreCat
 
1996 | Book Review | LibreCat-ID: 17928
Franchella, Miriam, “Griss’ Contribution to Intuitionism”, in: Czermak (Hg.) 1993 [9.4], 119–126
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 840.01026] (1996).
LibreCat
 
1996 | Book Review | LibreCat-ID: 17923
Majer, Ulrich, “Different Forms of Finitism”, in: Czermak (Hg.) 1993 [9.4], 185–194
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 838.03003] (1996).
LibreCat
 
 
1996 | Book Review | LibreCat-ID: 17942 LibreCat
 
1996 | Book Review | LibreCat-ID: 17954
Code, Murray, “Understanding, Intuition, and the Philosophy of Mathematics”, in: Czermak (Hg.) 1993 [9.4], 335–342
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 849.00018] (1996).
LibreCat
 
1996 | Book (Editor) | LibreCat-ID: 18553
Texte – Konstitution, Verarbeitung, Typik
S. Michaelis, D. Tophinke, eds., Texte – Konstitution, Verarbeitung, Typik, Lincom, München, 1996.
LibreCat
 
1996 | Book | LibreCat-ID: 19121
„Wir wollen unsere Sehnsucht teilen“. Literatur in den Rheinlanden und in Westfalen 1895-1918 (Edition)
N.O. Eke, W. Olma, u. a., „Wir wollen unsere Sehnsucht teilen“. Literatur in den Rheinlanden und in Westfalen 1895-1918 (Edition), Insel, Frankfurt a. M., Leipzig, 1996.
LibreCat
 
1996 | Book Chapter | LibreCat-ID: 19311
Der evangelische Kirchenbau im 19. Jahrhundert, die Eisenacher Bewegung und der Architekt Christian Friedrich von Leins
E.-M. Seng, in: Blätter für württembergische Kirchengeschichte, 96. Jg. , 1996, pp. 119–126.
LibreCat
 
1996 | Conference Paper | LibreCat-ID: 19412
Die Revolution, der Schrecken und das Neue. Konzepte von Legitimität und historischer Gewalt in deutschen Revolutionsdramen um 1800
N.O. Eke, in: R. Schöwerling, H. Steinecke, G. Tiggesbäumker (Eds.), Literatur und Erfahrungswandel 1789-1830. Beiträge des 2. Internationalen Corvey-Symposions 8.-12. Juni 1993 in Paderborn, Fink, München, 1996, pp. 121–156.
LibreCat
 
1996 | Book Chapter | LibreCat-ID: 19816
Learning a representation for optimizable formulas
H. Kleine Büning, T. Lettmann, in: Lecture Notes in Computer Science, Berlin, Heidelberg, 1996.
LibreCat | DOI
 
1996 | Journal Article | LibreCat-ID: 10199
Tutte's 5-flow conjecture for graphs of non-orientable genus 5
E. Steffen, J. Graph Theory 22 (1996) 309–319.
LibreCat
 
1996 | Conference Paper | LibreCat-ID: 11767
Findings with the Design of a Command-Based Speech Interface for a Voice Mail System
S. Gamm, R. Haeb-Umbach, D. Langmann, in: IEEE Workshop on Interactive Voice Technology for Telecommunications Applications, 1996.
LibreCat | Download (ext.)
 
1996 | Journal Article | LibreCat-ID: 13782
Atomic Structure of the Sb-Stabilized GaAs(100)-(2×4) Surface
N. Esser, A.I. Shkrebtii, U. Resch-Esser, C. Springer, W. Richter, W.G. Schmidt, F. Bechstedt, R. Del Sole, Physical Review Letters 77 (1996) 4402–4405.
LibreCat | DOI
 
1996 | Journal Article | LibreCat-ID: 13787
Adsorption of group-V elements on III–V (1 1 0) surfaces
W. Schmidt, Surface Science Reports 25 (1996) 141–223.
LibreCat | DOI
 
1996 | Journal Article | LibreCat-ID: 13794
Se-induced 3d core-level shifts of GaAs(110)
P. Käckell, W.G. Schmidt, F. Bechstedt, Applied Surface Science 104–105 (1996) 141–146.
LibreCat | DOI
 
1996 | Journal Article | LibreCat-ID: 1664
Neuer Europäischer Datenschutz im Arbeitsrecht
D. Krimphove, Neue Zeitschrift Für Arbeitsrecht (NZA) (1996) 1121 ff.
LibreCat
 
1996 | Journal Article | LibreCat-ID: 16700
Efficient PRAM simulation on a distributed memory machine
R.M. Karp, M. Luby, F. Meyer auf der Heide, Algorithmica (1996) 517–542.
LibreCat | DOI
 
1996 | Book | LibreCat-ID: 2674
Operatives Erfolgscontrolling - Ein funktionaler Ansatz für industrielle Fertigungsprozesse
S. Betz, Operatives Erfolgscontrolling - Ein Funktionaler Ansatz Für Industrielle Fertigungsprozesse, Gabler-Verlag, Wiesbaden, 1996.
LibreCat
 
1996 | Report | LibreCat-ID: 2446
On Accurate Performance Prediction for Massively Parallel Systems and its Applications
J. Simon, J.-M. Wierum, On Accurate Performance Prediction for Massively Parallel Systems and Its Applications, Paderborn Center for Parallel Computing, 1996.
LibreCat
 
1996 | Journal Article | LibreCat-ID: 2578
Die Gestaltung der Leistungstiefe als strategisches Problem
S. Betz, Die Betriebswirtschaft 56 (1996) 339–412.
LibreCat
 
1996 | Journal Article | LibreCat-ID: 3261
Modelling Causality via Action Dependencies in Branching Time Semantics
U. Goltz, H. Wehrheim, Inf. Process. Lett. (1996) 179--184.
LibreCat | DOI
 
1996 | Book | LibreCat-ID: 6532
Windatlas für die Stadt Münster
J. Bendfeld, S.O. Gärtner, T. Winkelmann, E. Ortjohann, Windatlas für die Stadt Münster, Universität - GH Paderborn, Fachgebiet Elektrische Energieversorgung, 1996.
LibreCat
 
1996 | Conference Paper | LibreCat-ID: 7838
Object-oriented specification of coordinated collaboration
G. Engels, L. Groenewegen, G. Kappel, in: Proceedings of IFIP World Conference on IT Tools (1996), Canberra (Australia), Chapman & Hall, 1996, pp. 437–452.
LibreCat
 
1996 | Journal Article | LibreCat-ID: 8103
Sonneneinstrahlung
S. Krauter, Solararchitektur Für Europa, Hrsg.: A. Schneider; Basel, Boston, New York (1996) 30–31.
LibreCat
 
1996 | Conference Paper | LibreCat-ID: 8273
Comprehensive Support for Change: Generic, Multi-dimensional (Software) Engineering Frameworks (position paper)
G. Engels, A. Zamperoni, in: Proceedings of the Workshop on Requirements Engineering in a Changing World (Satellite Event of the Conference on Advanced Information Systems Engineering (CAISE 1996)), Crete (Greece), 1996, pp. 42–44.
LibreCat
 
1996 | Book Chapter | LibreCat-ID: 8418
Einführung für den Dozenten
D. Euler, H.-H. Kremer, in: H.-H. Kremer, E. Stickling (Eds.), Meisterprüfung - Lernen für die Praxis. Unternehmensführung im Handwerk 1. Dozentenhandbuch für Teil lll der Meisterprüfung - Existenzgründung, Marketing, Düsseldorf, 1996, pp. 1–30.
LibreCat
 
1996 | Book Chapter | LibreCat-ID: 8420
Grundfragen der Berufsbildung
D. Euler, H.-H. Kremer, M. Theis, in: D. Euler, H.-H. Kremer, M. Theis (Eds.), Meisterprüfung - Lernen für die Praxis, Ausbilden im Handwerk, 2. veränderte Aufl., Düsseldorf, 1996, pp. 13–42.
LibreCat
 
1996 | Book Chapter | LibreCat-ID: 17304
Graphics in the Computer Algebra System MuPAD
G. Oevel, T. Schulze, in: W. Borchers, G. Domik, D. Kröner, R. Rautmann, D. Saupe (Eds.), Visualization Methodes in High Performance Computing and Flow Simulation, VSP, 1996.
LibreCat
 
1996 | Encyclopedia Article | LibreCat-ID: 17640
Warschauer Schule
V. Peckhaus, C. Thiel, in: J. Mittelstraß (Ed.), Enzyklopädie Philosophie und Wissenschaftstheorie, Bd. 4: Sp–Z, J.B. Metzler, Stuttgart/Weimar, 1996, pp. 628–629.
LibreCat
 
1996 | Book Review | LibreCat-ID: 17917
Segre, Michael, “Peano's Axioms in Their Historical Context”, Archive for History of Exact Sciences 48 (1994), 201–342
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 835.01006] (1996).
LibreCat
 
1996 | Book Review | LibreCat-ID: 17929
Wagner-Döbler, Roland, „Perspektiven der Wissenschaftsforschung über die Mathematik“, in: Czermak (Hg.) 1993 [9.4], 417–427
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 840.01027] (1996).
LibreCat
 
1996 | Book Review | LibreCat-ID: 17931
Haugeland, John, “Remarks on Machines and Rule-Following”, in: Casati/Smith/ White (Hgg.) 1994 [9.39], 127–138
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 842.00008] (1996).
LibreCat
 
1996 | Book Review | LibreCat-ID: 17936
Picardi, Eva, “Dummett on Analysis and Cognitive Synonymy”, in: Czermak (Hg.) 1993 [9.4], 77–85
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 844.01009] (1996).
LibreCat
 
1996 | Book Review | LibreCat-ID: 17924
Degen, J.W., “Two Formal Vindications of Logicism”, in: Czermak (Hg.) 1993 [9.4], 243–250
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 838.03004] (1996).
LibreCat
 
1996 | Book Review | LibreCat-ID: 17948 LibreCat
 
1996 | Book Review | LibreCat-ID: 17943 LibreCat
 
1996 | Book Review | LibreCat-ID: 17950
De Caro, Mario, “Galileo’s Mathematical Platonism”, in: Czermak (Hg.) 1993 [9.4], 13–22
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 849.00015] (1996).
LibreCat
 
1996 | Book Review | LibreCat-ID: 17955
Wolenski, Jan, “Analyticity, Decidability and Incompleteness”, in: Czermak (Hg.) 1993 [9.4], 379–382
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 849.00019] (1996).
LibreCat
 
1996 | Conference Paper | LibreCat-ID: 17493
The Influence of Hermann Günther Grassmann and Robert Grassmann on Ernst Schröder’s Algebra of Logic
V. Peckhaus, in: G. Schubring (Ed.), Hermann Günther Graßmann (1809–1877): Visionary Mathematician, Scientist and Neo-Humanist Scholar. Papers from a Sesquicentennial Conference, Kluwer, Dordrecht/Boston/London, 1996, pp. 217–227.
LibreCat
 
1996 | Report | LibreCat-ID: 18352
A Realistic Cost Model for the Communication Time in Parallel Programs on Parallel Computers Using a Service Hardware
M. Fischer, J. Rethmann, A. Wachsmann, A Realistic Cost Model for the Communication Time in Parallel Programs on Parallel Computers Using a Service Hardware, Universität Paderborn, 1996.
LibreCat | Files available
 
1996 | Book Chapter | LibreCat-ID: 19312
Die Dresdner Frauenkirche in der evangelischen Kirchenbaudiskussion des19. Jahrhunderts
E.-M. Seng, in: Die Dresdner Frauenkirche. Jahrbuch zu ihrer Geschichte und zu ihrem archäologischen Wiederaufbau. Bd. 2, Weimar, 1996, pp. 147–164.
LibreCat
 
1996 | Book Chapter | LibreCat-ID: 19413
„Wandle – schaue – höre Jisro-El!“ Richard Beer-Hofmanns „Historie von König David“
N.O. Eke, in: N.O. Eke (Ed.), Richard Beer-Hofmann: Die Historie von König David und andere dramatische Entwürfe, Igel, Paderborn, 1996, pp. 537–566.
LibreCat
 
1996 | Conference Paper | LibreCat-ID: 2186
Universal Algorithms for Store-and-Forward and Wormhole Routing
R. Cypher, F. Meyer auf der Heide, C. Scheideler, B. Vöcking, in: STOC, ACM, 1996, pp. 356--365.
LibreCat | Files available
 
1996 | Dissertation | LibreCat-ID: 2181
Universal routing strategies
C. Scheideler, Universal Routing Strategies, University of Paderborn, Germany, 1996.
LibreCat
 
1996 | Journal Article | LibreCat-ID: 13783
Geometry and electronic structure of GaAs(001)(2×4) reconstructions
W.G. Schmidt, F. Bechstedt, Physical Review B 54 (1996) 16742–16748.
LibreCat | DOI
 
1996 | Journal Article | LibreCat-ID: 13788
Annihilation of delocalized positrons: a comparison of diamond and silicon
W.G. Schmidt, W.. Verwoerd, Physics Letters A 222 (1996) 275–280.
LibreCat | DOI
 
1996 | Journal Article | LibreCat-ID: 13790
3d core-level shifts at
W.G. Schmidt, P. Käckell, F. Bechstedt, Surface Science 357–358 (1996) 545–549.
LibreCat | DOI
 
1996 | Journal Article | LibreCat-ID: 13795
Diamond (111) and (100) surface: ab initio study of the atomic and electronic structure
A. Scholze, W.G. Schmidt, P. Käckell, F. Bechstedt, Materials Science and Engineering: B 37 (1996) 158–161.
LibreCat | DOI
 
1996 | Conference Paper | LibreCat-ID: 15304
Hierarchical constraint propagation based on interval arithmetic
E. Hüllermeier, in: In Proceedings Interval-96 International Conference on Interval Methods and Computer Aided Proofs in Science and Engineering, Würzburg, 1996, pp. 54–55.
LibreCat
 
1996 | Conference Paper | LibreCat-ID: 15056
Perspective viewing, Anaglyph stereo or Shutter glass stereo?
S. Volbracht, K. Shahrbabaki, G. Domik, G. Fels, in: Proceedings 1996 IEEE Symposium on Visual Languages, 1996, pp. 192–193.
LibreCat
 
1996 | Book | LibreCat-ID: 14894
An introduction to high-performance scientific computing
L.D. Fosdick, E.R. Jessup, C.J. Schauble, G. Domik-Kienegger, An Introduction to High-Performance Scientific Computing, MIT Press, 1996.
LibreCat
 
1996 | Conference Paper | LibreCat-ID: 1918
ReGTime - Rent Gigaflops someTimes
B. Dreier, A. Huber, M. Zahn, H. Karl, T. Ungerer, in: Proceedings Trends in Distributed Systems, 1996.
LibreCat
 
1996 | Journal Article | LibreCat-ID: 16698
Trial and error. A new approach to space-bounded learning
F. Ameur, P. Fischer, K.-U. Höffgen, F. Meyer auf der Heide, Acta Informatica (1996) 621–630.
LibreCat | DOI
 
1996 | Journal Article | LibreCat-ID: 16701
The Tree Model for Hashing: Lower and Upper Bounds
J. Gil, F. Meyer auf der Heide, A. Wigderson, SIAM Journal on Computing (1996) 936–955.
LibreCat | DOI
 
1996 | Journal Article | LibreCat-ID: 2579
Produktionsabfallrecycling als operatives Entscheidungsproblem
S. Betz, UmweltWirtschaftsForum 4 (1996) 44–51.
LibreCat
 
1996 | Conference Paper | LibreCat-ID: 3262
Causal Testing
U. Goltz, H. Wehrheim, in: W. Penczek, A. Szalas (Eds.), Mathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS’96, Cracow, Poland, September 2-6, 1996, Proceedings, 1996, pp. 394--406.
LibreCat | DOI
 
1996 | Journal Article | LibreCat-ID: 5612
How Do Lean Management Organizations Behave Regarding Training and Development?
R. Kabst, H.H. Larsen, P. Bramming, The International Journal of Human Resource Management 7 (1996) 618–639.
LibreCat
 
1996 | Book | LibreCat-ID: 6146
Working Time and Contract Flexibility in the E.U.
C. Brewster, W. Weber, R. Kabst, Working Time and Contract Flexibility in the E.U., Bedford, 1996.
LibreCat
 
1996 | Journal Article | LibreCat-ID: 7404
Graph Grammars with Negative Application Conditions
A. Habel, R. Heckel, G. Taentzer, Fundamenta Informaticae 26 (1996) 287–313.
LibreCat
 
1996 | Conference Paper | LibreCat-ID: 8104
New Optical and Thermal Enhanced PV Modules Performing 12% better under True Module Rating Conditions
S. Krauter, R. Hanitsch, L. Moreira, in: Proceedings of the 25th IEEE–PV–Specialists Conference, Washington D.C. (USA), 13.–19. Mai 1996, Band 1, S. 1323–1326., 1996.
LibreCat
 
1996 | Conference Paper | LibreCat-ID: 7834
Synchronization of Views and Loose Semantics of Typed Graph Productions
H. Ehrig, R. Heckel, J. Padberg, G. Taentzer, U. Wolter, A. Corradini, G. Engels, in: Report on the Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science, Technical University of Berlin, 1996, pp. 11–12.
LibreCat
 
1996 | Report | LibreCat-ID: 8197
Graph Transformation for Specification and Programming
M. Andries, G. Engels, A. Habel, B. Hoffmann, H.-J. Kreowski, S. Kuske, D. Plump, A. Schürr, G. Taentzer, Graph Transformation for Specification and Programming, University of Bremen, Department of Mathematics and Computer Science, 1996.
LibreCat
 
1996 | Report | LibreCat-ID: 8200
Horizontal and Vertical Structuring of Typed Graph Transformation Systems
R. Heckel, A. Corradini, H. Ehrig, M. Löwe, Horizontal and Vertical Structuring of Typed Graph Transformation Systems, 1996.
LibreCat
 
1996 | Book Chapter | LibreCat-ID: 8419
Existenzgründung
H.-H. Kremer, in: U. Braukmann, A. Diettrich, H.-H. Kremer, P.F.E. Sloane, E. Stickling (Eds.), Meisterprüfung - Lernen für die Praxis - Unternehmensführung 1, 2nd ed., Düsseldorf, 1996, pp. 19–94.
LibreCat
 
1996 | Conference Paper | LibreCat-ID: 8274
Reuse of Software Process Fragments is Reuse of Software, too
L. Groenewegen, G. Engels, in: Proceedings of the 10th International Software Process Workshop (ISPW 1996), Ventron (France), IEEE Computer Society, Washington, DC, USA, 1996, p. 68.
LibreCat
 
1996 | Journal Article | LibreCat-ID: 9626 LibreCat
 
1996 | Conference Paper | LibreCat-ID: 16895
Benutzermodellierung als Basis für adaptive multimediale Präsentations- und Interaktionssysteme
B. Gutkauf, G. Domik-Kienegger, in: Proceedigns 4. GI Workshop Adaptivität  Und Benutzermodellierung in Interaktiven Softwaresystemen, 1996.
LibreCat
 
1996 | Report | LibreCat-ID: 17418
Contention Resolution in Hashing Based Shared Memory Simulations
A. Czumaj, F. Meyer auf der Heide, V. Stemann, Contention Resolution in Hashing Based Shared Memory Simulations, 1996.
LibreCat
 
1996 | Book Chapter | LibreCat-ID: 17564
Realistic parallel algorithms: Priority queue operations and selection for the BSP* Model
A. Bäumker, W. Dittrich, F. Meyer auf der Heide, I. Rieping, in: Lecture Notes in Computer Science, Berlin, Heidelberg, 1996, pp. 369–376.
LibreCat | DOI
 
1996 | Encyclopedia Article | LibreCat-ID: 17641
Weierstraß
V. Peckhaus, in: J. Mittelstraß (Ed.), Enzyklopädie Philosophie und Wissenschaftstheorie, Bd. 4: Sp–Z, J.B. Metzler, Stuttgart/Weimar, 1996, pp. 535–536.
LibreCat
 
1996 | Encyclopedia Article | LibreCat-ID: 17639
Verknüpfung
V. Peckhaus, in: J. Mittelstraß (Ed.), Enzyklopädie Philosophie und Wissenschaftstheorie, Bd. 4: Sp–Z, J.B. Metzler, Stuttgart/Weimar, 1996, pp. 515–516.
LibreCat
 
1996 | Book Review | LibreCat-ID: 17778 LibreCat
 
1996 | Conference Abstract | LibreCat-ID: 17843
Das Problem des ersten Schrittes in der modernen Axiomatik [Abstract]
V. Peckhaus, in: C. Binder (Ed.), IV. Österreichisches Symposion zur Geschichte der Mathematik. Neuhofen an der Ybbs, 5. bis 11. November 1995. 999 Jahre Österreich — ein Teil der globalen Entwicklung der Mathematik. Kurzfassungen der Vorträge, Nachtragsband, Wien, 1996, pp. 142–145.
LibreCat
 
1996 | Misc | LibreCat-ID: 17898
On the Origins of the Word ‘Logicism’ [ursprünglich Beitrag für russell-l], URL erstellt 22.3.1996
V. Peckhaus, On the Origins of the Word ‘Logicism’ [Ursprünglich Beitrag Für Russell-l], URL Erstellt 22.3.1996, 1996.
LibreCat | Download (ext.)
 
1996 | Book Review | LibreCat-ID: 17913
Franchella, Miriam, “L.E.J. Brouwer: Toward Intuitionistic Logic”, Historia Mathematica 22 (1995), 304–322
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 833.01017] (1996).
LibreCat
 
 
1996 | Book Review | LibreCat-ID: 17920 LibreCat
 
1996 | Book Review | LibreCat-ID: 17925
Rheinwald, Rosemarie, „Die Achilles-Paradoxie in der modernen Diskussion“, in: Czermak (Hg.) 1993 [9.4], 383–392
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 838.03005] (1996).
LibreCat
 
1996 | Book Review | LibreCat-ID: 17932
Bealer, George, “Toward a New Theory of Content”, in: Casati/Smith/White (Hgg.) 1994 [9.39], 179–191
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 842.03022] (1996).
LibreCat
 
1996 | Book Review | LibreCat-ID: 17937
Murawski, Roman, “Contributions of Polish Logicians to Decidability Theory”, Modern Logic 6 (1996), 37–66
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 844.01010] (1996).
LibreCat
 
 
1996 | Book Review | LibreCat-ID: 17949 LibreCat
 
1996 | Habilitation | LibreCat-ID: 17444
Logik und Struktur. Leibniz und die Wiederentdeckung der formalen Logik im 19. Jahrhundert, als Habilitationsschrift der Philosophischen Fakultät I der Universität Erlangen-Nürnberg vorgelegt im Juli 1995
V. Peckhaus, Logik und Struktur. Leibniz und die Wiederentdeckung der formalen Logik im 19. Jahrhundert, als Habilitationsschrift der Philosophischen Fakultät I der Universität Erlangen-Nürnberg vorgelegt im Juli 1995, 1996.
LibreCat
 
 
1996 | Book Chapter | LibreCat-ID: 18428
Zwei Aspekte der Texttypik: Funktionalität und kulturelle Expressivität – ein historisches Fallbeispiel
D. Tophinke, in: S. Michaelis, D. Tophinke (Eds.), Texte – Konstitution, Verarbeitung, Typik, Lincom, München, 1996, pp. 101–116.
LibreCat
 
1996 | Book | LibreCat-ID: 19135
Richard Beer-Hofmann: Die Historie von König David und andere dramatische Entwürfe (Edition)
N.O. Eke, Richard Beer-Hofmann: Die Historie von König David und andere dramatische Entwürfe (Edition), Igel, Paderborn, 1996.
LibreCat
 
1996 | Journal Article | LibreCat-ID: 2182
Exploiting Storage Redundancy to Speed up Randomized Shared Memory Simulations
F. Meyer auf der Heide, C. Scheideler, V. Stemann, Theor. Comput. Sci. (1996) 245--281.
LibreCat | DOI
 
1995 | Journal Article | LibreCat-ID: 10610
Exploiting Parallelism in Constraint Satisfaction for Qualitative Simulation
M. Platzner, B. Rinner, R. Weiss, J.UCS Journal of Universal Computer Science 12 (1995) 811–820.
LibreCat
 
1995 | Conference Paper | LibreCat-ID: 11757
Application of Clustering Techniques to Mixture Density Modelling for Continuous-Speech Recognition
C. Dugast, P. Beyerlein, R. Haeb-Umbach, in: ICASSP, Detroit, 1995.
LibreCat | Download (ext.)
 
1995 | Journal Article | LibreCat-ID: 11764
User interface design of voice controlled consumer electronics
S. Gamm, R. Haeb-Umbach, Philips Journal of Research (1995).
LibreCat
 
1995 | Conference Paper | LibreCat-ID: 13474
High-Performance Qualitative Simulation on a Multi-DSP Architecture
M. Platzner, B. Rinner, in: Proceedings of the 6th International Conference on Signal Processing Applications & Technology (ICSPAT), 1995.
LibreCat
 
1995 | Journal Article | LibreCat-ID: 13796
Hydrogen interaction with Sb-terminated GaAs and InP (110) surfaces
P.V. Santos, N. Esser, J. Groenen, M. Cardona, W.G. Schmidt, F. Bechstedt, Physical Review B 52 (1995) 17379–17385.
LibreCat | DOI
 
1995 | Conference Paper | LibreCat-ID: 15305
Fuzzy polynomial and spline interpolation
E. Hüllermeier, in: In Proceedings IMACS Symposium on Systems Analysis and Simulation, Berlin, Gordon and Breach Publishers, 1995, pp. 401–404.
LibreCat
 
1995 | Conference Paper | LibreCat-ID: 16707
Improved optimal shared memory simulations, and the power of reconfiguration
A. Czumaj, F. Meyer auf der Heide, V. Stemann, in: Proceedings Third Israel Symposium on the Theory of Computing and Systems, 1995.
LibreCat | DOI
 
1995 | Conference Paper | LibreCat-ID: 2448
An Efficient Mapping Library for Parix
T. Römke, M. Röttger, U.-P. Schroeder, J. Simon, in: Proc. ZEUS Workshop on Par. Programming and Computation, IOS Press, 1995.
LibreCat
 
1995 | Report | LibreCat-ID: 2450
SparcStation SCI-Interface
J. Gehring, J. Simon, SparcStation SCI-Interface, Paderborn Center for Parallel Computing, 1995.
LibreCat
 
1995 | Journal Article | LibreCat-ID: 2563 LibreCat
 
1995 | Book Chapter | LibreCat-ID: 3530
Neue regionale Wachstumstheorie und Humankapital als regionaler charakteristischer Faktor
T. Gries, in: B. Gahlen, H. Hesse (Eds.), Standort Und Region, Neue Ansätze Zur Regionalökonomik, Mohr (Siebeck), Tübingen, 1995.
LibreCat
 
1995 | Book Chapter | LibreCat-ID: 8078
Existenzgründung
H.-H. Kremer, in: U. Braukmann, A. Diettrich, H.-H. Kremer, P.F.E. Sloane, E. Stickling (Eds.), Meisterprüfung - Lernen Für Die Praxis - Unternehmensführung 1, 1st ed., Düsseldorf, 1995, pp. 19–94.
LibreCat
 
1995 | Conference Paper | LibreCat-ID: 8097
Solar Electricity up to 30% less expensive by optical and thermal enhanced PV modules
S. Krauter, in: Proceedings of the ISES Solar World Congress 1995, Harare (Simbabwe), 11.–15. September 1995., 1995.
LibreCat
 
1995 | Conference Paper | LibreCat-ID: 8100
Thermal and Optical Enhanced PV-Modules
S. Krauter, 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: 8268
GRAPHIT: Graphical Support and Integration of Formal and Semiformal Methods for Software Specification and Development
B. Bardohl, R. Bardohl, P. Castro, H. Ehrig, R. Heckel, L. Ribeiro, D. Nunes, A. Martini, in: Proceedings of the 3rd German-Brazilian Workshop on Information Technology (1995), Berlin (Germany), Forschungszentrum Jülich GmbH, 1995.
LibreCat
 
1995 | Conference Paper | LibreCat-ID: 8270
Ensuring Consistency of Conditional Graph Grammars - A constructive Approach
R. Heckel, A. Wagner, in: Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy), Elsevier, 1995, pp. 118–126.
LibreCat | DOI
 
1995 | Conference Paper | LibreCat-ID: 16904
Intelligent visualization systems in educational environments
G. Kienegger-domik, in: H. Maurer (Ed.), Proceedings of ED-MEDIA `95, AACE, 1995.
LibreCat
 
1995 | Journal Article | LibreCat-ID: 16550
Cycling Chaos
M. Dellnitz, M. Field, M. Golubitsky, J. Ma, A. Hohmann, International Journal of Bifurcation and Chaos (1995) 1243–1247.
LibreCat | DOI
 
1995 | Conference Paper | LibreCat-ID: 17306
MuPAD in der Ausbildung
F. Postel, G. Oevel, F. Schwarz, in: Beiträge zum Mathematikunterricht, 1995.
LibreCat
 
1995 | Journal Article | LibreCat-ID: 17490
Hilberts Logik. Von der Axiomatik zur Beweistheorie
V. Peckhaus, NTM. Internationale Zeitschrift für Geschichte und Ethik der Naturwissenschaften, Technik und Medizin N.F. 3 (1995) 65–86.
LibreCat
 
1995 | Book | LibreCat-ID: 19136
„Wir träumen ins Herz der Zukunft“. Literatur in Nordrhein-Westfalen 1971-1994 (Edition)
N.O. Eke, V.C. Dörr, u. a., „Wir träumen ins Herz der Zukunft“. Literatur in Nordrhein-Westfalen 1971-1994 (Edition), Insel, Frankfurt a. M., Leipzig, 1995.
LibreCat
 
1995 | Conference Paper | LibreCat-ID: 2208
Exploiting Storage Redundancy to Speed Up Randomized Shared Memory Simulations
F. Meyer auf der Heide, C. Scheideler, V. Stemann, in: STACS, 1995, pp. 267--278.
LibreCat | Files available
 
1995 | Conference Paper | LibreCat-ID: 11765
Human Factors of a Voice-Controlled Car Stereo
S. Gamm, R. Haeb-Umbach, in: Eurospeech, Madrid, 1995.
LibreCat
 
1995 | Journal Article | LibreCat-ID: 11905
The Philips Research system for continuous-speech dictation
V. Steinbiss, H.J. Ney, X.L. Aubert, S. Besling, C. Dugast, U. Essen, D. Geller, R. Haeb-Umbach, R. Kneser, H.G. Meier, M. Oerder, B.H. Tran, Philips Journal of Research (1995).
LibreCat
 
1995 | Journal Article | LibreCat-ID: 11948
Continuous speech dictation - From theory to practice
V. Steinbiss, H.J. Ney, U. Essen, B.H. Tran, X.L. Aubert, C. Dugast, R. Kneser, H.G. Meier, M. Oerder, R. Haeb-Umbach, D. Geller, W. Hoellerbauer, H. Bartosik, Speech Communication (1995).
LibreCat
 
1995 | Report | LibreCat-ID: 13026
Synthesis Procedures for Self-Testable Controllers
S. Hellebrand, H.-J. Wunderlich, Synthesis Procedures for Self-Testable Controllers, University of Siegen, Germany, 1995.
LibreCat
 
1995 | Conference Paper | LibreCat-ID: 13470
High-Performance Simulators Based on Multi-TMS320C40
E. Brenner, R. Ginthör-Kalcsics, R. Hranitzky, M. Platzner, B. Rinner, C. Steger, R. Weiss, in: Proceedings of the 5th Annual Texas Instruments TMS320 Educators Conference, 1995.
LibreCat
 
1995 | Journal Article | LibreCat-ID: 13797
Optical properties of Sb-terminated GaAs and InP (110) surfaces
P.V. Santos, N. Esser, M. Cardona, W.G. Schmidt, F. Bechstedt, Physical Review B 52 (1995) 12158–12167.
LibreCat | DOI
 
1995 | Journal Article | LibreCat-ID: 13800
Quasi-particle band structure of C(111)2 × 1 and C(100)2 × 1 surfaces
C. Kress, M. Fiedler, W.G. Schmidt, F. Bechstedt, Surface Science 331–333 (1995) 1152–1156.
LibreCat | DOI
 
1995 | Journal Article | LibreCat-ID: 13850
Geometrical and electronic structure of the reconstructed diamond (100) surface
C. Kress, M. Fiedler, W.G. Schmidt, F. Bechstedt, Physical Review B 50 (1995) 17697–17700.
LibreCat | DOI
 
1995 | Conference Paper | LibreCat-ID: 2449
On Efficient Embeddings of Grids into Grids in PARIX
T. Römke, M. Röttger, U.-P. Schroeder, J. Simon, in: Proc. European Conf. on Parallel Processing (Euro-Par), Springer, Berlin / Heidelberg, 1995, pp. 179–192.
LibreCat | DOI
 
1995 | Book Chapter | LibreCat-ID: 2451
Parallel CG Poisson Solver for PowerPC 601
S. Blazy, U. Dralle, J. Simon, in: PowerXplorer User Report - Applications and Projects on the Parsytec PowerXplorer Parallel Computer, Heinrich-Heine-Universität, Düsseldorf, 1995.
LibreCat
 
1995 | Journal Article | LibreCat-ID: 2576
Die Erfahrungskurve als Instrument der Zielkostenspaltung
S. Betz, Betriebswirtschaftliche Forschung und Praxis 47 (1995) 609–625.
LibreCat
 
1995 | Conference Paper | LibreCat-ID: 7831
Attributed Graph Transformations with Controlled Application of Rules
R. Heckel, J. Müller, G. Taentzer, A. Wagner, in: Proceedings of the Colloquium on Graph Transformation and Its Application in Computer Science, Universitat de les Illes Balears, 1995.
LibreCat
 
1995 | Conference Paper | LibreCat-ID: 8098
STOPV: A Development Tool for Thermal and Optical Optimization of PV Module Encapsulations
K. Onneken, S. Krauter, in: Proceedings of the 1995 ISES Solar World Congress, Harare (Simbabwe), 11.–15. September 1995, 1995.
LibreCat
 
1995 | Report | LibreCat-ID: 8194
Graphische Spezifikation ausgewählter Teile von AGG - einem algebraischen Graphgrammatiksystem
M. Conrad, M. Gajewsky, R. Holl-Biniasz, M. Rudolf, J. Demuth, S. Weber, R. Heckel, J. Müller, G. Taentzer, A. Wagner, Graphische Spezifikation Ausgewählter Teile von AGG - Einem Algebraischen Graphgrammatiksystem, 1995.
LibreCat
 
1995 | Conference Paper | LibreCat-ID: 8269
Encapsulated Hierarchical Graphs, Graph Types, and Meta Types
G. Engels, A. Schürr, in: Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy), Elsevier, Amsterdam, The Netherlands, 1995, pp. 101–109.
LibreCat | DOI
 
1995 | Journal Article | LibreCat-ID: 16532
Admissible symmetry increasing bifurcations
M. Dellnitz, C. Heinrich, Nonlinearity (1995) 1039–1066.
LibreCat | DOI
 
1995 | Journal Article | LibreCat-ID: 16551
Spirals in Scalar Reaction–Diffusion Equations
M. Dellnitz, M. Golubitsky, A. Hohmann, I. Stewart, International Journal of Bifurcation and Chaos (1995) 1487–1501.
LibreCat | DOI
 
1995 | Book Chapter | LibreCat-ID: 17307
Computer algebra in education
G. Oevel, G. Siek, in: AACE Educational Multimedia and Hypermedia Annual, 1995.
LibreCat
 
1995 | Journal Article | LibreCat-ID: 17491
Rüstow’s Thesis on Russell’s Paradox
V. Peckhaus, Modern Logic 5 (1995) 167–169.
LibreCat
 
 
1995 | Book | LibreCat-ID: 17446
Hermann Ulrici (1806–1884). Der Hallesche Philosoph und die englische Algebra der Logik. Mit einer Auswahl von Texten Ulricis zur Logik und einer Bibliographie seiner Schriften
V. Peckhaus, Hermann Ulrici (1806–1884). Der Hallesche Philosoph und die englische Algebra der Logik. Mit einer Auswahl von Texten Ulricis zur Logik und einer Bibliographie seiner Schriften, Hallescher Verlag, Halle/Saale, 1995.
LibreCat
 
1995 | Dissertation | LibreCat-ID: 18691
Der evangelische Kirchenbau im 19. Jahrhundert, die Eisenacher Bewegung und der Architekt Christian Friedrich von Leins
E.-M. Seng, Der evangelische Kirchenbau im 19. Jahrhundert, die Eisenacher Bewegung und der Architekt Christian Friedrich von Leins, Diss. masch., Tübingen 1992, 1995.
LibreCat
 
1995 | Book | LibreCat-ID: 18696
Der evangelische Kirchenbau im 19. Jahrhundert, die Eisenacher Bewegung und der Architekt Christian Friedrich von Leins
E.-M. Seng, Der evangelische Kirchenbau im 19. Jahrhundert, die Eisenacher Bewegung und der Architekt Christian Friedrich von Leins, (Wasmuth), Tübingen, 1995.
LibreCat
 
 
1995 | Conference Paper | LibreCat-ID: 13469
A Distributed Computer Architecture for Qualitative Simulation based on a Multi-DSP and FPGAs
M. Platzner, B. Rinner, R. Weiss, in: Proceedings of the 3rd Euromicro Workshop on Parallel and Distributed Processing , IEEE CS Press, 1995, pp. 311–318.
LibreCat
 
1995 | Conference Paper | LibreCat-ID: 13471
A Special-Purpose Coprocessor for Qualitative Simulation
G. Friedl, M. Platzner, B. Rinner, in: Proceedings of the EURO-PAR’95 International Conference on Parallel Processing, Springer International Publishing, 1995, pp. 695–698.
LibreCat
 
1995 | Report | LibreCat-ID: 13027
Evaluation of Self-Testable Controller Architectures Based on Realistic Fault Analysis
S. Hellebrand, H.-J. Wunderlich, F. Goncalves, J. Paulo Teixeira, Evaluation of Self-Testable Controller Architectures Based on Realistic Fault Analysis, University Siegen, Germany, 1995.
LibreCat
 
1995 | Journal Article | LibreCat-ID: 13798
III-V(110) surface dynamics from anab initiofrozen-phonon approach
W.G. Schmidt, F. Bechstedt, G.P. Srivastava, Physical Review B 52 (1995) 2001–2007.
LibreCat | DOI
 
1995 | Journal Article | LibreCat-ID: 13801
III-V(110)/Sb(1 ML): structural and dynamical properties
W.G. Schmidt, G.P. Srivastava, Surface Science 331–333 (1995) 540–545.
LibreCat | DOI
 
1995 | Journal Article | LibreCat-ID: 13851
Exchange reactions versus adsorption geometries for Se/GaAs(110)
W.G. Schmidt, F. Bechstedt, Physical Review B 50 (1995) 17651–17654.
LibreCat | DOI
 
1995 | Conference Paper | LibreCat-ID: 15294
Towards modelling of fuzzy functions
E. Hüllermeier, in: H.J. Zimmermann (Ed.), 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: 15612 LibreCat
 
1995 | Book Chapter | LibreCat-ID: 16704
A packet routing protocol for arbitrary networks
F. Meyer auf der Heide, B. Vöcking, in: STACS 95, Berlin, Heidelberg, 1995.
LibreCat | DOI
 
1995 | Book Chapter | LibreCat-ID: 16874
Truly efficient parallel algorithms: c-optimal multisearch for an extension of the BSP model
A. Bäumker, W. Dittrich, F. Meyer auf der Heide, in: Lecture Notes in Computer Science, Berlin, Heidelberg, 1995.
LibreCat | DOI
 
1995 | Book Chapter | LibreCat-ID: 2091
Kommentar § 5 c GWB (Einkaufskooperationen)
D. Krimphove, in: H. Müller-Henneberg, G. Schwartz, W. Benisch (Eds.), Gesetz Gegen Wettbewerbsbeschränkungen Und Europäisches Kartellrecht , 4th ed., Carl Heymanns Verlag KG, Köln, 1995.
LibreCat
 
1995 | Journal Article | LibreCat-ID: 3037
Approximate matching of polygonal shapes
H. Alt, B. Behrends, J. Blömer, Annals of Mathematics and Artificial Intelligence 13 (1995).
LibreCat
 
1995 | Journal Article | LibreCat-ID: 2577
Kostenorientierte Planung der Entsorgungslogistik
S. Betz, Zeitschrift Für Planung 6 (1995) 321–339.
LibreCat
 
1995 | Book Chapter | LibreCat-ID: 7976
Planung und Durchführung der Ausbildung
H.-H. Kremer, in: U. Braukmann, D. Euler, H.-H. Kremer, M. Theis (Eds.), Meisterprüfung - Lernen für die Praxis, Ausbilden im Handwerk. Dozentenhandbuch für Teil IV der Meisterausbildung., 1st ed., Düsseldorf, 1995, pp. 1–123.
LibreCat
 
1995 | Conference Paper | LibreCat-ID: 7832
Record Linkage of Anonymous Data by Control Numbers
W. Thoben, H.-J. Appelrath, S. Sauer, in: Proceedings of the 18th Annual Conference of the Gesellschaft Für Klassifikation, Oldenburg (Germany), Springer, Berlin/Heidelberg, 1995, pp. 412–419.
LibreCat
 
1995 | Report | LibreCat-ID: 8195
Specialization of Object Life Cycle Definitions
J. Ebert, G. Engels, Specialization of Object Life Cycle Definitions, University of Koblenz-Landau, Koblenz, 1995.
LibreCat
 
1995 | Conference Paper | LibreCat-ID: 8099
Actual Optical and Thermal Performance of PV-Modules
S. Krauter, in: Proceedings of the ISES Solar World Congress 1995, Harare (Simbabwe), 11.–15. September 1995, 1995.
LibreCat
 
1995 | Book Chapter | LibreCat-ID: 8354
Existenzgründung
H.-H. Kremer, in: U. Braukmann, A. Diettrich, H.-H. Kremer, P.F.E. Sloane, E. Stickling (Eds.), Meisterprüfung - Lernen für die Praxis - Unternehmensführung 1, 1st ed., Düsseldorf, 1995, pp. 19–94.
LibreCat
 
1995 | Book Review | LibreCat-ID: 17776 LibreCat
 
1995 | Conference Paper | LibreCat-ID: 17492
The Genesis of Grelling’s Paradox
V. Peckhaus, in: I. Max, W. Stelzner (Eds.), Logik Und Mathematik. Frege-Kolloquium Jena 1993, Walter de Gruyter, Berlin/New York, 1995, pp. 269–280.
LibreCat
 
1995 | Journal Article | LibreCat-ID: 18630
Density-functional theory and the v-representability problem for model strongly correlated electron systems
A. Schindlmayr, R.W. Godby, Physical Review B 51 (1995) 10427–10435.
LibreCat | Files available | DOI | WoS | PubMed | Europe PMC
 
1995 | Book Chapter | LibreCat-ID: 19316
Zwischen Kontinuität, Notkirche und Neuanfang: Evangelischer Kirchenbau in Württemberg 1925 - 1955
E.-M. Seng, in: R. Lächele, J. Thierfelder (Eds.), Das Evangelische Württemberg zwischen Weltkrieg und Wiederaufbau, Stuttgart, 1995, pp. 234–259.
LibreCat
 
 
1995 | Journal Article | LibreCat-ID: 11786
Speech recognition algorithms for voice control interfaces
R. Haeb-Umbach, P. Beyerlein, D. Geller, Philips Journal of Research (1995).
LibreCat
 
1995 | Journal Article | LibreCat-ID: 13011
Built-In Test for Circuits with Scan Based on Reseeding of Multiple-Polynomial Linear Feedback Shift Registers
S. Hellebrand, J. Rajski, S. Tarnick, S. Venkataraman, B. Courtois, {IEEE Transactions on Computers} 44 (1995) 223–233.
LibreCat | DOI
 
1995 | Report | LibreCat-ID: 13028
Partitioning of CMOS-Circuits for On-Chip IDDQ-Testing
S. Hellebrand, M. Herzog, H.-J. Wunderlich, Partitioning of CMOS-Circuits for On-Chip IDDQ-Testing, University of Siegen, Germany, 1995.
LibreCat
 
1995 | Conference Paper | LibreCat-ID: 13472
Parallel Qualitative Simulation
M. Platzner, B. Rinner, R. Weiss, in: Proceedings of the EUROSIM Congress, Elsevier, 1995, pp. 231–236.
LibreCat
 
1995 | Conference Paper | LibreCat-ID: 13484
Design and Implementation of Adaptive Digital Filters on a Multi-TMS320C40 System
R. Hranitzky, M. Platzner, in: Proceedings of the 6th International Conference on Signal Processing Applications & Technology (ICSPAT), 1995.
LibreCat
 
1995 | Journal Article | LibreCat-ID: 13799
Se/GaAs(110): energetics and structure
W.G. Schmidt, F. Bechstedt, Surface Science 331–333 (1995) 557–563.
LibreCat | DOI
 
1995 | Journal Article | LibreCat-ID: 13852
Se/GaAs(110): Atomic and electronic structure
W.G. Schmidt, F. Bechstedt, Physical Review B 50 (1995) 17280–17291.
LibreCat | DOI
 
1995 | Conference Paper | LibreCat-ID: 15295
Rule-based modelling in fuzzy simulation
E. Hüllermeier, in: In Proceedings ISFL-95 International Symposium on Logic, Zürich, ICSC Academic Press, 1995, pp. B49–B56.
LibreCat
 
1995 | Book | LibreCat-ID: 1602
Die Gründung einer GmbH
D. Krimphove, C. Brehmer, Die Gründung Einer GmbH, FHTW Schriftenreihe, Berlin, 1995.
LibreCat
 
1995 | Book Chapter | LibreCat-ID: 16236
Konjunkturzyklen aufgrund von Investitionsinterdependenzen: Simulation und empirische Überprüfung
E. Hüllermeier, in: J. Flemmig (Ed.), Moderne Makroökonomie-Eine Kritische Bestandsaufnahme, Metropolis, 1995, pp. 413–454.
LibreCat
 
1995 | Book Chapter | LibreCat-ID: 16705
Shared memory simulations with triple-logarithmic delay
A. Czumaj, F. Meyer auf der Heide, V. Stemann, in: Lecture Notes in Computer Science, Berlin, Heidelberg, 1995.
LibreCat | DOI
 
1995 | Book Chapter | LibreCat-ID: 16717
Hot-potato routing on multi-dimensional tori
F. Meyer auf der Heide, M. Westermann, in: Graph-Theoretic Concepts in Computer Science, Berlin, Heidelberg, 1995.
LibreCat | DOI
 
1995 | Journal Article | LibreCat-ID: 2561 LibreCat
 
1995 | Journal Article | LibreCat-ID: 2573
Gemeinkostencontrolling auf Basis der Prozesskostenrechnung
S. Betz, Kostenrechnungspraxis 39 (1995) 135–144.
LibreCat
 
1995 | Report | LibreCat-ID: 3038
An XOR-based erasure-resilient coding scheme
J. Blömer, M. Kalfane, R. Karp, M. Karpinski, M. Luby, D. Zuckerman, An XOR-Based Erasure-Resilient Coding Scheme, Berkeley, USA, 1995.
LibreCat | Files available
 
1995 | Book | LibreCat-ID: 3386
Wachstum, Humankapital und die Dynamik der komparativen Vorteile
T. Gries, Wachstum, Humankapital Und Die Dynamik Der Komparativen Vorteile, Mohr (Siebeck), Tübingen, 1995.
LibreCat
 
1995 | Conference Paper | LibreCat-ID: 7833
Embedding of Conditional Graph Transformations
R. Heckel, in: Proceedings of the Colloquium on Graph Transformation and Its Application in Computer Science, Universitat de les Illes Balears, 1995.
LibreCat
 
1995 | Book Chapter | LibreCat-ID: 8076
Grundfragen der Berufsbildung
D. Euler, H.-H. Kremer, M. Theis, in: U. Braukmann, D. Euler, H.-H. Kremer, M. Theis (Eds.), Meisterprüfung - Lernen Für Die Praxis, Ausbilden Im Handwerk. Dozentenhandbuch Für Teil IV Der Meisterausbildung., 1st ed., Düsseldorf, 1995, pp. 1–23.
LibreCat
 
1995 | Report | LibreCat-ID: 8196
Encapsulated Hierarchical Graphs, Graph Types, and Meta Types
G. Engels, A. Schürr, Encapsulated Hierarchical Graphs, Graph Types, and Meta Types, Vakgroep Informatica, Rijksuniversiteit Leiden, 1995.
LibreCat
 
1995 | Conference Paper | LibreCat-ID: 8266
Coordination by Behavioural Views and Communication Patterns
L. Groenewegen, G. Engels, in: Proceedings of the 4th European Workshop on Software Process Technology (EWSPT 1995), Noordwijkerhout (The Netherlands), Springer, Berlin/Heidelberg, 1995, pp. 189–192.
LibreCat | DOI
 
1995 | Book Chapter | LibreCat-ID: 16611
The constrained Liapunov-Schmidt procedure and periodic orbits
M. Golubitsky, J. Marsden, I. Stewart, M. Dellnitz, in: Normal Forms and Homoclinic Chaos, Providence, Rhode Island, 1995.
LibreCat | DOI
 
1995 | Journal Article | LibreCat-ID: 16510
Symmetry Breaking Bifurcations of Chaotic Attractors
P.J. Aston, M. Dellnitz, International Journal of Bifurcation and Chaos (1995) 1643–1676.
LibreCat | DOI
 
 
1995 | Book Chapter | LibreCat-ID: 17842
Kurt Grelling
V. Peckhaus, in: Modern Logic Calendar 1995, 1995, p. März.
LibreCat
 
1995 | Book | LibreCat-ID: 18701
Kirchenbau zwischen Politik, Kunst und Liturgie. Theorie und Wirklichkeiten im Evangelischen Kirchenbau des 19. Jahrhunderts. Jahresgabe des Vereins für christliche Kunst in Württemberg 1995
E.-M. Seng, Kirchenbau zwischen Politik, Kunst und Liturgie. Theorie und Wirklichkeiten im Evangelischen Kirchenbau des 19. Jahrhunderts. Jahresgabe des Vereins für christliche Kunst in Württemberg 1995, Wasmuth, Tübingen, 1995.
LibreCat
 
1995 | Journal Article | LibreCat-ID: 16243
Rearrangement by intermediate ion/neutral complexes during the McLafferty fragmentation of unsaturated ketones
S. Dohmeier-Fischer, N. Krämer, H.-F. Grützmacher, European Journal of Mass Spectrometry (1995).
LibreCat | DOI
 
1995 | Dissertation | LibreCat-ID: 19627
Parallel Algorithmic Techniques: PRAM Algorithms and PRAM Simulations
A. Czumaj, Parallel Algorithmic Techniques: PRAM Algorithms and PRAM Simulations, Universität Paderborn, 1995.
LibreCat | Files available
 
1995 | Dissertation | LibreCat-ID: 19634
Space-Bounded Learning Algorithms
F. Ameur, Space-Bounded Learning Algorithms, Universität Paderborn, 1995.
LibreCat
 
1995 | Conference Paper | LibreCat-ID: 11768
The Usability Engineering of a Voice-Controlled Answering Machine
S. Gamm, R. Haeb-Umbach, D. Langmann, in: International Symposium on Human Factors in Telecommunications, Melbourne, 1995.
LibreCat
 
1995 | Conference Paper | LibreCat-ID: 11787
Automatic Transcription of Unknown Words in a Speech Recognition System
R. Haeb-Umbach, P. Beyerlein, E. Thelen, in: ICASSP, Detroit, 1995.
LibreCat | Download (ext.)
 
1995 | Conference Paper | LibreCat-ID: 13012
Pattern Generation for a Deterministic BIST Scheme
S. Hellebrand, B. Reeb, S. Tarnick, H.-J. Wunderlich, in: {ACM/IEEE International Conference on Computer Aided Design (ICCAD’95)}, {IEEE (Comput. Soc. Press)}, San Jose, CA, USA, 1995, pp. 88–94.
LibreCat | DOI
 
1995 | Misc | LibreCat-ID: 13086
Pattern Generation for a Deterministic BIST Scheme
S. Hellebrand, B. Reeb, S. Tarnick, H.-J. Wunderlich, Pattern Generation for a Deterministic BIST Scheme, 2nd IEEE International Test Synthesis Workshop, Santa Barbara, CA, 1995.
LibreCat
 
1995 | Conference Paper | LibreCat-ID: 13473
Improving Performance of the Qualitative Simulator QSIM - Design and Implementation of a Specialized Computer Architecture
M. Platzner, B. Rinner, in: Proceedings of the PDCS International Conference on Parallel and Distributed Computing Systems, ISCA, 1995, pp. 494–501.
LibreCat
 
1995 | Conference Paper | LibreCat-ID: 15272
Education for Visualization-Activities of the acm-siggraph Education Committee
G. Domik-Kienegger, G. Owen, in: Proceedings of the Third Eurographics Workshop on Graphics and Visualization, 1995.
LibreCat
 
1995 | Book | LibreCat-ID: 1603
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
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  , FHTW Schriftenreihe, Berlin, 1995.
LibreCat
 
1995 | Conference Paper | LibreCat-ID: 16706
Optimal trade-offs between size and slowdown for universal parallel networks
F. Meyer auf der Heide, M. Storch, R. Wanka, in: Proceedings of the Seventh Annual ACM Symposium on Parallel Algorithms and Architectures  - SPAA ’95, 1995.
LibreCat | DOI
 
1995 | Conference Paper | LibreCat-ID: 2447
Implementation of a Parallel and Distributed Mapping Kernel for PARIX
M. Röttger, U.-P. Schroeder, J. Simon, in: Proc. Int. Conf. on High-Performance Computing and Networking, Springer, Berlin / Heidelberg, 1995, pp. 781–786.
LibreCat | DOI
 
1995 | Book | LibreCat-ID: 2675
Erfolgscontrolling unter besonderer Berücksichtigung produktionswirtschaftlicher Aspekte
S. Betz, Erfolgscontrolling Unter Besonderer Berücksichtigung Produktionswirtschaftlicher Aspekte, Paderborn, 1995.
LibreCat
 
1995 | Book Chapter | LibreCat-ID: 8077
Grundfragen der Berufsbildung
D. Euler, H.-H. Kremer, M. Theis, in: D. Euler, H.-H. Kremer, M. Theis (Eds.), Meisterprüfung - Lernen für die Praxis, Ausbilden im Handwerk, 1st ed., 1995, pp. 13–42.
LibreCat
 
1995 | Conference Paper | LibreCat-ID: 8267
A Compositional Approach to Structuring and Refinement of Typed Graph Grammars
A. Corradini, R. Heckel, in: Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy), Elsevier, 1995, pp. 46–55.
LibreCat
 
1995 | Journal Article | LibreCat-ID: 16542
A note on the shadowing lemma and symmetric periodic points
M. Dellnitz, I. Melbourne, Nonlinearity (1995) 1067–1075.
LibreCat | DOI
 
1995 | Conference Paper | LibreCat-ID: 17482
Simulating shared memory in real time: On the computation power of reconfigurable meshes
A. Czumaj, F. Meyer auf der Heide, V. Stemann, in: Proceedings of the 2nd IEEE Workshop on Reconfigurable Architectures, 1995, pp. 46--59.
LibreCat
 
1995 | Journal Article | LibreCat-ID: 16566
Transforming comparison model lower bounds to the parallel-random-access-machine
D. Breslauer, A. Czumaj, D.P. Dubhashi, F. Meyer auf der Heide, Information Processing Letters (1995) 103–110.
LibreCat | DOI
 
1995 | Book Chapter | LibreCat-ID: 19414
Zeit/Räume – Aspekte der Zeiterfahrung bei Heiner Müller
N.O. Eke, in: T. Buck, J.-M. Valentin, N. Kenfgens, D. Vogel (Eds.), Heiner Müller – Rückblicke, Perspektiven. Vorträge des Pariser Kolloquiums 1993, Lang, Frankfurt a. M., 1995, pp. 131–152.
LibreCat
 
1995 | Dissertation | LibreCat-ID: 19630
Eine Bibliothek von Basisdiensten für Parallelrechner: Routing, Synchronisation, gemeinsamer Speicher
A. Wachsmann, Eine Bibliothek von Basisdiensten Für Parallelrechner: Routing, Synchronisation, Gemeinsamer Speicher, Universität Paderborn, 1995.
LibreCat
 
1995 | Dissertation | LibreCat-ID: 19623
Contention Resolution in Hashing Based Shared Memory Simulations
V. Stemann, Contention Resolution in Hashing Based Shared Memory Simulations, Universität Paderborn, 1995.
LibreCat
 
1995 | Conference Paper | LibreCat-ID: 2187
Routing with Bounded Buffers and Hot-Potato Routing in Vertex-Symmetric Networks
F. Meyer auf der Heide, C. Scheideler, in: ESA, 1995, pp. 341--354.
LibreCat | Files available | DOI
 
1995 | Conference Paper | LibreCat-ID: 2207
Space-Efficient Routing in Vertex-Symmetric Networks (Extended Abstract)
F. Meyer auf der Heide, C. Scheideler, in: SPAA, 1995, pp. 137--146.
LibreCat | Files available
 
1994 | Conference Paper | LibreCat-ID: 13013
Synthesis of Self-Testable Controllers
S. Hellebrand, H.-J. Wunderlich, in: {European Design and Test Conference (EDAC/ETC/EUROASIC)}, {IEEE (Comput. Soc. Press)}, Paris, France, 1994, pp. 580–585.
LibreCat | DOI
 
1994 | Report | LibreCat-ID: 13025
Chip Level Test Planning for Controlling the Tradeoff between Hardware Overhead and Test Time
S. Hellebrand, A. Juergensen, A. Stroele, 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: 13854
First principles calculations of interface phonons of an Epitaxial Sb monolayer on GaAs(110) and InP(110)
W.G. Schmidt, G. Srivastava, Solid State Communications 89 (1994) 345–348.
LibreCat | DOI
 
1994 | Book Chapter | LibreCat-ID: 15608
Platons "Timaios", eine Anleitung zur wissenschaftlichen Hypothesenbildung?
R. Hagengruber, in: B. Fritscher, G. Brey (Eds.), Cosmographica et Geographica. Algorismus. Studien zur Geschichte der Mathematik und der Naturwissenschaften, Springer, New York, 1994, pp. 75–96.
LibreCat
 
1994 | Book Chapter | LibreCat-ID: 15610
Die Theorie des Punktes aus der Philosophie der Ähnlichkeit bei Tommaso Campanella
R. Hagengruber, in: V. Gómez Pin (Ed.), 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, Bellaterra, Barcelona, 1994, pp. 101–107.
LibreCat | Files available
 
1994 | Journal Article | LibreCat-ID: 1659 LibreCat
 
1994 | Journal Article | LibreCat-ID: 1661
Europejskie prawo pracy
D. Krimphove, Monitor Prawniczy (1994) 42 ff.
LibreCat
 
1994 | Conference Paper | LibreCat-ID: 3263
Weak Sequential Composition in Process Algebras
A. Rensink, H. Wehrheim, in: B. Jonsson, J. Parrow (Eds.), {CONCUR} ’94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings, 1994, pp. 226--241.
LibreCat | DOI
 
1994 | Book Chapter | LibreCat-ID: 7513
SOCCA: Specifications of Coordinated and Cooperative Activities
G. Engels, L. Groenewegen, in: Software Process Modelling and Technology, Research Studies Press, Taunton, 1994, pp. 71–102.
LibreCat
 
1994 | Conference Paper | LibreCat-ID: 7828
Structural and Behavioural Views on OMT-Classes
J. Ebert, G. Engels, in: Proceedings of the International Symposium on Object-Oriented Methodologies and Systems (ISOOMS 1994), Palermo (Italy), Springer, Berlin/Heidelberg, 1994, pp. 142–157.
LibreCat
 
1994 | Conference Paper | LibreCat-ID: 7830
Towards a Module Concept for Graph Transformation Systems: The Software Engineering Perspective
G. Engels, H. Ehrig, in: Proceedings Colloquium on Graph Transformation and Its Application in Computer Science, Universitat de les Illes Balears, Departament de Ci, 1994.
LibreCat
 
1994 | Report | LibreCat-ID: 8193
Observable or Invocable Behaviour - You Have to Choose
J. Ebert, G. Engels, Observable or Invocable Behaviour - You Have to Choose, Vakgroep Informatica, Rijksuniversiteit Leiden, 1994.
LibreCat
 
1994 | Conference Paper | LibreCat-ID: 8092
Optical Modelling, Simulation and Improvement of PV Module Encapsulation
S. Krauter, R. Hanitsch, P. Campbell, S.R. Wenham, in: Proceedings of the 12th European Photovoltaic Solar Energy Conference, Amsterdam (Niederlande), 11.–15. April 1994, Band 2, S. 1198–1201, 1994.
LibreCat
 
1994 | Conference Paper | LibreCat-ID: 8263
Syntax and Semantics of Hybrid Database Languages
M. Andries, G. Engels, in: Proceedings of the International Workshop on Graph Transformations in Computer Science (1993), Dagstuhl (Germany), Springer, Berlin/Heidelberg, 1994, pp. 19–36.
LibreCat | DOI
 
 
1994 | Book Chapter | LibreCat-ID: 17837
The Axiomatic Method and Ernst Schröder’s Algebraic Approach to Logic [Abstract]
V. Peckhaus, in: Abstract of Papers Presented to the American Mathematical Society, 1994, p. 447.
LibreCat
 
1994 | Book Chapter | LibreCat-ID: 17488
Hilbert’s Axiomatic Programme and Philosophy
V. Peckhaus, in: E. Knobloch, D.E. Rowe (Eds.), The History of Modern Mathematics, Bd. 3: Images, Ideas, and Communities, Academic Press, Boston u. a., 1994, pp. 91–112.
LibreCat
 
1994 | Book Chapter | LibreCat-ID: 19415
Heiner Müller
N.O. Eke, in: H. Steinecke (Ed.), Deutsche Dichter des 20. Jahrhunderts, Erich Schmidt, Berlin, 1994, pp. 726–741.
LibreCat
 
1994 | Dissertation | LibreCat-ID: 19624
Paralleles Sortieren auf mehrdimensionalen Gittern
R. Wanka, Paralleles Sortieren Auf Mehrdimensionalen Gittern, Universität Paderborn, 1994.
LibreCat | Files available
 
1994 | Book | LibreCat-ID: 3333
Aussagenlogik - Deduktion und Algorithmen
H. Kleine Büning, T. Lettmann, Aussagenlogik - Deduktion und Algorithmen, Teubner, 1994.
LibreCat | DOI
 
1994 | Journal Article | LibreCat-ID: 11796
Improvements in beam search for 10000-word continuous-speech recognition
R. Haeb-Umbach, H. Ney, IEEE Transactions on Speech and Audio Processing (1994).
LibreCat
 
1994 | Conference Paper | LibreCat-ID: 11878
Progress in Large-Vocabulary, Continuous Speech Recognition
H. Ney, V. Steinbeiss, X.L. Aubert, R. Haeb-Umbach, in: Artifical Intelligence, Progress and Prospects of Speech Research and Technology, Munich, 1994.
LibreCat
 
1994 | Conference Paper | LibreCat-ID: 13014
An Efficient Procedure for the Synthesis of Fast Self-Testable Controller Structures
S. Hellebrand, H.-J. Wunderlich, in: {ACM/IEEE International Conference on Computer-Aided Design (ICCAD’94)}, {IEEE}, San Jose, CA, USA, 1994, pp. 110–116.
LibreCat | DOI
 
1994 | Misc | LibreCat-ID: 13083
Effiziente Testsatzkodierung für Prüfpfad-basierte Selbsttestarchitekturen
S. Venkataraman, J. Rajski, S. Hellebrand, 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 | Conference Paper | LibreCat-ID: 13468
Experimental Evaluation of Multi-DSP Architectures in High Performance Applications
M. Platzner, C. Steger, R. Weiss, in: Proceedings of the 7th Mediterranean Electrotechnical Conference, IEEE Press, 1994.
LibreCat
 
1994 | Journal Article | LibreCat-ID: 13855
Coverage-dependent bonding of Sb on GaAs (110)
W.G. Schmidt, B. Wenzien, F. Bechstedt, Surface Science 307–309 (1994) 235–240.
LibreCat | DOI
 
1994 | Journal Article | LibreCat-ID: 1662
Die Mitwirkungsrechte des Betriebsrates in der Betriebsverfassung
D. Krimphove, Arbeit Und Recht (1994) 215 ff.
LibreCat
 
1994 | Conference Paper | LibreCat-ID: 3264
Parametric Action Refinement
H. Wehrheim, in: E.-}R{\"{u}}diger Olderog (Ed.), 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 | LibreCat-ID: 6528
Windatlas für das PESAG-Versorgungsgebiet
J. Bendfeld, A. Ernst, E. Ortjohann, Windatlas für das PESAG-Versorgungsgebiet, Universität - GH Paderborn, Fachgebiet Elektrische Energieversorgung, Februar 1994, 1994.
LibreCat
 
1994 | Conference Paper | LibreCat-ID: 6530
Flächendeckende Windpotentialbestimmung in einer Binnenlandregion mit ausgeprägter Orographie
J. Bendfeld, A. Ernst, E. Ortjohann, B. Langrock, N. Scholz, in: Renergie 94 - Windenergienutzung im Binnenland, Solarenergienutzung in Deutschland, 1994.
LibreCat
 
1994 | Conference (Editor) | LibreCat-ID: 7797
Fundamentals of Object-Oriented Languages, Systems, and Methods
H.-D. Ehrich, G. Engels, J. Paredaens, J. Wegner, eds., Fundamentals of Object-Oriented Languages, Systems, and Methods, Schloss Dagstuhl, Leibniz Center for Informatics, 1994.
LibreCat
 
1994 | Conference Paper | LibreCat-ID: 7829
Object-Oriented System Development: Will the New Approach Solve Old Problems?
G. Engels, G. Kappel, in: Proceedings of the IFIP 13th World Computer Congress on Information Processing, Hamburg (Germany), Elsevier, 1994, pp. 434–441.
LibreCat
 
1994 | Conference Paper | LibreCat-ID: 8093
Simulation Tool for Prediction and Optimization of Output Power Considering Thermal and Optical Parameters of PV Module Encapsulation
P. Strauss, K. Onneken, S. Krauter, R. Hanitsch, in: Proceedings of the 12th European Photovoltaic Solar Energy Conference, Amsterdam (Niederlande), 11.–15. April 1994, Band 2, S. 1194–1197., 1994.
LibreCat
 
1994 | Conference Paper | LibreCat-ID: 8264
Specification of coordinated behaviour by SOCCA
G. Engels, L. Groenewegen, in: Proceedings of the Third European Workshop on Software Process Technology (EWSPT 1994), Villard de Lans (France), Springer, Berlin/Heidelberg, 1994, pp. 128–151.
LibreCat | DOI
 
1994 | Book Chapter | LibreCat-ID: 16549
Symmetry of Attractors and the Karhunen-Loève Decomposition
M. Dellnitz, M. Golubitsky, M. Nicol, in: Trends and Perspectives in Applied Mathematics, New York, NY, 1994.
LibreCat | DOI
 
1994 | Book Chapter | LibreCat-ID: 16544
Eigenvalue Movement for a Class of Reversible Hamiltonian Systems with Three Degrees of Freedom
M. Dellnitz, J. Scheurle, in: Dynamics, Bifurcation and Symmetry, Dordrecht, 1994.
LibreCat | DOI
 
1994 | Journal Article | LibreCat-ID: 17489 LibreCat
 
 
1994 | Journal Article | LibreCat-ID: 11879
An Overview of the Philips Research System for Large Vocabulary Continuous Speech Recognition
H. Ney, V. Steinbeiss, R. Haeb-Umbach, B.H. Tran, International Journal on Pattern Recognition and Artificial Intelligence (1994).
LibreCat
 
1994 | Misc | LibreCat-ID: 13084
Ein Verfahren zur testfreundlichen Steuerwerkssynthese
S. Hellebrand, 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 | Journal Article | LibreCat-ID: 13856
Chemisorption of antimony on GaAs(110)
W.G. Schmidt, B. Wenzien, F. Bechstedt, Physical Review B 49 (1994) 4731–4744.
LibreCat | DOI
 
1994 | Book Chapter | LibreCat-ID: 15509
Parallelen um den Punkt zwischen Campanella und Leibniz
R. Hagengruber, in: A. Heinekamp, I. Hein, Stiftung Niedersachsen (Eds.), Leibniz und Europa, 1994, pp. 309–315.
LibreCat
 
1994 | Journal Article | LibreCat-ID: 16728
Dynamic Perfect Hashing: Upper and Lower Bounds
M. Dietzfelbinger, A. Karlin, K. Mehlhorn, F. Meyer auf der Heide, H. Rohnert, R.E. Tarjan, SIAM Journal on Computing (1994) 738–761.
LibreCat | DOI
 
1994 | Journal Article | LibreCat-ID: 16817
Visualization education
G. Domik-Kienegger, Comput. Graph. 18 (1994) 277–280.
LibreCat | DOI
 
1994 | Conference Paper | LibreCat-ID: 2452
Leistung eines Parallelrechners auf Basis des PowerPC-Prozessors
J. Simon, in: Parallele Datenverarbeitung Aktuell: TAT ’94, IOS Press, Amsterdam, 1994, pp. 38–45.
LibreCat
 
1994 | Journal Article | LibreCat-ID: 3068
Endogenous Growth and R&D Models - A Critical Appraisal of Recent Developments
T. Gries, C. Hentschel, B. Wigger, Jahrbücher Für Nationalökonomie Und Statistik 213/1 (1994) 64–84.
LibreCat
 
1994 | Journal Article | LibreCat-ID: 7407
Visuelles Spezifizieren von komplexen Aktionen auf Datenbankstrukturen
P. Löhr-Richter, G. Engels, GI-Datenbank Rundbrief 13 (1994) 33–35.
LibreCat
 
1994 | Conference (Editor) | LibreCat-ID: 7798
Graph Gramars and Their Application to Computer Science, 5th International Workshop (1994), Selected Papers
J. Cuny, H. Ehrig, G. Engels, G. Rozenberg, eds., Graph Gramars and Their Application to Computer Science, 5th International Workshop (1994), Selected Papers, Springer, Berlin/Heidelberg, 1994.
LibreCat | DOI
 
1994 | Conference Paper | LibreCat-ID: 8094
Einfluß optischer und thermischer Parameter auf den Tageswirkungsgrad von photovoltaischen Modulen
S. Krauter, R. Hanitsch, in: Neuntes Internationales Sonnenforum, Berlin (Deutschland), 28. Juni – 1. Juli 1994, S. 495–502, 1994.
LibreCat
 
1994 | Conference Paper | LibreCat-ID: 8265
Visual Specification of Complex Database Actions
G. Engels, P. Löhr, in: Proceedings of the 2nd International East/West Database Workshop, Klagenfurt (Germany), Springer, Berlin/Heidelberg, 1994, pp. 303–314.
LibreCat
 
1994 | Book | LibreCat-ID: 17303
MuPAD: Multi Processing Algebra Data Tool; Tutorial
B. Fuchssteiner, K. Gottheil, A. Kemper, O. Kluge, K. Morisse, H. Naundorf, G. Oevel, T. Schulze, W. Wiwianka, MuPAD: Multi Processing Algebra Data Tool; Tutorial, Birkhäuser, Basel-Boston-Berlin, 1994.
LibreCat
 
1994 | Book Chapter | LibreCat-ID: 17485
Bibliographie der Werke Kurt Grellings
V. Peckhaus, in: L. Danneberg, A. Kamlah, L. Schäfer (Eds.), Hans Reichenbach und die Berliner Gruppe, Friedr. Vieweg & Sohn, Braunschweig, 1994, pp. 74–86.
LibreCat
 
1994 | Book Chapter | LibreCat-ID: 17834
Ernst Schröder
V. Peckhaus, in: Modern Logic Calendar 1994, 1994, p. November.
LibreCat
 
1994 | Journal Article | LibreCat-ID: 17841 LibreCat
 
1994 | Misc | LibreCat-ID: 17896
Alexander Rüstow's Thesis, Beitrag für russell-l@mcmail.cis.mcmaster am 17. Juni 1994 [Abdruck: Rüstow’s Thesis on Russell’s Paradox, History of Logic Newsletter, Nr. 13 (September–Oktober 1994), 2–3] [revidierte Fassung: Rüstow’s Thesis on Russell’s Paradox”, Modern Logic 5 (1995), 167–169]
V. Peckhaus, Alexander Rüstow’s Thesis, Beitrag Für  Russell-L@mcmail.Cis.Mcmaster Am 17. Juni 1994 [Abdruck: Rüstow’s Thesis on Russell’s Paradox, History of Logic Newsletter, Nr. 13 (September–Oktober 1994), 2–3] [Revidierte Fassung: Rüstow’s Thesis on Russell’s Paradox”, Modern Logic 5 (1995), 167–169], 1994.
LibreCat
 
1994 | Conference Paper | LibreCat-ID: 17480
Logic in Transition: The Logical Calculi of Hilbert (1905) and Zermelo (1908)
V. Peckhaus, in: D. Prawitz, D. Westerståhl (Eds.), Logic and Philosophy of Science in Uppsala. Papers from the 9th International Congress of Logic, Methodology and Philosophy of Science, Kluwer, Dordrecht/Boston/London, 1994, pp. 311–323.
LibreCat
 
1994 | Book (Editor) | LibreCat-ID: 18433
Sprachbiographie und Sprachstörung. Fallstudien zur Textproduktion bei hirnorganischen Erkrankungen
D. Tophinke, ed., Sprachbiographie und Sprachstörung. Fallstudien zur Textproduktion bei hirnorganischen Erkrankungen, DUV (zugleich Dissertation Osnabrück 1991), Wiesbaden, 1994.
LibreCat
 
1994 | Book Chapter | LibreCat-ID: 19417
Vergangene Zeiten. Anmerkungen zur Semantik des Umbruchs und zu den Bedeutungsstrukturen im historischen Erzählen der frühen Restaurationszeit (1815-1830)
N.O. Eke, in: N.O. Eke, H. Steinecke (Eds.), Geschichten aus (der) Geschichte. Zum Stand des historischen Erzählens im Deutschland der frühen Restaurationszeit, Fink, München, 1994, pp. 17–58.
LibreCat
 
1994 | Conference Paper | LibreCat-ID: 13059
Synthese schneller selbsttestbarer Steuerwerke
S. Hellebrand, H.-J. Wunderlich, in: {Tagungsband Der GI/GME/ITG-Fachtagung \& Rechnergestützter Entwurf Und Architektur Mikroelektronischer Systeme}, Oberwiesenthal, Informatik Xpress 4, TU Chemnitz Zwickau, Germany, 1994, pp. 3–11.
LibreCat
 
1994 | Misc | LibreCat-ID: 13085
Synthesis for Testability - the ARCHIMEDES Approach
S. Hellebrand, J. Paulo Teixeira, H.-J. Wunderlich, Synthesis for Testability - the ARCHIMEDES Approach, 1st IEEE International Test Synthesis Workshop, Santa Barbara, CA, USA, 1994.
LibreCat
 
1994 | Dissertation | LibreCat-ID: 15497
Tommaso Campanella. Eine Philosophie der Ähnlichkeit
R. Hagengruber, Tommaso Campanella. Eine Philosophie der Ähnlichkeit, Academia, Sankt Augustin, 1994.
LibreCat
 
1994 | Conference Paper | LibreCat-ID: 8095
Simulation of Thermal and Optical Performance of PV Modules
S. Krauter, R. Hanitsch, S.R. Wenham, in: Proceedings of the 3rd World Renewable Energy Congress, Reading (UK), 11.–16. September 1994, 1994.
LibreCat
 
1994 | Journal Article | LibreCat-ID: 16541
Generic movement of eigenvalues for equivariant self-adjoint matrices
M. Dellnitz, I. Melbourne, Journal of Computational and Applied Mathematics (1994) 249–259.
LibreCat | DOI
 
1994 | Book Chapter | LibreCat-ID: 17481
Von Nelson zu Reichenbach. Kurt Grelling in Göttingen und Berlin
V. Peckhaus, in: L. Danneberg, A. Kamlah, L. Schäfer (Eds.), Hans Reichenbach und die Berliner Gruppe, Friedr. Vieweg & Sohn, Braunschweig/Wiesbaden, 1994, pp. 53–73.
LibreCat
 
1994 | Journal Article | LibreCat-ID: 17486
Benno Kerry. Beiträge zu seiner Biographie
V. Peckhaus, History and Philosophy of Logic 15 (1994) 1–8.
LibreCat
 
1994 | Book (Editor) | LibreCat-ID: 19088
Geschichten aus (der) Geschichte. Zum Stand des historischen Erzählens im Deutschland der frühen Restaurationszeit
N.O. Eke, H. Steinecke, eds., Geschichten aus (der) Geschichte. Zum Stand des historischen Erzählens im Deutschland der frühen Restaurationszeit, Fink, München, 1994.
LibreCat
 
1994 | Book Chapter | LibreCat-ID: 19418
Der historische Roman der frühen Restaurationszeit. Zur Einführung
N.O. Eke, H. Steinecke, in: N.O. Eke, H. Steinecke (Eds.), Geschichten aus (der) Geschichte. Zum Stand des historischen Erzählens im Deutschland der frühen Restaurationszeit, Fink, München, 1994, pp. 7–16.
LibreCat
 
1994 | Report | LibreCat-ID: 13024
Synthesis for Off-line Testability
S. Hellebrand, A. Juergensen, H.-J. Wunderlich, Synthesis for Off-Line Testability, University of Siegen, Germany, 1994.
LibreCat
 
1994 | Journal Article | LibreCat-ID: 13853
Energetics and Structure of Ordered Sb Overlayers and Sb Clusters on GaAs(110) Probed by Ab Initio Calculations
F. Bechstedt, W.G. Schmidt, B. Wenzien, Europhysics Letters (EPL) 25 (1994) 357–362.
LibreCat | DOI
 
1994 | Conference Paper | LibreCat-ID: 15296
Approximate solution of a linear programming problem using a modified perceptron-algorithm.
E. Hüllermeier, in: H.J. Zimmermann (Ed.), In Proceedings EUFIT-94 2nd European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany, 1994, pp. 195–199.
LibreCat
 
1994 | Journal Article | LibreCat-ID: 1660
Die Mitwirkungsrechte gemäß Betriebsverfassung
D. Krimphove, Arbeit Und Arbeitsrecht (AuA) (1994) 215 ff.
LibreCat
 
1994 | Book Chapter | LibreCat-ID: 7512
Design Representation
J. Ebert, G. Engels, in: Encyclopedia of Software Engineering, John Wiley & Sons, Inc., 1994, pp. 382–394.
LibreCat
 
1994 | Conference Paper | LibreCat-ID: 8096
Actual Optical and Thermal Performance of PV-Modules
S. Krauter, 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: 7827
Berücksichtigung von Datenschutzaspekten in einem bevölkerungsbezogenen Krebsregister
W. Thoben, H.-J. Appelrath, J. Rettig, S. Sauer, in: Proceedings of the Conference on Medizin Und Information, Biometrie Und Epidemiologie (GMDS 1994), Dresden (Germany), MMV Medizin Verlag, München, 1994, pp. 88–90.
LibreCat
 
1994 | Conference Paper | LibreCat-ID: 16819
User Modeling for Adaptive Visualization Systems
G. Domik-Kienegger, B. Gutkauf, in: R. Daniel Bergeron, A. E. Kaufman (Eds.), Proceedings IEEE Visualization ’94, Washington, DC, USA, October 17-21, 1994, IEEE Computer Society, 1994, pp. 217–223.
LibreCat | DOI
 
1994 | Journal Article | LibreCat-ID: 17014
Collisions of chaotic attractors
M. Dellnitz, Schlaglichter Der Forschung: Zum 75. Jahrestag Der Universität Hamburg (1994) 411–428.
LibreCat
 
1994 | Book Chapter | LibreCat-ID: 17305
MuPAD - new developments and their applications
K. Morisse, G. Oevel, in: Computer Algebra in Science and Engineering, World Scientific, 1994.
LibreCat
 
1994 | Conference Paper | LibreCat-ID: 17487
Leibniz als Identifikationsfigur der britischen Logiker des 19. Jahrhunderts
V. Peckhaus, in: Gottfried-Wilhelm-Leibniz-Gesellschaft (Ed.), VI. Internationalen Leibniz-Kongreß. Vorträge I. Teil, Hannover, 18.–22.7.1994, Hannover, 1994, pp. 589–596.
LibreCat
 
1994 | Book | LibreCat-ID: 19022
Der deutsche Roman 1815-1830. Bibliographie. Standortverzeichnisse, Rezensionen, Forschungsüberblick
N.O. Eke, D. Olasz-Eke, Der deutsche Roman 1815-1830. Bibliographie. Standortverzeichnisse, Rezensionen, Forschungsüberblick, Fink, München, 1994.
LibreCat
 
1993 | Conference Paper | LibreCat-ID: 11788
Improvements in Connected Digit Recognition Using Linear Discriminant Analysis and Mixture Densities
R. Haeb-Umbach, D. Geller, H. Ney, in: ICASSP, Minneapolis, 1993.
LibreCat | Download (ext.)
 
1993 | Conference Paper | LibreCat-ID: 11904
The Philips Research System for Large-Vocabulary Continuous-Speech Recognition
V. Steinbiss, H. Ney, R. Haeb-Umbach, B.-H. Train, U. Essen, R. Kneser, M. Oerder, H.G. Meier, X. Aubert, C. Dugast, D. Geller, W. Hoellerbauer, H. Bartosik, in: EUROSPEECH, Berlin, 1993.
LibreCat | Download (ext.)
 
1993 | Misc | LibreCat-ID: 13082
Synthesis of Self-Testable Controllers
S. Hellebrand, H.-J. Wunderlich, Synthesis of Self-Testable Controllers, ARCHIMEDES Open Workshop on “Synthesis - Architectural Testability Support”, Montpellier, France, 1993.
LibreCat
 
1993 | Conference Paper | LibreCat-ID: 13467
Performance Measurements on a Multi-DSP Architecture with TMS320C40
M. Platzner, C. Steger, R. Weiss, in: Proceedings of the 4th International Conference on Signal Processing Applications & Technology (ICSPAT), DSP Associates, 1993.
LibreCat
 
1993 | Journal Article | LibreCat-ID: 15273
Guidelines for a curriculum in scientific visualization
G. Domik, Computers \& Graphics 17 (1993) 185–191.
LibreCat
 
1993 | Journal Article | LibreCat-ID: 15045
An Agenda for Education in Scientific Visualization, Visualization'92 Workshop Report
G. Domik, COMPUTER GRAPHICS-NEW YORK-ASSOCIATION FOR COMPUTING MACHINERY- 27 (1993) 6–6.
LibreCat
 
1993 | Report | LibreCat-ID: 2455
Problem Independent Distributed Simulated Annealing and its Applications
R. Diekmann, R. Lüling, J. Simon, Problem Independent Distributed Simulated Annealing and Its Applications, Paderborn Center for Parallel Computing, 1993.
LibreCat
 
1993 | Journal Article | LibreCat-ID: 8895
Static Behaviour of Drill Strings in Curved Boreholes
W. Sextro, B. Schmalhorst, Zeitschrift Für Angewandte Mathematik Und Mechanik (ZAMM) 73 (1993) 255–257.
LibreCat
 
1993 | Conference Paper | LibreCat-ID: 17476
Ernst Schröder und der Logizismus
V. Peckhaus, in: W. Stelzner (Ed.), Philosophie und Logik. Frege-Kolloquien Jena 1989/1991, Walter de Gruyter, Berlin/New York, 1993, pp. 108–119.
LibreCat
 
1993 | Book Chapter | LibreCat-ID: 18429
Sprachentwicklung in Geschichte und Gegenwart
U. Maas, M. Frankenbusch, R. Johannlückens, U. Stöwer-Gaus, M. Striezel, D. Tophinke, in: K.J. Bade u. a. (Ed.), Damme. Eine Stadt in ihrer Geschichte, Thorbecke, Sigmaringen, 1993, pp. 533–559.
LibreCat
 
1993 | Book | LibreCat-ID: 19148
Nikolaus Lenau. Werke und Briefe. Historisch-kritische Gesamtausgabe. Bd. 7. Aufzeichnungen. Vermischte Schriften. Text und Kommentar (Edition)
N.O. Eke, N. Oellers, K.J. Skrodzki, H. Steinecke, Nikolaus Lenau. Werke und Briefe. Historisch-kritische Gesamtausgabe. Bd. 7. Aufzeichnungen. Vermischte Schriften. Text und Kommentar (Edition), Deuticke, Klett-Cotta, Wien, 1993.
LibreCat
 
1993 | Book Chapter | LibreCat-ID: 19427
Rettung des Sinns. Jaákobs Traum und das Projekt einer Geschichtstheodizee
N.O. Eke, in: N.O. Eke, G. Helmes (Eds.), Richard Beer-Hofmann (1866-1945). Studien zu seinem Werk, Königshausen & Neumann, Würzburg, 1993, pp. 128–155.
LibreCat
 
1993 | Journal Article | LibreCat-ID: 19814
On the restricted equivalence for subclasses of propositional logic
A. Flögel, H. Kleine Büning, T. Lettmann, RAIRO - Theoretical Informatics and Applications (1993) 327–340.
LibreCat | DOI
 
1993 | Journal Article | LibreCat-ID: 1655 LibreCat
 
1993 | Conference Paper | LibreCat-ID: 16828
Education in Scientific Visualization
G. Domik-Kienegger, in: S. D. Franklin, A. R. Stubberud, L. P. Wiedeman (Eds.), 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, North-Holland, 1993, pp. 25–32.
LibreCat
 
1993 | Book Chapter | LibreCat-ID: 2456
Problem Independent Distributed Simulated Annealing and its Applications
R. Diekmann, J. Simon, in: Applied Simulated Annealing, Springer, Berlin / Heidelberg, 1993, pp. 17–44.
LibreCat | DOI
 
1993 | Journal Article | LibreCat-ID: 16633
Normal forms for linear Hamiltonian vector fields commuting with the action of a compact Lie group
I. Melbourne, M. Dellnitz, Mathematical Proceedings of the Cambridge Philosophical Society (1993) 235–268.
LibreCat | DOI
 
1993 | Journal Article | LibreCat-ID: 16518
Detecting the symmetry of attractors
E. Barany, M. Dellnitz, M. Golubitsky, Physica D: Nonlinear Phenomena (1993) 66–87.
LibreCat | DOI
 
1993 | Book | LibreCat-ID: 17302
MuPAD: Multi Processing Algebra Data Tool; Benutzerhandbuch; MuPAD Version 1.1
B. Fuchssteiner, W. Wiwianka, K. Gottheil, A. Kemper, O. Kluge, K. Morisse, H. Naundorf, G. Oevel, T. Schulze, MuPAD: Multi Processing Algebra Data Tool; Benutzerhandbuch; MuPAD Version 1.1, Birkhäuser, Basel-Boston-Berlin, 1993.
LibreCat
 
1993 | Book (Editor) | LibreCat-ID: 17477
Parallel Architectures and Their Efficient Use
F. Meyer auf der Heide, B. Monien, A.L. Rosenberg, eds., Parallel Architectures and Their Efficient Use, Springer, Berlin, Heidelberg, 1993.
LibreCat | DOI
 
1993 | Book | LibreCat-ID: 19137
Stanislaw Przybyszewski: Schnee und andere Dramen (Edition)
N.O. Eke, Stanislaw Przybyszewski: Schnee und andere Dramen (Edition), Igel, Paderborn, 1993.
LibreCat
 
1993 | Book Chapter | LibreCat-ID: 19428
Richard Beer-Hofmann – Zur Einführung
N.O. Eke, G. Helmes, in: N.O. Eke, G. Helmes (Eds.), Richard Beer-Hofmann (1866-1945). Studien zu seinem Werk, Königshausen & Neumann, Würzburg, 1993, pp. 7–10.
LibreCat
 
1993 | Journal Article | LibreCat-ID: 19430 LibreCat
 
1993 | Conference Paper | LibreCat-ID: 13015
An Efficient Bist Scheme Based On Reseeding Of Multiple Polynomial Linear Feedback Shift Registers
S. Venkataraman, J. Rajski, S. Hellebrand, S. Tarnick, in: {ACM/IEEE International Conference on Computer Aided Design (ICCAD’93)}, {IEEE (Comput. Soc. Press)}, 1993.
LibreCat | DOI
 
1993 | Conference Paper | LibreCat-ID: 15275
Macroscopic and Microscopic Aspects of Glyphs
G. Domik, C. Joslyn, T. Segura, in: Proceedings of the Vienna Conference on Human Computer Interaction, 1993.
LibreCat
 
1993 | Book Chapter | LibreCat-ID: 16730
Strongly adaptive token distribution
F. Meyer auf der Heide, B. Oesterdiekhoff, R. Wanka, in: Automata, Languages and Programming, Berlin, Heidelberg, 1993.
LibreCat | DOI
 
1993 | Journal Article | LibreCat-ID: 1656 LibreCat
 
1993 | Report | LibreCat-ID: 8190
A Hybrid Query Language for the Extended Entity Relationship Model
M. Andries, G. Engels, A Hybrid Query Language for the Extended Entity Relationship Model, Vakgroep Informatica, Rijksuniversiteit Leiden, 1993.
LibreCat
 
1993 | Conference Paper | LibreCat-ID: 16906
Scientific Visualization
G. Domik-Kienegger, in: H. Maurer (Ed.), Proceedings of ED Media ’93, 1993.
LibreCat
 
1993 | Journal Article | LibreCat-ID: 16634
The structure of symmetric attractors
I. Melbourne, M. Dellnitz, M. Golubitsky, Archive for Rational Mechanics and Analysis (1993) 75–98.
LibreCat | DOI
 
1993 | Book Chapter | LibreCat-ID: 17478
Kurt Grelling und der Logische Empirismus
V. Peckhaus, in: R. Haller, F. Stadler (Eds.), Wien—Berlin—Prag. Der Aufstieg der wissenschaftlichen Philosophie. Zentenarien Rudolf Carnap–Hans Reichenbach–Edgar Zilsel, Hölder-Pichler-Tempsky, Wien, 1993, pp. 362–385.
LibreCat
 
 
1993 | Book Chapter | LibreCat-ID: 19431
„Deutschland ortlos“. Dekonstruktionen des Nationalen bei Heiner Müller
N.O. Eke, in: H. Scheuer (Ed.), Dichter und ihre Nation, Suhrkamp, Frankfurt a. M., 1993, pp. 490–506.
LibreCat
 
1993 | Journal Article | LibreCat-ID: 13857
Chemisorption of aluminium on GaAs(110)
W.G. Schmidt, G.P. Srivastava, Journal of Physics: Condensed Matter 5 (1993) 9025–9036.
LibreCat | DOI
 
1993 | Journal Article | LibreCat-ID: 1657 LibreCat
 
1993 | Conference Paper | LibreCat-ID: 16731
Simple, efficient shared memory simulations
M. Dietzfelbinger, F. Meyer auf der Heide, in: Proceedings of the Fifth Annual ACM Symposium on Parallel Algorithms and Architectures  - SPAA ’93, 1993.
LibreCat | DOI
 
1993 | Journal Article | LibreCat-ID: 16729
An Optimal Parallel Dictionary
M. Dietzfelbinger, F. Meyer auf der Heide, Information and Computation (1993) 196–217.
LibreCat | DOI
 
1993 | Report | LibreCat-ID: 2453
Benutzung virtueller Topologien unter PARIX
J. Simon, Benutzung Virtueller Topologien Unter PARIX, Paderborn Center for Parallel Computing, 1993.
LibreCat
 
1993 | Report | LibreCat-ID: 3045
On Kummer theory and the number of roots of unity in radical extensions of Q
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 | Journal Article | LibreCat-ID: 3069
The Dynamics of Upgrading or how to catch-up
T. Gries, B. Wigger, Economia Internationale 46 (1993) 3–13.
LibreCat
 
1993 | Conference Paper | LibreCat-ID: 7826
Integrationsaspekte bei verteilter Software-Entwicklung
G. Engels, A.A. Verrijn-Stuart, in: Fortschritt-Berichte VDI, VDI Verlag, 1993, pp. 45–53.
LibreCat
 
1993 | Conference Paper | LibreCat-ID: 8090
Optical and Thermal Parameters of PV-Module Encapsulation Improving Output Power
S. Krauter, R. Hanitsch, in: Proceedings of the ISES Solar World Congress 1993, Budapest (Ungarn), 23.–27. August 1993, Band 3, S. 249–254, 1993.
LibreCat
 
1993 | Report | LibreCat-ID: 8191
Towards a Module Concept for Graph Transformation Systems
H. Ehrig, G. Engels, Towards a Module Concept for Graph Transformation Systems, Vakgroep Informatica, Rijksuniversiteit Leiden, 1993.
LibreCat
 
1993 | Journal Article | LibreCat-ID: 17013
The equivariant Darboux theorem
M. Dellnitz, Lectures in Applied Mathematics 29 (1993) 163–169.
LibreCat
 
1993 | Conference Paper | LibreCat-ID: 17479
OCCAM-light: A Language Combining Shared Memory and Message Passing (A First Report)
U. Kastens, F. Meyer auf der Heide, A. Wachsmann, F. Wichmann, in: Proc. 3rd PASA Workshop, PARS Mitteilungen, 1993, pp. 50–55.
LibreCat
 
1993 | Book (Editor) | LibreCat-ID: 19090
Richard Beer-Hofmann (1866-1945). Studien zu seinem Werk
N.O. Eke, G. Helmes, eds., Richard Beer-Hofmann (1866-1945). Studien zu seinem Werk, Königshausen & Neumann, Würzburg, 1993.
LibreCat
 
1993 | Conference Paper | LibreCat-ID: 11718 LibreCat | Download (ext.)
 
1993 | Journal Article | LibreCat-ID: 11749
Design and use of speech recognition algorithms for a mobile radio telephone
S. Dobler, D. Geller, R. Haeb-Umbach, P. Meyer, H. Ney, H.W. Ruehl, Speech Communication (1993).
LibreCat
 
1993 | Misc | LibreCat-ID: 13081
Effiziente Erzeugung deterministischer Muster im Selbsttest
S. Hellebrand, S. Tarnick, J. Rajski, 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
Erfahrungen mit einer Multi-Signalprozessorarchitektur (TMS320C40)
M. Platzner, C. Steger, Mikroelektronik (1993).
LibreCat
 
1993 | Journal Article | LibreCat-ID: 13858
AB initio calculation of the atomic and electronic structure for Sb adsorbed on GaAs(110)
W.G. Schmidt, B. Wenzien, F. Bechstedt, Czechoslovak Journal of Physics 43 (1993) 1003–1007.
LibreCat | DOI
 
1993 | Book Chapter | LibreCat-ID: 15570
Punkt und Mathematik in der Metaphysik des Tommaso Campanella
R. Hagengruber, in: T. Albertini (Ed.), Verum et Factum. Beiträge zur Geistesgeschichte und Philosophie der Renaissance. Festschrift zum 60. Geburtstag von Stephan Otto, Peter Lang, Frankfurt u.a., 1993, pp. 505–514.
LibreCat
 
1993 | Journal Article | LibreCat-ID: 1658
Europäisches Arbeitsrecht
D. Krimphove, Europäische Zeitschrift Für Wirtschaftsrecht (EuZW) (1993) 244 ff.
LibreCat
 
1993 | Book Chapter | LibreCat-ID: 16732
Capabilities and complexity of computations with integer division
K. Lürwer-Brüggemeier, F. Meyer auf der Heide, in: Lecture Notes in Computer Science, Berlin, Heidelberg, 1993.
LibreCat | DOI
 
1993 | Report | LibreCat-ID: 2454
Virtual Topology Library for PARIX
M. Röttger, J. Simon, U.-P. Schroeder, Virtual Topology Library for PARIX, Paderborn Center for Parallel Computing, 1993.
LibreCat
 
1993 | Conference Paper | LibreCat-ID: 8089
Calculating the Influence of Skylight-Polarization on the Transmission of Encapsulations of PV-Modules
S. Krauter, R. Hanitsch, in: Proceedings of the Cairo International Conference of Renewable Energy Sources, Kairo (Ägypten), 30. Dezember 1992 – 2. Januar 1993, 1993.
LibreCat
 
1993 | Book | LibreCat-ID: 8091
Betriebsmodell der optischen, thermischen und elektrischen Parameter von PV-Modulen
S. Krauter, Betriebsmodell Der Optischen, Thermischen Und Elektrischen Parameter von PV-Modulen, Verlag Köster, Berlin, 1993.
LibreCat
 
1993 | Report | LibreCat-ID: 8192
Abstracts COMPUGRAPH II Workshop
G. Engels, G. Rozenberg, Abstracts COMPUGRAPH II Workshop, Vakgroep Informatica, Rijksuniversiteit Leiden, 1993.
LibreCat
 
1993 | Conference Paper | LibreCat-ID: 8262
Modular, Visual Specifications of Software Processes
G. Engels, L. Groenewegen, in: Proceedings of the Workshop on Software Process (ISPW 1993), Wadern (Germany), IEEE Computer Society, Washington, DC, USA, 1993, pp. 66–68.
LibreCat
 
 
 
1993 | Conference Abstract | LibreCat-ID: 17831
The Development of Ernst Schröder’s Attitude towards Logic [Abstract]
V. Peckhaus, in: M. Hormigon, E. Ausejo, J. Dhombres (Eds.), XIXth International Congress of History of Science. 22–29 August 1993 Zaragoza (Spain). Book of Abstracts Symposia, o.O.u.J. (Zaragoza), 1993.
LibreCat
 
1993 | Conference Abstract | LibreCat-ID: 17829
Leibniz’ ,Mathesis universalis‘ und die Mathematiker des 19. Jahrhunderts [Abstract]
V. Peckhaus, in: M. Toepell (Ed.), Fachsektion Geschichte der Mathematik der Deutschen Mathematiker-Vereinigung. Sektionstagung vom 22. bis 26. März 1993 in Wuppertal, München, 1993, pp. 30–31.
LibreCat
 
1993 | Book Chapter | LibreCat-ID: 18430
Loser und fester Anschluß. Versuch der Neubewertung einer abgelegten Kategorie
U. Maas, D. Tophinke, in: J. Schmidt-Radefeld, A. Harder (Eds.), Sprachwandel und Sprachgeschichte. FS für Helmut Lüdtke, Narr, Tübingen, 1993, pp. 133–151.
LibreCat
 
1993 | Journal Article | LibreCat-ID: 19046
Fotografie: Ivor Grattan-Guinness (Erlangen, 21.2.1989)
V. Peckhaus, The Mathematical Intelligencer 15 (1993).
LibreCat
 
1992 | Conference Paper | LibreCat-ID: 11719
The Philips Research System for Continuous-Speech Recognition: Overview and Evaluation on the DRAPA RM Task
X.L. Aubert, H. Ney, R. Haeb-Umbach, in: DRAPA Speech Workshop, 1992.
LibreCat
 
1992 | Conference Paper | LibreCat-ID: 11769
Improvements in Speech Recognition for Voice Dialling in the Car Environment
D. Geller, R. Haeb-Umbach, H. Ney, in: ESCA Workshop on Speech Recognition in Adverse Conditions, Cannes-Mandelieu, 1992.
LibreCat
 
1992 | Conference Paper | LibreCat-ID: 11877
Improvements in Beam Search for 10,000-Word-Continuous Speech Recognition
H. Ney, R. Haeb-Umbach, B.H. Tran, M. Oerder, in: ICASSP, San Francisco, 1992.
LibreCat | Download (ext.)
 
1992 | Book Chapter | LibreCat-ID: 1717
Die Auswirkungen des Betriebsüberganges nach § 613 a BGB auf die Rechte der Arbeitnehmer
D. Krimphove, in: D. Ohlmeyer, R. Philipowski (Eds.), Die Verschmelzung von Genossenschaften - Insbesondere von Kreditgenossenschaften, 5th ed., DG-Verlag, Wiesbaden, 1992, pp. 163–168.
LibreCat
 
1992 | Book Chapter | LibreCat-ID: 16733
High performance universal hashing, with applications to shared memory simulations
M. Dietzfelbinger, F. Meyer auf der Heide, in: Data Structures and Efficient Algorithms, Berlin, Heidelberg, 1992.
LibreCat | DOI
 
1992 | Conference Paper | LibreCat-ID: 3047
How to denest Ramanujan's nested radicals
J. Blömer, in: Proceedings., 33rd Annual Symposium on Foundations of Computer Science, IEEE, 1992.
LibreCat | DOI
 
1992 | Journal Article | LibreCat-ID: 16548
Generic bifurcation of Hamiltonian vector fields with symmetry
M. Dellnitz, I. Melbourne, J.E. Marsden, Nonlinearity (1992) 979–996.
LibreCat | DOI
 
1992 | Journal Article | LibreCat-ID: 17301
A unified Approach to Action-Angle Variables of Real and Complex Multisolitons
G. Oevel, B. Fuchssteiner, Physica 181A (1992) 364–384.
LibreCat
 
1992 | Journal Article | LibreCat-ID: 18936
Periodic Sorting on Two-Dimensional Meshes
M. Kutylowski, R. Wanka, Parallel Processing Letters 2 (1992) 213–220.
LibreCat | DOI
 
1992 | Book | LibreCat-ID: 19150
Nikolaus Lenau. Werke und Briefe. Historisch-kritische Gesamtausgabe. Bd. 5,2: Briefe 1812-1837. Teil 2: Anmerkungen (Edition)
N.O. Eke, A. Vizkelety, K.J. Skrodzki, H. Steinecke, Nikolaus Lenau. Werke und Briefe. Historisch-kritische Gesamtausgabe. Bd. 5,2: Briefe 1812-1837. Teil 2: Anmerkungen (Edition), Österreichischer Bundesverlag, Klett-Cotta, Wien, 1992.
LibreCat
 
1992 | Encyclopedia Article | LibreCat-ID: 19496
Alexander von Württemberg
N.O. Eke, in: W. Killy (Ed.), Literatur Lexikon. Autoren und Werke deutscher Sprache. Bd. 12, Gütersloh, München, 1992, p. 448.
LibreCat
 
1992 | Misc | LibreCat-ID: 13076
Generation of Vector Patterns through Reseeding of Multiple-Polynomial LFSRs
S. Hellebrand, S. Tarnick, J. Rajski, B. Courtois, Generation of Vector Patterns through Reseeding of Multiple-Polynomial LFSRs, IEEE Design for Testability Workshop, Vail, CO, USA, 1992.
LibreCat
 
1992 | Conference Paper | LibreCat-ID: 14997 LibreCat
 
1992 | Journal Article | LibreCat-ID: 1650
Die Bedeutung des Produkthaftungsrechtes für die Landwirtschaft
D. Krimphove, Recht Der Landwirtschaft (1992) 143 ff.
LibreCat
 
1992 | Book | LibreCat-ID: 1600
Europäische Fusionskontrolle
D. Krimphove, Europäische Fusionskontrolle  , Carl Heymanns Verlag KG, Köln, 1992.
LibreCat
 
1992 | Book Chapter | LibreCat-ID: 16734
Hashing strategies for simulating shared memory on distributed memory machines
F. Meyer auf der Heide, in: Lecture Notes in Computer Science, Berlin, Heidelberg, 1992.
LibreCat | DOI
 
1992 | Dissertation | LibreCat-ID: 3043
Simplifying Expressions Involving Radicals
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: 8086
Reflexionsverringerung an PV-Modulen durch partiell strukturierte Deckgläser.
S. Krauter, R. Hanitsch, in: Tagungsband Des Achten Internationalen Sonnenforums, Berlin (Deutschland), 30. Juni – 3. Juli 1992, S. 736–741, 1992.
LibreCat
 
1992 | Conference Abstract | LibreCat-ID: 17826
Arithmetik — Logik — absolute Algebra. E. Schröders Suche nach einer universalen Theorie der Verknüpfungen [Abstract]
V. Peckhaus, in: Deutsche Mathematiker-Vereinigung. Jahrestagung 13.–18.9.1992 in Berlin. Vortragsauszüge, o.O.u.J. (Berlin), 1992, p. 40.
LibreCat
 
1992 | Book | LibreCat-ID: 19149
Nikolaus Lenau. Werke und Briefe. Historisch-kritische Gesamtausgabe. Bd. 6,2: Briefe 1838-1847. Teil 2: Anmerkungen (Edition)
N.O. Eke, N. Oellers, K.J. Skrodzki, H. Steinecke, Nikolaus Lenau. Werke und Briefe. Historisch-kritische Gesamtausgabe. Bd. 6,2: Briefe 1838-1847. Teil 2: Anmerkungen (Edition), Deuticke, Klett-Cotta, Wien, 1992.
LibreCat
 
1992 | Book Chapter | LibreCat-ID: 19714
Kurzleitfaden zum wissenschaftlichen Arbeiten
P. Büker, in: A. Prengel (Ed.), Studienführer Lehramtsstudiengang Primarstufenpädagogik , Universität-Gesamthochschule Paderborn, 1992, pp. 145–156.
LibreCat
 
1992 | Conference Paper | LibreCat-ID: 10201
Complexity results for the default- and autoepistemic logic
E. Steffen, in: E. Börger (Ed.), Computer Science Logic , Springer Berlin Heidelberg, 1992, pp. 339–352.
LibreCat
 
1992 | Journal Article | LibreCat-ID: 11792
Trellis codes for partial-response magnetooptical direct overwrite recording
R. Haeb-Umbach, R. Lynch, IEEE Journal on Selected Areas in Communications (1992).
LibreCat
 
1992 | Conference Paper | LibreCat-ID: 11797
Linear Discriminant Analysis for Improved Large Vocabulary Continuous Speech Recognition
R. Haeb-Umbach, H. Ney, in: ICASSP, San Francisco, 1992.
LibreCat | Download (ext.)
 
1992 | Conference Paper | LibreCat-ID: 15042
Visualization of Multi-dimensional Arrays in Astronomy
G. Domik, in: European Southern Observatory Conference and Workshop Proceedings, 1992, p. 249.
LibreCat
 
1992 | Book | LibreCat-ID: 1601
Anlageberatung Das System der zivilrechtlichen Haftung von Kreditinstituten
D. Krimphove, Anlageberatung Das System Der Zivilrechtlichen Haftung von Kreditinstituten, Peter Lang, Frankfurt, 1992.
LibreCat
 
1992 | Journal Article | LibreCat-ID: 1651
Die eingetragene Genossenschaft als Gesellschafts- und Unternehmensform
D. Krimphove, Recht Der Landwirtschaft (1992) 255 ff.
LibreCat
 
1992 | Book Chapter | LibreCat-ID: 16735
On the performance of networks with multiple busses
F. Meyer auf der Heide, H.T. Pham, in: STACS 92, Berlin, Heidelberg, 1992.
LibreCat | DOI
 
1992 | Conference Paper | LibreCat-ID: 2457
Leistungssteigerung paralleler Systeme durch virtuelle Topologien
R. Diekmann, J. Simon, in: Abstraktband Des 4. Bundesweiten Transputer-Anwender-Treffens (TAT 92), 1992.
LibreCat
 
1992 | Conference Paper | LibreCat-ID: 7825
Functional Description of Parallel Processes
P. Koopman, L. Groenewegen, G. Engels, in: Proceedings of the Conference SION Computing Science in the Netherlands (CSN ’92), The Netherlands, 1992, pp. 156–167.
LibreCat
 
1992 | Conference Paper | LibreCat-ID: 8087
Measuring the Heat–Transfer Coefficient of PV-Modules
S. Krauter, R. Hanitsch, R. Diwisch, N. Diwisch, in: 1992.
LibreCat
 
1992 | Conference Paper | LibreCat-ID: 8260
CADDY: A Highly Integrated Environment to Support Conceptual Database Design
G. Engels, P. Löhr-Richter, in: Proceedings of the Fifth International Workshop on Computer-Aided Software Engineering (CASE 1992), Montreal (Canada), IEEE Computer Society, Washington, DC, USA, 1992, pp. 19–22.
LibreCat
 
1992 | Journal Article | LibreCat-ID: 17012
Computational bifurcation of periodic solutions in systems with symmetry
M. Dellnitz, IMA Journal of Numerical Analysis 12 (1992) 429–455.
LibreCat | DOI
 
1992 | Book | LibreCat-ID: 19025
Lenau-Chronik. „Und unterwegs erlahmen uns die Kräfte“
N.O. Eke, K.J. Skrodzki, Lenau-Chronik. „Und unterwegs erlahmen uns die Kräfte“, Deuticke, Klett-Cotta, Wien, 1992.
LibreCat
 
1992 | Conference Paper | LibreCat-ID: 13016
Generation of Vector Patterns through Reseeding of Multiple-Polynomial Linear Feedback Shift Registers
S. Hellebrand, S. Tarnick, J. Rajski, B. Courtois, in: {IEEE International Test Conference (ITC’92)}, {IEEE}, Baltimore, MD, USA, 1992, pp. 120–129.
LibreCat | DOI
 
1992 | Report | LibreCat-ID: 13023
Generation of Vector Patterns through Reseeding of Multiple-Polynomial LFSRs
S. Hellebrand, S. Tarnick, J. Rajski, 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
Generation of Vector Patterns through Reseeding of Multiple-Polynomial LFSRs
S. Hellebrand, S. Tarnick, J. Rajski, 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: 13465
Experimental Results to Interprocessor Communication in Distributed Transputer-Systems
R. Ginthör, M. Platzner, R. Weiss, in: Proceedings of the 1st Austrian-Hungarian Workshop on Transputer Applications, 1992, pp. 45–54.
LibreCat
 
1992 | Conference Paper | LibreCat-ID: 15252
An Enriched Framework for Multidisciplinary Data Analysis
K. Mickus-Miceli, G. Domik, in: Symposium on Intelligent Scientific Computation, American Association for Artificial Intelligence (AAAI), Fall 1992 Symposium Series, Cambridge MA, October, 1992.
LibreCat
 
1992 | Journal Article | LibreCat-ID: 1652
Arbeitsrechtliche Aspekte der Verschmelzung von Genossenschaften
D. Krimphove, Sächsisches Genossenschaftsblatt (1992) 50 ff.
LibreCat
 
1992 | Conference Paper | LibreCat-ID: 16736
Efficient PRAM simulation on a distributed memory machine
R.M. Karp, M. Luby, F. Meyer auf der Heide, in: Proceedings of the Twenty-Fourth Annual ACM Symposium on Theory of Computing  - STOC ’92, 1992.
LibreCat | DOI
 
1992 | Conference Paper | LibreCat-ID: 2458
A General Purpose Distributed Implementation of Simulated Annealing
R. Diekmann, R. Lüling, J. Simon, in: Proc. 13th IMACS World Congress on Computation and Applied Mathematics, 1992.
LibreCat
 
1992 | Conference Paper | LibreCat-ID: 2460
Implementierung von Simulated Annealing auf Transputer-Systemen
R. Diekmann, R. Lüling, B. Monien, J. Simon, in: Parallele Datenverarbeitung Mit Dem Transputer, Springer, Berlin / Heidelberg, 1992, pp. 361–368.
LibreCat | DOI
 
1992 | Journal Article | LibreCat-ID: 7408
SQL/EER - Syntax and Semantics of an Entity-Relationship-Based Query Language
U. Hohenstein, G. Engels, Information Systems 17 (1992) 209–242.
LibreCat | DOI
 
1992 | Journal Article | LibreCat-ID: 7410
Conceptual Modelling of Database Applications Using an Extended ER Model
G. Engels, M. Gogolla, U. Hohenstein, K. Hülsmann, P. Löhr-Richter, G. Saake, H.-D. Ehrich, Data & Knowledge Engineering 9 (1992) 157–204.
LibreCat | DOI
 
1992 | Conference Paper | LibreCat-ID: 8083
Improvement of PV-Performance by Partly Structured Surfaces
S. Krauter, R. Hanitsch, in: Proceedings of the 6th Photovoltaic Science and Engineering Conference, New Delhi (Indien), 10.–14. Februar 1992, Vol 1, S. 1110., 1992.
LibreCat
 
1992 | Conference Paper | LibreCat-ID: 8088
Performance of a Partly Structured Surface at a PV-Module
S. Krauter, R. Hanitsch, in: Proceedings of the 11th European Photovoltaic Solar Energy Conference and Exhibition, Montreux (Schweiz), 12.–16. Oktober 1992, S. 1351–1354, 1992.
LibreCat
 
1992 | Report | LibreCat-ID: 8189
Visual Specifications of Conceptual Database Schemata (Abstract)
G. Engels, Visual Specifications of Conceptual Database Schemata (Abstract), Leiden University, 1992.
LibreCat
 
1992 | Conference Paper | LibreCat-ID: 8261
Specification of Coordinated Behaviour in the Software Development Process
G. Engels, L. Groenewegen, in: Proceedings of the Second European Workshop on Software Process Technology (EWSPT 92), Trondheim, Norway, Springer, Berlin/Heidelberg, 1992, pp. 58–60.
LibreCat | DOI
 
1992 | Journal Article | LibreCat-ID: 16907
Design and Development of a Data Visualization System in a Workstation Environment
G. Domik-Kienegger, J. Micorcomputer Applications 15 (1992) 81–88.
LibreCat
 
1992 | Book Chapter | LibreCat-ID: 16546
Mechanisms of Symmetry Creation
M. Dellnitz, M. Golubitsky, I. Melbourne, in: Bifurcation and Symmetry, Basel, 1992.
LibreCat | DOI
 
1992 | Conference Abstract | LibreCat-ID: 17828
Wozu Algebra der Logik? Zum Lebenswerk von Ernst Schröder [Abstract]
V. Peckhaus, in: C. Binder (Ed.), III. Österreichisches Symposion zur Geschichte der Mathematik. Neuhofen an der Ybbs, 8. bis 14. November 1992. Umwege, Abschneider und Sackgassen ... über Abweichungen vom „normalen“ Gang der Entwicklung. Kurzfassungen der Vorträge, Wien, 1992, pp. 55–59.
LibreCat
 
1992 | Journal Article | LibreCat-ID: 17474
Hilbert, Zermelo und die Institutionalisierung der mathematischen Logik in Deutschland
V. Peckhaus, Berichte zur Wissenschaftsgeschichte 15 (1992) 27–38.
LibreCat
 
1992 | Conference Paper | LibreCat-ID: 19432
„Wie wird künftig Meusel die hungrige Nachwelt hetzen und peinigen“. Deutsche Romane 1815-1830 in der Fürstlichen Bibliothek Corvey. Vorläufiges zum Forschungsprojekt „Der deutsche Roman 1815-1830"
N.O. Eke, in: R. Schöwerling, H. Steinecke, N.O. Eke, G. Tiggesbäumker (Eds.), Die Fürstliche Bibliothek Corvey. Ihre Bedeutung für eine neue Sicht der Literatur des frühen 19. Jahrhunderts. Beiträge des 1. Internationalen Corvey-Symposions. 25.-27. Oktober 1990 in Paderborn, Fink, München, 1992, pp. 87–103.
LibreCat
 
1992 | Book Chapter | LibreCat-ID: 19487
Bibliographische Artikel zu Anastasius Grün (Anton Alexander Graf von Auersperg) Friedrich Halm (Eligius Franz Joseph Freiherr von Münch-Bellinghausen) und Friedrich von Sallet
N.O. Eke, in: G. von Wilpert, A. Gühring (Eds.), Erstausgaben deutscher Dichtung. Eine Bibliographie zur deutschen Literatur 1600-1900, 2., vollständig überarbeitete Auflage, Stuttgart, 1992, pp. 567, 601–602, 1292–1293.
LibreCat
 
1992 | Journal Article | LibreCat-ID: 11782
A modified trellis coding technique for partial response channels
R. Haeb-Umbach, IEEE Transactions on Communications (1992).
LibreCat
 
1992 | Journal Article | LibreCat-ID: 13017
The Pseudoexhaustive Test of Sequential Circuits
H.-J. Wunderlich, S. Hellebrand, {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD)} 11 (1992) 26–33.
LibreCat | DOI
 
 
1992 | Book Chapter | LibreCat-ID: 16737
Dynamic Hashing in Real Time
M. Dietzfelbinger, F. Meyer auf der Heide, in: TEUBNER-TEXTE Zur Informatik, Wiesbaden, 1992.
LibreCat | DOI
 
1992 | Conference Paper | LibreCat-ID: 2459
A General Purpose Distributed Implementation of Simulated Annealing
R. Diekmann, R. Lüling, J. Simon, in: Proc. IEEE Symp. on Parallel and Distributed Processing (SPDP), IEEE, 1992, pp. 94–101.
LibreCat | DOI
 
1992 | Book Chapter | LibreCat-ID: 3046
Resemblance and symmetries of geometric patterns
H. Alt, J. Blömer, in: Data Structures and Efficient Algorithms, Springer Berlin Heidelberg, Berlin, Heidelberg, 1992, pp. 1–24.
LibreCat | DOI
 
1992 | Journal Article | LibreCat-ID: 7409
Building Integrated Software Development Environments, Part I: Tool Specification
G. Engels, C. Lewerentz, M. Nagl, W. Schäfer, A. Schürr, ACM Transactions on Software Engineering and Methodology (TOSEM) 1 (1992) 135–167.
LibreCat
 
1992 | Conference Paper | LibreCat-ID: 8084
Hinweise zur Modellbildung und Simulation des Strahlungseinfalls in PV-Module
S. Krauter, in: Solar Energy Simulation Workshop Der DGS, Oldenburg (Deutschland), 1992.
LibreCat
 
1992 | Conference Paper | LibreCat-ID: 16908
Designing User-Centered Interfaces for Astrophysical Software on User Interfaces for Astrophysical Software
G. Domik-Kienegger, in: Proceedings on User Interfaces for Astrophysical Software, Greenbeld, MD, 1992.
LibreCat
 
1992 | Book Chapter | LibreCat-ID: 16547
Generic Bifurcations of Pendula
M. Dellnitz, J.E. Marsden, I. Melbourne, J. Scheurle, in: Bifurcation and Symmetry, Basel, 1992.
LibreCat | DOI
 
1992 | Book Chapter | LibreCat-ID: 17177
Förderung von Studentinnen im Grundstudium
G. Oevel, M. Wagner, in: Ministerium für die Gleichstellung von Frau und Mann des Landes NRW (Ed.), Frauen in natur- und ingenieurwissenschaftlichen Berufen, 1992.
LibreCat
 
1992 | Conference (Editor) | LibreCat-ID: 19091
Die Fürstliche Bibliothek Corvey. Ihre Bedeutung für eine neue Sicht der Literatur des frühen 19. Jahrhunderts. Beiträge des 1. Internationalen Corvey-Symposions. 25.-27. Oktober 1990 in Paderborn
R. Schöwerling, H. Steinecke, N.O. Eke, G. Tiggesbäumker, eds., Die Fürstliche Bibliothek Corvey. Ihre Bedeutung für eine neue Sicht der Literatur des frühen 19. Jahrhunderts. Beiträge des 1. Internationalen Corvey-Symposions. 25.-27. Oktober 1990 in Paderborn, Fink, München, 1992.
LibreCat
 
1992 | Journal Article | LibreCat-ID: 19370
Artikelfolge Neugotik und Neuromanik in Stuttgart, 6 Folgen
E.-M. Seng, Gemeindeblatt für Württemberg, Stuttgart Nr. 44-49 (1992).
LibreCat
 
1992 | Conference Paper | LibreCat-ID: 19488
Diskussionsberichte zu den Sektionen 2 („Roman“) und 3 („Dramen“) sowie der Abschlußdiskussion des 1. Internationalen Corvey-Symposions
N.O. Eke, in: R. Schöwerling, H. Steinecke, N.O. Eke, G. Tiggesbäumker (Eds.), Die Fürstliche Bibliothek Corvey. Ihre Bedeutung für eine neue Sicht der Literatur des frühen 19. Jahrhunderts. Beiträge des 1. Internationalen Corvey-Symposions. 25.-27. Oktober 1990 in Paderborn, München, 1992, pp. 174–181, 319–321, 398–404.
LibreCat
 
1992 | Encyclopedia Article | LibreCat-ID: 19495
Richard Wagner
N.O. Eke, in: W. Killy (Ed.), Literatur Lexikon. Autoren und Werke deutscher Sprache. Bd. 12, Gütersloh, München, 1992, p. 106.
LibreCat
 
1991 | Book | LibreCat-ID: 19028
Deutschsprachige Romane 1815-1830 in der Fürstlichen Bibliothek Corvey. Probleme der Erforschung – Bestandsverzeichnis
N.O. Eke, H. Steinecke, u. a., Deutschsprachige Romane 1815-1830 in der Fürstlichen Bibliothek Corvey. Probleme der Erforschung – Bestandsverzeichnis, Belser, Stuttgart, 1991.
LibreCat
 
1991 | Book (Editor) | LibreCat-ID: 19092
Die erfundene Wahrnehmung. Annäherung an Herta Müller
N.O. Eke, ed., Die erfundene Wahrnehmung. Annäherung an Herta Müller, Igel, Paderborn, 1991.
LibreCat
 
1991 | Book Chapter | LibreCat-ID: 19434
„Überall, wo man den Tod gesehen hat“. Zeitlichkeit und Tod in der Prosa Herta Müllers
N.O. Eke, in: N.O. Eke (Ed.), Die erfundene Wahrnehmung. Annäherung an Herta Müller, Igel, Paderborn, 1991, pp. 74–94.
LibreCat
 
1991 | Encyclopedia Article | LibreCat-ID: 19491
Georg von Reinbeck
N.O. Eke, in: W. Killy (Ed.), Literatur Lexikon. Autoren und Werke deutscher Sprache. Bd. 9, Gütersloh, München, 1991, p. 355.
LibreCat
 
1991 | Book Review | LibreCat-ID: 15609
Tommaso Campanella: Mathematica (Hrsg. von A. Brissoni. Rom: Gangemi, 1989)
R. Hagengruber, Sudhoffs Archive 75 (1991) 118–119.
LibreCat
 
1991 | Conference Paper | LibreCat-ID: 3048
Approximate matching of polygonal shapes (extended abstract)
H. Alt, B. Behrends, J. Blömer, in: Proceedings of the Seventh Annual Symposium on Computational Geometry  - SCG ’91, ACM Press, 1991.
LibreCat | DOI
 
1991 | Conference Paper | LibreCat-ID: 16912
Visualization in the Analysis Cycle of Observational Data, in Analyzing and Modeling Data and Knowledge
G. Domik-Kienegger, in: M. Schader (Ed.), Proceedings of the 15th Annual Conference of the “Gesellschaft Für Klassifikation e.V.” University of Salzburg, 1991, pp. 267–276.
LibreCat
 
1991 | Journal Article | LibreCat-ID: 17472
Introduction
V. Peckhaus, Modern Logic 1 (1991) 113–116.
LibreCat
 
1991 | Book Chapter | LibreCat-ID: 19435
Augen/Blicke oder: Die Wahrnehmung der Welt in den Bildern. Annäherung an Herta Müller
N.O. Eke, in: N.O. Eke (Ed.), Die erfundene Wahrnehmung. Annäherung an Herta Müller, Igel, Paderborn, 1991, pp. 7–21.
LibreCat
 
1991 | Encyclopedia Article | LibreCat-ID: 19492
Friedrich von Sallet
N.O. Eke, in: W. Killy (Ed.), Literatur Lexikon. Autoren und Werke deutscher Sprache. Bd. 10, Gütersloh, München, 1991, pp. 119–120.
LibreCat
 
1991 | Report | LibreCat-ID: 19822
ILFA Interface Concept
B.I. Dahn, T. Lettmann, W. Schönfeld, ILFA Interface Concept, Wissenschaftliche Zentrum der IBM Deutschland , ´Heidelberg, 1991.
LibreCat
 
1991 | Book | LibreCat-ID: 13034
Synthese vollständig testbarer Schaltungen
S. Hellebrand, Synthese Vollständig Testbarer Schaltungen, Verlag Düsseldorf: VDI Verlag, Verlag Düsseldorf: VDI Verlag, 1991.
LibreCat
 
1991 | Conference Paper | LibreCat-ID: 3049
Computing sums of radicals in polynomial time
J. Blömer, in: Proceedings 32nd Annual Symposium of Foundations of Computer Science, IEEE Comput. Soc. Press, 1991.
LibreCat | DOI
 
1991 | Report | LibreCat-ID: 8188
Incremental Design of Conceptual Database Schemata with CADDY
P. Löhr-Richter, G. Engels, Incremental Design of Conceptual Database Schemata with CADDY, Leiden University, Leiden University, P.O. Box 9500, 2300 RA Leiden, The Netherlands, 1991.
LibreCat
 
1991 | Conference Paper | LibreCat-ID: 8082
Simulation-Program for Selecting Efficiency Improving Strategies of PV-Module-Encapsulations under Operating Conditions
S. Krauter, R. Hanitsch, P. Strauss, in: Proceedings of “Renewable Energy Sources '91”, Prag (CFSR), 1.–4. Juli 1991, Band 3, S. 48–53., 1991.
LibreCat
 
1991 | Conference Abstract | LibreCat-ID: 17822
Logic in Transition: The Logical Calculi of Hilbert (1905) and Zermelo (1908) [Abstract]
V. Peckhaus, 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, o.O.u.J. (Uppsala), 1991, p. 158.
LibreCat
 
1991 | Journal Article | LibreCat-ID: 17473
Ernst Schröder und die ,pasigraphischen Systeme‘ von Peano und Peirce
V. Peckhaus, Modern Logic 1 (1991) 174–205.
LibreCat
 
1991 | Journal Article | LibreCat-ID: 19436 LibreCat
 
1991 | Encyclopedia Article | LibreCat-ID: 19493
Matthias Leopold Schleifer
N.O. Eke, in: W. Killy (Ed.), Literatur Lexikon. Autoren und Werke deutscher Sprache. Bd. 10, Gütersloh, München, 1991, pp. 272–285.
LibreCat
 
1991 | Conference Paper | LibreCat-ID: 11798
A Look-Ahead Technique for Large Vocabulary Continuous Speech Recognition
R. Haeb-Umbach, H. Ney, in: EUROSPEECH, Genova, 1991.
LibreCat | Download (ext.)
 
1991 | Conference Abstract | LibreCat-ID: 17823
Ernst Schröder und die logizistische Begründung der Mathematik [Abstract]
V. Peckhaus, in: Deutsche Mathematiker-Vereinigung. Jahrestagung 15.–20.9.1991 in Bielefeld. Vortragsauszüge, o.O.u.J. (Bielefeld), 1991, p. 43.
LibreCat
 
1991 | Journal Article | LibreCat-ID: 19437 LibreCat
 
1991 | Encyclopedia Article | LibreCat-ID: 19494
Anton Xaver Schurz
N.O. Eke, in: W. Killy (Ed.), Literatur Lexikon. Autoren und Werke deutscher Sprache. Bd. 10, Gütersloh, München, 1991, pp. 437–438.
LibreCat
 
1991 | Book Review | LibreCat-ID: 19557
Herta Müller: Reisende auf einem Bein. Berlin 1989; Der Teufel sitzt im Spiegel. Wie Wahrnehmung sich erfindet. Berlin 1991
N.O. Eke, Halbasien. Zeitschrift für deutsche Literatur und Kultur Südosteuropas 1 (1991) 67–72.
LibreCat
 
1991 | Book Chapter | LibreCat-ID: 19716
Auf den Spuren der alten Stadtmauer: Ein Unterrichtsgang um die Altstadt Paderborns
P. Büker, S. Kampe, in: D. Düsterloh (Ed.), Paderborn - vom Werden und Wachsen unserer Stadt (Materialien, Unterrichtsentwürfe, Arbeitsmittel),  (Paderborner Geographische Studien; Bd.3), Selbstverlag des Faches Geographie der Universität-GH-Paderborn, Paderborn, 1991, pp. 105–109.
LibreCat
 
1991 | Book Chapter | LibreCat-ID: 15020
The role of visualization in understanding data
G. Domik, in: New Results and New Trends in Computer Science, Springer, 1991, pp. 91–107.
LibreCat
 
1991 | Book Chapter | LibreCat-ID: 8894
Bifurcations in Dynamic Systems with Dry Friction
P. Stelter, W. Sextro, in: R. Seydel, F.W. Schneider, T. Küpper, H. Troger (Eds.), Bifurcation and Chaos: Analysis, Algorithms, Applications, Birkhäuser Basel, 1991, pp. 343–347.
LibreCat | DOI
 
1991 | Journal Article | LibreCat-ID: 17300
Action-Angle Representation of Complex Multisolitons
G. Oevel, M. Blaszak, Prog. Theor. Phys. 86 (1991) 29–43.
LibreCat
 
1991 | Conference Abstract | LibreCat-ID: 17824
Kurt Grelling und der Logische Empirismus [Abstract]
V. Peckhaus, 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, p. 24.
LibreCat
 
1991 | Book (Editor) | LibreCat-ID: 17451
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
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, 1991.
LibreCat
 
1991 | Book Chapter | LibreCat-ID: 19318
Im Geiste der Erbauer, Die Renovierung der Tübinger Stiftskirche 1859 - 1867
E.-M. Seng, in: Bürger- und Verkehrsverein Tübingen e.V. (Ed.), Tübinger Blätter, 77. Jg. Tübingen 1990/91, Tübingen, 1991, pp. 11–16.
LibreCat
 
1991 | Book Chapter | LibreCat-ID: 19433
Herta Müllers Werke im Spiegel der Kritik (1982-1990)
N.O. Eke, in: N.O. Eke (Ed.), Die erfundene Wahrnehmung. Annäherung an Herta Müller, Igel, Paderborn, 1991, pp. 107–130.
LibreCat
 
1991 | Journal Article | LibreCat-ID: 19438 LibreCat
 
1991 | Book Review | LibreCat-ID: 19558
Richard Wagner: Die Muren von Wien. Roman. Frankfurt/Main 1990
N.O. Eke, Halbasien. Zeitschrift für deutsche Literatur und Kultur Südosteuropas 1 (1991) 63–67.
LibreCat
 
1990 | Conference Paper | LibreCat-ID: 13018
Tools and Devices Supporting the Pseudo-Exhaustive Test
S. Hellebrand, H.-J. Wunderlich, in: {European Design Automation Conference (EDAC’90)}, {IEEE (Comput. Soc. Press)}, Glasgow, UK, 1990, pp. 13–17.
LibreCat | DOI
 
1990 | Conference Paper | LibreCat-ID: 15393
Applications of IRAS Preprocessing at the Workstation
G. Domik, E. Brugel, R. Stencel, S. Vasudevan, J. Pang, in: Bulletin of the American Astronomical Society, 1990, p. 828.
LibreCat
 
1990 | Book Chapter | LibreCat-ID: 16738
A new universal class of hash functions and dynamic hashing in real time
M. Dietzfelbinger, F. Meyer auf der Heide, in: Automata, Languages and Programming, Berlin/Heidelberg, 1990.
LibreCat | DOI
 
1990 | Book Chapter | LibreCat-ID: 16740
On the complexity of genuinely polynomial computation
M. Karpinski, F. Meyer auf der Heide, in: Lecture Notes in Computer Science, Berlin/Heidelberg, 1990.
LibreCat | DOI
 
1990 | Dissertation | LibreCat-ID: 2621
Investitionstheoretische Bestimmung der Abschreibungen für eine entscheidungsorientierte Kostenrechnung
S. Betz, Investitionstheoretische Bestimmung der Abschreibungen für eine entscheidungsorientierte Kostenrechnung, Paderborn, 1990.
LibreCat
 
1990 | Book | LibreCat-ID: 17445
Hilbertprogramm und Kritische Philosophie. Das Göttinger Modell interdisziplinärer Zusammenarbeit zwischen Mathematik und Philosophie
V. Peckhaus, Hilbertprogramm und Kritische Philosophie. Das Göttinger Modell interdisziplinärer Zusammenarbeit zwischen Mathematik und Philosophie, Vandenhoeck & Ruprecht, Göttingen, 1990.
LibreCat
 
1990 | Journal Article | LibreCat-ID: 17471 LibreCat
 
1990 | Book Chapter | LibreCat-ID: 19441
Radiokunst. Die Hörspiele Dieter Wellershoffs
N.O. Eke, in: K. Bullivant, M. Durzak, H. Steinecke (Eds.), Dieter Wellershoff, Kiepenheuer & Witsch, Köln, 1990, pp. 230–257.
LibreCat
 
1990 | Conference Paper | LibreCat-ID: 13019
Generating Pseudo-Exhaustive Vectors for External Testing
S. Hellebrand, H.-J. Wunderlich, O. F. Haberl, in: {IEEE International Test Conference (ITC’90)}, {IEEE (Comput. Soc. Press)}, Washington, DC, USA, 1990, pp. 670–679.
LibreCat | DOI
 
1990 | Misc | LibreCat-ID: 13103
Generating Pseudo-Exhaustive Vectors for External Testing
S. Hellebrand, H.-J. Wunderlich, O. F. Haberl, Generating Pseudo-Exhaustive Vectors for External Testing, IEEE Design for Testability Workshop, Vail, CO, USA, 1990.
LibreCat
 
1990 | Journal Article | LibreCat-ID: 15394
Workstation-based preprocessing of IRAS sky-flux images
G. Domik, E.W. Brugel, R.E. Stencel, J. Pang, S. Vasudevan, Publications of the Astronomical Society of the Pacific 102 (1990) 1167.
LibreCat
 
1990 | Book Chapter | LibreCat-ID: 16739
Dynamic hashing strategies
F. Meyer auf der Heide, in: Lecture Notes in Computer Science, Berlin/Heidelberg, 1990.
LibreCat | DOI
 
1990 | Conference Paper | LibreCat-ID: 16741
How to distribute a dictionary in a complete network
M. Dietzfelbinger, F. Meyer auf der Heide, in: Proceedings of the Twenty-Second Annual ACM Symposium on Theory of Computing  - STOC ’90, 1990.
LibreCat | DOI
 
1990 | Journal Article | LibreCat-ID: 3531
Wechselkurstheorie und internationale monetäre Transmissionen
T. Gries, Jahrbuch Für Sozialwissenschaften 41 (1990) 3–41.
LibreCat
 
1990 | Conference Paper | LibreCat-ID: 7824
Formal Semantics of an Entity-Relationship Query Language
U. Hohenstein, G. Engels, in: Proceedings of the 9th International Conference on Entity-Relationship Approach (ER 90), Lausanne, Switzerland, ER Institute, 1990, pp. 177–188.
LibreCat
 
1990 | Conference Paper | LibreCat-ID: 8081
The Influence of the Capsulation on the Efficiency of PV-Modules.
S. Krauter, R. Hanitsch, in: Proceedings of the 1st World Renewable Energy Congress, Reading (UK), 23.–28. September 1990, Band 1, S. 141–144., 1990.
LibreCat | DOI
 
1990 | Book | LibreCat-ID: 19151
Nikolaus Lenau. Werke und Briefe. Historisch-kritische Gesamtausgabe. Bd. 6,1: Briefe 1838-1847. Teil 1: Text (Edition)
N.O. Eke, N. Oellers, K.J. Skrodzki, H. Steinecke, Nikolaus Lenau. Werke und Briefe. Historisch-kritische Gesamtausgabe. Bd. 6,1: Briefe 1838-1847. Teil 1: Text (Edition), Österreichischer Bundesverlag, Klett-Cotta, Wien, 1990.
LibreCat
 
1990 | Book Chapter | LibreCat-ID: 3050
Approximation of convex polygons
H. Alt, J. Blömer, H. Wagener, in: Automata, Languages and Programming, Springer-Verlag, Berlin/Heidelberg, 1990, pp. 703–716.
LibreCat | DOI
 
1990 | Conference Paper | LibreCat-ID: 11800
Coding and Signal Processing for a Magneto-optic Resonant Bias Coil Overwrite Experiment
R. Haeb-Umbach, D. Rugar, T. Howell, G.P. Coleman, in: International Conference on Communication, Atlanta, 1990.
LibreCat | Download (ext.)
 
1990 | Conference Paper | LibreCat-ID: 15395
A case study: Multi-sensor data analysis of hh objects via star: A scientific toolkit for astrophysical research
K. Mickus, E. Brugel, G. Domik, T. Ayres, in: Bulletin of the American Astronomical Society, 1990, p. 1259.
LibreCat
 
1990 | Conference Paper | LibreCat-ID: 16742
Not all keys can be hashed in constant time
J. Gil, F. Meyer auf der Heide, A. Wigderson, in: Proceedings of the Twenty-Second Annual ACM Symposium on Theory of Computing  - STOC ’90, 1990.
LibreCat | DOI
 
1990 | Journal Article | LibreCat-ID: 16824
Das Heinz Nixdorf-Institut der Universität-GH Paderborn
F. Meyer auf der Heide, Informatik Spektrum 13 (1990) 231–232.
LibreCat
 
1990 | Conference Paper | LibreCat-ID: 16913
IRAS On-Line Catalogs at CASA
G. Domik-Kienegger, E.W. Bruggel, R.E. Stencel, in: Proceedings of the 176th Meeting of the American Astronomical Society, 1990.
LibreCat
 
1990 | Journal Article | LibreCat-ID: 17175
Action-Angle Representation of Multisolitons by Potentials of Mastersymmetries
G. Oevel, B. Fuchssteiner, M. Blaszak, Prog. Theor. Phys. 83 (1990) 395–413.
LibreCat
 
1990 | Conference Paper | LibreCat-ID: 8259
Elementary Actions on an Extended Entity-Relationship Database
G. Engels, in: Proceedings of the Workshop on Graph Grammars and Their Application to Computer Science (1990), Bremen (Germany), Springer, Berlin/Heidelberg, 1990, pp. 344–362.
LibreCat | DOI
 
1990 | Journal Article | LibreCat-ID: 17164
Action-Angle Representation of Multisolitons
B. Fuchssteiner, G. Oevel, Appl. Math. Lett. (1990) 75–78.
LibreCat
 
1990 | Dissertation | LibreCat-ID: 17176
Reduktion integrabler Systeme auf ihre Multisoliton Mannigfaltigkeiten
G. Oevel, Reduktion integrabler Systeme auf ihre Multisoliton Mannigfaltigkeiten, Universität-Gesamthochschule Paderborn, 1990.
LibreCat
 
1990 | Misc | LibreCat-ID: 19045
Fotografie: Joachim Schulte (Erlangen, 21.2.1990), Katalog Suhrkamp Wissenschaft. Neuerscheinungen 2. Halbjahr 1990
V. Peckhaus, Fotografie: Joachim Schulte (Erlangen, 21.2.1990), Katalog Suhrkamp Wissenschaft. Neuerscheinungen 2. Halbjahr 1990, Suhrkamp, Frankfurt a. M., 1990.
LibreCat
 
1990 | Conference Paper | LibreCat-ID: 15051
Star-a scientific toolkit for astrophysical research
K. Mickus, G. Domik, E. Brugel, T. Ayres, in: Bulletin of the American Astronomical Society, 1990, p. 828.
LibreCat
 
1990 | Book Chapter | LibreCat-ID: 17165
Action/Angle Variables and Asymptotic Data
G. Oevel, B. Fuchssteiner, M. Blaszak, in: S. Carillo, O. Ragnisco (Eds.), Nonlinear Evolution Equations and Dynamical Systems, Springer, Berlin-Heidelberg-New York, 1990.
LibreCat
 
1990 | Dissertation | LibreCat-ID: 17456
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
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 | Journal Article | LibreCat-ID: 19440
„Niemand ist des anderen Sprache“. Zur deutschsprachigen Literatur Rumäniens
N.O. Eke, Südostdeutsche Vierteljahresblätter 39 (1990) 103–118.
LibreCat
 
1990 | Encyclopedia Article | LibreCat-ID: 19490
Maximilian von Löwenthal
N.O. Eke, in: W. Killy (Ed.), Literatur Lexikon. Autoren und Werke deutscher Sprache. Bd. 7, Gütersloh, München, 1990, p. 332.
LibreCat
 
1989 | Conference Paper | LibreCat-ID: 13020
The Pseudo-Exhaustive Test of Sequential Circuits
H.-J. Wunderlich, S. Hellebrand, in: {IEEE International Test Conference (ITC’89)}, {IEEE (Comput. Soc. Press)}, Washington, DC, USA, 1989, pp. 19–27.
LibreCat | DOI
 
1989 | Book Chapter | LibreCat-ID: 16745
On genuinely time bounded computations
F. Meyer auf der Heide, in: STACS 89, Berlin/Heidelberg, 1989.
LibreCat | DOI
 
1989 | Conference Paper | LibreCat-ID: 7823
CADDY: Computer-Aided Design of Non-Standard Databases
G. Engels, U. Hohenstein, K. Hülsmann, P. Löhr-Richter, H.-D. Ehrich, in: Proceedings of the International Conference on System Development Environments & Factories, Berlin, Germany, Pitman Publishing, Berlin, 1989.
LibreCat
 
1989 | Journal Article | LibreCat-ID: 16682
Computational methods for bifurcation problems with symmetries—with special attention to steady state and Hopf bifurcation points
M. Dellnitz, B. Werner, Journal of Computational and Applied Mathematics (1989) 97–123.
LibreCat | DOI
 
1989 | Book | LibreCat-ID: 19030
Heiner Müller. Apokalypse und Utopie
N.O. Eke, Heiner Müller. Apokalypse und Utopie, Schöningh, Paderborn, München, Wien, Zürich, 1989.
LibreCat
 
1989 | Book Chapter | LibreCat-ID: 19321
Vom Ballhaus zum Gotteshaus, Vorgeschichte und Bau der katholischen St. Johannes-Kirche in Tübingen
E.-M. Seng, in: Bürger- und Verkehrsverein Tübingen e.V. (Ed.), Tübinger Blätter, 76. Jg. , Tübingen, 1989, pp. 29–34.
LibreCat
 
1989 | Encyclopedia Article | LibreCat-ID: 19489
Friedrich Halm
N.O. Eke, in: W. Killy (Ed.), Literatur Lexikon. Autoren und Werke deutscher Sprache. Bd. 4, Gütersloh, München, 1989, pp. 487–489.
LibreCat
 
1989 | Book Review | LibreCat-ID: 19559
Norbert Mecklenburg: Erzählte Provinz. Regionalismus und Moderne im Roman. Königstein/Ts. 2. Auflage. 1986
N.O. Eke, Germanistik. Internationales Referatenorgan mit bibliographischen Hinweisen 30 (1989) 1057.
LibreCat
 
1989 | Book Chapter | LibreCat-ID: 16746
Time-optimal simulations of networks by universal parallel computers
F. Meyer auf der Heide, R. Wanka, in: STACS 89, Berlin/Heidelberg, 1989.
LibreCat | DOI
 
1989 | Book Chapter | LibreCat-ID: 16789
Computing minimum spanning forests on 1- and 2-dimensional processor arrays
F. Meyer auf der Heide, in: STACS 89, Berlin, Heidelberg, 1989.
LibreCat | DOI
 
1989 | Report | LibreCat-ID: 8187
Benutzerschnittstelle und Architektur der integrierten Datenbankentwurfsumgebung CADDY (Kurzfassung)
G. Engels, Benutzerschnittstelle Und Architektur Der Integrierten Datenbankentwurfsumgebung CADDY (Kurzfassung), TU Braunschweig, 1989.
LibreCat
 
1989 | Journal Article | LibreCat-ID: 17162
Geometry and Action-Angle Variables of Multi Soliton Systems
B. Fuchssteiner, G. Oevel, Rev. Math. Phys. (1989) 415–479.
LibreCat
 
1989 | Conference Paper | LibreCat-ID: 17821
Die Institutionalisierung der Mathematischen Logik in Deutschland
V. Peckhaus, in: F. Krafft, C.J. Scriba (Eds.), XVIIIth International Congress of History of Science. General Theme: Science and Political Order. Wissenschaft und Staat. 1st — 9th August 1989 Hamburg — München. Abstracts, Hamburg/München, 1989.
LibreCat
 
1989 | Encyclopedia Article | LibreCat-ID: 19497
Dieter Forte
N.O. Eke, in: Harenbergs Lexikon der Weltliteratur. Autoren – Werke – Begriffe. Bd. 2, Harenberg, Dortmund, 1989, pp. 979–980.
LibreCat
 
1989 | Book | LibreCat-ID: 3532
Chaos in the Market of Foreign Exchange, in: Rieder, Gessner, Peyer, Immhoff, Radermacher (eds)
T. Gries, Chaos in the Market of Foreign Exchange, in: Rieder, Gessner, Peyer, Immhoff, Radermacher (Eds), 1989.
LibreCat
 
1989 | Book (Editor) | LibreCat-ID: 18464
Plattdeutsch - ein Pflegefall?
D. Tophinke, ed., Plattdeutsch - ein Pflegefall?, Manuskriptdruck, Osnabrück, 1989.
LibreCat
 
1989 | Book | LibreCat-ID: 19152
Nikolaus Lenau. Werke und Briefe. Historisch-kritische Gesamtausgabe. Bd. 5,1: Briefe 1812-1837. Teil 1: Text (Edition)
N.O. Eke, A. Vizkelety, K.J. Skrodzki, H. Steinecke, Nikolaus Lenau. Werke und Briefe. Historisch-kritische Gesamtausgabe. Bd. 5,1: Briefe 1812-1837. Teil 1: Text (Edition), Österreichischer Bundesverlag, Klett-Cotta, Wien, 1989.
LibreCat
 
1989 | Encyclopedia Article | LibreCat-ID: 19498
Herta Müller
N.O. Eke, in: Harenbergs Lexikon der Weltliteratur. Autoren – Werke – Begriffe. Bd. 4, Harenberg, Dortmund, 1989, pp. 2060–2061.
LibreCat
 
1989 | Journal Article | LibreCat-ID: 11793 LibreCat
 
1989 | Journal Article | LibreCat-ID: 16743
On computations with integer division
B. Just, F. Meyer auf der Heide, A. Wigderson, RAIRO - Theoretical Informatics and Applications (1989) 101–111.
LibreCat | DOI
 
1989 | Book | LibreCat-ID: 7511
Programmentwicklungsumgebungen: Konzepte und Realisierung
G. Engels, W. Schäfer, Programmentwicklungsumgebungen: Konzepte Und Realisierung, Teubner, Stuttgart, 1989.
LibreCat
 
1989 | Conference Paper | LibreCat-ID: 7821
Konzepte einer Software-Architektur-Beschreibungssprache
J. Ebert, G. Engels, in: Software-Entwicklung: Konzepte, Erfahrungen, Perspektiven, Fachtagung, 1989, Marburg (Germany), Springer, Berlin/Heidelberg, 1989, pp. 238–250.
LibreCat
 
1989 | Conference Paper | LibreCat-ID: 16744
An optimal parallel dictionary
M. Dietzfelbinger, F. Meyer auf der Heide, in: Proceedings of the First Annual ACM Symposium on Parallel Algorithms and Architectures  - SPAA ’89, 1989.
LibreCat | DOI
 
1989 | Conference Paper | LibreCat-ID: 7822
CADDY-O: Syntaxgestütztes, graphisches Entwerfen konzeptioneller Datenbankschemata
G. Engels, in: Tagungsband GI-Fachtagung “Interaktive Schnittstellen Für Informationssysteme”, TU Clausthal, Notizen Zu Interaktive Systeme, 1989, pp. 1–16.
LibreCat
 
1989 | Journal Article | LibreCat-ID: 19818
Projections of vector addition system reachability sets are semilinear
H. Kleine Büning, T. Lettmann, E.W. Mayr, Theoretical Computer Science (1989) 343–350.
LibreCat | DOI
 
1988 | Conference Paper | LibreCat-ID: 11783
A Comparison of Coherent and Differentially Coherent Detection Schemes for Fading Channels
R. Haeb-Umbach, in: International Conference on Vehicular Technology, Philadelphia, 1988.
LibreCat | Download (ext.)
 
1988 | Journal Article | LibreCat-ID: 16764
Fast algorithms for N-dimensional restrictions of hard problems
F. Meyer auf der Heide, Journal of the ACM (JACM) (1988) 740–747.
LibreCat | DOI
 
1988 | Report | LibreCat-ID: 8186
Ein Konzept zur Beschreibung von Software-Architekturen
J. Ebert, G. Engels, Ein Konzept Zur Beschreibung von Software-Architekturen, EWH Koblenz, 1988.
LibreCat
 
1988 | Journal Article | LibreCat-ID: 17469
Karl Eugen Müller (1865–1932) und seine Rolle in der Entwicklung der Algebra der Logik
V. Peckhaus, History and Philosophy of Logic 9 (1988) 43–56.
LibreCat
 
1988 | Conference Paper | LibreCat-ID: 13021
Generating Pattern Sequences for the Pseudo-Exhaustive Test of MOS-Circuits
H.-J. Wunderlich, S. Hellebrand, in: {18th International Symposium on Fault-Tolerant Computing, FTCS-18}, {IEEE (Comput. Soc. Press)}, Tokyo, Japan, 1988, pp. 36–45.
LibreCat | DOI
 
1988 | Conference Paper | LibreCat-ID: 15320
A multi-spectral analysis system using large databases.
E.W. Brugel, G. Domik, S.A. Voels, in: European Southern Observatory Conference and Workshop Proceedings, 1988, pp. 3–8.
LibreCat
 
1988 | Journal Article | LibreCat-ID: 16765
A tradeoff between search and update time for the implicit dictionary problem
A. Borodin, F.E. Fich, F. Meyer auf der Heide, E. Upfal, A. Wigderson, Theoretical Computer Science (1988) 57–68.
LibreCat | DOI
 
1988 | Book Chapter | LibreCat-ID: 19442
„Wenn man die Augen hätte schließen und schlafen können...“. Zu Arno Schmidts Nachkriegsroman „Brand’s Haide“
N.O. Eke, in: M.M. Schardt (Ed.), Arno Schmidt. Das Frühwerk II. Romane. Interpretationen von ‚Brand’s Haide’ bis ‚Gelehrtenrepublik’, Alano, Aachen, 1988, pp. 13–54.
LibreCat
 
1988 | Conference Paper | LibreCat-ID: 13058
Integrated Tools for Automatic Design for Testability
D. Schmid, H.-J. Wunderlich, F. Feldbusch, S. Hellebrand, J. Holzinger, A. Kunzmann, in: {In: Tool Integration and Design Environments, F.J. Rammig (Editor)}, Amsterdam: Elsevier Science Publishers B.V.(North Holland), IFIP, Amsterdam, The Netherlands, 1988, pp. 233–258.
LibreCat
 
1988 | Journal Article | LibreCat-ID: 15321
Dependence of image grey values on topography in SIR-B images
G. Domik, F. Leberl, J. Cimino, International Journal of Remote Sensing 9 (1988) 1013–1022.
LibreCat
 
1988 | Conference Paper | LibreCat-ID: 16766
Dynamic perfect hashing: upper and lower bounds
M. Dietzfelbinger, A. Karlin, K. Mehlhorn, F. Meyer auf der Heide, H. Rohnert, R.E. Tarjan, in: [Proceedings 1988] 29th Annual Symposium on Foundations of Computer Science, 1988.
LibreCat | DOI
 
1988 | Conference Paper | LibreCat-ID: 7818
A Highly Integrated Tool Set for Program Development Support
G. Engels, T. Janning, W. Schäfer, in: Proceedings of the Conference on ACM SIGSMALL/PC Symposium on ACTES (SIGSMALL 1988), Cannes (France), ACM Press, New York, NY, USA, 1988, pp. 1–10.
LibreCat | DOI
 
1988 | Conference Paper | LibreCat-ID: 7820
Auf dem Weg zu einer integrierten Datenbank-Entwurfsumgebung
G. Engels, U. Hohenstein, G. Saake, H.-D. Ehrich, in: G. Engels, U. Hohenstein, G. Saake, H.-D. Ehrich (Eds.), Proceedings of the GI-Workshop on “Sprachspezifische Programmierumgebungen,” G. Snelting, Darmstadt (Germany), 1988, pp. 38–51.
LibreCat
 
1988 | Conference Paper | LibreCat-ID: 8258
Die Benutzerschnittstelle einer integrierten Modula-2 Programmentwicklungsumgebung
G. Engels, T. Janning, W. Schäfer, in: Proceedings of GI-Workshop Sprachspezifische Programmierumgebungen, Darmstadt, Germany, 1988.
LibreCat
 
1988 | Mastersthesis | LibreCat-ID: 18692
Die Johanneskirche am Feuersee in Stuttgart und der Architekt Christian Friedrich von Leins (1814 - 1892), Magisterarbeit masch.
E.-M. Seng, Die Johanneskirche am Feuersee in Stuttgart und der Architekt Christian Friedrich von Leins (1814 - 1892), Magisterarbeit masch., Tübingen 1987, 1988.
LibreCat
 
1988 | Journal Article | LibreCat-ID: 15322
SIR-B stereo-radargrammetry of Australia
F. Leberl, W. Mayr, G. Domik, M. Kobrick, International Journal of Remote Sensing 9 (1988) 997–1011.
LibreCat
 
1988 | Book Chapter | LibreCat-ID: 16767
On computations with integer division
B. Just, F. Mathematik, F. Meyer auf der Heide, F. Informatik, A. Wigderson, in: STACS 88, Berlin, Heidelberg, 1988.
LibreCat | DOI
 
1988 | Conference Paper | LibreCat-ID: 7819
Konzeption einer integrierten Datenbank-Entwurfsumgebung
G. Engels, U. Hohenstein, L. Neugebauer, G. Saake, H.-D. Ehrich, in: Proceedings of DBTA/SI Data Dictionaries Und Entwicklungswerkzeuge Für Datenbank-Anwendungen, Zürich, Switzerland, Verlag der Fachvereine an den Schweiz. Hochschulen und Techniken, 1988, pp. 151–157.
LibreCat
 
1988 | Conference Paper | LibreCat-ID: 11794
A digital Synchronizer for Linearly Modulated Signals Transmitted over a Frequency-Nonselective Fading Channel
R. Haeb-Umbach, H. Meyr, in: International Conference on Communications, Philadelphia, 1988.
LibreCat | Download (ext.)
 
1988 | Conference Paper | LibreCat-ID: 13062
Automatisierung des Entwurfs vollständig testbarer Schaltungen
S. Hellebrand, H.-J. Wunderlich, in: {GI - 18. Jahrestagung II, Hamburg, 1988, Informatik-Fachberichte 188}, Springer Verlag, Hamburg, Germany, 1988, pp. 145–159.
LibreCat
 
1988 | Journal Article | LibreCat-ID: 16763
On the limits of computations with the floor function
L. Babai, B. Just, F. Meyer auf der Heide, Information and Computation (1988) 99–107.
LibreCat | DOI
 
1988 | Book Chapter | LibreCat-ID: 16768
Upper and lower bounds for the dictionary problem
M. Dietzfelbinger, K. Mehlhorn, F. Meyer auf der Heide, H. Rohnert, in: SWAT 88, Berlin, Heidelberg, 1988.
LibreCat | DOI
 
1988 | Conference Paper | LibreCat-ID: 16915
Enhancement Techniques in Digital Image Processing
G. Domik-Kienegger, in: Proceedings of the Computer Science Symposium, Graz, Austria, 1988, pp. 211–217.
LibreCat
 
1988 | Conference Paper | LibreCat-ID: 17470
Historiographie wissenschaftlicher Disziplinen als Kombination von Problem- und Sozialgeschichtsschreibung: Formale Logik im Deutschland des ausgehenden 19. Jahrhunderts
V. Peckhaus, in: H. Poser, C. Burrichter (Eds.), Die geschichtliche Perspektive in den Disziplinen der Wissenschaftsforschung. Kolloquium an der TU Berlin, Oktober 1988. Mit Beiträgen von Michael Heidelberger, Walter Kaiser, C. Ulises Moulines, Volker Peckhaus, Wolf Schäfer, Burghard Weiss, Berlin, 1988, pp. 177–215.
LibreCat
 
1988 | Conference Paper | LibreCat-ID: 19820
Perspektiven für die Logikprogrammierung
H. Kleine Büning, T. Lettmann, in: G. Rahmstorf (Ed.), Workshop Wissensrepräsentation in Expertensystemen, Berlin, Heidelberg, 1988, pp. 56–78.
LibreCat
 
1987 | Conference Paper | LibreCat-ID: 11795
Optimal Carrier Recovery and Detection on Frequency-Nonselective Fading Channels
R. Haeb-Umbach, H. Meyr, in: Proc. Symposium on Inf. Theory and Appl. (SITA), Tokio, 1987.
LibreCat
 
1987 | Conference Paper | LibreCat-ID: 15038
Methods and application of surface shape reconstruction from multiple SAR images
G. Domik, in: IGARSS’87-International Geoscience and Remote Sensing Symposium, 1987, pp. 1551–1555.
LibreCat
 
1987 | Conference Paper | LibreCat-ID: 16916
Digital Rectification Method for Radar Images Applied on Huge Arrays
G. Domik-Kienegger, in: Proceedings of the First Int’l. Workshop on Image Rectification Tech. for Spaceborne Synthetic Aperture Radar, 1987, pp. 67–68.
LibreCat
 
1987 | Conference Paper | LibreCat-ID: 7816
A Hybrid Interpreter in a Software Development Environment
G. Engels, A. Schürr, in: Proceedings of the 1st European Software Engineering Conference (ESEC ’87), Strasbourg (France), Springer, Berlin/Heidelberg, 1987, pp. 80–88.
LibreCat
 
1987 | Journal Article | LibreCat-ID: 17820 LibreCat
 
1987 | Book Chapter | LibreCat-ID: 19821
Representation independent query and update operations on propositional definite Horn formulas
H.K. Büning, T. Lettmann, in: E. Börger (Ed.), Computation Theory and Logic, Berlin, Heidelberg, 1987, pp. 208–223.
LibreCat | DOI
 
1987 | Journal Article | LibreCat-ID: 16772
A Time-Space Tradeoff for Element Distinctness
A. Borodin, F. Fich, F. Meyer auf der Heide, E. Upfal, A. Wigderson, SIAM Journal on Computing (1987) 97–99.
LibreCat | DOI
 
1987 | Conference Paper | LibreCat-ID: 7817
On the Structure of Structure-Oriented Editors for Different Applications
G. Engels, M. Nagl, W. Schäfer, in: Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, Palo Alto, USA, ACM SIGPLAN Notices, 1987, pp. 190–198.
LibreCat
 
1987 | Conference Paper | LibreCat-ID: 8257
Graph Grammar Engineering: A Software Specification Method
G. Engels, C. Lewerentz, W. Schäfer, in: Proceedings of the 3rd International Workshop on Graph-Grammars and Their Application to Computer Science, Warrenton, VA (USA), Springer, Berlin/Heidelberg, 1987, pp. 186–201.
LibreCat | DOI
 
1987 | Book Chapter | LibreCat-ID: 17819
Interdisziplinäres Institut für Wissenschaftstheorie und Wissenschaftsgeschichte
V. Peckhaus, R. Kötter, 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
Image based SAR product simulation for analysis
G. Domik, F. Leberl, ASPRS-ACM (1987).
LibreCat
 
1987 | Journal Article | LibreCat-ID: 16773
The Complexity of Parallel Sorting
F. Meyer auf der Heide, A. Wigderson, SIAM Journal on Computing (1987) 100–107.
LibreCat | DOI
 
1987 | Book Chapter | LibreCat-ID: 19359
Ein Hauch von Paris ... Die Planung für den Tübinger Uhlandplatz durch Christian Friedrich von Leins
E.-M. Seng, in: Bürger- und Verkehrsverein Tübingen e.V. (Ed.), Tübinger Blätter, 74. Jg. , 1987, pp. 8–14.
LibreCat
 
1987 | Conference Paper | LibreCat-ID: 15050
Methods and accuracy of operational digital image mapping with aircraft SAR
F. Leberl, G. Domik, B.J. Mercer, in: 1987 ASPRS ACSM Annual Convention, 1987, pp. 148–158.
LibreCat
 
1986 | Conference Paper | LibreCat-ID: 15317
Developing tools for digital radar image data evaluation
G. Domik, F. Leberl, J. Raggam, in: IN: Remote Sensing for Resources Development and Environmental Management; Proceedings of the Seventh International Symposium, Enschede, Netherlands, Aug. 25-29, 1986. Volume 1 (A88-41961 17-43). Rotterdam, AA Balkema, 1986, p. 117-119. ESA-NASA-Supported Research., 1986, pp. 117–119.
LibreCat
 
1986 | Journal Article | LibreCat-ID: 15254
Radargrammetric Experiments with Space Shuttle SIR-B Imagery
F. Leberl, G. Domik, J. Raggam, J. Cimino, M. Kobrick, International Archives of Photogrammetry and Remote Sensing= Archives Internationales de Photogramm{\’e}trie et de T{\’e}l{\’e}d{\’e}tection= Internationales Archiv Der Photogrammetrie Und Fernerkundung (1986) 333–344.
LibreCat
 
1986 | Journal Article | LibreCat-ID: 16771
Efficient Simulations among Several Models of Parallel Computers
F. Meyer auf der Heide, SIAM Journal on Computing (1986) 106–119.
LibreCat | DOI
 
1986 | Book Chapter | LibreCat-ID: 16776
A time-space tradeoff for element distinctness
A. Borodin, F. Fich, F. Meyer auf der Heide, E. Upfal, A. Wigderson, in: STACS 86, Berlin, Heidelberg, 1986.
LibreCat | DOI
 
1986 | Conference Paper | LibreCat-ID: 8256
Experiences with a Hybrid-Interpreter Based on Incremental Compilation Techniques
G. Engels, A. Sandbrink, in: Proceedings of the Workshop on Compiler Compilers and Incremental Compilation Techniques, Bautzen, Berlin(Ost): Akademie der Wissenschaften der DDR, Bautzen, 1986, pp. 172–184.
LibreCat
 
1986 | Journal Article | LibreCat-ID: 14895
Radar stereomapping techniques and application to SIR-B images of Mt. Shasta
F.W. Leberl, G. Domik-Kienegger, J. Rraggam, M. Kobrick, IEEE Transactions on Geoscience and Remote Sensing (1986) 473–481.
LibreCat
 
1986 | Book Chapter | LibreCat-ID: 18431
Eine empirische Untersuchung zu den schriftsprachlichen Leistungen türkischer Schulkinder
R. Beckemeyer, D. Tophinke, in: Arbeitsstelle für Sprachprobleme von Migranten (Ed.), Narrative Kompetenz. Mündliche und schriftliche Wiedergabe von Erzählstrukturen durch türkische Schulkinder in außerschulischen Lerngruppen, Manuskriptdruck, Osnabrück, 1986, pp. 66–118.
LibreCat
 
1986 | Book Chapter | LibreCat-ID: 19364
Das Ulmer Hauptwerk: Der Blaubeurer Hochaltar und die Erhart-Frage
E.-M. Seng, in: G. Schäfer, M. Brecht (Eds.), Blätter für württembergische Kirchengeschichte, 86. Jg. , Stuttgart, 1986, pp. 299–319.
LibreCat
 
1986 | Book Chapter | LibreCat-ID: 19477
Architekten- und Künstlerbiographien
E.-M. Seng, in: Kulturamt der Universitätsstadt Tübingen (Ed.), Ehrwürdige Zeugen verschwundener Tage, Tübinger Baudenkmale in Architekturzeichnungen des 19. Jahrhunderts, Katalog zur Ausstellung Tübingen 1986 (Tübinger Kataloge Nr. 29), 1986, pp. 102–108.
LibreCat
 
1986 | Book Chapter | LibreCat-ID: 19819
Classes of first order formulas under various satisfiability definitions
H. Kleine Büning, T. Lettmann, in: 8th International Conference on Automated Deduction, Berlin, Heidelberg, 1986.
LibreCat | DOI
 
1986 | Journal Article | LibreCat-ID: 11880
An all digital implementation of a receiver for bandwidth-efficient communication
M. Oerder, G. Ascheid, R. Haeb-Umbach, H. Meyr, Signal Processing: Theories and Applications (1986).
LibreCat
 
1986 | Conference Paper | LibreCat-ID: 15318
Using secondary image products to aid in understanding and interpretation of radar imagery
G. Domik, F. Leberl, in: IGARSS’86: Remote Sensing: Today’s Solutions for Tomorrow’s Information Needs, 1986.
LibreCat
 
1986 | Journal Article | LibreCat-ID: 16917
Radar Stereomapping Techniques and Application to SIR-B Images of Mt. Shasta
F. Leberl, G. Domik-Kienegger, J. Raggam, M. Kobrick, IEEE Transactions on Geoscience and Remote Sensing GE-24 (1986) 473–481.
LibreCat
 
1986 | Dissertation | LibreCat-ID: 7588
Graphen als zentrale Datenstrukturen in einer Software-Entwicklungsumgebung
G. Engels, Graphen Als Zentrale Datenstrukturen in Einer Software-Entwicklungsumgebung, 1986.
LibreCat
 
1986 | Book Chapter | LibreCat-ID: 19360
Die Zeichner und die Art der Darstellung - Zur Entwicklung und Funktion der Architekturzeichnung im 19. Jahrhundert
E.-M. Seng, in: Kulturamt der Universitätsstadt Tübingen (Ed.), Ehrwürdige Zeugen verschwundener Tage, Tübinger Baudenkmale in Architekturzeichnungen des 19. Jahrhunderts, Katalog zur Ausstellung Tübingen 1986 (Tübinger Kataloge Nr. 29), 1986, pp. 4–16.
LibreCat
 
1986 | Report | LibreCat-ID: 13022
Deformation dicker Punkte und Netze von Quadriken
S. Hellebrand, Deformation Dicker Punkte Und Netze von Quadriken, Universität Regensburg, Fakultät für Mathematik, Regensburg, Germany, 1986.
LibreCat
 
1986 | Conference Paper | LibreCat-ID: 15179
Digital terrain mapping with STAR-1 SAR data
J. Mercer, R. Lowry, F. Leberl, G. Domik, in: International Geoscienee and Remote Sensing Symposium, 1986, pp. 645–650.
LibreCat
 
1986 | Journal Article | LibreCat-ID: 16918
Multiple Incidence Angle SIR-B Expenment Over Argentina: Stereo-Radargrammetrc Analysis
F. Leberl, G. Domik-Kienegger, J. Raggam, J. Cimino, M. Kobrick, IEEE Transactions on Geoscience and Remote Sensing GE-24 (1986) 482–491.
LibreCat
 
1986 | Book Chapter | LibreCat-ID: 19443
Risse: Pytheas, Philostratos et. al. Zu den Protagonisten der frühen Erzählungen Arno Schmidts
N.O. Eke, in: M.M. Schardt (Ed.), Arno Schmidt. Das Frühwerk I: Erzählungen. Interpretationen von ‚Gadir‘ bis ‚Kosmas‘, Rader, Aachen, 1986, pp. 151–184.
LibreCat
 
1986 | Book | LibreCat-ID: 2092
Belgium in a Nutshell Investitionsmöglichkeiten ausländischer Unternehmen in Belgien
D. Krimphove, Belgium in a Nutshell Investitionsmöglichkeiten Ausländischer Unternehmen in Belgien, Brüssel, 1986.
LibreCat
 
1986 | Book Chapter | LibreCat-ID: 16774
A tradeoff between search and update time for the implicit dictionary problem
A. Borodin, F.E. Fich, F. Meyer auf der Heide, E. Upfal, A. Wigderson, in: Automata, Languages and Programming, Berlin, Heidelberg, 1986.
LibreCat | DOI
 
1986 | Journal Article | LibreCat-ID: 14983
Multiple incidence angle SIR-B experiment over Argentina: generation of secondary image products
G. Domik, F. Leberl, J. Cimino, IEEE Transactions on Geoscience and Remote Sensing (1986) 492–497.
LibreCat
 
1986 | Book Chapter | LibreCat-ID: 16775
Speeding up random access machines by few processors
F. Meyer auf der Heide, in: STACS 86, Berlin, Heidelberg, 1986.
LibreCat | DOI
 
1986 | Conference Paper | LibreCat-ID: 7815
On the Structure of an Incremental and Integrated Software Development Environment
G. Engels, C. Lewerentz, M. Nagl, W. Schäfer, in: Proceedings of the 19th Hawaii International Conference on System Sciences, Hawaii, USA, 1986, pp. 585–597.
LibreCat
 
1986 | Journal Article | LibreCat-ID: 17468
Case Studies Towards the Establishment of a Social History of Logic
V. Peckhaus, History and Philosophy of Logic 7 (1986) 185–186.
LibreCat
 
1985 | Conference Paper | LibreCat-ID: 16783
One, two, three . . . infinity: lower bounds for parallel computation
F.E. Fich, F. Meyer auf der Heide, P. Ragde, A. Wigderson, in: Proceedings of the Seventeenth Annual ACM Symposium on Theory of Computing  - STOC ’85, 1985.
LibreCat | DOI
 
1985 | Conference Paper | LibreCat-ID: 16788
Nondeterministic versus probabilistic linear search algorithms
F. Meyer auf der Heide, in: 26th Annual Symposium on Foundations of Computer Science (Sfcs 1985), 1985.
LibreCat | DOI
 
1985 | Conference Paper | LibreCat-ID: 16784
Fast algorithms for n-dimensional restrictions of hard problems
F. Meyer auf der Heide, in: Proceedings of the Seventeenth Annual ACM Symposium on Theory of Computing  - STOC ’85, 1985.
LibreCat | DOI
 
1985 | Journal Article | LibreCat-ID: 16823
Lower time bounds for solving linear diophantine equations on several parallel computational models
F. Meyer auf der Heide, Information and Control 67 (1985) 195–211.
LibreCat | DOI
 
1985 | Journal Article | LibreCat-ID: 15314
Mapping with aircraft and satellite radar images
F. Leberl, M. Kobrick, undefined undefined, The Photogrammetric Record 11 (1985) 647–665.
LibreCat
 
1985 | Journal Article | LibreCat-ID: 16780
Lower bounds for solving linear diophantine equations on random access machines
F. Meyer auf der Heide, Journal of the ACM (JACM) (1985) 929–937.
LibreCat | DOI
 
1985 | Conference Paper | LibreCat-ID: 7813
Graph Grammar Engineering: A Method Used for the Development of an Integrated Programming Support Environment
G. Engels, W. Schäfer, in: Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT 1985), Berlin (Germany), Springer, Berlin/Heidelberg, 1985, pp. 179–193.
LibreCat
 
1985 | Journal Article | LibreCat-ID: 15315
Radar image simulation as a tool to analyze topographic effects on geometry and radiometry of radar imagery
G. Domik, Machine Processing of Remotely Sensed Data- Quantifying Global Process: Models, Sensor Systems, and Analytical Methods (1985) 248–253.
LibreCat
 
1985 | Journal Article | LibreCat-ID: 15048
Radargrammetric aspects of SAR data evaluation
J. Raggam, G. Triebnig, M. Buchroithner, G. Domik, F. Leberl, Thematic Applications of SAR Data (1985) 57.
LibreCat
 
1985 | Journal Article | LibreCat-ID: 16779
Lower time bounds for integer programming with two variables
C. Lautemann, F. Meyer auf der Heide, Information Processing Letters (1985) 101–105.
LibreCat | DOI
 
1985 | Journal Article | LibreCat-ID: 16781
Simulating probabilistic by deterministic algebraic computation trees
F. Meyer auf der Heide, Theoretical Computer Science (1985) 325–330.
LibreCat | DOI
 
1985 | Conference Paper | LibreCat-ID: 7814
The Design of an Adaptive and Portable Programming Support Environment
G. Engels, W. Schäfer, in: Proceedings of the International Computing Symposium, Amsterdam (The Netherlands), Florenz, 1985.
LibreCat
 
1985 | Conference Paper | LibreCat-ID: 15316
Towards a SAR system for snow and land ice applications
H. Rott, G. Domik, C. MStzler, H. Miller, in: ESA Proceedings of a Workshop on Thematic Applications of SAR DATA p 29-39(SEE N 86-28488 19-42), 1985.
LibreCat
 
1985 | Conference Paper | LibreCat-ID: 16782
The complexity of parallel sorting
F. Meyer auf der Heide, A. Wigderson, in: 26th Annual Symposium on Foundations of Computer Science (Sfcs 1985), 1985.
LibreCat | DOI
 
1984 | Journal Article | LibreCat-ID: 15124
Analyse von Radarbildern mittels digitaler Hoehenmodelle
G. Domik, M. Kobrick, F. Leberl, Bildmessung Und Luftbildwesen 52 (1984) 249–263.
LibreCat
 
1984 | Conference Paper | LibreCat-ID: 16920
Radar Image Simulation and its Application in Image Analysis
G. Domik-Kienegger, F. Leberl, M. Kobrick, in: 1984, pp. 99–108.
LibreCat
 
1984 | Journal Article | LibreCat-ID: 16785
A Polynomial Linear Search Algorithm forr the n-Dimensional Knapsack Problem
F. Meyer auf der Heide, Journal of the ACM (JACM) (1984) 668–676.
LibreCat | DOI
 
1984 | Report | LibreCat-ID: 15600
Differential Rectification of SLR-Images Using Map-Derived and Radar-Generated Digital Elevation Models.
G. Domik, F. Leberl, J. Raggam, Differential Rectification of SLR-Images Using Map-Derived and Radar-Generated Digital Elevation Models., 1984.
LibreCat
 
1984 | Journal Article | LibreCat-ID: 15055
Evaluation of radar stereo viewability by means of a simulation technique
G. Domik, ESA IGARSS 84: Remote Sensing: From Res. towards Operational Use, 2 (1984).
LibreCat
 
1984 | Journal Article | LibreCat-ID: 16919
Analyse von Radarbildern mittels digitaler Hoehenmodelle
G. Domik-Kienegger, M. Kobrick, F. Leberl, Bildmessung Und Luftbildwesen 52 (1984) 249–263.
LibreCat
 
1984 | Conference Paper | LibreCat-ID: 16921
Rectification of Radar Images Using Stereo- Derived Height Models and Simulations
G. Domik-Kienegger, F. Leberl, J. Raggam, in: 1984, pp. 109–111.
LibreCat
 
1984 | Conference Paper | LibreCat-ID: 16786
On The Limits To Speed Up Parallel Machines By Large Hardware And Unbounded Communication
F. Meyer auf der Heide, R. Reischuk, in: 25th Annual Symposium OnFoundations of Computer Science, 1984., 1984.
LibreCat | DOI
 
1984 | Conference Paper | LibreCat-ID: 15598
The SAR-580 experiment on snow and glaciers at the Austrian test site
H. Rott, G. Domik, in: Proc. SAR-580 Investigators Workshop, 1984, pp. 217–232.
LibreCat
 
1984 | Book | LibreCat-ID: 17455
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
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, 1984.
LibreCat | Download (ext.)
 
1984 | Journal Article | LibreCat-ID: 14995
Radar image simulation and its application in image analysis
G. Domik, F. Leberl, M. Kobrick, Archives of the International Society of Photogrammetry and Remote Sensing 25 (1984) A3a.
LibreCat
 
1984 | Mastersthesis | LibreCat-ID: 15498
Das Schöne als Vollzug der Liebe. Eros-Logos-Verhältnisse in Platons Symposion
R. Hagengruber, Das Schöne Als Vollzug Der Liebe. Eros-Logos-Verhältnisse in Platons Symposion, München, 1984.
LibreCat
 
1984 | Conference Paper | LibreCat-ID: 16922
Method to Relate Digital SAR Images and Map Information in Mountainous Areas
G. Domik-Kienegger, E. Kienegger, in: Proceedings of the World Conference on Remote Sensing, 1984.
LibreCat
 
1984 | Book Chapter | LibreCat-ID: 16787
Efficient simulations among several models of parallel computers (extended abstract)
F. Meyer auf der Heide, in: STACS 84, Berlin, Heidelberg, 1984.
LibreCat | DOI
 
1983 | Journal Article | LibreCat-ID: 16808
Infinite cube-connected cycles
F. Meyer auf der Heide, Information Processing Letters (1983) 1–2.
LibreCat | DOI
 
1983 | Book Chapter | LibreCat-ID: 16810
Efficiency of universal parallel computers
F. Meyer auf der Heide, in: Lecture Notes in Computer Science, Berlin/Heidelberg, 1983.
LibreCat | DOI
 
1983 | Journal Article | LibreCat-ID: 7412
An Operational Semantics for Specifications of Abstract Data Types with Error Handling
G. Engels, U. Pletat, H.-D. Ehrich, Acta Informatica 9 (1983) 235–254.
LibreCat | DOI
 
1983 | Conference Paper | LibreCat-ID: 16809
A polynomial linear search algorithm for the n-dimensional knapsack problem
F. Meyer auf der Heide, in: Proceedings of the Fifteenth Annual ACM Symposium on Theory of Computing  - STOC ’83, 1983.
LibreCat | DOI
 
1983 | Journal Article | LibreCat-ID: 16806
Efficiency of universal parallel computers
F. Meyer auf der Heide, Acta Informatica (1983) 269–296.
LibreCat | DOI
 
1983 | Journal Article | LibreCat-ID: 16807
A lower time bound for the knapsack problem on random access machines
P. Klein, F. Meyer auf der Heide, Acta Informatica (1983) 385–395.
LibreCat | DOI
 
1983 | Journal Article | LibreCat-ID: 7411
Software Specification Using Graph Grammars
G. Engels, R. Gall, M. Nagl, W. Schäfer, Computing 31 (1983) 317–346.
LibreCat | DOI
 
1983 | Conference Paper | LibreCat-ID: 8255
Software Specification by Graph Grammars
M. Nagl, G. Engels, R. Gall, W. Schäfer, in: Proceedings of the 2nd International Workshop on Graph-Grammars and Their Application to Computer Science, Osnabrück (Germany), Springer, Berlin/Heidelberg, 1983, pp. 267–287.
LibreCat | DOI
 
1982 | Conference Paper | LibreCat-ID: 7811
Specification of a Programming Support Environment by Graph Grammars
G. Engels, W. Schäfer, in: Proceedings of the Conference on Graphtheoretic Concepts in Computer Science (WG`82), München (Germany), Hanser, München/Leipzig, 1982, pp. 47–62.
LibreCat
 
1982 | Conference Paper | LibreCat-ID: 7812
An Operational Approach to Conditional Algebraic Specifications
U. Pletat, G. Engels, H.-D. Ehrich, in: Proceedings of the 7eme Colloque Sur Les Arbres En Algebre et En Programmation, Lille (France), 1982, pp. 254–270.
LibreCat
 
1981 | Book Chapter | LibreCat-ID: 16813
Random access machines and straight-line programs
F. Meyer auf der Heide, A. Rollik, in: Fundamentals of Computation Theory, Berlin, Heidelberg, 1981.
LibreCat | DOI
 
1981 | Journal Article | LibreCat-ID: 16820
A comparison of two variations of a pebble game on graphs
F. Meyer auf der Heide, Theoretical Computer Science (1981) 315–322.
LibreCat | DOI
 
1981 | Report | LibreCat-ID: 8184
Handling Errors and Exceptions in the Algebraic Specifications of Data Types
G. Engels, U. Pletat, H.-D. Ehrich, Handling Errors and Exceptions in the Algebraic Specifications of Data Types, University of Osnabrück, 1981.
LibreCat
 
1981 | Book Chapter | LibreCat-ID: 16814
Time-processor trade-offs for universal parallel computers
F. Meyer auf der Heide, in: Lecture Notes in Computer Science, Berlin, Heidelberg, 1981.
LibreCat | DOI
 
1981 | Report | LibreCat-ID: 8185
Operational Semantics of Algebraic Specifications with Conditional Equations
U. Pletat, G. Engels, H.-D. Ehrich, Operational Semantics of Algebraic Specifications with Conditional Equations, University of Dortmund, Department of Computer Science, 1981.
LibreCat
 
1980 | Book Chapter | LibreCat-ID: 16815
Untere Zeitschranken für das Rucksack-Problem
P. Klein, F. Meyer auf der Heide, in: GI - 10. Jahrestagung, Berlin, Heidelberg, 1980.
LibreCat | DOI
 
1980 | Book (Editor) | LibreCat-ID: 15510
Inseln im Ich
R. Hagengruber, ed., Inseln im Ich, Matthes & Seitz, München, 1980.
LibreCat
 
1979 | Journal Article | LibreCat-ID: 16812
A comparison of two variations of a pebble game on graphs
F. Meyer auf der Heide, Automata, Languages and Programming. ICALP 1979 (1979) 411–421.
LibreCat | DOI
 
[n.d.] | Journal Article | LibreCat-ID: 15596
Paderborn Symposium on Data Science Education at School Level 2017: The Collected Extended Abstracts
R. Biehler, L. Budde, D. Frischemeier, B. Heinemann, S. Podworny, C. Schulte, T. Wassong, (n.d.).
LibreCat
 

Search

Filter Publications

Display / Sort

Export