11737 Publications

1997 | Journal Article | LibreCat-ID: 6234
Mayne L, Valverde MAI, Brewster C, Kabst R. New Developments in Labour Flexibility. New Developments in Labour Flexibility, Special Issue, Employee Relations: The International Journal. 1997;19(6).
LibreCat
 
1997 | Journal Article | LibreCat-ID: 5611
Valverde MAI, Kabst R, Brewster C, Mayne L. The Flexibility Paradox. Employee Relations. 1997;6:596-608.
LibreCat
 
1997 | Book | LibreCat-ID: 6537
Bendfeld J, Gärtner SO, Ortjohann E. 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
Engels G, Heckel R, Taentzer G, Ehrig H. A Combined Reference Model- and View-Based Approach to System Specification. Int Journal of Software and Knowledge Engeneering. 1997;7(4):457-477.
LibreCat
 
1997 | Book Chapter | LibreCat-ID: 7516
Engels G, Rekers J, Andries M. How to represent a visual specification. In: Visual Language Theory. Berlin/Heidelberg: Springer; 1997:241-255.
LibreCat
 
1997 | Conference Paper | LibreCat-ID: 7840
Depke R, Knoke S, Schöne W, Tünnermann A, Welling H. Thermooptische Effekte in Nd:YAG-Slablasern. In: Verhandlungen Der Deutschen Physikalischen Gesellschaft. Vol 32. Weinheim, Germany: Physik-Verlag; 1997.
LibreCat
 
1997 | Conference Paper | LibreCat-ID: 8108
Kerst U, Krauter S, Hanitsch R. Reflection-Losses at Structured PV-Modules. 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
Gadducci F, Heckel R. An Inductive View of Graph Transformation. In: Proceedings of the 12th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 1997), Tarquinia (Italy). Vol 1376. LNCS. Berlin/Heidelberg: Springer; 1997:223-237.
LibreCat
 
1997 | Journal Article | LibreCat-ID: 8470
Kremer H-H, Sloane PFE. Didaktik des Rechnungswesens. Erziehungswissenschaft und Beruf. 1997;(1):137-138.
LibreCat
 
1997 | Conference Paper | LibreCat-ID: 8898
Goldschmidt S, Hemsel T, Krome J, Storck H, Wallaschek J. Schwingungsprüfstand zur vollautomatischen Messung von Ultraschallschwingungen in piezoelektrischen Antrieben. In: Tagungsband Zum 4. Laser Vibrometer Seminar Der Polytec GmbH. Waldbronn, Deutschland; 1997.
LibreCat
 
1997 | Conference Paper | LibreCat-ID: 8901
Hemsel T, Wallaschek J. Piezoelectric ultrasonic linear motors. In: EUROMECH, European Mechanics Colloquium “Synthesis of Mechatronic Sytems.” Duisburg; 1997.
LibreCat
 
1997 | Conference Paper | LibreCat-ID: 16894
Gutkauf B, Thies S, Domik-Kienegger G. User Adaptive Presentation of Information . In: Proceedings 2nd International Symposium on Global Engineering Networking. ; 1997:115-127.
LibreCat
 
1997 | Book Review | LibreCat-ID: 18198
Peckhaus V. Jourdain, P.E.B., Selected Essays on the History of Set Theory and Logics (1906–1918), hg. v. I. Grattan-Guinness, CLUEB: Bologna 1991. Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 85301037]. 1997.
LibreCat
 
1997 | Book Review | LibreCat-ID: 18201
Peckhaus V. Halmos, P.R., “To Count or to Think, that is the Question”, Nieuw Arch. Wiskd., IV. ser., 13 (1995), 61–76. Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 85800006]. 1997.
LibreCat
 
1997 | Book Review | LibreCat-ID: 18206
Peckhaus V. DePauli-Schimanovich, Werner/Weibel, Peter, Kurt Gödel: ein mathematischer Mythos, Hölder-Pichler-Tempski: Wien 1997. Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 87201030]. 1997.
LibreCat
 
1997 | Book Chapter | LibreCat-ID: 18427
Tophinke D. Zum Problem der Gattungsgrenze – Möglichkeiten einer prototypentheoretischen Lösung. In: Frank B, Haye T, Tophinke D, eds. Gattungen mittelalterlicher Schriftlichkeit. Tübingen: Narr; 1997:161-182.
LibreCat
 
1997 | Book | LibreCat-ID: 19019
Eke NO. Signaturen der Revolution. Frankreich – Deutschland: deutsche Zeitgenossenschaft und deutsches Drama zur Französischen Revolution um 1800. München: Fink; 1997.
LibreCat
 
1997 | Conference Paper | LibreCat-ID: 2179
Flammini M, Scheideler C. Simple, Efficient Routing Schemes for All-Optical Networks. In: SPAA. ; 1997:170--179.
LibreCat | Files available
 
1997 | Conference Paper | LibreCat-ID: 11819
Hoege H, Tropf HS, Winsky R, van den Heuvel H, Haeb-Umbach R, Choukri K. European Speech Databases for Telephone Applications. In: ICASSP, Munich. ; 1997.
LibreCat | Download (ext.)
 
1997 | Conference Paper | LibreCat-ID: 11852
Langmann D, Fischer A, Wuppermann F, Haeb-Umbach R, Eisele T. Acoustic Front Ends for Speaker-Independent Digit Recognition in Car Environments. In: Eurospeech. ; 1997.
LibreCat | Download (ext.)
 
1997 | Journal Article | LibreCat-ID: 13776
Nilen RWN, Connell SH, Britton DT, et al. The anisotropic electron - positron momentum distribution in diamond. Journal of Physics: Condensed Matter. 1997;9:6323-6333. doi:10.1088/0953-8984/9/29/017
LibreCat | DOI
 
1997 | Conference Paper | LibreCat-ID: 15291
Hüllermeier E. Approximation of fuzzy functions. In: Grauel A, Becker W, Belli F, eds. In Proceedings 4.Internationaler Workshop Fuzzy-Neuro-Systeme. Soest Germany. ; 1997:374-381.
LibreCat
 
1997 | Conference Paper | LibreCat-ID: 15811
Hüllermeier E. Modellierung und Simulation unsicherer dynamischer Systeme und Anwendungen in der Diagnose. In: Möller DPF, Richter O, eds. In Proceedings ASIM Fachgruppentagung Soft Computing. ; 1997.
LibreCat
 
1997 | Journal Article | LibreCat-ID: 16201
Hüllermeier E. A new approach to modelling and simulation of uncertain dynamical systems. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems. 1997;5(2):117-137.
LibreCat
 
1997 | Book Review | LibreCat-ID: 1691
Krimphove D. Rademacher, Ulf: Der Europäische Betriebsrat. Die Richtlinie 94 / 45 / EG des Rates vom 22. 4. 1994 und ihre Umsetzung in nationales Recht; Nomos: Universitätsschriften Recht 1997. Recht der Arbeit (RdA). 1997;(Heft 5):310.
LibreCat
 
1997 | Book Chapter | LibreCat-ID: 16605
Bäumker A, Meyer auf der Heide F. Communication efficient parallel searching. In: Solving Irregularly Structured Problems in Parallel. Berlin, Heidelberg; 1997. doi:10.1007/3-540-63138-0_21
LibreCat | DOI
 
1997 | Journal Article | LibreCat-ID: 1665
Krimphove D. Europäisches Arbeitsrecht - Konsequenzen für die betriebliche Praxis. Kommunale Aufgaben und Umweltrecht . 1997;(Juli):49 ff.
LibreCat
 
1997 | Book Chapter | LibreCat-ID: 16693
Meyer auf der Heide F, Decker T. Parallel Computing in Paderborn: The SFB 376 “Massive Parallelism — Algorithms, Design Methods, Applications.” In: Informatik ’97 Informatik Als Innovationsmotor. Berlin, Heidelberg; 1997. doi:10.1007/978-3-642-60831-5_22
LibreCat | DOI
 
1997 | Conference Paper | LibreCat-ID: 2442
Reinefeld A, Baraglia R, Decker T, et al. The MOL Project: An Open, Extensible Metacomputer. In: Proc. Heterogenous Computing Workshop (HCW). IEEE Computer Society; 1997:17-31. doi:10.1109/HCW.1997.581407
LibreCat | DOI
 
1997 | Journal Article | LibreCat-ID: 3527
Gries T, Birk A. Amerikanisches Job-Wunder versus deutsches Produktivitätswunder: Ein Vergleich der Arbeitsmarktstrategien. Wirtschaftsdienst – Zeitschrift für Wirtschaftspolitik (1949 - 2007). 1997;77(2):99-106.
LibreCat
 
1997 | Book Chapter | LibreCat-ID: 6228
Weber W, Kabst R. Personalwirtschaftliche Strategien im europäischen Vergleich – Eine Analyse organisations- und landesspezifischer Prädiktoren. In: Klimecki R, Remer A, eds. Personal Als Strategie. ; 1997:20-45.
LibreCat
 
1997 | Book Chapter | LibreCat-ID: 7517
Corradini A, Montanari U, Rossi F, Ehrig H, Heckel R, Löwe M. Algebraic Approaches to Graph Transformation, Part I: Basic Concepts and Double Pushout Approach. In: Handbook of Graph Grammars and Computing by Graph Transformation, Volume 1: Foundations. Singapore: World Scientific; 1997:163-245.
LibreCat
 
1997 | Conference Paper | LibreCat-ID: 7841
Heckel R, Ehrig H, Wolter U, Corradini A. Integrating the Specification Techniques of Graph Transformation and Temporal Logic. In: Proceedings of the 22nd International Symposium on Mathematical Foundations of Computer Science (MFCS 1997), Bratislava (Slovakia). LNCS. London, UK: Springer; 1997:219-228. doi:http://dx.doi.org/10.1007/BFb0029965
LibreCat | DOI
 
1997 | Conference (Editor) | LibreCat-ID: 7795
Engels G, ed. Themenheft: Softwaretechnik. Vol 12. Berlin/Heidelberg: Springer; 1997. doi:http://dx.doi.org/10.1007/s004500050085
LibreCat | DOI
 
1997 | Conference Paper | LibreCat-ID: 7839
Engels G, Heckel R, Taentzer G, Ehrig H. A View-Oriented Approach to System Modelling Using Graph Transformations. In: Jazayeri M, Schauer H, eds. Proceedings European Software Engineering Conference (ESEC 1997), Zürich (Switzerland). Vol 1301. Berlin/Heidelberg: Springer; 1997:327-343. doi:http://dx.doi.org/10.1007/3-540-63531-9
LibreCat | DOI
 
1997 | Conference Paper | LibreCat-ID: 8902
Popp K, Sextro W. Schwingungsverhalten von verstimmten Beschaufelungen mit Reibelementen. In: Forschungsvereinigung Verbrennungskraftmaschinen (FW) -Lnformationstagung Turbinen. Frankfurt am Main, Germany; 1997:131-142.
LibreCat
 
1997 | Book Chapter | LibreCat-ID: 8421
Euler D, Kremer H-H, Theis M. Grundfragen der Berufsbildung. In: Euler D, Kremer H-H, Theis M, eds. Meisterprüfung - Lernen für die Praxis, Ausbilden im Handwerk. 3rd ed. Düsseldorf; 1997:13-42.
LibreCat
 
1997 | Conference Paper | LibreCat-ID: 8279
Heckel R. Compositional Development and Verification of Graph Transformation Systems Based on Views and View Integration. 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
Dellnitz M, Junge O. Almost Invariant Sets in Chua’s Circuit. International Journal of Bifurcation and Chaos. 1997:2475-2485. doi:10.1142/s0218127497001655
LibreCat | DOI
 
1997 | Book Review | LibreCat-ID: 17780
Peckhaus V. Witold Marciszewski/Roman Murawski. Mechanization of Reasoning in a Historical Perspective. Amsterdam/Atlanta, GA: Rodopi 1995. (Poznań Studies in the Philosophy of the Sciences and the Humanities; 43). Modern Logic. 1997;7(3/4 (Juli/Oktober 1997)):402-409.
LibreCat
 
1997 | Journal Article | LibreCat-ID: 17494
Peckhaus V. The Way of Logic into Mathematics. Theoria Segunda Época (Seccion monografica Sobre la historia de la lógica matemática, hg v Luis Vega Reñon). 1997;12(1):39-64.
LibreCat
 
1997 | Book Review | LibreCat-ID: 18202
Peckhaus V. Frege, Gottlob; Gabriel, Gottfried (ed.), „Vorlesungen über Begriffsschrift“, History and Philosophy of Logic 17, No. 1 (1996), iii–xvi, 1–48. Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 86001036]. 1997.
LibreCat
 
1997 | Book Review | LibreCat-ID: 18199
Peckhaus V. Gödel, Kurt, Unpublished Philosophical Essays, hg. v. Francisco A. Rodríguez-Consuegra, Birkhäuser: Basel 1995. Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 85401046]. 1997.
LibreCat
 
1997 | Encyclopedia Article | LibreCat-ID: 19483
Eke NO. DDR-Literatur. In: Brunner H, Moritz R, eds. Literaturwissenschaftliches Lexikon. Grundbegriffe der Germanistik. Berlin; 1997:64-68.
LibreCat
 
1997 | Conference Paper | LibreCat-ID: 2175
Bock S, Meyer auf der Heide F, Scheideler C. Optimal Wormhole Routing in the (n, d)-Torus. In: IPPS. IEEE Computer Society; 1997:326--332.
LibreCat | Files available
 
1996 | Conference Paper | LibreCat-ID: 11853
Langmann D, Haeb-Umbach R. FRESCO: The French Telephone Speech Data Collection - Part of the European SpeechDat(M) Project. In: ICSLP, Philadelphia. ; 1996.
LibreCat | Download (ext.)
 
1996 | Misc | LibreCat-ID: 13087
Hellebrand S, Wunderlich H-J. Using Embedded Processors for BIST. 3rd IEEE International Test Synthesis Workshop, Santa Barbara, CA; 1996.
LibreCat
 
1996 | Conference Paper | LibreCat-ID: 13602
Lind E, Platzner M, Rinner B. A Multi-DSP System with Dynamically Reconfigurable Processors. In: Proceedings of the 7th International Conference on Signal Processing Applications & Technology (ICSPAT). ; 1996.
LibreCat
 
1996 | Journal Article | LibreCat-ID: 13784
Santos PV, Koopmans B, Esser N, Schmidt WG, Bechstedt F. Optical Properties of Ordered As Layers on InP(110) Surfaces. Physical Review Letters. 1996;77(4):759-762. doi:10.1103/physrevlett.77.759
LibreCat | DOI
 
1996 | Journal Article | LibreCat-ID: 13789
Scholze A, Schmidt WG, Bechstedt F. Structure of the diamond (111) surface: Single-dangling-bond versus triple-dangling-bond face. Physical Review B. 1996;53(20):13725-13733. doi:10.1103/physrevb.53.13725
LibreCat | DOI
 
1996 | Journal Article | LibreCat-ID: 13791
Scholze A, Schmidt WG, Bechstedt F. Diamond (111) and (100) surface reconstructions. Thin Solid Films. 1996;281-282:256-259. doi:10.1016/0040-6090(96)08646-4
LibreCat | DOI
 
1996 | Conference Paper | LibreCat-ID: 15292
Hüllermeier E. Approminate probabilistic reasoning with fuzzy constraints. In: Zimmermann HJ, ed. In Proceedings EUFIT-96 4th European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany. ; 1996.
LibreCat
 
1996 | Journal Article | LibreCat-ID: 16699
Meyer auf der Heide F, Oesterdiekhoff B, Wanka R. Strongly adaptive token distribution. Algorithmica. 1996:413-427. doi:10.1007/bf01955042
LibreCat | DOI
 
1996 | Book (Editor) | LibreCat-ID: 16702
Meyer auf der Heide F, Monien B, eds. Automata, Languages and Programming, 23rd International Colloquium, ICALP96. Berlin, Heidelberg; 1996. doi:10.1007/3-540-61440-0
LibreCat | DOI
 
1996 | Conference Paper | LibreCat-ID: 2443
Simon J, Wierum J-M. Sequential Performance versus Scalability: Optimizing Parallel LU-Decomposition. In: Proc. Int. Conf. on High-Performance Computing and Networking (HPCN-Europe). Vol 1067. Lecture Notes in Computer Science (LNCS). Berlin / Heidelberg: Springer; 1996:627-632. doi:10.1007/3-540-61142-8_606
LibreCat | DOI
 
1996 | Book Chapter | LibreCat-ID: 6229
Weber W, Kabst R. Flexibility in Germany. In: Brewster C, ed. Working Time and Contract Flexibility in the E.U., Cranfield Center for European Human Resource Management. Bedford; 1996:20-57.
LibreCat
 
1996 | Book | LibreCat-ID: 6534
Bendfeld J, Gärtner SO, Winkelmann T, Ortjohann E. Windatlas für die Stadt Steinheim. Universität - GH Paderborn, Fachgebiet Elektrische Energieversorgung; 1996.
LibreCat
 
1996 | Report | LibreCat-ID: 6399
Weber W, Kabst R. Personalwesen Im Europäischen Vergleich – Ergebnisbericht 1995, Paderborn 1996.; 1996.
LibreCat
 
1996 | Conference (Editor) | LibreCat-ID: 7796
Engels G, Ehrig H, Rozenberg G, Skowron A, eds. Special Issue on Graph Transformations. Vol 26. Amsterdam: IOS Press; 1996.
LibreCat
 
1996 | Conference Paper | LibreCat-ID: 7835
Heckel R. Behavioral Constraints for Loose Graph Transformation Systems. In: Report on the Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science. Dagstuhl-Seminar-Report. Technical University of Berlin; 1996:12-13.
LibreCat
 
1996 | Journal Article | LibreCat-ID: 7405
Heckel R, Corradini A, Ehrig H, Löwe M. Horizontal and Vertical Structuring of Typed Graph Transformation Systems. Mathematical Structures in Computer Science. 1996;6(6):613-648.
LibreCat
 
1996 | Report | LibreCat-ID: 8198
Busatto G, Engels G. Definition of an Encapsulated Hierarchical Graph Data Model: Static Aspects, Part 1. Vakgroep Informatica, Rijksuniversiteit Leiden; 1996.
LibreCat
 
1996 | Book Chapter | LibreCat-ID: 8105
Krauter S. Lernen im Internet am Beispiel der Solarenergie. In: Beste D, Kälke M, eds. Bildung Im Netz. Düsseldorf: VDI–Verlag; 1996:115-120.
LibreCat
 
1996 | Conference Paper | LibreCat-ID: 8275
Heckel R, Conrad M, Egger G, Hiemer J. Automatic Integration of Safety Invariants into Z Specifications. In: Proceedings of the Workshop on Tools for System Development and Verifcation. Vol 1. Bremen, Germany: Shaker Verlag; 1996:70-83.
LibreCat | Download (ext.)
 
1996 | Book Chapter | LibreCat-ID: 8403
Kremer H-H. Existenzgründung. In: Kremer H-H, Stickling E, 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:1-30.
LibreCat
 
1996 | Conference Paper | LibreCat-ID: 16896
Volbracht S, Domik-Kienegger G, Shahrbabaki K, Fels G. An Experimental Comparison of 3D Display Modes. In: Proceedings of IEEE Visualization . IEEE Computer Society Press. ; 1996:8-11.
LibreCat
 
1996 | Conference Paper | LibreCat-ID: 17419
Grigoriev D, Karpinski M, Meyer auf der Heide F, Smolensky R. A lower bound for randomized algebraic decision trees. In: Proc. of 28th ACM-STOC. Vol 65453. Lecture Notes in Computer Science. Eurographics Symposium on Parallel Graphics and Visualization; 1996:612-621.
LibreCat
 
1996 | Encyclopedia Article | LibreCat-ID: 17642
Peckhaus V. Wiener [Ludwig Christian]. In: Mittelstraß J, ed. Enzyklopädie Philosophie und Wissenschaftstheorie, Bd. 4: Sp–Z. Stuttgart/Weimar: J.B. Metzler; 1996:693-694.
LibreCat
 
1996 | Conference Abstract | LibreCat-ID: 17844
Peckhaus V. Die Wurzeln der deutschen Algebra der Logik. In: Deutsche Mathematiker-Vereinigung. Jahrestagung 1996. 15.–21. September 1996 in Jena. o.O.u.J. (Jena); 1996:196.
LibreCat
 
1996 | Book Review | LibreCat-ID: 17919
Peckhaus V. Puhl, Klaus (Hg.), Philosophy of Mathematics. Proceedings of the 15th International Witt-genstein-Symposium, 16–23 August 1992, Kirchberg am Wechsel, Austria, Part 2, Hölder-Pichler-Tempsky: Wien 1993 (= Schriftenreihe der Wittgenstein-Gesellschaft; 20/II). Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 83600023]. 1996.
LibreCat
 
1996 | Book Review | LibreCat-ID: 17921
Peckhaus V. Quesada, Daniel, “State of Affairs and the Evolution of Carnap’s Semantics”, Logique & Analyse Nouv. Sér. 36 (1993), 149–157. Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 83601018]. 1996.
LibreCat
 
1996 | Book Review | LibreCat-ID: 17940
Peckhaus V. Dathe, Uwe, „Gottlob Frege und Rudolf Eucken — Gesprächspartner in der Herausbildungsphase der modernen Logik“, History and Philosophy of Logic 16 (1995), 245–255. Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 84601006]. 1996.
LibreCat
 
1996 | Book Review | LibreCat-ID: 17926
Peckhaus V. Karl, Birgit, „Einführung des Begriffes ,Topologie‘ in die Mathematik durch J.B. Listing im Jahre 1847“, in: Czermak (Hg.) 1993 [9.4], 60–66. Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 84001019]. 1996.
LibreCat
 
1996 | Book Review | LibreCat-ID: 17933
Peckhaus V. Woleński, Jan, “Mathematical Logic in Poland 1900–1939: People, Circles, Institutions, Ideas”, Modern Logic 5 (1995), 363–405. Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 84303001]. 1996.
LibreCat
 
1996 | Book Review | LibreCat-ID: 17938
Peckhaus V. Hintikka, Jaakko, “Why Parallel Processing?”, in: Casati/Smith/White (Hgg.) 1994 [9.39], 265–272. Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 84568039]. 1996.
LibreCat
 
1996 | Book Review | LibreCat-ID: 17945
Peckhaus V. MacLane, Saunders, “The Protean Character of Mathematics”, in: J. Echeverria et al. (eds.), The Space of Mathematics, Walter de Gruyter: Berlin 1992, 1–13. Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 84800006]. 1996.
LibreCat
 
1996 | Book Review | LibreCat-ID: 17952
Peckhaus V. Detlefsen, Michael, “The Kantian Character of Hilbert’s Formalism”, in: Czermak (Hg.) 1993 [9.4], 195–205. Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 84900016]. 1996.
LibreCat
 
1996 | Conference Paper | LibreCat-ID: 17483
Fischer M, Rethmann J, Wachsmann A. A Realistic Cost Model for the Communication Time in Parallel Programs. In: 3rd Workshop on Abstract Machine Models for Parallel and Distributed Computing (AMW ’96). Amsterdam: IOS Press; 1996:13–27.
LibreCat | Files available
 
1996 | Misc | LibreCat-ID: 19047
Peckhaus V. Fotografie: Peter Singer (Erlangen, 22.6.1993), die tageszeitung v. 8.5.1996.; 1996.
LibreCat
 
1996 | Journal Article | LibreCat-ID: 19314
Seng E-M, Saage R. Geometrische Muster zwischen frühneuzeitlicher Utopie und russischer Avantgarde. Zeitschrift für Geschichtswissenschaft, Heft 8,. 1996;(Heft 8):677-602.
LibreCat
 
1996 | Book Review | LibreCat-ID: 19554
Eke NO. Stefan Scherer: Richard Beer-Hofmann und die Wiener Moderne. Tübingen: Max Niemeyer Verlag, 1993. Zeitschrift für deutsche Philologie. 1996;115(H. 2):307-310.
LibreCat
 
1996 | Conference Paper | LibreCat-ID: 2183
Meyer auf der Heide F, Scheideler C. Deterministic Routing with Bounded Buffers: Turning Offline into Online Protocols. In: FOCS. ; 1996:370--379.
LibreCat | Files available
 
1996 | Journal Article | LibreCat-ID: 19958
Schwarze F, Meyer auf der Heide F, Schröder K. Routing on Networks of Optical Crossbars (Extended Abstract). Euro-Par 1996. 1996;I:299-306.
LibreCat
 
1996 | Journal Article | LibreCat-ID: 10197
Steffen E. Counterexamples to a conjecture about bottlenecks in non-Tait-colourable cubic graphs. Discrete Mathematics. 1996;161:315.
LibreCat
 
1996 | Conference Paper | LibreCat-ID: 11854
Langmann D, Haeb-Umbach R, Eisele T. Robust Rejection Modeling for a Small-Vocabulary Application. In: ITG Fachtagung Sprachkommunikation, Frankfurt. ; 1996.
LibreCat
 
1996 | Misc | LibreCat-ID: 13088
Hellebrand S, Wunderlich H-J, Hertwig A. Mixed-Mode BIST Using Embedded Processors. 2nd IEEE International On-Line Testing Workshop. Biarritz, France; 1996.
LibreCat
 
1996 | Journal Article | LibreCat-ID: 13785
Schmidt WG, Bechstedt F. Atomic structures of GaAs(100)-(2 × 4) reconstructions. Surface Science. 1996;360(1):L473-L477. doi:10.1016/0039-6028(96)00728-5
LibreCat | DOI
 
1996 | Journal Article | LibreCat-ID: 13792
Schmidt WG, Bechstedt F, Srivastava GP. Phonons at III–V (110) surfaces. Surface Science. 1996;352-354:83-88. doi:10.1016/0039-6028(95)01095-5
LibreCat | DOI
 
1996 | Conference Paper | LibreCat-ID: 15293
Hüllermeier E. A fuzzy simulation method. In: Anderson PG, Warwick K, eds. International Symposium on Soft Computing, Reading U.K. ICSC Academic Press; 1996:B230-B236.
LibreCat
 
1996 | Book | LibreCat-ID: 1605
Krimphove D. Europäisches Arbeitsrecht. München: Franz Vahlen; 1996.
LibreCat
 
1996 | Conference Paper | LibreCat-ID: 16816
Domik-Kienegger G. Computer Visualization - Concepts, Trends and Current Research. In: G. Jeffery K, Kr{\’{a}}l J, Bartosek M, 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. Vol 1175. Lecture Notes in Computer Science. Springer; 1996:178-196. doi:10.1007/BFb0037404
LibreCat | DOI
 
1996 | Book Chapter | LibreCat-ID: 16703
Berenbrink P, Meyer auf der Heide F, Stemann V. Fault-tolerant shared memory simulations. In: STACS 96. Berlin, Heidelberg; 1996. doi:10.1007/3-540-60922-9_16
LibreCat | DOI
 
1996 | Conference Paper | LibreCat-ID: 2444
Simon J, Wierum J-M. Performance Prediction of Benchmark Programs for Massively Parallel Architectures. In: Proc. Annual Int. Conf. on High-Performance Computers (HPCS). ; 1996.
LibreCat
 
1996 | Book Chapter | LibreCat-ID: 3529
Gries T. A Dynamic Model of a Reconstruction Economy. In: Owsinski JW, Nahorski Z, eds. Modelling and Analysing Economies in Transition. ; 1996.
LibreCat
 
1996 | Book | LibreCat-ID: 6535
Bendfeld J, Gärtner SO, Winkelmann T, Ortjohann E. Windatlas für den Kreis Lippe. Universität - GH Paderborn, Fachgebiet Elektrische Energieversorgung; 1996.
LibreCat
 
1996 | Journal Article | LibreCat-ID: 7406
Andries M, Engels G. A Hybrid Query Language for the Extended Entity Relationship Model. Journal of Visual Languages and Computing. 1996;7(3):321-352. doi:http://dx.doi.org/10.1006/jvlc.1996.0017
LibreCat | DOI
 
1996 | Book Chapter | LibreCat-ID: 7514
Engels G, Nagl M, Schäfer W, Westfechtel B. Tight Integration on One Document: The Programming Environment. In: Building Tightly Integrated Software Development Environments: The IPSEN Approach. Vol 1170. LNCS. Berlin/Heidelberg: Springer; 1996:170-177.
LibreCat
 
1996 | Conference Paper | LibreCat-ID: 7836
de Bunje T, Engels G, Groenewegen L, Matsinger A, Rijnbeek M. Industrial maintenance modelled in SOCCA: an experience report. In: Proceedings of the Fourth International Conference on the Software Process (ICSP 1996), Brighton (UK). Washington, DC, USA: IEEE Computer Society; 1996:13-26. doi:http://dx.doi.org/10.1109/ICSP.1996.565021
LibreCat | DOI
 
1996 | Journal Article | LibreCat-ID: 8101
Krauter S, Hanitsch R. Actual Optical and Thermal Performance of PV Modules. Solar Energy Materials and Solar Cells . 1996;41/42:557-574.
LibreCat
 
1996 | Report | LibreCat-ID: 8199
Engels G, Groenewegen L, Kappel G. Object-Oriented Specification of Coordinated Collaboration. Vakgroep Informatica, Rijksuniversiteit Leiden; 1996.
LibreCat
 
1996 | Book | LibreCat-ID: 8372
Kremer H-H, Sloane PFE. 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
Popp K, Sextro W. Schwingungsverhalten eines Schaufelkranzes mit Reibelementen bei Frequenzverstimmung. In: Forschungsvereinigung Verbrennungskraftmaschinen (FW) - Lnformationstagung Turbinen. Frankfurt am Main, Germany; 1996:53-76.
LibreCat
 
1996 | Conference Paper | LibreCat-ID: 8271
de Bunje T, Engels G, Groenewegen L, Heus M, Matsinger A. Towards Measurable Process Models. In: Proceedings of the Workshop on Software Process Technology (EWSPT 1996), Nancy (France). Vol 1149. Berlin/Heidelberg: Springer; 1996:183-187. doi:http://dx.doi.org/10.1007/BFb0017743
LibreCat | DOI
 
1996 | Encyclopedia Article | LibreCat-ID: 17643
Peckhaus V, Thiel C. Zermelo-Fraenkelsches Axiomensystem. In: Mittelstraß J, ed. Enzyklopädie Philosophie und Wissenschaftstheorie, Bd. 4: Sp–Z. Stuttgart/Weimar: J.B. Metzler; 1996:843-845.
LibreCat
 
1996 | Book Review | LibreCat-ID: 17915
Peckhaus V. Bolzano, Bernard, Miscellanea mathematica 10, hg. v. Bob van Rootselar/Anna van der Lugt, Frommann-Holzboog: Stuttgart-Bad Cannstatt 1995 (Bernard Bolzano-Gesamtausgabe; II.B.6.2). Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 83301035]. 1996.
LibreCat
 
1996 | Book Review | LibreCat-ID: 17922
Peckhaus V. Hintikka, Jaakko, “The Original Sinn of Wittgenstein’s Philosophy of Mathematics”, in: Puhl (Hg.) 1993 [9.5], 24–51. Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 83700005]. 1996.
LibreCat
 
1996 | Book Review | LibreCat-ID: 17939
Peckhaus V. Heinzmann, Gerhard, Zwischen Objektkonstruktion und Strukturanalyse. Zur Philosophie der Mathematik bei Jules Poincaré, Vandenhoeck & Ruprecht: Göttingen 1995 (= Studien zur Wissenschafts-, Sozial- und Bildungsgeschichte der Mathematik; 10). Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 84600002]. 1996.
LibreCat
 
1996 | Book Review | LibreCat-ID: 17927
Peckhaus V. Rodríguez-Consuegra, Francisco A., “Russell, Gödel and Logicism”, in: Czermak (Hg.) 1993 [9.4], 233–242. Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 84001023]. 1996.
LibreCat
 
1996 | Book Review | LibreCat-ID: 17941
Peckhaus V. Torretti, Roberto, “Mathematical Structures and Physical Necessity”, in: J. Echeverria et al. (eds.), The Space of Mathematics, Walter de Gruyter: Berlin 1992, 132–140. Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 84700006]. 1996.
LibreCat
 
1996 | Book Review | LibreCat-ID: 17946
Peckhaus V. Otte, Michael, “Constructivism and Objects in Mathematical Theory”, in: J. Echeverria et al. (eds.), The Space of Mathematics, Walter de Gruyter: Berlin 1992, 296–313. Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 84800007]. 1996.
LibreCat
 
1996 | Book Review | LibreCat-ID: 17953
Peckhaus V. Grattan-Guinness, Ivor, “Structure-Similarity: Between Mathematics and Philosophy”, in: Czermak (Hg.) 1993 [9.4], 317–333. Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 84900017]. 1996.
LibreCat
 
1996 | Conference Paper | LibreCat-ID: 2184
Meyer auf der Heide F, Scheideler C. Communication in Parallel Systems. In: SOFSEM. Vol 1175. Lecture Notes in Computer Science. Springer; 1996:16--33.
LibreCat | Files available
 
1996 | Journal Article | LibreCat-ID: 10198
Steffen E, Zhu X. Star chromatic numbers of graphs. Combinatorica. 1996;16:439-448.
LibreCat
 
1996 | Conference Paper | LibreCat-ID: 11761
Eisele T, Haeb-Umbach R, Langmann D. A Comparative Study of Linear Feature Transformation Techniques for Automatic Speech Recognition. In: ICSLP , Philadelphia. ; 1996.
LibreCat | Download (ext.)
 
1996 | Conference Paper | LibreCat-ID: 13010
Hellebrand S, Wunderlich H-J, Hertwig A. Mixed-Mode BIST Using Embedded Processors. In: {IEEE International Test Conference (ITC’96)}. Washington, DC, USA: {IEEE}; 1996:195-204. doi:10.1109/test.1996.556962
LibreCat | DOI
 
1996 | Journal Article | LibreCat-ID: 13786
Bechstedt F, Schmidt WG, Scholze A. Adatoms and vacancies on the diamond(111) surface. Europhysics Letters (EPL). 1996;35(8):585-590. doi:10.1209/epl/i1996-00155-0
LibreCat | DOI
 
1996 | Journal Article | LibreCat-ID: 13793
Schmidt WG, Scholze A, Bechstedt F. Dimerized, buckled, or ideal chains on the diamond (111)2 × 1 surface? Surface Science. 1996;351:183-188. doi:10.1016/0039-6028(95)01270-2
LibreCat | DOI
 
1996 | Conference Paper | LibreCat-ID: 15167
Volbracht S, Domik G, Shahrbabaki K, Fels G. An Experimental Comparison of 3-D Display Modes. In: IEEE Visualization. Vol 96. ; 1996:8-11.
LibreCat
 
1996 | Journal Article | LibreCat-ID: 1663
Krimphove D. Der “Diplom Wirtschaftsjurist (FH)” oder die Reform der Juristenausbildung von Unten? Zeitschrift für Rechtspolitik (ZRP). 1996;(Heft 7):249 ff.
LibreCat
 
1996 | Conference Paper | LibreCat-ID: 2445
Simon J, Wierum J-M. Accurate Performance Prediction for Massively Parallel Systems and its Applications. In: Proc. European Conf. on Parallel Processing (Euro-Par). Vol 1124. Lecture Notes in Computer Science (LNCS). Berlin / Heidelberg: Springer; 1996:675-688. doi:10.1007/BFb0024764
LibreCat | DOI
 
1996 | Book | LibreCat-ID: 3385
Gries T, Sieg G, Strulik H. Repetitorium Mikroökonomik. Berlin Heidelberg: Springer-Verlag; 1996.
LibreCat
 
1996 | Book | LibreCat-ID: 6536
Bendfeld J, Gärtner SO, Winkelmann T, Ortjohann E. Windatlas für die Stadt Willebadessen. Universität - GH Paderborn, Fachgebiet Elektrische Energieversorgung; 1996.
LibreCat
 
1996 | Conference Paper | LibreCat-ID: 7837
Engels G, Ehrig H, Heckel R, Taentzer G, Corradini A. A View-Based Approach to System Modelling. In: Report on Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science. Vol 155. Dagstuhl-Seminar-Report. Technical University of Berlin; 1996:11.
LibreCat
 
1996 | Journal Article | LibreCat-ID: 8102
Krauter S, Hanitsch R. Actual Optical and Thermal Performance of PV Modules. Fuel and Energy Abstracts. 1996;37(6):436.
LibreCat
 
1996 | Conference Paper | LibreCat-ID: 8272
Ehrig H, Engels G. Pragmatic and Semantic Aspects of a Module Concept for Graph Transformation Systems. In: Selected Papers from the 5th International Workshop on Graph Gramars and Their Application to Computer Science, Williamsburg, VA (USA). Vol 1073. Berlin/Heidelberg: Springer; 1996:137-154.
LibreCat | Download (ext.)
 
1996 | Conference Paper | LibreCat-ID: 880
Dreier B, Huber A, Karl H, Ungerer T, Zahn M. ReGTime - Rent Gigaflops someTimes. In: Trends in Distributed Systems: CORBA and Beyond, International Workshop TreDS ’96, Aachen, Germany, October 1-2, 1996, Proceedings. ; 1996:84--93. doi:10.1007/3-540-61842-2_28
LibreCat | DOI
 
1996 | Conference Paper | LibreCat-ID: 8897
Popp K, Sextro W. Dynamical Behaviour of a Bladed Disk with Friction Dampers. In: The 2nd European Nonlinear Oscillation Conference - Proceedings of EUROMECH. Vol 1. Prag; 1996:157-183.
LibreCat
 
1996 | Book Chapter | LibreCat-ID: 8373
Euler D, Kremer H-H. Einführung für den Dozenten. In: Braukmann U, Diettrich A, Euler D, Kremer H-H, Sloane PFE, 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:9-32.
LibreCat
 
1996 | Book Chapter | LibreCat-ID: 16533
Dellnitz M, Hohmann A. The Computation of Unstable Manifolds Using Subdivision and Continuation. In: Nonlinear Dynamical Systems and Chaos. Basel; 1996. doi:10.1007/978-3-0348-7518-9_21
LibreCat | DOI
 
1996 | Encyclopedia Article | LibreCat-ID: 17644
Peckhaus V. Zermelosches Axiom. In: Mittelstraß J, ed. Enzyklopädie Philosophie und Wissenschaftstheorie, Bd. 4: Sp–Z. Stuttgart/Weimar: J.B. Metzler; 1996:846.
LibreCat
 
1996 | Book Review | LibreCat-ID: 17930
Peckhaus V. Tichy, Matthias, “Mathematics and Philosophy in Wittgenstein: Dissolution of a Reflectional Relationship”, in: Puhl (Hg.) 1993 [9.5], 144–150. Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 8420007]. 1996.
LibreCat
 
1996 | Book Review | LibreCat-ID: 17928
Peckhaus V. Franchella, Miriam, “Griss’ Contribution to Intuitionism”, in: Czermak (Hg.) 1993 [9.4], 119–126. Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 84001026]. 1996.
LibreCat
 
1996 | Book Review | LibreCat-ID: 17923
Peckhaus V. Majer, Ulrich, “Different Forms of Finitism”, in: Czermak (Hg.) 1993 [9.4], 185–194. Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 83803003]. 1996.
LibreCat
 
1996 | Book Review | LibreCat-ID: 17947
Peckhaus V. Echeverria, Javier, “Observations, Problems and Conjectures in Number Theory — The History of the Prime Number Theorem”, in: J. Echeverria et al. (eds.), The Space of Mathematics, Walter de Gruyter: Berlin 1992, 230–252. Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 84800008]. 1996.
LibreCat
 
1996 | Book Review | LibreCat-ID: 17942
Peckhaus V. Howson, Colin, “Mathematics in Philosophy”, in: J. Echeverria et al. (eds.), The Space of Mathematics, Walter de Gruyter: Berlin 1992, 192–201. Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 84700007]. 1996.
LibreCat
 
1996 | Book Review | LibreCat-ID: 17954
Peckhaus V. Code, Murray, “Understanding, Intuition, and the Philosophy of Mathematics”, in: Czermak (Hg.) 1993 [9.4], 335–342. Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 84900018]. 1996.
LibreCat
 
1996 | Book (Editor) | LibreCat-ID: 18553
Michaelis S, Tophinke D, eds. Texte – Konstitution, Verarbeitung, Typik. München: Lincom; 1996.
LibreCat
 
1996 | Book | LibreCat-ID: 19121
Eke NO, Olma W, a. u. „Wir wollen unsere Sehnsucht teilen“. Literatur in den Rheinlanden und in Westfalen 1895-1918 (Edition). Vol 1. Frankfurt a. M., Leipzig: Insel; 1996.
LibreCat
 
1996 | Book Chapter | LibreCat-ID: 19311
Seng E-M. Der evangelische Kirchenbau im 19. Jahrhundert, die Eisenacher Bewegung und der Architekt Christian Friedrich von Leins. In: Blätter für württembergische Kirchengeschichte, 96. Jg. . Vol 96. Jg. 1996. Blätter für württembergische Kirchengeschichte. ; 1996:119-126.
LibreCat
 
1996 | Conference Paper | LibreCat-ID: 19412
Eke NO. Die Revolution, der Schrecken und das Neue. Konzepte von Legitimität und historischer Gewalt in deutschen Revolutionsdramen um 1800. In: Schöwerling R, Steinecke H, Tiggesbäumker G, eds. Literatur und Erfahrungswandel 1789-1830. Beiträge des 2. Internationalen Corvey-Symposions 8.-12. Juni 1993 in Paderborn. München: Fink; 1996:121-156.
LibreCat
 
1996 | Book Chapter | LibreCat-ID: 19816
Kleine Büning H, Lettmann T. Learning a representation for optimizable formulas. In: Lecture Notes in Computer Science. Berlin, Heidelberg; 1996. doi:10.1007/3-540-61863-5_33
LibreCat | DOI
 
1996 | Journal Article | LibreCat-ID: 10199
Steffen E. Tutte’s 5-flow conjecture for graphs of non-orientable genus 5. J Graph Theory. 1996;22:309-319.
LibreCat
 
1996 | Conference Paper | LibreCat-ID: 11767
Gamm S, Haeb-Umbach R, Langmann D. Findings with the Design of a Command-Based Speech Interface for a Voice Mail System. In: IEEE Workshop on Interactive Voice Technology for Telecommunications Applications. ; 1996.
LibreCat | Download (ext.)
 
1996 | Journal Article | LibreCat-ID: 13782
Esser N, Shkrebtii AI, Resch-Esser U, et al. Atomic Structure of the Sb-Stabilized GaAs(100)-(2×4) Surface. Physical Review Letters. 1996;77(21):4402-4405. doi:10.1103/physrevlett.77.4402
LibreCat | DOI
 
1996 | Journal Article | LibreCat-ID: 13787
Schmidt W. Adsorption of group-V elements on III–V (1 1 0) surfaces. Surface Science Reports. 1996;25:141-223. doi:10.1016/s0167-5729(96)00006-4
LibreCat | DOI
 
1996 | Journal Article | LibreCat-ID: 13794
Käckell P, Schmidt WG, Bechstedt F. Se-induced 3d core-level shifts of GaAs(110). Applied Surface Science. 1996;104-105:141-146. doi:10.1016/s0169-4332(96)00135-3
LibreCat | DOI
 
1996 | Journal Article | LibreCat-ID: 1664
Krimphove D. Neuer Europäischer Datenschutz im Arbeitsrecht. Neue Zeitschrift für Arbeitsrecht (NZA). 1996;(Heft 21):1121 ff.
LibreCat
 
1996 | Journal Article | LibreCat-ID: 16700
Karp RM, Luby M, Meyer auf der Heide F. Efficient PRAM simulation on a distributed memory machine. Algorithmica. 1996:517-542. doi:10.1007/bf01940878
LibreCat | DOI
 
1996 | Book | LibreCat-ID: 2674
Betz S. Operatives Erfolgscontrolling - Ein Funktionaler Ansatz Für Industrielle Fertigungsprozesse. Wiesbaden: Gabler-Verlag; 1996.
LibreCat
 
1996 | Report | LibreCat-ID: 2446
Simon J, Wierum J-M. On Accurate Performance Prediction for Massively Parallel Systems and Its Applications. Paderborn Center for Parallel Computing; 1996.
LibreCat
 
1996 | Journal Article | LibreCat-ID: 2578
Betz S. Die Gestaltung der Leistungstiefe als strategisches Problem. Die Betriebswirtschaft. 1996;56:339-412.
LibreCat
 
1996 | Journal Article | LibreCat-ID: 3261
Goltz U, Wehrheim H. Modelling Causality via Action Dependencies in Branching Time Semantics. Inf Process Lett. 1996;(4):179--184. doi:10.1016/0020-0190(96)00111-1
LibreCat | DOI
 
1996 | Book | LibreCat-ID: 6532
Bendfeld J, Gärtner SO, Winkelmann T, Ortjohann E. Windatlas für die Stadt Münster. Universität - GH Paderborn, Fachgebiet Elektrische Energieversorgung; 1996.
LibreCat
 
1996 | Conference Paper | LibreCat-ID: 7838
Engels G, Groenewegen L, Kappel G. Object-oriented specification of coordinated collaboration. In: Proceedings of IFIP World Conference on IT Tools (1996), Canberra (Australia). Chapman & Hall; 1996:437-452.
LibreCat
 
1996 | Journal Article | LibreCat-ID: 8103
Krauter S. Sonneneinstrahlung. Solararchitektur für Europa, Hrsg: A Schneider; Basel, Boston, New York. 1996:30-31.
LibreCat
 
1996 | Conference Paper | LibreCat-ID: 8273
Engels G, Zamperoni A. Comprehensive Support for Change: Generic, Multi-dimensional (Software) Engineering Frameworks (position paper). 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:42-44.
LibreCat
 
1996 | Book Chapter | LibreCat-ID: 8418
Euler D, Kremer H-H. Einführung für den Dozenten. In: Kremer H-H, Stickling E, 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:1-30.
LibreCat
 
1996 | Book Chapter | LibreCat-ID: 8420
Euler D, Kremer H-H, Theis M. Grundfragen der Berufsbildung. In: Euler D, Kremer H-H, Theis M, eds. Meisterprüfung - Lernen für die Praxis, Ausbilden im Handwerk. 2. veränderte Aufl. Düsseldorf; 1996:13-42.
LibreCat
 
1996 | Book Chapter | LibreCat-ID: 17304
Oevel G, Schulze T. Graphics in the Computer Algebra System MuPAD. In: Borchers W, Domik G, Kröner D, Rautmann R, Saupe D, eds. Visualization Methodes in High Performance Computing and Flow Simulation. VSP; 1996.
LibreCat
 
1996 | Encyclopedia Article | LibreCat-ID: 17640
Peckhaus V, Thiel C. Warschauer Schule. In: Mittelstraß J, ed. Enzyklopädie Philosophie und Wissenschaftstheorie, Bd. 4: Sp–Z. Stuttgart/Weimar: J.B. Metzler; 1996:628-629.
LibreCat
 
1996 | Book Review | LibreCat-ID: 17917
Peckhaus V. Segre, Michael, “Peano’s Axioms in Their Historical Context”, Archive for History of Exact Sciences 48 (1994), 201–342. Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 83501006]. 1996.
LibreCat
 
1996 | Book Review | LibreCat-ID: 17929
Peckhaus V. Wagner-Döbler, Roland, „Perspektiven der Wissenschaftsforschung über die Mathematik“, in: Czermak (Hg.) 1993 [9.4], 417–427. Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 84001027]. 1996.
LibreCat
 
1996 | Book Review | LibreCat-ID: 17931
Peckhaus V. Haugeland, John, “Remarks on Machines and Rule-Following”, in: Casati/Smith/ White (Hgg.) 1994 [9.39], 127–138. Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 84200008]. 1996.
LibreCat
 
1996 | Book Review | LibreCat-ID: 17936
Peckhaus V. Picardi, Eva, “Dummett on Analysis and Cognitive Synonymy”, in: Czermak (Hg.) 1993 [9.4], 77–85. Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 84401009]. 1996.
LibreCat
 
1996 | Book Review | LibreCat-ID: 17924
Peckhaus V. Degen, J.W., “Two Formal Vindications of Logicism”, in: Czermak (Hg.) 1993 [9.4], 243–250. Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 83803004]. 1996.
LibreCat
 
1996 | Book Review | LibreCat-ID: 17948
Peckhaus V. Mosterín, Jesús, “Theories and the Flow of Information”, in: J. Echeverria et al. (eds.), The Space of Mathematics, Walter de Gruyter: Berlin 1992, 367–378. Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 84800009]. 1996.
LibreCat
 
1996 | Book Review | LibreCat-ID: 17943
Peckhaus V. Breger, Herbert, “Tacit Knowledge in Mathematical Theory”, in: J. Echeverria et al. (eds.), The Space of Mathematics, Walter de Gruyter: Berlin 1992, 79–90. Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 84700008]. 1996.
LibreCat
 
1996 | Book Review | LibreCat-ID: 17950
Peckhaus V. De Caro, Mario, “Galileo’s Mathematical Platonism”, in: Czermak (Hg.) 1993 [9.4], 13–22. Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 84900015]. 1996.
LibreCat
 
1996 | Book Review | LibreCat-ID: 17955
Peckhaus V. Wolenski, Jan, “Analyticity, Decidability and Incompleteness”, in: Czermak (Hg.) 1993 [9.4], 379–382. Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 84900019]. 1996.
LibreCat
 
1996 | Conference Paper | LibreCat-ID: 17493
Peckhaus V. The Influence of Hermann Günther Grassmann and Robert Grassmann on Ernst Schröder’s Algebra of Logic. In: Schubring G, ed. Hermann Günther Graßmann (1809–1877): Visionary Mathematician, Scientist and Neo-Humanist Scholar. Papers from a Sesquicentennial Conference. Vol 187. Boston Studies in the Philosophy of Science. Dordrecht/Boston/London: Kluwer; 1996:217-227.
LibreCat
 
1996 | Report | LibreCat-ID: 18352
Fischer M, Rethmann J, Wachsmann A. 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
Seng E-M. Die Dresdner Frauenkirche in der evangelischen Kirchenbaudiskussion des19. Jahrhunderts. In: Die Dresdner Frauenkirche. Jahrbuch zu ihrer Geschichte und zu ihrem archäologischen Wiederaufbau. Bd. 2. Vol Bd. 2. Weimar; 1996:147-164.
LibreCat
 
1996 | Book Chapter | LibreCat-ID: 19413
Eke NO. „Wandle – schaue – höre Jisro-El!“ Richard Beer-Hofmanns „Historie von König David“. In: Eke NO, ed. Richard Beer-Hofmann: Die Historie von König David und andere dramatische Entwürfe. Paderborn: Igel; 1996:537-566.
LibreCat
 
1996 | Conference Paper | LibreCat-ID: 2186
Cypher R, Meyer auf der Heide F, Scheideler C, Vöcking B. Universal Algorithms for Store-and-Forward and Wormhole Routing. In: STOC. ACM; 1996:356--365.
LibreCat | Files available
 
1996 | Journal Article | LibreCat-ID: 13783
Schmidt WG, Bechstedt F. Geometry and electronic structure of GaAs(001)(2×4) reconstructions. Physical Review B. 1996;54(23):16742-16748. doi:10.1103/physrevb.54.16742
LibreCat | DOI
 
1996 | Journal Article | LibreCat-ID: 13788
Schmidt WG, Verwoerd W. Annihilation of delocalized positrons: a comparison of diamond and silicon. Physics Letters A. 1996;222(4):275-280. doi:10.1016/0375-9601(96)00653-6
LibreCat | DOI
 
1996 | Journal Article | LibreCat-ID: 13790
Schmidt WG, Käckell P, Bechstedt F. 3d core-level shifts at. Surface Science. 1996;357-358:545-549. doi:10.1016/0039-6028(96)00220-8
LibreCat | DOI
 
1996 | Journal Article | LibreCat-ID: 13795
Scholze A, Schmidt WG, Käckell P, Bechstedt F. Diamond (111) and (100) surface: ab initio study of the atomic and electronic structure. Materials Science and Engineering: B. 1996;37(1-3):158-161. doi:10.1016/0921-5107(95)01477-2
LibreCat | DOI
 
1996 | Conference Paper | LibreCat-ID: 15304
Hüllermeier E. Hierarchical constraint propagation based on interval arithmetic. In: In Proceedings Interval-96 International Conference on Interval Methods and Computer Aided Proofs in Science and Engineering, Würzburg. ; 1996:54-55.
LibreCat
 
1996 | Conference Paper | LibreCat-ID: 15056
Volbracht S, Shahrbabaki K, Domik G, Fels G. Perspective viewing, Anaglyph stereo or Shutter glass stereo? In: Proceedings 1996 IEEE Symposium on Visual Languages. ; 1996:192-193.
LibreCat
 
1996 | Book | LibreCat-ID: 14894
Fosdick LD, Jessup ER, Schauble CJ, Domik-Kienegger G. An Introduction to High-Performance Scientific Computing. MIT Press; 1996.
LibreCat
 
1996 | Conference Paper | LibreCat-ID: 1918
Dreier B, Huber A, Zahn M, Karl H, Ungerer T. ReGTime - Rent Gigaflops someTimes. In: Proceedings Trends in Distributed Systems. ; 1996.
LibreCat
 
1996 | Journal Article | LibreCat-ID: 16698
Ameur F, Fischer P, Höffgen K-U, Meyer auf der Heide F. Trial and error. A new approach to space-bounded learning. Acta Informatica. 1996:621-630. doi:10.1007/bf03036467
LibreCat | DOI
 
1996 | Journal Article | LibreCat-ID: 16701
Gil J, Meyer auf der Heide F, Wigderson A. The Tree Model for Hashing: Lower and Upper Bounds. SIAM Journal on Computing. 1996:936-955. doi:10.1137/s0097539793255722
LibreCat | DOI
 
1996 | Journal Article | LibreCat-ID: 2579
Betz S. Produktionsabfallrecycling als operatives Entscheidungsproblem. UmweltWirtschaftsForum. 1996;4:44-51.
LibreCat
 
1996 | Conference Paper | LibreCat-ID: 3262
Goltz U, Wehrheim H. Causal Testing. In: Penczek W, Szalas A, eds. Mathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS’96, Cracow, Poland, September 2-6, 1996, Proceedings. Lecture Notes in Computer Science. ; 1996:394--406. doi:10.1007/3-540-61550-4_165
LibreCat | DOI
 
1996 | Journal Article | LibreCat-ID: 5612
Kabst R, Larsen HH, Bramming P. How Do Lean Management Organizations Behave Regarding Training and Development? The International Journal of Human Resource Management. 1996;7(3):618-639.
LibreCat
 
1996 | Book | LibreCat-ID: 6146
Brewster C, Weber W, Kabst R. Working Time and Contract Flexibility in the E.U. Bedford; 1996.
LibreCat
 
1996 | Journal Article | LibreCat-ID: 7404
Habel A, Heckel R, Taentzer G. Graph Grammars with Negative Application Conditions. Fundamenta Informaticae. 1996;26(3,4):287-313.
LibreCat
 
1996 | Conference Paper | LibreCat-ID: 8104
Krauter S, Hanitsch R, Moreira L. New Optical and Thermal Enhanced PV Modules Performing 12% better under True Module Rating Conditions. 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
Ehrig H, Heckel R, Padberg J, et al. Synchronization of Views and Loose Semantics of Typed Graph Productions. In: Report on the Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science. Technical University of Berlin; 1996:11-12.
LibreCat
 
1996 | Report | LibreCat-ID: 8197
Andries M, Engels G, Habel A, et al. Graph Transformation for Specification and Programming. University of Bremen, Department of Mathematics and Computer Science; 1996.
LibreCat
 
1996 | Report | LibreCat-ID: 8200
Heckel R, Corradini A, Ehrig H, Löwe M. Horizontal and Vertical Structuring of Typed Graph Transformation Systems.; 1996.
LibreCat
 
1996 | Book Chapter | LibreCat-ID: 8419
Kremer H-H. Existenzgründung. In: Braukmann U, Diettrich A, Kremer H-H, Sloane PFE, Stickling E, eds. Meisterprüfung - Lernen für die Praxis - Unternehmensführung 1. 2nd ed. Düsseldorf; 1996:19-94.
LibreCat
 
1996 | Conference Paper | LibreCat-ID: 8274
Groenewegen L, Engels G. Reuse of Software Process Fragments is Reuse of Software, too. In: Proceedings of the 10th International Software Process Workshop (ISPW 1996), Ventron (France). Washington, DC, USA: IEEE Computer Society; 1996:68.
LibreCat
 
1996 | Journal Article | LibreCat-ID: 9626
Tönnies M. The Spectator as Participant: The Role of Integrating Audience Laughter in Samuel Beckett’s Drama. Forum Modernes Theater. 1996;11(2):185-196.
LibreCat
 
1996 | Conference Paper | LibreCat-ID: 16895
Gutkauf B, Domik-Kienegger G. Benutzermodellierung als Basis für adaptive multimediale Präsentations- und Interaktionssysteme. In: Proceedigns 4. GI Workshop Adaptivität  Und Benutzermodellierung in Interaktiven Softwaresystemen. ; 1996.
LibreCat
 
1996 | Report | LibreCat-ID: 17418
Czumaj A, Meyer auf der Heide F, Stemann V. Contention Resolution in Hashing Based Shared Memory Simulations.; 1996.
LibreCat
 
1996 | Book Chapter | LibreCat-ID: 17564
Bäumker A, Dittrich W, Meyer auf der Heide F, Rieping I. Realistic parallel algorithms: Priority queue operations and selection for the BSP* Model. In: Lecture Notes in Computer Science. Berlin, Heidelberg; 1996:369-376. doi:10.1007/bfb0024725
LibreCat | DOI
 
1996 | Encyclopedia Article | LibreCat-ID: 17641
Peckhaus V. Weierstraß. In: Mittelstraß J, ed. Enzyklopädie Philosophie und Wissenschaftstheorie, Bd. 4: Sp–Z. Stuttgart/Weimar: J.B. Metzler; 1996:535-536.
LibreCat
 
1996 | Encyclopedia Article | LibreCat-ID: 17639
Peckhaus V. Verknüpfung. In: Mittelstraß J, ed. Enzyklopädie Philosophie und Wissenschaftstheorie, Bd. 4: Sp–Z. Stuttgart/Weimar: J.B. Metzler; 1996:515-516.
LibreCat
 
1996 | Book Review | LibreCat-ID: 17778
Peckhaus V. Günter Schenk: Leben und Werk des Halleschen Aufklärers Georg Friedrich Meier, 224 S. (Hallesche Gelehrtenbiographien), Hallescher Verlag, Halle/Saale 1994. Philosophischer Literaturanzeiger. 1996;49:248-251.
LibreCat
 
1996 | Conference Abstract | LibreCat-ID: 17843
Peckhaus V. Das Problem des ersten Schrittes in der modernen Axiomatik [Abstract]. In: Binder C, 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:142-145.
LibreCat
 
1996 | Misc | LibreCat-ID: 17898
Peckhaus V. 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
Peckhaus V. Franchella, Miriam, “L.E.J. Brouwer: Toward Intuitionistic Logic”, Historia Mathematica 22 (1995), 304–322. Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 83301017]. 1996.
LibreCat
 
1996 | Book Review | LibreCat-ID: 17918
Peckhaus V. Czermak, Johannes (Hg.), Philosophy of Mathematics. Proceedings of the 15th International Wittgenstein-Symposium, 16–23 August 1992, Kirchberg am Wechsel, Austria, Part 1, Hölder-Pichler-Tempsky: Wien 1993 (= Schriftenreihe der Wittgenstein-Gesellschaft; 20/I). Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 83600022]. 1996.
LibreCat
 
1996 | Book Review | LibreCat-ID: 17920
Peckhaus V. Knobloch, Eberhard/Pieper, Herbert/Pulte, Helmut, „...das Wesen der reinen Mathematik verherrlichen“, Mathematische Semesterberichte 42 (1995), 99–132. Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 83601009]. 1996.
LibreCat
 
1996 | Book Review | LibreCat-ID: 17925
Peckhaus V. Rheinwald, Rosemarie, „Die Achilles-Paradoxie in der modernen Diskussion“, in: Czermak (Hg.) 1993 [9.4], 383–392. Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 83803005]. 1996.
LibreCat
 
1996 | Book Review | LibreCat-ID: 17932
Peckhaus V. Bealer, George, “Toward a New Theory of Content”, in: Casati/Smith/White (Hgg.) 1994 [9.39], 179–191. Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 84203022]. 1996.
LibreCat
 
1996 | Book Review | LibreCat-ID: 17937
Peckhaus V. Murawski, Roman, “Contributions of Polish Logicians to Decidability Theory”, Modern Logic 6 (1996), 37–66. Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 84401010]. 1996.
LibreCat
 
1996 | Book Review | LibreCat-ID: 17944
Peckhaus V. Grattan-Guinness, Ivor, “Structure-similarity as a Cornerstone of the Philosophy of Mathematics”, in: J. Echeverria et al. (eds.), The Space of Mathematics, Walter de Gruyter: Berlin 1992, 91–111. Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 84800005]. 1996.
LibreCat
 
1996 | Book Review | LibreCat-ID: 17949
Peckhaus V. Resnik, Michael D., “Applying Mathematics and the Indispensability Argument”, in: J. Echeverria et al. (eds.), The Space of Mathematics, Walter de Gruyter: Berlin 1992, 115–131. Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 84900014]. 1996.
LibreCat
 
1996 | Habilitation | LibreCat-ID: 17444
Peckhaus V. 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 Review | LibreCat-ID: 17956
Peckhaus V. Casati, Roberto/Smith, Barry/White, Graham (Hgg.), Philosophy of the Cognitive Sciences. Proceedings of the 16th International Wittgenstein-Symposium, 15–22 August 1993, Kirchberg am Wechsel, Austria, Hölder-Pichler-Tempsky: Wien 1994 (= Schriftenreihe der Wittgenstein-Gesellschaft; 21). Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 84900032]. 1996.
LibreCat
 
1996 | Book Chapter | LibreCat-ID: 18428
Tophinke D. Zwei Aspekte der Texttypik: Funktionalität und kulturelle Expressivität – ein historisches Fallbeispiel. In: Michaelis S, Tophinke D, eds. Texte – Konstitution, Verarbeitung, Typik. München: Lincom; 1996:101-116.
LibreCat
 
1996 | Book | LibreCat-ID: 19135
Eke NO. Richard Beer-Hofmann: Die Historie von König David und andere dramatische Entwürfe (Edition). Vol 5. Paderborn: Igel; 1996.
LibreCat
 
1996 | Journal Article | LibreCat-ID: 2182
Meyer auf der Heide F, Scheideler C, Stemann V. Exploiting Storage Redundancy to Speed up Randomized Shared Memory Simulations. Theor Comput Sci. 1996;(2):245--281. doi:10.1016/0304-3975(96)00032-1
LibreCat | DOI
 
1995 | Journal Article | LibreCat-ID: 10610
Platzner M, Rinner B, Weiss R. Exploiting Parallelism in Constraint Satisfaction for Qualitative Simulation. JUCS Journal of Universal Computer Science. 1995;12:811-820.
LibreCat
 
1995 | Conference Paper | LibreCat-ID: 11757
Dugast C, Beyerlein P, Haeb-Umbach R. Application of Clustering Techniques to Mixture Density Modelling for Continuous-Speech Recognition. In: ICASSP, Detroit. ; 1995.
LibreCat | Download (ext.)
 
1995 | Journal Article | LibreCat-ID: 11764
Gamm S, Haeb-Umbach R. User interface design of voice controlled consumer electronics. Philips Journal of Research. 1995.
LibreCat
 
1995 | Conference Paper | LibreCat-ID: 13474
Platzner M, Rinner B. High-Performance Qualitative Simulation on a Multi-DSP Architecture. In: Proceedings of the 6th International Conference on Signal Processing Applications & Technology (ICSPAT). ; 1995.
LibreCat
 
1995 | Journal Article | LibreCat-ID: 13796
Santos PV, Esser N, Groenen J, Cardona M, Schmidt WG, Bechstedt F. Hydrogen interaction with Sb-terminated GaAs and InP (110) surfaces. Physical Review B. 1995;52(24):17379-17385. doi:10.1103/physrevb.52.17379
LibreCat | DOI
 
1995 | Conference Paper | LibreCat-ID: 15305
Hüllermeier E. Fuzzy polynomial and spline interpolation. In: In Proceedings IMACS Symposium on Systems Analysis and Simulation, Berlin. Gordon and Breach Publishers; 1995:401-404.
LibreCat
 
1995 | Conference Paper | LibreCat-ID: 16707
Czumaj A, Meyer auf der Heide F, Stemann V. Improved optimal shared memory simulations, and the power of reconfiguration. In: Proceedings Third Israel Symposium on the Theory of Computing and Systems. ; 1995. doi:10.1109/istcs.1995.377051
LibreCat | DOI
 
1995 | Conference Paper | LibreCat-ID: 2448
Römke T, Röttger M, Schroeder U-P, Simon J. An Efficient Mapping Library for Parix. In: Proc. ZEUS Workshop on Par. Programming and Computation. IOS Press; 1995.
LibreCat
 
1995 | Report | LibreCat-ID: 2450
Gehring J, Simon J. SparcStation SCI-Interface. Paderborn Center for Parallel Computing; 1995.
LibreCat
 
1995 | Journal Article | LibreCat-ID: 2563
Betz S. Die Bedeutung der Periodenplanbeschäftigung im Rahmen einer investitionstheoretisch fundierten Kostenrechnung. Zeitschrift für Planung. 1995;6:167-183.
LibreCat
 
1995 | Book Chapter | LibreCat-ID: 3530
Gries T. Neue regionale Wachstumstheorie und Humankapital als regionaler charakteristischer Faktor. In: Gahlen B, Hesse H, eds. Standort Und Region, Neue Ansätze Zur Regionalökonomik. Tübingen: Mohr (Siebeck); 1995.
LibreCat
 
1995 | Book Chapter | LibreCat-ID: 8078
Kremer H-H. Existenzgründung. In: Braukmann U, Diettrich A, Kremer H-H, Sloane PFE, Stickling E, eds. Meisterprüfung - Lernen Für Die Praxis - Unternehmensführung 1. 1st ed. Düsseldorf; 1995:19-94.
LibreCat
 
1995 | Conference Paper | LibreCat-ID: 8097
Krauter S. Solar Electricity up to 30% less expensive by optical and thermal enhanced PV modules. In: Proceedings of the ISES Solar World Congress 1995, Harare (Simbabwe), 11.–15. September 1995. ; 1995.
LibreCat
 
1995 | Conference Paper | LibreCat-ID: 8100
Krauter S. Thermal and Optical Enhanced PV-Modules. In: Proceedings of the 13th European Photovoltaic Solar Energy Conference, Nizza (Frankreich), 23.–27. Oktober 1995, S. 2306–2309. ; 1995.
LibreCat
 
1995 | Conference Paper | LibreCat-ID: 8268
Bardohl B, Bardohl R, Castro P, et al. GRAPHIT: Graphical Support and Integration of Formal and Semiformal Methods for Software Specification and Development. In: Proceedings of the 3rd German-Brazilian Workshop on Information Technology (1995), Berlin (Germany). Vol 26. Bilateral Seminars of the International Bureau. Forschungszentrum Jülich GmbH; 1995.
LibreCat
 
1995 | Conference Paper | LibreCat-ID: 8270
Heckel R, Wagner A. Ensuring Consistency of Conditional Graph Grammars - A constructive Approach. In: Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy). Vol 2. Electronic Notes in Theoretical Computer Science. Elsevier; 1995:118-126. doi:http://dx.doi.org/10.1016/S1571-0661(05)80188-4
LibreCat | DOI
 
1995 | Conference Paper | LibreCat-ID: 16904
Kienegger-domik G. Intelligent visualization systems in educational environments. In: Maurer H, ed. Proceedings of ED-MEDIA `95. AACE; 1995.
LibreCat
 
1995 | Journal Article | LibreCat-ID: 16550
Dellnitz M, Field M, Golubitsky M, Ma J, Hohmann A. Cycling Chaos. International Journal of Bifurcation and Chaos. 1995:1243-1247. doi:10.1142/s0218127495000909
LibreCat | DOI
 
1995 | Conference Paper | LibreCat-ID: 17306
Postel F, Oevel G, Schwarz F. MuPAD in der Ausbildung. In: Beiträge zum Mathematikunterricht. ; 1995.
LibreCat
 
1995 | Journal Article | LibreCat-ID: 17490
Peckhaus V. Hilberts Logik. Von der Axiomatik zur Beweistheorie. NTM Internationale Zeitschrift für Geschichte und Ethik der Naturwissenschaften, Technik und Medizin NF. 1995;3:65-86.
LibreCat
 
1995 | Book | LibreCat-ID: 19136
Eke NO, Dörr VC, a. u. „Wir träumen ins Herz der Zukunft“. Literatur in Nordrhein-Westfalen 1971-1994 (Edition). Vol 4. Frankfurt a. M., Leipzig: Insel; 1995.
LibreCat
 
1995 | Conference Paper | LibreCat-ID: 2208
Meyer auf der Heide F, Scheideler C, Stemann V. Exploiting Storage Redundancy to Speed Up Randomized Shared Memory Simulations. In: STACS. ; 1995:267--278.
LibreCat | Files available
 
1995 | Conference Paper | LibreCat-ID: 11765
Gamm S, Haeb-Umbach R. Human Factors of a Voice-Controlled Car Stereo. In: Eurospeech, Madrid. ; 1995.
LibreCat
 
1995 | Journal Article | LibreCat-ID: 11905
Steinbiss V, Ney HJ, Aubert XL, et al. The Philips Research system for continuous-speech dictation. Philips Journal of Research. 1995.
LibreCat
 
1995 | Journal Article | LibreCat-ID: 11948
Steinbiss V, Ney HJ, Essen U, et al. Continuous speech dictation - From theory to practice. Speech Communication. 1995.
LibreCat
 
1995 | Report | LibreCat-ID: 13026
Hellebrand S, Wunderlich H-J. Synthesis Procedures for Self-Testable Controllers. University of Siegen, Germany; 1995.
LibreCat
 
1995 | Conference Paper | LibreCat-ID: 13470
Brenner E, Ginthör-Kalcsics R, Hranitzky R, et al. High-Performance Simulators Based on Multi-TMS320C40. In: Proceedings of the 5th Annual Texas Instruments TMS320 Educators Conference. ; 1995.
LibreCat
 
1995 | Journal Article | LibreCat-ID: 13797
Santos PV, Esser N, Cardona M, Schmidt WG, Bechstedt F. Optical properties of Sb-terminated GaAs and InP (110) surfaces. Physical Review B. 1995;52(16):12158-12167. doi:10.1103/physrevb.52.12158
LibreCat | DOI
 
1995 | Journal Article | LibreCat-ID: 13800
Kress C, Fiedler M, Schmidt WG, Bechstedt F. Quasi-particle band structure of C(111)2 × 1 and C(100)2 × 1 surfaces. Surface Science. 1995;331-333:1152-1156. doi:10.1016/0039-6028(95)00160-3
LibreCat | DOI
 
1995 | Journal Article | LibreCat-ID: 13850
Kress C, Fiedler M, Schmidt WG, Bechstedt F. Geometrical and electronic structure of the reconstructed diamond (100) surface. Physical Review B. 1995;50(23):17697-17700. doi:10.1103/physrevb.50.17697
LibreCat | DOI
 
1995 | Conference Paper | LibreCat-ID: 2449
Römke T, Röttger M, Schroeder U-P, Simon J. On Efficient Embeddings of Grids into Grids in PARIX. In: Proc. European Conf. on Parallel Processing (Euro-Par). Vol 966. Lecture Notes in Computer Science (LNCS). Berlin / Heidelberg: Springer; 1995:179-192. doi:10.1007/BFb0020464
LibreCat | DOI
 
1995 | Book Chapter | LibreCat-ID: 2451
Blazy S, Dralle U, Simon J. Parallel CG Poisson Solver for PowerPC 601. In: PowerXplorer User Report - Applications and Projects on the Parsytec PowerXplorer Parallel Computer. Düsseldorf: Heinrich-Heine-Universität; 1995.
LibreCat
 
1995 | Journal Article | LibreCat-ID: 2576
Betz S. Die Erfahrungskurve als Instrument der Zielkostenspaltung. Betriebswirtschaftliche Forschung und Praxis. 1995;47:609-625.
LibreCat
 
1995 | Conference Paper | LibreCat-ID: 7831
Heckel R, Müller J, Taentzer G, Wagner A. Attributed Graph Transformations with Controlled Application of Rules. In: Proceedings of the Colloquium on Graph Transformation and Its Application in Computer Science. Technical Report. Universitat de les Illes Balears; 1995.
LibreCat
 
1995 | Conference Paper | LibreCat-ID: 8098
Onneken K, Krauter S. STOPV: A Development Tool for Thermal and Optical Optimization of PV Module Encapsulations. In: Proceedings of the 1995 ISES Solar World Congress, Harare (Simbabwe), 11.–15. September 1995. ; 1995.
LibreCat
 
1995 | Report | LibreCat-ID: 8194
Conrad M, Gajewsky M, Holl-Biniasz R, et al. Graphische Spezifikation Ausgewählter Teile von AGG - Einem Algebraischen Graphgrammatiksystem.; 1995.
LibreCat
 
1995 | Conference Paper | LibreCat-ID: 8269
Engels G, Schürr A. Encapsulated Hierarchical Graphs, Graph Types, and Meta Types. In: Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy). Electronic Notes in Theoretical Computer Science. Amsterdam, The Netherlands: Elsevier; 1995:101-109. doi:http://dx.doi.org/10.1016/S1571-0661(05)80186-0
LibreCat | DOI
 
1995 | Journal Article | LibreCat-ID: 16532
Dellnitz M, Heinrich C. Admissible symmetry increasing bifurcations. Nonlinearity. 1995:1039-1066. doi:10.1088/0951-7715/8/6/009
LibreCat | DOI
 
1995 | Journal Article | LibreCat-ID: 16551
Dellnitz M, Golubitsky M, Hohmann A, Stewart I. Spirals in Scalar Reaction–Diffusion Equations. International Journal of Bifurcation and Chaos. 1995:1487-1501. doi:10.1142/s0218127495001149
LibreCat | DOI
 
1995 | Book Chapter | LibreCat-ID: 17307
Oevel G, Siek G. Computer algebra in education. In: AACE Educational Multimedia and Hypermedia Annual. ; 1995.
LibreCat
 
1995 | Journal Article | LibreCat-ID: 17491
Peckhaus V. Rüstow’s Thesis on Russell’s Paradox. Modern Logic. 1995;5:167-169.
LibreCat
 
1995 | Book Review | LibreCat-ID: 17775
Peckhaus V. Grundprobleme der großen Philosophen. Philosophie der Neuzeit VI. Tarski, Reichenbach, Kraft, Gödel, Neurath, ed. Josef Speck, Vandenhoeck & Ruprecht: Göttingen 1992 (= Uni-Taschenbücher; 1654). Modern Logic. 1995;5:356-359.
LibreCat
 
1995 | Book | LibreCat-ID: 17446
Peckhaus V. 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. Halle/Saale: Hallescher Verlag; 1995.
LibreCat
 
1995 | Book | LibreCat-ID: 18696
Seng E-M. Der evangelische Kirchenbau im 19. Jahrhundert, die Eisenacher Bewegung und der Architekt Christian Friedrich von Leins. Tübingen: (Wasmuth); 1995.
LibreCat
 
1995 | Book Review | LibreCat-ID: 19555
Eke NO. Ingo Schmidt, Florian Vaßen. Unter Mitarbeit von Uwe Sänger sowie Roger Fornhoff, Anja Maria Prochaska und Hendrik Werner: Bibliographie Heiner Müller 1948-1992. Bielefeld 1993. Wirkendes Wort. 1995;45(H. 2):357-359.
LibreCat
 
1995 | Conference Paper | LibreCat-ID: 13469
Platzner M, Rinner B, Weiss R. A Distributed Computer Architecture for Qualitative Simulation based on a Multi-DSP and FPGAs. In: Proceedings of the 3rd Euromicro Workshop on Parallel and Distributed Processing . IEEE CS Press; 1995:311-318.
LibreCat
 
1995 | Conference Paper | LibreCat-ID: 13471
Friedl G, Platzner M, Rinner B. A Special-Purpose Coprocessor for Qualitative Simulation. In: Proceedings of the EURO-PAR’95 International Conference on Parallel Processing. Springer International Publishing; 1995:695-698.
LibreCat
 
1995 | Report | LibreCat-ID: 13027
Hellebrand S, Wunderlich H-J, Goncalves F, Paulo Teixeira J. Evaluation of Self-Testable Controller Architectures Based on Realistic Fault Analysis. University Siegen, Germany; 1995.
LibreCat
 
1995 | Journal Article | LibreCat-ID: 13798
Schmidt WG, Bechstedt F, Srivastava GP. III-V(110) surface dynamics from anab initiofrozen-phonon approach. Physical Review B. 1995;52(3):2001-2007. doi:10.1103/physrevb.52.2001
LibreCat | DOI
 
1995 | Journal Article | LibreCat-ID: 13801
Schmidt WG, Srivastava GP. III-V(110)/Sb(1 ML): structural and dynamical properties. Surface Science. 1995;331-333(Part A):540-545. doi:10.1016/0039-6028(95)00304-5
LibreCat | DOI
 
1995 | Journal Article | LibreCat-ID: 13851
Schmidt WG, Bechstedt F. Exchange reactions versus adsorption geometries for Se/GaAs(110). Physical Review B. 1995;50(23):17651-17654. doi:10.1103/physrevb.50.17651
LibreCat | DOI
 
1995 | Conference Paper | LibreCat-ID: 15294
Hüllermeier E. Towards modelling of fuzzy functions. In: Zimmermann HJ, ed. In Proceedings EUFIT-95 3rd European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany. ; 1995:150-154.
LibreCat
 
1995 | Journal Article | LibreCat-ID: 15612
Hagengruber R. Philosophinnen in der Frauenforschung. Ein Plädoyer für Vernunft und Wissenschaft. Metis. 1995;5(9):67-74.
LibreCat
 
1995 | Book Chapter | LibreCat-ID: 16704
Meyer auf der Heide F, Vöcking B. A packet routing protocol for arbitrary networks. In: STACS 95. Berlin, Heidelberg; 1995. doi:10.1007/3-540-59042-0_81
LibreCat | DOI
 
1995 | Book Chapter | LibreCat-ID: 16874
Bäumker A, Dittrich W, Meyer auf der Heide F. Truly efficient parallel algorithms: c-optimal multisearch for an extension of the BSP model. In: Lecture Notes in Computer Science. Berlin, Heidelberg; 1995. doi:10.1007/3-540-60313-1_131
LibreCat | DOI
 
1995 | Book Chapter | LibreCat-ID: 2091
Krimphove D. Kommentar § 5 c GWB (Einkaufskooperationen). In: Müller-Henneberg H, Schwartz G, Benisch W, eds. Gesetz Gegen Wettbewerbsbeschränkungen Und Europäisches Kartellrecht . 4th ed. Köln: Carl Heymanns Verlag KG; 1995.
LibreCat
 
1995 | Journal Article | LibreCat-ID: 3037
Alt H, Behrends B, Blömer J. Approximate matching of polygonal shapes. Annals of Mathematics and Artificial Intelligence. 1995;13(3).
LibreCat
 
1995 | Journal Article | LibreCat-ID: 2577
Betz S. Kostenorientierte Planung der Entsorgungslogistik. Zeitschrift für Planung. 1995;6:321-339.
LibreCat
 
1995 | Book Chapter | LibreCat-ID: 7976
Kremer H-H. Planung und Durchführung der Ausbildung. In: Braukmann U, Euler D, Kremer H-H, Theis M, eds. Meisterprüfung - Lernen für die Praxis, Ausbilden im Handwerk. Dozentenhandbuch für Teil IV der Meisterausbildung. 1st ed. Düsseldorf; 1995:1-123.
LibreCat
 
1995 | Conference Paper | LibreCat-ID: 7832
Thoben W, Appelrath H-J, Sauer S. Record Linkage of Anonymous Data by Control Numbers. In: Proceedings of the 18th Annual Conference of the Gesellschaft Für Klassifikation, Oldenburg (Germany). Studies in Classification, Data Analysis, and Knowledge Organization. Berlin/Heidelberg: Springer; 1995:412-419.
LibreCat
 
1995 | Report | LibreCat-ID: 8195
Ebert J, Engels G. Specialization of Object Life Cycle Definitions. Koblenz: University of Koblenz-Landau; 1995.
LibreCat
 
1995 | Conference Paper | LibreCat-ID: 8099
Krauter S. Actual Optical and Thermal Performance of PV-Modules. In: Proceedings of the ISES Solar World Congress 1995, Harare (Simbabwe), 11.–15. September 1995. ; 1995.
LibreCat
 
1995 | Book Chapter | LibreCat-ID: 8354
Kremer H-H. Existenzgründung. In: Braukmann U, Diettrich A, Kremer H-H, Sloane PFE, Stickling E, eds. Meisterprüfung - Lernen für die Praxis - Unternehmensführung 1. 1st ed. Düsseldorf; 1995:19-94.
LibreCat
 
1995 | Book Review | LibreCat-ID: 17776
Peckhaus V. André Weil, Lehr- und Wanderjahre eines Mathematikers, aus dem Französischen von Theresia Übelhör, Birkhäuser Verlag: Basel/Boston/Berlin 1993. Berichte zur Wissenschaftsgeschichte. 1995;18:256-257.
LibreCat
 
1995 | Conference Paper | LibreCat-ID: 17492
Peckhaus V. The Genesis of Grelling’s Paradox. In: Max I, Stelzner W, eds. Logik Und Mathematik. Frege-Kolloquium Jena 1993. Vol 5. Perspectives in Analytical Philosophy. Berlin/New York: Walter de Gruyter; 1995:269-280.
LibreCat
 
1995 | Journal Article | LibreCat-ID: 18630
Schindlmayr A, Godby RW. Density-functional theory and the v-representability problem for model strongly correlated electron systems. Physical Review B. 1995;51(16):10427-10435. doi:10.1103/PhysRevB.51.10427
LibreCat | Files available | DOI | WoS | PubMed | Europe PMC
 
1995 | Book Chapter | LibreCat-ID: 19316
Seng E-M. Zwischen Kontinuität, Notkirche und Neuanfang: Evangelischer Kirchenbau in Württemberg 1925 - 1955. In: Lächele R, Thierfelder J, eds. Das Evangelische Württemberg zwischen Weltkrieg und Wiederaufbau. Stuttgart; 1995:234-259.
LibreCat
 
1995 | Book Review | LibreCat-ID: 19556
Eke NO. Bürgerlichkeit im Umbruch. Studien zum deutschsprachigen Drama 1750-1800. Mit einer Bibliographie der Dramen der Oettingen-Wallersteinschen Bibliothek zwischen 1750 und 1800. Hg. von Helmut Koopmann. Tübingen 1993. Zeitschrift für Germanistik. 1995;NF V(H. 1):149-151.
LibreCat
 
1995 | Journal Article | LibreCat-ID: 11786
Haeb-Umbach R, Beyerlein P, Geller D. Speech recognition algorithms for voice control interfaces. Philips Journal of Research. 1995.
LibreCat
 
1995 | Journal Article | LibreCat-ID: 13011
Hellebrand S, Rajski J, Tarnick S, Venkataraman S, Courtois B. Built-In Test for Circuits with Scan Based on Reseeding of Multiple-Polynomial Linear Feedback Shift Registers. {IEEE Transactions on Computers}. 1995;44(2):223-233. doi:10.1109/12.364534
LibreCat | DOI
 
1995 | Report | LibreCat-ID: 13028
Hellebrand S, Herzog M, Wunderlich H-J. Partitioning of CMOS-Circuits for On-Chip IDDQ-Testing. University of Siegen, Germany; 1995.
LibreCat
 
1995 | Conference Paper | LibreCat-ID: 13472
Platzner M, Rinner B, Weiss R. Parallel Qualitative Simulation. In: Proceedings of the EUROSIM Congress. Elsevier; 1995:231-236.
LibreCat
 
1995 | Conference Paper | LibreCat-ID: 13484
Hranitzky R, Platzner M. Design and Implementation of Adaptive Digital Filters on a Multi-TMS320C40 System. In: Proceedings of the 6th International Conference on Signal Processing Applications & Technology (ICSPAT). ; 1995.
LibreCat
 
1995 | Journal Article | LibreCat-ID: 13799
Schmidt WG, Bechstedt F. Se/GaAs(110): energetics and structure. Surface Science. 1995;331-333(Part A):557-563. doi:10.1016/0039-6028(95)00317-7
LibreCat | DOI
 
1995 | Journal Article | LibreCat-ID: 13852
Schmidt WG, Bechstedt F. Se/GaAs(110): Atomic and electronic structure. Physical Review B. 1995;50(23):17280-17291. doi:10.1103/physrevb.50.17280
LibreCat | DOI
 
1995 | Conference Paper | LibreCat-ID: 15295
Hüllermeier E. Rule-based modelling in fuzzy simulation. In: In Proceedings ISFL-95 International Symposium on Logic, Zürich. ICSC Academic Press; 1995:B49-B56.
LibreCat
 
1995 | Book | LibreCat-ID: 1602
Krimphove D, Brehmer C. Die Gründung Einer GmbH. Vol Nr. 13. Berlin: FHTW Schriftenreihe; 1995.
LibreCat
 
1995 | Book Chapter | LibreCat-ID: 16236
Hüllermeier E. Konjunkturzyklen aufgrund von Investitionsinterdependenzen:  Simulation und empirische Überprüfung. In: Flemmig J, ed. Moderne Makroökonomie-Eine Kritische Bestandsaufnahme. Metropolis; 1995:413-454.
LibreCat
 
1995 | Book Chapter | LibreCat-ID: 16705
Czumaj A, Meyer auf der Heide F, Stemann V. Shared memory simulations with triple-logarithmic delay. In: Lecture Notes in Computer Science. Berlin, Heidelberg; 1995. doi:10.1007/3-540-60313-1_133
LibreCat | DOI
 
1995 | Book Chapter | LibreCat-ID: 16717
Meyer auf der Heide F, Westermann M. Hot-potato routing on multi-dimensional tori. In: Graph-Theoretic Concepts in Computer Science. Berlin, Heidelberg; 1995. doi:10.1007/3-540-60618-1_77
LibreCat | DOI
 
1995 | Journal Article | LibreCat-ID: 2561
Betz S. Die Berücksichtigung von technischem Fortschritt im Konzept der investitionstheoretisch fundierten Abschreibung. Zeitschrift für Betriebswirtschaft. 1995;65:425-444.
LibreCat
 
1995 | Journal Article | LibreCat-ID: 2573
Betz S. Gemeinkostencontrolling auf Basis der Prozesskostenrechnung. Kostenrechnungspraxis. 1995;39:135-144.
LibreCat
 
1995 | Report | LibreCat-ID: 3038
Blömer J, Kalfane M, Karp R, Karpinski M, Luby M, Zuckerman D. An XOR-Based Erasure-Resilient Coding Scheme. Berkeley, USA; 1995.
LibreCat | Files available
 
1995 | Book | LibreCat-ID: 3386
Gries T. Wachstum, Humankapital Und Die Dynamik Der Komparativen Vorteile. Tübingen: Mohr (Siebeck); 1995.
LibreCat
 
1995 | Conference Paper | LibreCat-ID: 7833
Heckel R. Embedding of Conditional Graph Transformations. In: Proceedings of the Colloquium on Graph Transformation and Its Application in Computer Science. Technical Report. Universitat de les Illes Balears; 1995.
LibreCat
 
1995 | Book Chapter | LibreCat-ID: 8076
Euler D, Kremer H-H, Theis M. Grundfragen der Berufsbildung. In: Braukmann U, Euler D, Kremer H-H, Theis M, eds. Meisterprüfung - Lernen Für Die Praxis, Ausbilden Im Handwerk. Dozentenhandbuch Für Teil IV Der Meisterausbildung. 1st ed. Düsseldorf; 1995:1-23.
LibreCat
 
1995 | Report | LibreCat-ID: 8196
Engels G, Schürr A. Encapsulated Hierarchical Graphs, Graph Types, and Meta Types. Vakgroep Informatica, Rijksuniversiteit Leiden; 1995.
LibreCat
 
1995 | Conference Paper | LibreCat-ID: 8266
Groenewegen L, Engels G. Coordination by Behavioural Views and Communication Patterns. In: Proceedings of the 4th European Workshop on Software Process Technology (EWSPT 1995), Noordwijkerhout (The Netherlands). Vol 913. LNCS. Berlin/Heidelberg: Springer; 1995:189-192. doi:http://dx.doi.org/10.1007/3-540-59205-9_56
LibreCat | DOI
 
1995 | Book Chapter | LibreCat-ID: 16611
Golubitsky M, Marsden J, Stewart I, Dellnitz M. The constrained Liapunov-Schmidt procedure and periodic orbits. In: Normal Forms and Homoclinic Chaos. Providence, Rhode Island; 1995. doi:10.1090/fic/004/05
LibreCat | DOI
 
1995 | Journal Article | LibreCat-ID: 16510
Aston PJ, Dellnitz M. Symmetry Breaking Bifurcations of Chaotic Attractors. International Journal of Bifurcation and Chaos. 1995:1643-1676. doi:10.1142/s021812749500123x
LibreCat | DOI
 
1995 | Book Review | LibreCat-ID: 17777
Peckhaus V. “Russell y las ‘Paradojas’” [Rez. v. Alejandro R. Garciadiego, Bertrand Russell and the Origins of the Set-theoretic ‘Paradoxes’, Birkhäuser Verlag: Basel/Boston/Berlin 1992]. Mathesis (México). 1995;11:285-290.
LibreCat
 
1995 | Book Chapter | LibreCat-ID: 17842
Peckhaus V. Kurt Grelling. In: Modern Logic Calendar 1995. ; 1995:März.
LibreCat
 
1995 | Book | LibreCat-ID: 18701
Seng E-M. 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. Tübingen: Wasmuth; 1995.
LibreCat
 
1995 | Journal Article | LibreCat-ID: 16243
Dohmeier-Fischer S, Krämer N, Grützmacher H-F. Rearrangement by intermediate ion/neutral complexes during the McLafferty fragmentation of unsaturated ketones. European Journal of Mass Spectrometry. 1995. doi:10.1255/ejms.154
LibreCat | DOI
 
1995 | Conference Paper | LibreCat-ID: 11768
Gamm S, Haeb-Umbach R, Langmann D. The Usability Engineering of a Voice-Controlled Answering Machine. In: International Symposium on Human Factors in Telecommunications, Melbourne. ; 1995.
LibreCat
 
1995 | Conference Paper | LibreCat-ID: 11787
Haeb-Umbach R, Beyerlein P, Thelen E. Automatic Transcription of Unknown Words in a Speech Recognition System. In: ICASSP, Detroit. ; 1995.
LibreCat | Download (ext.)
 
1995 | Conference Paper | LibreCat-ID: 13012
Hellebrand S, Reeb B, Tarnick S, Wunderlich H-J. Pattern Generation for a Deterministic BIST Scheme. In: {ACM/IEEE International Conference on Computer Aided Design (ICCAD’95)}. San Jose, CA, USA: {IEEE (Comput. Soc. Press)}; 1995:88-94. doi:10.1109/iccad.1995.479997
LibreCat | DOI
 
1995 | Misc | LibreCat-ID: 13086
Hellebrand S, Reeb B, Tarnick S, Wunderlich H-J. Pattern Generation for a Deterministic BIST Scheme. 2nd IEEE International Test Synthesis Workshop, Santa Barbara, CA; 1995.
LibreCat
 
1995 | Conference Paper | LibreCat-ID: 13473
Platzner M, Rinner B. Improving Performance of the Qualitative Simulator QSIM - Design and Implementation of a Specialized Computer Architecture. In: Proceedings of the PDCS International Conference on Parallel and Distributed Computing Systems. ISCA; 1995:494-501.
LibreCat
 
1995 | Conference Paper | LibreCat-ID: 15272
Domik-Kienegger G, Owen G. Education for Visualization-Activities of the acm-siggraph Education Committee. In: Proceedings of the Third Eurographics Workshop on Graphics and Visualization. ; 1995.
LibreCat
 
1995 | Book | LibreCat-ID: 1603
Krimphove D. Rechtliche Rahmenbedingungen Des Deutschen Und Internationalen Börsentermingeschäftes Ein Leitfaden Für Banken, Sparkassen, Kreditinstitute, Anlagevermittler Und Kunden Mit Checklisten Und Hinweisen Zur Durchführung Einer Ordnungsgemäßen Anlageberatung  . Vol Nr. 14. Berlin: FHTW Schriftenreihe; 1995.
LibreCat
 
1995 | Conference Paper | LibreCat-ID: 16706
Meyer auf der Heide F, Storch M, Wanka R. Optimal trade-offs between size and slowdown for universal parallel networks. In: Proceedings of the Seventh Annual ACM Symposium on Parallel Algorithms and Architectures  - SPAA ’95. ; 1995. doi:10.1145/215399.215430
LibreCat | DOI
 
1995 | Conference Paper | LibreCat-ID: 2447
Röttger M, Schroeder U-P, Simon J. Implementation of a Parallel and Distributed Mapping Kernel for PARIX. In: Proc. Int. Conf. on High-Performance Computing and Networking. Vol 919. Lecture Notes in Computer Science (LNCS). Berlin / Heidelberg: Springer; 1995:781-786. doi:10.1007/BFb0046714
LibreCat | DOI
 
1995 | Conference Paper | LibreCat-ID: 2207
Meyer auf der Heide F, Scheideler C. Space-Efficient Routing in Vertex-Symmetric Networks (Extended Abstract). In: SPAA. ; 1995:137--146.
LibreCat | Files available
 
1995 | Book | LibreCat-ID: 2675
Betz S. Erfolgscontrolling Unter Besonderer Berücksichtigung Produktionswirtschaftlicher Aspekte. Paderborn; 1995.
LibreCat
 
1995 | Book Chapter | LibreCat-ID: 8077
Euler D, Kremer H-H, Theis M. Grundfragen der Berufsbildung. In: Euler D, Kremer H-H, Theis M, eds. Meisterprüfung - Lernen für die Praxis, Ausbilden im Handwerk. 1st ed. ; 1995:13-42.
LibreCat
 
1995 | Conference Paper | LibreCat-ID: 8267
Corradini A, Heckel R. A Compositional Approach to Structuring and Refinement of Typed Graph Grammars. In: Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy). Vol 2. Electronic Notes in Theoretical Computer Science . Elsevier; 1995:46-55.
LibreCat
 
1995 | Journal Article | LibreCat-ID: 16542
Dellnitz M, Melbourne I. A note on the shadowing lemma and symmetric periodic points. Nonlinearity. 1995:1067-1075. doi:10.1088/0951-7715/8/6/010
LibreCat | DOI
 
1995 | Conference Paper | LibreCat-ID: 17482
Czumaj A, Meyer auf der Heide F, Stemann V. Simulating shared memory in real time: On the computation power of reconfigurable meshes. In: Proceedings of the 2nd IEEE Workshop on Reconfigurable Architectures. ; 1995:46--59.
LibreCat
 
1995 | Journal Article | LibreCat-ID: 16566
Breslauer D, Czumaj A, Dubhashi DP, Meyer auf der Heide F. Transforming comparison model lower bounds to the parallel-random-access-machine. Information Processing Letters. 1995:103-110. doi:10.1016/s0020-0190(97)00032-x
LibreCat | DOI
 
1995 | Book Chapter | LibreCat-ID: 19414
Eke NO. Zeit/Räume – Aspekte der Zeiterfahrung bei Heiner Müller. In: Buck T, Valentin J-M, Kenfgens N, Vogel D, eds. Heiner Müller – Rückblicke, Perspektiven. Vorträge des Pariser Kolloquiums 1993. Frankfurt a. M.: Lang; 1995:131-152.
LibreCat
 
1995 | Conference Paper | LibreCat-ID: 2187
Meyer auf der Heide F, Scheideler C. Routing with Bounded Buffers and Hot-Potato Routing in Vertex-Symmetric Networks. In: ESA. Lecture Notes in Computer Science. ; 1995:341--354. doi:10.1007/3-540-60313-1_154
LibreCat | Files available | DOI
 
1994 | Conference Paper | LibreCat-ID: 13013
Hellebrand S, Wunderlich H-J. Synthesis of Self-Testable Controllers. In: {European Design and Test Conference (EDAC/ETC/EUROASIC)}. Paris, France: {IEEE (Comput. Soc. Press)}; 1994:580-585. doi:10.1109/edtc.1994.326815
LibreCat | DOI
 
1994 | Report | LibreCat-ID: 13025
Hellebrand S, Juergensen A, Stroele A, Wunderlich H-J. 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
Schmidt WG, Srivastava G. First principles calculations of interface phonons of an Epitaxial Sb monolayer on GaAs(110) and InP(110). Solid State Communications. 1994;89(4):345-348. doi:10.1016/0038-1098(94)90597-5
LibreCat | DOI
 
1994 | Book Chapter | LibreCat-ID: 15608
Hagengruber R. Platons “Timaios”, eine Anleitung zur wissenschaftlichen Hypothesenbildung? In: Fritscher B, Brey G, eds. Cosmographica et Geographica. Algorismus. Studien zur Geschichte der Mathematik und der Naturwissenschaften. Vol 13. New York: Springer; 1994:75-96.
LibreCat
 
1994 | Book Chapter | LibreCat-ID: 15610
Hagengruber R. Die Theorie des Punktes aus der Philosophie der Ähnlichkeit bei Tommaso Campanella. In: Gómez Pin V, 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. Barcelona: Bellaterra; 1994:101-107.
LibreCat | Files available
 
1994 | Journal Article | LibreCat-ID: 1659
Krimphove D. Das zweite Finanzmarktförderungsgesetz - ein Beitrag zur “Europäisierung” des Wertpapierrechts . Juristenzeitung (JZ). 1994;(Heft 1):244 ff.
LibreCat
 
1994 | Journal Article | LibreCat-ID: 1661
Krimphove D. Europejskie prawo pracy. Monitor Prawniczy. 1994;(2):42 ff.
LibreCat
 
1994 | Conference Paper | LibreCat-ID: 3263
Rensink A, Wehrheim H. Weak Sequential Composition in Process Algebras. In: Jonsson B, Parrow J, eds. {CONCUR} ’94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings. Lecture Notes in Computer Science. ; 1994:226--241. doi:10.1007/978-3-540-48654-1_20
LibreCat | DOI
 
1994 | Book Chapter | LibreCat-ID: 7513
Engels G, Groenewegen L. SOCCA: Specifications of Coordinated and Cooperative Activities. In: Software Process Modelling and Technology. Taunton: Research Studies Press; 1994:71-102.
LibreCat
 
1994 | Conference Paper | LibreCat-ID: 7828
Ebert J, Engels G. Structural and Behavioural Views on OMT-Classes. In: Proceedings of the International Symposium on Object-Oriented Methodologies and Systems (ISOOMS 1994), Palermo (Italy). Vol 858. Berlin/Heidelberg: Springer; 1994:142-157.
LibreCat
 
1994 | Conference Paper | LibreCat-ID: 7830
Engels G, Ehrig H. Towards a Module Concept for Graph Transformation Systems: The Software Engineering Perspective. In: Proceedings Colloquium on Graph Transformation and Its Application in Computer Science. Vol B-19. Technical Report . Universitat de les Illes Balears, Departament de Ci; 1994.
LibreCat
 
1994 | Report | LibreCat-ID: 8193
Ebert J, Engels G. Observable or Invocable Behaviour - You Have to Choose. Vakgroep Informatica, Rijksuniversiteit Leiden; 1994.
LibreCat
 
1994 | Conference Paper | LibreCat-ID: 8092
Krauter S, Hanitsch R, Campbell P, Wenham SR. Optical Modelling, Simulation and Improvement of PV Module Encapsulation. In: Proceedings of the 12th European Photovoltaic Solar Energy Conference, Amsterdam (Niederlande), 11.–15. April 1994, Band 2, S. 1198–1201. ; 1994.
LibreCat
 
1994 | Conference Paper | LibreCat-ID: 8263
Andries M, Engels G. Syntax and Semantics of Hybrid Database Languages. In: Proceedings of the International Workshop on Graph Transformations in Computer Science (1993), Dagstuhl (Germany). Vol 776. LNCS. Berlin/Heidelberg: Springer; 1994:19-36. doi:http://dx.doi.org/10.1007/3-540-57787-4_2
LibreCat | DOI
 
1994 | Book Review | LibreCat-ID: 17774
Peckhaus V. Erik Heijerman/H. Walter Schmitz (eds.), Significs, Mathematics and Semiotics. The Signific Movement in the Netherlands. Proceedings of the International Conference Bonn 19–21 November 1986, Nodus Publicationen: Münster 1991 (= Materialien zur Geschichte der Sprachwissenschaft und der Semiotik; 5). Modern Logic. 1994;4:449-454.
LibreCat
 
1994 | Book Chapter | LibreCat-ID: 17837
Peckhaus V. The Axiomatic Method and Ernst Schröder’s Algebraic Approach to Logic [Abstract]. In: Abstract of Papers Presented to the American Mathematical Society. Vol 15, Nr. 5 (August 1994). ; 1994:447.
LibreCat
 
1994 | Book Chapter | LibreCat-ID: 17488
Peckhaus V. Hilbert’s Axiomatic Programme and Philosophy. In: Knobloch E, Rowe DE, eds. The History of Modern Mathematics, Bd. 3: Images, Ideas, and Communities. Boston u. a.: Academic Press; 1994:91-112.
LibreCat
 
1994 | Book Chapter | LibreCat-ID: 19415
Eke NO. Heiner Müller. In: Steinecke H, ed. Deutsche Dichter des 20. Jahrhunderts. Berlin: Erich Schmidt; 1994:726-741.
LibreCat
 
1994 | Book | LibreCat-ID: 3333
Kleine Büning H, Lettmann T. Aussagenlogik - Deduktion und Algorithmen. Teubner; 1994. doi:10.1007/978-3-322-84809-3
LibreCat | DOI
 
1994 | Journal Article | LibreCat-ID: 11796
Haeb-Umbach R, Ney H. Improvements in beam search for 10000-word continuous-speech recognition. IEEE Transactions on Speech and Audio Processing. 1994.
LibreCat
 
1994 | Conference Paper | LibreCat-ID: 11878
Ney H, Steinbeiss V, Aubert XL, Haeb-Umbach R. Progress in Large-Vocabulary, Continuous Speech Recognition. In: Artifical Intelligence, Progress and Prospects of Speech Research and Technology, Munich. ; 1994.
LibreCat
 
1994 | Conference Paper | LibreCat-ID: 13014
Hellebrand S, Wunderlich H-J. An Efficient Procedure for the Synthesis of Fast Self-Testable Controller Structures. In: {ACM/IEEE International Conference on Computer-Aided Design (ICCAD’94)}. San Jose, CA, USA: {IEEE}; 1994:110-116. doi:10.1109/iccad.1994.629752
LibreCat | DOI
 
1994 | Misc | LibreCat-ID: 13083
Venkataraman S, Rajski J, Hellebrand S, Tarnick S. 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
Platzner M, Steger C, Weiss R. Experimental Evaluation of Multi-DSP Architectures in High Performance Applications. In: Proceedings of the 7th Mediterranean Electrotechnical Conference. IEEE Press; 1994.
LibreCat
 
1994 | Journal Article | LibreCat-ID: 13855
Schmidt WG, Wenzien B, Bechstedt F. Coverage-dependent bonding of Sb on GaAs (110). Surface Science. 1994;307-309(Part A):235-240. doi:10.1016/0039-6028(94)90400-6
LibreCat | DOI
 
1994 | Journal Article | LibreCat-ID: 1662
Krimphove D. Die Mitwirkungsrechte des Betriebsrates in der Betriebsverfassung. Arbeit und Recht . 1994;(Heft 4):215 ff.
LibreCat
 
1994 | Conference Paper | LibreCat-ID: 3264
Wehrheim H. Parametric Action Refinement. In: Olderog E-}R{\"{u}}diger, 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. {IFIP} Transactions. ; 1994:247--266.
LibreCat
 
1994 | Book | LibreCat-ID: 6528
Bendfeld J, Ernst A, Ortjohann E. Windatlas für das PESAG-Versorgungsgebiet. Universität - GH Paderborn, Fachgebiet Elektrische Energieversorgung, Februar 1994; 1994.
LibreCat
 
1994 | Conference Paper | LibreCat-ID: 6530
Bendfeld J, Ernst A, Ortjohann E, Langrock B, Scholz N. Flächendeckende Windpotentialbestimmung in einer Binnenlandregion mit ausgeprägter Orographie. In: Renergie 94 - Windenergienutzung im Binnenland, Solarenergienutzung in Deutschland. Renergie 94 - Windenergienutzung im Binnenland, Solarenergienutzung in Deutschland. ; 1994.
LibreCat
 
1994 | Conference (Editor) | LibreCat-ID: 7797
Ehrich H-D, Engels G, Paredaens J, Wegner J, eds. Fundamentals of Object-Oriented Languages, Systems, and Methods. Vol 95. Schloss Dagstuhl, Leibniz Center for Informatics; 1994.
LibreCat
 
1994 | Conference Paper | LibreCat-ID: 7829
Engels G, Kappel G. Object-Oriented System Development: Will the New Approach Solve Old Problems? In: Proceedings of the IFIP 13th World Computer Congress on Information Processing, Hamburg (Germany). Vol 3. Elsevier; 1994:434-441.
LibreCat
 
1994 | Conference Paper | LibreCat-ID: 8093
Strauss P, Onneken K, Krauter S, Hanitsch R. Simulation Tool for Prediction and Optimization of Output Power Considering Thermal and Optical Parameters of PV Module Encapsulation. In: Proceedings of the 12th European Photovoltaic Solar Energy Conference, Amsterdam (Niederlande), 11.–15. April 1994, Band 2, S. 1194–1197. ; 1994.
LibreCat
 
1994 | Conference Paper | LibreCat-ID: 8264
Engels G, Groenewegen L. Specification of coordinated behaviour by SOCCA. In: Proceedings of the Third European Workshop on Software Process Technology (EWSPT 1994), Villard de Lans (France). LNCS. Berlin/Heidelberg: Springer; 1994:128-151. doi:http://dx.doi.org/10.1007/3-540-57739-4_19
LibreCat | DOI
 
1994 | Book Chapter | LibreCat-ID: 16549
Dellnitz M, Golubitsky M, Nicol M. Symmetry of Attractors and the Karhunen-Loève Decomposition. In: Trends and Perspectives in Applied Mathematics. New York, NY; 1994. doi:10.1007/978-1-4612-0859-4_4
LibreCat | DOI
 
1994 | Book Chapter | LibreCat-ID: 16544
Dellnitz M, Scheurle J. Eigenvalue Movement for a Class of Reversible Hamiltonian Systems with Three Degrees of Freedom. In: Dynamics, Bifurcation and Symmetry. Dordrecht; 1994. doi:10.1007/978-94-011-0956-7_9
LibreCat | DOI
 
1994 | Journal Article | LibreCat-ID: 17489
Peckhaus V. Wozu Algebra der Logik? Ernst Schröders Suche nach einer universalen Theorie der Verknüpfungen. Modern Logic. 1994;4:357-381.
LibreCat
 
1994 | Journal Article | LibreCat-ID: 19416
Eke NO. „Lieber Niembsch“ oder: Der Dichter im Gehäus. Anmerkungen zu Manfred Karges Spiel mit Biographie und Geschichte um den Autor im „Stadium der Verrücktheit“. Lenau-Forum. 1994;20(Folge 1-4):109-129.
LibreCat
 
1994 | Journal Article | LibreCat-ID: 11879
Ney H, Steinbeiss V, Haeb-Umbach R, Tran BH. An Overview of the Philips Research System for Large Vocabulary Continuous Speech Recognition. International Journal on Pattern Recognition and Artificial Intelligence. 1994.
LibreCat
 
1994 | Misc | LibreCat-ID: 13084
Hellebrand S, Wunderlich H-J. 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
Schmidt WG, Wenzien B, Bechstedt F. Chemisorption of antimony on GaAs(110). Physical Review B. 1994;49(7):4731-4744. doi:10.1103/physrevb.49.4731
LibreCat | DOI
 
1994 | Book Chapter | LibreCat-ID: 15509
Hagengruber R. Parallelen um den Punkt zwischen Campanella und Leibniz. In: Heinekamp A, Hein I, Stiftung Niedersachsen, eds. Leibniz und Europa. Vol 1. VI. Internationaler Leibniz-Kongress. ; 1994:309-315.
LibreCat
 
1994 | Journal Article | LibreCat-ID: 16728
Dietzfelbinger M, Karlin A, Mehlhorn K, Meyer auf der Heide F, Rohnert H, Tarjan RE. Dynamic Perfect Hashing: Upper and Lower Bounds. SIAM Journal on Computing. 1994:738-761. doi:10.1137/s0097539791194094
LibreCat | DOI
 
1994 | Journal Article | LibreCat-ID: 16817
Domik-Kienegger G. Visualization education. Comput Graph. 1994;18(3):277-280. doi:10.1016/0097-8493(94)90026-4
LibreCat | DOI
 
1994 | Conference Paper | LibreCat-ID: 2452
Simon J. Leistung eines Parallelrechners auf Basis des PowerPC-Prozessors. In: Parallele Datenverarbeitung Aktuell: TAT ’94. Transputer and Occam Engineering Series. Amsterdam: IOS Press; 1994:38-45.
LibreCat
 
1994 | Journal Article | LibreCat-ID: 3068
Gries T, Hentschel C, Wigger B. Endogenous Growth and R&D Models - A Critical Appraisal of Recent Developments. Jahrbücher für Nationalökonomie und Statistik. 1994;213/1:64-84.
LibreCat
 
1994 | Journal Article | LibreCat-ID: 7407
Löhr-Richter P, Engels G. Visuelles Spezifizieren von komplexen Aktionen auf Datenbankstrukturen. GI-Datenbank Rundbrief. 1994;13:33-35.
LibreCat
 
1994 | Conference (Editor) | LibreCat-ID: 7798
Cuny J, Ehrig H, Engels G, Rozenberg G, eds. Graph Gramars and Their Application to Computer Science, 5th International Workshop (1994), Selected Papers. Vol 1073. Berlin/Heidelberg: Springer; 1994. doi:http://dx.doi.org/10.1007/3-540-61228-9
LibreCat | DOI
 
1994 | Conference Paper | LibreCat-ID: 8094
Krauter S, Hanitsch R. Einfluß optischer und thermischer Parameter auf den Tageswirkungsgrad von photovoltaischen Modulen. In: Neuntes Internationales Sonnenforum, Berlin (Deutschland), 28. Juni – 1. Juli 1994, S. 495–502. ; 1994.
LibreCat
 
1994 | Conference Paper | LibreCat-ID: 8265
Engels G, Löhr P. Visual Specification of Complex Database Actions. In: Proceedings of the 2nd International East/West Database Workshop, Klagenfurt (Germany). Berlin/Heidelberg: Springer; 1994:303-314.
LibreCat
 
1994 | Book | LibreCat-ID: 17303
Fuchssteiner B, Gottheil K, Kemper A, et al. MuPAD: Multi Processing Algebra Data Tool; Tutorial. Basel-Boston-Berlin: Birkhäuser; 1994.
LibreCat
 
1994 | Book Chapter | LibreCat-ID: 17485
Peckhaus V. Bibliographie der Werke Kurt Grellings. In: Danneberg L, Kamlah A, Schäfer L, eds. Hans Reichenbach und die Berliner Gruppe. Braunschweig: Friedr. Vieweg & Sohn; 1994:74-86.
LibreCat
 
1994 | Book Chapter | LibreCat-ID: 17834
Peckhaus V. Ernst Schröder. In: Modern Logic Calendar 1994. ; 1994:November.
LibreCat
 
1994 | Journal Article | LibreCat-ID: 17841
Peckhaus V. Rüstow’s Thesis on Russell’s Paradox (Abdruck von “Alexander Rüstow’s Thesis”, Beitrag für  russell-l@mcmail.cis.mcmaster am 17. Juni 1994). History of Logic Newsletter. 1994;13(September-Oktober 1994):2-3.
LibreCat
 
1994 | Misc | LibreCat-ID: 17896
Peckhaus V. 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
Peckhaus V. Logic in Transition: The Logical Calculi of Hilbert (1905) and Zermelo (1908). In: Prawitz D, Westerståhl D, eds. Logic and Philosophy of Science in Uppsala. Papers from the 9th International Congress of Logic, Methodology and Philosophy of Science. Vol 236. Synthese Library. Dordrecht/Boston/London: Kluwer; 1994:311-323.
LibreCat
 
1994 | Book (Editor) | LibreCat-ID: 18433
Tophinke D, ed. Sprachbiographie und Sprachstörung. Fallstudien zur Textproduktion bei hirnorganischen Erkrankungen. Wiesbaden: DUV (zugleich Dissertation Osnabrück 1991); 1994.
LibreCat
 
1994 | Book Chapter | LibreCat-ID: 19417
Eke NO. Vergangene Zeiten. Anmerkungen zur Semantik des Umbruchs und zu den Bedeutungsstrukturen im historischen Erzählen der frühen Restaurationszeit (1815-1830). In: Eke NO, Steinecke H, eds. Geschichten aus (der) Geschichte. Zum Stand des historischen Erzählens im Deutschland der frühen Restaurationszeit. München: Fink; 1994:17-58.
LibreCat
 
1994 | Conference Paper | LibreCat-ID: 13059
Hellebrand S, Wunderlich H-J. Synthese schneller selbsttestbarer Steuerwerke. In: {Tagungsband Der GI/GME/ITG-Fachtagung \& Rechnergestützter Entwurf Und Architektur Mikroelektronischer Systeme}. Oberwiesenthal, Informatik Xpress 4, TU Chemnitz Zwickau, Germany; 1994:3-11.
LibreCat
 
1994 | Misc | LibreCat-ID: 13085
Hellebrand S, Paulo Teixeira J, Wunderlich H-J. Synthesis for Testability - the ARCHIMEDES Approach. 1st IEEE International Test Synthesis Workshop, Santa Barbara, CA, USA; 1994.
LibreCat
 
1994 | Conference Paper | LibreCat-ID: 8095
Krauter S, Hanitsch R, Wenham SR. Simulation of Thermal and Optical Performance of PV Modules. In: Proceedings of the 3rd World Renewable Energy Congress, Reading (UK), 11.–16. September 1994. ; 1994.
LibreCat
 
1994 | Journal Article | LibreCat-ID: 16541
Dellnitz M, Melbourne I. Generic movement of eigenvalues for equivariant self-adjoint matrices. Journal of Computational and Applied Mathematics. 1994:249-259. doi:10.1016/0377-0427(94)90032-9
LibreCat | DOI
 
1994 | Book Chapter | LibreCat-ID: 17481
Peckhaus V. Von Nelson zu Reichenbach. Kurt Grelling in Göttingen und Berlin. In: Danneberg L, Kamlah A, Schäfer L, eds. Hans Reichenbach und die Berliner Gruppe. Braunschweig/Wiesbaden: Friedr. Vieweg & Sohn; 1994:53-73.
LibreCat
 
1994 | Journal Article | LibreCat-ID: 17486
Peckhaus V. Benno Kerry. Beiträge zu seiner Biographie. History and Philosophy of Logic. 1994;15:1-8.
LibreCat
 
1994 | Book (Editor) | LibreCat-ID: 19088
Eke NO, Steinecke H, eds. Geschichten aus (der) Geschichte. Zum Stand des historischen Erzählens im Deutschland der frühen Restaurationszeit. München: Fink; 1994.
LibreCat
 
1994 | Book Chapter | LibreCat-ID: 19418
Eke NO, Steinecke H. Der historische Roman der frühen Restaurationszeit. Zur Einführung. In: Eke NO, Steinecke H, eds. Geschichten aus (der) Geschichte. Zum Stand des historischen Erzählens im Deutschland der frühen Restaurationszeit. München: Fink; 1994:7-16.
LibreCat
 
1994 | Report | LibreCat-ID: 13024
Hellebrand S, Juergensen A, Wunderlich H-J. Synthesis for Off-Line Testability. University of Siegen, Germany; 1994.
LibreCat
 
1994 | Journal Article | LibreCat-ID: 13853
Bechstedt F, Schmidt WG, Wenzien B. Energetics and Structure of Ordered Sb Overlayers and Sb Clusters on GaAs(110) Probed by Ab Initio Calculations. Europhysics Letters (EPL). 1994;25(5):357-362. doi:10.1209/0295-5075/25/5/008
LibreCat | DOI
 
1994 | Conference Paper | LibreCat-ID: 15296
Hüllermeier E. Approximate solution of a linear programming problem using a modified perceptron-algorithm. In: Zimmermann HJ, ed. In Proceedings EUFIT-94 2nd European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany. ; 1994:195-199.
LibreCat
 
1994 | Journal Article | LibreCat-ID: 1660
Krimphove D. Die Mitwirkungsrechte gemäß Betriebsverfassung. Arbeit und Arbeitsrecht (AuA). 1994;(Heft 4):215 ff.
LibreCat
 
1994 | Book Chapter | LibreCat-ID: 7512
Ebert J, Engels G. Design Representation. In: Encyclopedia of Software Engineering. John Wiley & Sons, Inc.; 1994:382-394.
LibreCat
 
1994 | Conference Paper | LibreCat-ID: 8096
Krauter S. Actual Optical and Thermal Performance of PV-Modules. In: Proceedings of the 1st World Conference on Photovoltaic Energy Conversion (Joint Congress of IEEE/PVSEC/EUPVSEC), Waikoloa, Hawaii (USA), 5.–9. Dezember 1994, S. 734–737. ; 1994.
LibreCat
 
1994 | Conference Paper | LibreCat-ID: 7827
Thoben W, Appelrath H-J, Rettig J, Sauer S. Berücksichtigung von Datenschutzaspekten in einem bevölkerungsbezogenen Krebsregister. In: Proceedings of the Conference on Medizin Und Information, Biometrie Und Epidemiologie (GMDS 1994), Dresden (Germany). München: MMV Medizin Verlag; 1994:88-90.
LibreCat
 
1994 | Conference Paper | LibreCat-ID: 16819
Domik-Kienegger G, Gutkauf B. User Modeling for Adaptive Visualization Systems. In: Daniel Bergeron R, E. Kaufman A, eds. Proceedings IEEE Visualization ’94, Washington, DC, USA, October 17-21, 1994. IEEE Computer Society; 1994:217-223. doi:10.1109/VISUAL.1994.346316
LibreCat | DOI
 
1994 | Journal Article | LibreCat-ID: 17014
Dellnitz M. Collisions of chaotic attractors. Schlaglichter der Forschung: Zum 75 Jahrestag der Universität Hamburg. 1994:411-428.
LibreCat
 
1994 | Book Chapter | LibreCat-ID: 17305
Morisse K, Oevel G. MuPAD - new developments and their applications. In: Computer Algebra in Science and Engineering. World Scientific; 1994.
LibreCat
 
1994 | Conference Paper | LibreCat-ID: 17487
Peckhaus V. Leibniz als Identifikationsfigur der britischen Logiker des 19. Jahrhunderts. In: Gottfried-Wilhelm-Leibniz-Gesellschaft, ed. VI. Internationalen Leibniz-Kongreß. Vorträge I. Teil, Hannover, 18.–22.7.1994. Hannover; 1994:589-596.
LibreCat
 
1994 | Book | LibreCat-ID: 19022
Eke NO, Olasz-Eke D. Der deutsche Roman 1815-1830. Bibliographie. Standortverzeichnisse, Rezensionen, Forschungsüberblick. München: Fink; 1994.
LibreCat
 
1993 | Conference Paper | LibreCat-ID: 11788
Haeb-Umbach R, Geller D, Ney H. Improvements in Connected Digit Recognition Using Linear Discriminant Analysis and Mixture Densities. In: ICASSP, Minneapolis. ; 1993.
LibreCat | Download (ext.)
 
1993 | Conference Paper | LibreCat-ID: 11904
Steinbiss V, Ney H, Haeb-Umbach R, et al. The Philips Research System for Large-Vocabulary Continuous-Speech Recognition. In: EUROSPEECH, Berlin. ; 1993.
LibreCat | Download (ext.)
 
1993 | Misc | LibreCat-ID: 13082
Hellebrand S, Wunderlich H-J. Synthesis of Self-Testable Controllers. ARCHIMEDES Open Workshop on “Synthesis - Architectural Testability Support”, Montpellier, France; 1993.
LibreCat
 
1993 | Conference Paper | LibreCat-ID: 13467
Platzner M, Steger C, Weiss R. Performance Measurements on a Multi-DSP Architecture with TMS320C40. In: Proceedings of the 4th International Conference on Signal Processing Applications & Technology (ICSPAT). DSP Associates; 1993.
LibreCat
 
1993 | Journal Article | LibreCat-ID: 15273
Domik G. Guidelines for a curriculum in scientific visualization. Computers \& Graphics. 1993;17(2):185-191.
LibreCat
 
1993 | Journal Article | LibreCat-ID: 15045
Domik G. An Agenda for Education in Scientific Visualization, Visualization’92 Workshop Report. COMPUTER GRAPHICS-NEW YORK-ASSOCIATION FOR COMPUTING MACHINERY-. 1993;27:6-6.
LibreCat
 
1993 | Report | LibreCat-ID: 2455
Diekmann R, Lüling R, Simon J. Problem Independent Distributed Simulated Annealing and Its Applications. Paderborn Center for Parallel Computing; 1993.
LibreCat
 
1993 | Journal Article | LibreCat-ID: 8895
Sextro W, Schmalhorst B. Static Behaviour of Drill Strings in Curved Boreholes. Zeitschrift für angewandte Mathematik und Mechanik (ZAMM). 1993;73:255-257.
LibreCat
 
1993 | Conference Paper | LibreCat-ID: 17476
Peckhaus V. Ernst Schröder und der Logizismus. In: Stelzner W, ed. Philosophie und Logik. Frege-Kolloquien Jena 1989/1991. Vol 3. Perspektiven der Analytischen Philosophie. Berlin/New York: Walter de Gruyter; 1993:108-119.
LibreCat
 
1993 | Book Chapter | LibreCat-ID: 18429
Maas U, Frankenbusch M, Johannlückens R, Stöwer-Gaus U, Striezel M, Tophinke D. Sprachentwicklung in Geschichte und Gegenwart. In: Bade u. a. KJ, ed. Damme. Eine Stadt in ihrer Geschichte. Sigmaringen: Thorbecke; 1993:533-559.
LibreCat
 
1993 | Book | LibreCat-ID: 19148
Eke NO, Oellers N, Skrodzki KJ, Steinecke H. Nikolaus Lenau. Werke und Briefe. Historisch-kritische Gesamtausgabe. Bd. 7. Aufzeichnungen. Vermischte Schriften. Text und Kommentar (Edition). Wien: Deuticke, Klett-Cotta; 1993.
LibreCat
 
1993 | Book Chapter | LibreCat-ID: 19427
Eke NO. Rettung des Sinns. Jaákobs Traum und das Projekt einer Geschichtstheodizee. In: Eke NO, Helmes G, eds. Richard Beer-Hofmann (1866-1945). Studien zu seinem Werk. Würzburg: Königshausen & Neumann; 1993:128-155.
LibreCat
 
1993 | Journal Article | LibreCat-ID: 19814
Flögel A, Kleine Büning H, Lettmann T. On the restricted equivalence for subclasses of propositional logic. RAIRO - Theoretical Informatics and Applications. 1993:327-340. doi:10.1051/ita/1993270403271
LibreCat | DOI
 
1993 | Journal Article | LibreCat-ID: 1655
Krimphove D. Anmerkungen zum Manteltarifvertrag der Banken - Eine Kommentierung des Manteltarifvertrages des Bankgewerbes 1993. Bankkalender 1994. 1993;(19. Lieferung):157 ff.
LibreCat
 
1993 | Conference Paper | LibreCat-ID: 16828
Domik-Kienegger G. Education in Scientific Visualization. In: D. Franklin S, R. Stubberud A, P. Wiedeman L, 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. Vol {A-48}. {IFIP} Transactions. North-Holland; 1993:25-32.
LibreCat
 
1993 | Book Chapter | LibreCat-ID: 2456
Diekmann R, Simon J. Problem Independent Distributed Simulated Annealing and its Applications. In: Applied Simulated Annealing. Vol 396. Lecture Notes in Economics and Mathematical Systems (LNE). Berlin / Heidelberg: Springer; 1993:17-44. doi:10.1007/978-3-642-46787-5_2
LibreCat | DOI
 
1993 | Journal Article | LibreCat-ID: 16633
Melbourne I, Dellnitz M. Normal forms for linear Hamiltonian vector fields commuting with the action of a compact Lie group. Mathematical Proceedings of the Cambridge Philosophical Society. 1993:235-268. doi:10.1017/s0305004100071577
LibreCat | DOI
 
1993 | Journal Article | LibreCat-ID: 16518
Barany E, Dellnitz M, Golubitsky M. Detecting the symmetry of attractors. Physica D: Nonlinear Phenomena. 1993:66-87. doi:10.1016/0167-2789(93)90198-a
LibreCat | DOI
 
1993 | Book | LibreCat-ID: 17302
Fuchssteiner B, Wiwianka W, Gottheil K, et al. MuPAD: Multi Processing Algebra Data Tool; Benutzerhandbuch; MuPAD Version 1.1. Basel-Boston-Berlin: Birkhäuser; 1993.
LibreCat
 
1993 | Book (Editor) | LibreCat-ID: 17477
Meyer auf der Heide F, Monien B, Rosenberg AL, eds. Parallel Architectures and Their Efficient Use. Berlin, Heidelberg: Springer; 1993. doi:10.1007/3-540-56731-3
LibreCat | DOI
 
1993 | Book | LibreCat-ID: 19137
Eke NO. Stanislaw Przybyszewski: Schnee und andere Dramen (Edition). Vol 5. Paderborn: Igel; 1993.
LibreCat
 
1993 | Book Chapter | LibreCat-ID: 19428
Eke NO, Helmes G. Richard Beer-Hofmann – Zur Einführung. In: Eke NO, Helmes G, eds. Richard Beer-Hofmann (1866-1945). Studien zu seinem Werk. Würzburg: Königshausen & Neumann; 1993:7-10.
LibreCat
 
1993 | Journal Article | LibreCat-ID: 19430
Eke NO. Eine Gesamtbibliographie des deutschen Romans 1815-1830. Anmerkungen zum Problemfeld von Bibliographie und Historiographie. Zeitschrift für Germanistik. 1993;NF III(H. 2):295-308.
LibreCat
 
1993 | Conference Paper | LibreCat-ID: 13015
Venkataraman S, Rajski J, Hellebrand S, Tarnick S. An Efficient Bist Scheme Based On Reseeding Of Multiple Polynomial Linear Feedback Shift Registers. In: {ACM/IEEE International Conference on Computer Aided Design (ICCAD’93)}. {IEEE (Comput. Soc. Press)}; 1993. doi:10.1109/iccad.1993.580117
LibreCat | DOI
 
1993 | Conference Paper | LibreCat-ID: 15275
Domik G, Joslyn C, Segura T. Macroscopic and Microscopic Aspects of Glyphs. In: Proceedings of the Vienna Conference on Human Computer Interaction. ; 1993.
LibreCat
 
1993 | Book Chapter | LibreCat-ID: 16730
Meyer auf der Heide F, Oesterdiekhoff B, Wanka R. Strongly adaptive token distribution. In: Automata, Languages and Programming. Berlin, Heidelberg; 1993. doi:10.1007/3-540-56939-1_89
LibreCat | DOI
 
1993 | Journal Article | LibreCat-ID: 1656
Krimphove D. Erzeugergemeinschaften: Wettbewerbsrechtliche  Möglichkeiten zur Unternehmenskooperation in der Landwirtschaft. Recht der Landwirtschaft. 1993;(Januar-Heft):4 ff.
LibreCat
 
1993 | Report | LibreCat-ID: 8190
Andries M, Engels G. A Hybrid Query Language for the Extended Entity Relationship Model. Vakgroep Informatica, Rijksuniversiteit Leiden; 1993.
LibreCat
 
1993 | Conference Paper | LibreCat-ID: 16906
Domik-Kienegger G. Scientific Visualization. In: Maurer H, ed. Proceedings of ED Media ’93. ; 1993.
LibreCat
 
1993 | Journal Article | LibreCat-ID: 16634
Melbourne I, Dellnitz M, Golubitsky M. The structure of symmetric attractors. Archive for Rational Mechanics and Analysis. 1993:75-98. doi:10.1007/bf00386369
LibreCat | DOI
 
1993 | Book Chapter | LibreCat-ID: 17478
Peckhaus V. Kurt Grelling und der Logische Empirismus. In: Haller R, Stadler F, eds. Wien—Berlin—Prag. Der Aufstieg der wissenschaftlichen Philosophie. Zentenarien Rudolf Carnap–Hans Reichenbach–Edgar Zilsel. Vol 2. Veröffentlichungen des Instituts Wiener Kreis. Wien: Hölder-Pichler-Tempsky; 1993:362-385.
LibreCat
 
1993 | Book Chapter | LibreCat-ID: 19429
Eke NO. „Freiheit ist nur in dem Reich der Träume“. Revolutionsprojektionen deutscher Dramen nach 1789. Ein historischer Aufriß (mit einem Ausblick bis zum Nachmärz). In: Grabbe Jahrbuch 12. ; 1993:24-60.
LibreCat
 
1993 | Book Chapter | LibreCat-ID: 19431
Eke NO. „Deutschland ortlos“. Dekonstruktionen des Nationalen bei Heiner Müller. In: Scheuer H, ed. Dichter und ihre Nation. Frankfurt a. M.: Suhrkamp; 1993:490-506.
LibreCat
 
1993 | Journal Article | LibreCat-ID: 13857
Schmidt WG, Srivastava GP. Chemisorption of aluminium on GaAs(110). Journal of Physics: Condensed Matter. 1993;5(49):9025-9036. doi:10.1088/0953-8984/5/49/005
LibreCat | DOI
 
1993 | Journal Article | LibreCat-ID: 1657
Krimphove D. Neuer europäischer Schutz von Marken- und Herkunftszeichen in der Landwirtschaft. Agrarrecht. 1993;(Heft 1):7 ff.
LibreCat
 
1993 | Conference Paper | LibreCat-ID: 16731
Dietzfelbinger M, Meyer auf der Heide F. Simple, efficient shared memory simulations. In: Proceedings of the Fifth Annual ACM Symposium on Parallel Algorithms and Architectures  - SPAA ’93. ; 1993. doi:10.1145/165231.165246
LibreCat | DOI
 
1993 | Journal Article | LibreCat-ID: 16729
Dietzfelbinger M, Meyer auf der Heide F. An Optimal Parallel Dictionary. Information and Computation. 1993:196-217. doi:10.1006/inco.1993.1007
LibreCat | DOI
 
1993 | Report | LibreCat-ID: 2453
Simon J. Benutzung Virtueller Topologien Unter PARIX. Paderborn Center for Parallel Computing; 1993.
LibreCat
 
1993 | Report | LibreCat-ID: 3045
Blömer J. 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
Gries T, Wigger B. The Dynamics of Upgrading or how to catch-up. Economia Internationale. 1993;46(4):3-13.
LibreCat
 
1993 | Conference Paper | LibreCat-ID: 7826
Engels G, Verrijn-Stuart AA. Integrationsaspekte bei verteilter Software-Entwicklung. In: Fortschritt-Berichte VDI. Reihe 10: Informatik/Kommunikationstechnik. VDI Verlag; 1993:45-53.
LibreCat
 
1993 | Conference Paper | LibreCat-ID: 8090
Krauter S, Hanitsch R. Optical and Thermal Parameters of PV-Module Encapsulation Improving Output Power. In: Proceedings of the ISES Solar World Congress 1993, Budapest (Ungarn), 23.–27. August 1993, Band 3, S. 249–254. ; 1993.
LibreCat
 
1993 | Report | LibreCat-ID: 8191
Ehrig H, Engels G. Towards a Module Concept for Graph Transformation Systems. Vakgroep Informatica, Rijksuniversiteit Leiden; 1993.
LibreCat
 
1993 | Journal Article | LibreCat-ID: 17013
Dellnitz M. The equivariant Darboux theorem. Lectures in Applied Mathematics. 1993;29:163-169.
LibreCat
 
1993 | Conference Paper | LibreCat-ID: 17479
Kastens U, Meyer auf der Heide F, Wachsmann A, Wichmann F. OCCAM-light: A Language Combining Shared Memory and Message Passing (A First Report). In: Proc. 3rd PASA Workshop, PARS Mitteilungen. ; 1993:50-55.
LibreCat
 
1993 | Book (Editor) | LibreCat-ID: 19090
Eke NO, Helmes G, eds. Richard Beer-Hofmann (1866-1945). Studien zu seinem Werk. Würzburg: Königshausen & Neumann; 1993.
LibreCat
 
1993 | Conference Paper | LibreCat-ID: 11718
Aubert XL, Haeb-Umbach R, Ney H. Continuous Mixture Densities and Linear Discriminant Analysis for Improved Context-Dependent Acoustic Models. In: ICASSP, Minneapolis. ; 1993.
LibreCat | Download (ext.)
 
1993 | Journal Article | LibreCat-ID: 11749
Dobler S, Geller D, Haeb-Umbach R, Meyer P, Ney H, Ruehl HW. Design and use of speech recognition algorithms for a mobile radio telephone. Speech Communication. 1993.
LibreCat
 
1993 | Misc | LibreCat-ID: 13081
Hellebrand S, Tarnick S, Rajski J, Courtois B. 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
Platzner M, Steger C. Erfahrungen mit einer Multi-Signalprozessorarchitektur (TMS320C40). Mikroelektronik. 1993.
LibreCat
 
1993 | Journal Article | LibreCat-ID: 13858
Schmidt WG, Wenzien B, Bechstedt F. AB initio calculation of the atomic and electronic structure for Sb adsorbed on GaAs(110). Czechoslovak Journal of Physics. 1993;43(9-10):1003-1007. doi:10.1007/bf01595293
LibreCat | DOI
 
1993 | Book Chapter | LibreCat-ID: 15570
Hagengruber R. Punkt und Mathematik in der Metaphysik des Tommaso Campanella. In: Albertini T, ed. Verum et Factum. Beiträge zur Geistesgeschichte und Philosophie der Renaissance. Festschrift zum 60. Geburtstag von Stephan Otto. Frankfurt u.a.: Peter Lang; 1993:505-514.
LibreCat
 
1993 | Journal Article | LibreCat-ID: 1658
Krimphove D. Europäisches Arbeitsrecht. Europäische Zeitschrift für Wirtschaftsrecht (EuZW). 1993;(Mai):244 ff.
LibreCat
 
1993 | Book Chapter | LibreCat-ID: 16732
Lürwer-Brüggemeier K, Meyer auf der Heide F. Capabilities and complexity of computations with integer division. In: Lecture Notes in Computer Science. Berlin, Heidelberg; 1993. doi:10.1007/3-540-56503-5_46
LibreCat | DOI
 
1993 | Report | LibreCat-ID: 2454
Röttger M, Simon J, Schroeder U-P. Virtual Topology Library for PARIX. Paderborn Center for Parallel Computing; 1993.
LibreCat
 
1993 | Conference Paper | LibreCat-ID: 8089
Krauter S, Hanitsch R. Calculating the Influence of Skylight-Polarization on the Transmission of Encapsulations of PV-Modules. In: Proceedings of the Cairo International Conference of Renewable Energy Sources, Kairo (Ägypten), 30. Dezember 1992 – 2. Januar 1993. ; 1993.
LibreCat
 
1993 | Book | LibreCat-ID: 8091
Krauter S. Betriebsmodell Der Optischen, Thermischen Und Elektrischen Parameter von PV-Modulen. Berlin: Verlag Köster; 1993.
LibreCat
 
1993 | Report | LibreCat-ID: 8192
Engels G, Rozenberg G. Abstracts COMPUGRAPH II Workshop. Vakgroep Informatica, Rijksuniversiteit Leiden; 1993.
LibreCat
 
1993 | Conference Paper | LibreCat-ID: 8262
Engels G, Groenewegen L. Modular, Visual Specifications of Software Processes. In: Proceedings of the Workshop on Software Process (ISPW 1993), Wadern (Germany). Washington, DC, USA: IEEE Computer Society; 1993:66-68.
LibreCat
 
1993 | Book Review | LibreCat-ID: 17761
Peckhaus V. Arie L. Molendijk, Aus dem Dunklen ins Helle. Wissenschaft und Theologie im Denken von Heinrich Scholz. Mit unveröffentlichten Thesenreihen von Heinrich Scholz und Karl Barth, Rodopi: Amsterdam/Atlanta, GA 1991 (= Amsterdam Studies in Theology; VIII). History and Philosophy of Logic. 1993;14:101-107 (Essay review).
LibreCat
 
1993 | Book Review | LibreCat-ID: 17773
Peckhaus V. Ein Jahrhundert Mathematik 1890–1990. Festschrift zum Jubiläum der DMV, hg. v. Gerd Fischer/Friedrich Hirzebruch/Winfried Scharlau/Willi Törnig, Friedrich Vieweg & Sohn: Braunschweig/Wiesbaden 1990 (= Dokumente zur Geschichte der Mathematik; 6). Modern Logic. 1993;3:311-320.
LibreCat
 
1993 | Conference Abstract | LibreCat-ID: 17831
Peckhaus V. The Development of Ernst Schröder’s Attitude towards Logic [Abstract]. In: Hormigon M, Ausejo E, Dhombres J, eds. XIXth International Congress of History of Science. 22–29 August 1993 Zaragoza (Spain). Book of Abstracts Symposia. Vol Nr. 4.2. o.O.u.J. (Zaragoza); 1993.
LibreCat
 
1993 | Conference Abstract | LibreCat-ID: 17829
Peckhaus V. Leibniz’ ,Mathesis universalis‘ und die Mathematiker des 19. Jahrhunderts [Abstract]. In: Toepell M, ed. Fachsektion Geschichte der Mathematik der Deutschen Mathematiker-Vereinigung. Sektionstagung vom 22. bis 26. März 1993 in Wuppertal. München; 1993:30-31.
LibreCat
 
1993 | Book Chapter | LibreCat-ID: 18430
Maas U, Tophinke D. Loser und fester Anschluß. Versuch der Neubewertung einer abgelegten Kategorie. In: Schmidt-Radefeld J, Harder A, eds. Sprachwandel und Sprachgeschichte. FS für Helmut Lüdtke. Tübingen: Narr; 1993:133-151.
LibreCat
 
1993 | Journal Article | LibreCat-ID: 19046
Peckhaus V. Fotografie: Ivor Grattan-Guinness (Erlangen, 21.2.1989). The Mathematical Intelligencer. 1993;15(4).
LibreCat
 
1992 | Conference Paper | LibreCat-ID: 11719
Aubert XL, Ney H, Haeb-Umbach R. The Philips Research System for Continuous-Speech Recognition: Overview and Evaluation on the DRAPA RM Task. In: DRAPA Speech Workshop. ; 1992.
LibreCat
 
1992 | Conference Paper | LibreCat-ID: 11769
Geller D, Haeb-Umbach R, Ney H. Improvements in Speech Recognition for Voice Dialling in the Car Environment. In: ESCA Workshop on Speech Recognition in Adverse Conditions, Cannes-Mandelieu. ; 1992.
LibreCat
 
1992 | Conference Paper | LibreCat-ID: 11877
Ney H, Haeb-Umbach R, Tran BH, Oerder M. Improvements in Beam Search for 10,000-Word-Continuous Speech Recognition. In: ICASSP, San Francisco. ; 1992.
LibreCat | Download (ext.)
 
1992 | Book Chapter | LibreCat-ID: 1717
Krimphove D. Die Auswirkungen des Betriebsüberganges nach § 613 a BGB auf die Rechte der Arbeitnehmer. In: Ohlmeyer D, Philipowski R, eds. Die Verschmelzung von Genossenschaften - Insbesondere von Kreditgenossenschaften. 5th ed. Wiesbaden: DG-Verlag; 1992:163-168.
LibreCat
 
1992 | Book Chapter | LibreCat-ID: 16733
Dietzfelbinger M, Meyer auf der Heide F. High performance universal hashing, with applications to shared memory simulations. In: Data Structures and Efficient Algorithms. Berlin, Heidelberg; 1992. doi:10.1007/3-540-55488-2_31
LibreCat | DOI
 
1992 | Conference Paper | LibreCat-ID: 3047
Blömer J. How to denest Ramanujan’s nested radicals. In: Proceedings., 33rd Annual Symposium on Foundations of Computer Science. IEEE; 1992. doi:10.1109/sfcs.1992.267807
LibreCat | DOI
 
1992 | Journal Article | LibreCat-ID: 16548
Dellnitz M, Melbourne I, Marsden JE. Generic bifurcation of Hamiltonian vector fields with symmetry. Nonlinearity. 1992:979-996. doi:10.1088/0951-7715/5/4/008
LibreCat | DOI
 
1992 | Journal Article | LibreCat-ID: 17301
Oevel G, Fuchssteiner B. A unified Approach to Action-Angle Variables of Real and Complex Multisolitons. Physica. 1992;181A:364-384.
LibreCat
 
1992 | Journal Article | LibreCat-ID: 18936
Kutylowski M, Wanka R. Periodic Sorting on Two-Dimensional Meshes. Parallel Processing Letters 2. 1992:213-220. doi:10.1142/s0129626492000349
LibreCat | DOI
 
1992 | Book | LibreCat-ID: 19150
Eke NO, Vizkelety A, Skrodzki KJ, Steinecke H. Nikolaus Lenau. Werke und Briefe. Historisch-kritische Gesamtausgabe. Bd. 5,2: Briefe 1812-1837. Teil 2: Anmerkungen (Edition). Wien: Österreichischer Bundesverlag, Klett-Cotta; 1992.
LibreCat
 
1992 | Encyclopedia Article | LibreCat-ID: 19496
Eke NO. Alexander von Württemberg. In: Killy W, ed. Literatur Lexikon. Autoren und Werke deutscher Sprache. Bd. 12. Vol 12. Gütersloh, München; 1992:448.
LibreCat
 
1992 | Misc | LibreCat-ID: 13076
Hellebrand S, Tarnick S, Rajski J, Courtois B. 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
Domik GO, Mickus-Miceli KD. Software design and development in a scientific environment: lessons learned during the development of STAR, an astrophysical analysis and visualization package. In: Astronomical Data Analysis Software and Systems I. Vol 25. ; 1992:95.
LibreCat
 
1992 | Journal Article | LibreCat-ID: 1650
Krimphove D. Die Bedeutung des Produkthaftungsrechtes für die Landwirtschaft . Recht der Landwirtschaft. 1992;(Juni-Heft):143 ff.
LibreCat
 
1992 | Book | LibreCat-ID: 1600
Krimphove D. Europäische Fusionskontrolle  . Köln: Carl Heymanns Verlag KG; 1992.
LibreCat
 
1992 | Book Chapter | LibreCat-ID: 16734
Meyer auf der Heide F. Hashing strategies for simulating shared memory on distributed memory machines. In: Lecture Notes in Computer Science. Berlin, Heidelberg; 1992. doi:10.1007/3-540-56731-3_3
LibreCat | DOI
 
1992 | Conference Paper | LibreCat-ID: 8086
Krauter S, Hanitsch R. Reflexionsverringerung an PV-Modulen durch partiell strukturierte Deckgläser. In: Tagungsband Des Achten Internationalen Sonnenforums, Berlin (Deutschland), 30. Juni – 3. Juli 1992, S. 736–741. ; 1992.
LibreCat
 
1992 | Conference Abstract | LibreCat-ID: 17826
Peckhaus V. Arithmetik — Logik — absolute Algebra. E. Schröders Suche nach einer universalen Theorie der Verknüpfungen [Abstract]. In: Deutsche Mathematiker-Vereinigung. Jahrestagung 13.–18.9.1992 in Berlin. Vortragsauszüge. o.O.u.J. (Berlin); 1992:40.
LibreCat
 
1992 | Book | LibreCat-ID: 19149
Eke NO, Oellers N, Skrodzki KJ, Steinecke H. Nikolaus Lenau. Werke und Briefe. Historisch-kritische Gesamtausgabe. Bd. 6,2: Briefe 1838-1847. Teil 2: Anmerkungen (Edition). Wien: Deuticke, Klett-Cotta; 1992.
LibreCat
 
1992 | Book Chapter | LibreCat-ID: 19714
Büker P. Kurzleitfaden zum wissenschaftlichen Arbeiten. In: Prengel A, ed. Studienführer Lehramtsstudiengang Primarstufenpädagogik . Universität-Gesamthochschule Paderborn; 1992:145-156.
LibreCat
 
1992 | Conference Paper | LibreCat-ID: 10201
Steffen E. Complexity results for the default- and autoepistemic logic. In: Börger E, ed. Computer Science Logic . Vol 626. Springer Berlin Heidelberg; 1992:339-352.
LibreCat
 
1992 | Journal Article | LibreCat-ID: 11792
Haeb-Umbach R, Lynch R. Trellis codes for partial-response magnetooptical direct overwrite recording. IEEE Journal on Selected Areas in Communications. 1992.
LibreCat
 
1992 | Conference Paper | LibreCat-ID: 11797
Haeb-Umbach R, Ney H. Linear Discriminant Analysis for Improved Large Vocabulary Continuous Speech Recognition. In: ICASSP, San Francisco. ; 1992.
LibreCat | Download (ext.)
 
1992 | Conference Paper | LibreCat-ID: 15042
Domik G. Visualization of Multi-dimensional Arrays in Astronomy. In: European Southern Observatory Conference and Workshop Proceedings. Vol 43. ; 1992:249.
LibreCat
 
1992 | Book | LibreCat-ID: 1601
Krimphove D. Anlageberatung Das System Der Zivilrechtlichen Haftung von Kreditinstituten. Frankfurt: Peter Lang; 1992.
LibreCat
 
1992 | Journal Article | LibreCat-ID: 1651
Krimphove D. Die eingetragene Genossenschaft als Gesellschafts- und Unternehmensform. Recht der Landwirtschaft. 1992;(Oktober-Heft):255 ff.
LibreCat
 
1992 | Book Chapter | LibreCat-ID: 16735
Meyer auf der Heide F, Pham HT. On the performance of networks with multiple busses. In: STACS 92. Berlin, Heidelberg; 1992. doi:10.1007/3-540-55210-3_176
LibreCat | DOI
 
1992 | Conference Paper | LibreCat-ID: 2457
Diekmann R, Simon J. Leistungssteigerung paralleler Systeme durch virtuelle Topologien. In: Abstraktband Des 4. Bundesweiten Transputer-Anwender-Treffens (TAT 92). ; 1992.
LibreCat
 
1992 | Conference Paper | LibreCat-ID: 7825
Koopman P, Groenewegen L, Engels G. Functional Description of Parallel Processes. In: Proceedings of the Conference SION Computing Science in the Netherlands (CSN ’92), The Netherlands. ; 1992:156-167.
LibreCat
 
1992 | Conference Paper | LibreCat-ID: 8087
Krauter S, Hanitsch R, Diwisch R, Diwisch N. Measuring the Heat–Transfer Coefficient of PV-Modules. In: ; 1992.
LibreCat
 
1992 | Conference Paper | LibreCat-ID: 8260
Engels G, Löhr-Richter P. CADDY: A Highly Integrated Environment to Support Conceptual Database Design. In: Proceedings of the Fifth International Workshop on Computer-Aided Software Engineering (CASE 1992), Montreal (Canada). Washington, DC, USA: IEEE Computer Society; 1992:19-22.
LibreCat
 
1992 | Journal Article | LibreCat-ID: 17012
Dellnitz M. Computational bifurcation of periodic solutions in systems with symmetry. IMA Journal of Numerical Analysis. 1992;12(3):429-455. doi:10.1093/imanum/12.3.429
LibreCat | DOI
 
1992 | Book | LibreCat-ID: 19025
Eke NO, Skrodzki KJ. Lenau-Chronik. „Und unterwegs erlahmen uns die Kräfte“. Wien: Deuticke, Klett-Cotta; 1992.
LibreCat
 
1992 | Conference Paper | LibreCat-ID: 13016
Hellebrand S, Tarnick S, Rajski J, Courtois B. Generation of Vector Patterns through Reseeding of Multiple-Polynomial Linear Feedback Shift Registers. In: {IEEE International Test Conference (ITC’92)}. Baltimore, MD, USA: {IEEE}; 1992:120-129. doi:10.1109/test.1992.527812
LibreCat | DOI
 
1992 | Report | LibreCat-ID: 13023
Hellebrand S, Tarnick S, Rajski J, Courtois B. Generation of Vector Patterns through Reseeding of Multiple-Polynomial LFSRs. Institut National Polytechnique de Grenoble, Grenoble, France; 1992.
LibreCat
 
1992 | Misc | LibreCat-ID: 13080
Hellebrand S, Tarnick S, Rajski J, Courtois B. 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
Ginthör R, Platzner M, Weiss R. Experimental Results to Interprocessor Communication in Distributed Transputer-Systems. In: Proceedings of the 1st Austrian-Hungarian Workshop on Transputer Applications. ; 1992:45-54.
LibreCat
 
1992 | Conference Paper | LibreCat-ID: 15252
Mickus-Miceli K, Domik G. An Enriched Framework for Multidisciplinary Data Analysis. In: Symposium on Intelligent Scientific Computation, American Association for Artificial Intelligence (AAAI), Fall 1992 Symposium Series, Cambridge MA, October. ; 1992.
LibreCat
 
1992 | Journal Article | LibreCat-ID: 1652
Krimphove D. Arbeitsrechtliche Aspekte der Verschmelzung von Genossenschaften . Sächsisches Genossenschaftsblatt . 1992;(11):50 ff.
LibreCat
 
1992 | Conference Paper | LibreCat-ID: 16736
Karp RM, Luby M, Meyer auf der Heide F. Efficient PRAM simulation on a distributed memory machine. In: Proceedings of the Twenty-Fourth Annual ACM Symposium on Theory of Computing  - STOC ’92. ; 1992. doi:10.1145/129712.129743
LibreCat | DOI
 
1992 | Conference Paper | LibreCat-ID: 2458
Diekmann R, Lüling R, Simon J. A General Purpose Distributed Implementation of Simulated Annealing. In: Proc. 13th IMACS World Congress on Computation and Applied Mathematics. ; 1992.
LibreCat
 
1992 | Conference Paper | LibreCat-ID: 2460
Diekmann R, Lüling R, Monien B, Simon J. Implementierung von Simulated Annealing auf Transputer-Systemen. In: Parallele Datenverarbeitung Mit Dem Transputer. Informatik aktuell. Berlin / Heidelberg: Springer; 1992:361-368. doi:10.1007/978-3-642-77447-8_48
LibreCat | DOI
 
1992 | Journal Article | LibreCat-ID: 7408
Hohenstein U, Engels G. SQL/EER - Syntax and Semantics of an Entity-Relationship-Based Query Language. Information Systems. 1992;17(3):209-242. doi:http://dx.doi.org/10.1016/0306-4379(92)90014-E
LibreCat | DOI
 
1992 | Journal Article | LibreCat-ID: 7410
Engels G, Gogolla M, Hohenstein U, et al. Conceptual Modelling of Database Applications Using an Extended ER Model. Data & Knowledge Engineering. 1992;9(2):157-204. doi:http://dx.doi.org/10.1016/0169-023X(92)90008-Y
LibreCat | DOI
 
1992 | Conference Paper | LibreCat-ID: 8083
Krauter S, Hanitsch R. Improvement of PV-Performance by Partly Structured Surfaces. In: Proceedings of the 6th Photovoltaic Science and Engineering Conference, New Delhi (Indien), 10.–14. Februar 1992, Vol 1, S. 1110. ; 1992.
LibreCat
 
1992 | Conference Paper | LibreCat-ID: 8088
Krauter S, Hanitsch R. Performance of a Partly Structured Surface at a PV-Module. In: Proceedings of the 11th European Photovoltaic Solar Energy Conference and Exhibition, Montreux (Schweiz), 12.–16. Oktober 1992, S. 1351–1354. ; 1992.
LibreCat
 
1992 | Report | LibreCat-ID: 8189
Engels G. Visual Specifications of Conceptual Database Schemata (Abstract). Leiden University; 1992.
LibreCat
 
1992 | Conference Paper | LibreCat-ID: 8261
Engels G, Groenewegen L. Specification of Coordinated Behaviour in the Software Development Process. In: Proceedings of the Second European Workshop on Software Process Technology (EWSPT 92), Trondheim, Norway. Vol 635. LNCS. Berlin/Heidelberg: Springer; 1992:58-60. doi:http://dx.doi.org/10.1007/BFb0017495
LibreCat | DOI
 
1992 | Journal Article | LibreCat-ID: 16907
Domik-Kienegger G. Design and Development of a Data Visualization System in a Workstation Environment. J Micorcomputer Applications. 1992;15:81-88.
LibreCat
 
1992 | Book Chapter | LibreCat-ID: 16546
Dellnitz M, Golubitsky M, Melbourne I. Mechanisms of Symmetry Creation. In: Bifurcation and Symmetry. Basel; 1992. doi:10.1007/978-3-0348-7536-3_9
LibreCat | DOI
 
1992 | Conference Abstract | LibreCat-ID: 17828
Peckhaus V. Wozu Algebra der Logik? Zum Lebenswerk von Ernst Schröder [Abstract]. In: Binder C, 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:55-59.
LibreCat
 
1992 | Journal Article | LibreCat-ID: 17474
Peckhaus V. Hilbert, Zermelo und die Institutionalisierung der mathematischen Logik in Deutschland. Berichte zur Wissenschaftsgeschichte. 1992;15:27-38.
LibreCat
 
1992 | Conference Paper | LibreCat-ID: 19432
Eke NO. „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". In: Schöwerling R, Steinecke H, Eke NO, Tiggesbäumker G, 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: Fink; 1992:87-103.
LibreCat
 
1992 | Book Chapter | LibreCat-ID: 19487
Eke NO. 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. In: von Wilpert G, Gühring A, eds. Erstausgaben deutscher Dichtung. Eine Bibliographie zur deutschen Literatur 1600-1900. 2., vollständig überarbeitete Auflage. Stuttgart; 1992:567, 601-602, 1292-1293.
LibreCat
 
1992 | Journal Article | LibreCat-ID: 11782
Haeb-Umbach R. A modified trellis coding technique for partial response channels. IEEE Transactions on Communications. 1992.
LibreCat
 
1992 | Journal Article | LibreCat-ID: 13017
Wunderlich H-J, Hellebrand S. The Pseudoexhaustive Test of Sequential Circuits. {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD)}. 1992;11(1):26-33. doi:10.1109/43.108616
LibreCat | DOI
 
1992 | Journal Article | LibreCat-ID: 1653
Krimphove D. Der Begriff des “Europäischen Marktes” im Lichte der Rechtssprechung des Europäischen Gerichtshofes und der Entscheidungspraxis  der Kommission der Europäischen Gemeinschaft. Europäisches Wirtschafts- & Steuerrrecht. 1992;(12):357 ff.
LibreCat
 
1992 | Book Chapter | LibreCat-ID: 16737
Dietzfelbinger M, Meyer auf der Heide F. Dynamic Hashing in Real Time. In: TEUBNER-TEXTE Zur Informatik. Wiesbaden; 1992. doi:10.1007/978-3-322-95233-2_7
LibreCat | DOI
 
1992 | Conference Paper | LibreCat-ID: 2459
Diekmann R, Lüling R, Simon J. A General Purpose Distributed Implementation of Simulated Annealing. In: Proc. IEEE Symp. on Parallel and Distributed Processing (SPDP). IEEE; 1992:94-101. doi:10.1109/SPDP.1992.242758
LibreCat | DOI
 
1992 | Book Chapter | LibreCat-ID: 3046
Alt H, Blömer J. Resemblance and symmetries of geometric patterns. In: Data Structures and Efficient Algorithms. Berlin, Heidelberg: Springer Berlin Heidelberg; 1992:1-24. doi:10.1007/3-540-55488-2_19
LibreCat | DOI
 
1992 | Journal Article | LibreCat-ID: 7409
Engels G, Lewerentz C, Nagl M, Schäfer W, Schürr A. Building Integrated Software Development Environments, Part I: Tool Specification. ACM Transactions on Software Engineering and Methodology (TOSEM). 1992;1(2):135-167.
LibreCat
 
1992 | Conference Paper | LibreCat-ID: 8084
Krauter S. Hinweise zur Modellbildung und Simulation des Strahlungseinfalls in PV-Module. In: Solar Energy Simulation Workshop Der DGS, Oldenburg (Deutschland). ; 1992.
LibreCat
 
1992 | Conference Paper | LibreCat-ID: 16908
Domik-Kienegger G. Designing User-Centered Interfaces for Astrophysical Software on User Interfaces for Astrophysical Software. In: Proceedings on User Interfaces for Astrophysical Software. Greenbeld, MD; 1992.
LibreCat
 
1992 | Book Chapter | LibreCat-ID: 16547
Dellnitz M, Marsden JE, Melbourne I, Scheurle J. Generic Bifurcations of Pendula. In: Bifurcation and Symmetry. Basel; 1992. doi:10.1007/978-3-0348-7536-3_10
LibreCat | DOI
 
1992 | Book Chapter | LibreCat-ID: 17177
Oevel G, Wagner M. Förderung von Studentinnen im Grundstudium. In: Ministerium für die Gleichstellung von Frau und Mann des Landes NRW, ed. Frauen in natur- und ingenieurwissenschaftlichen Berufen. Vol 17. Dokumente und Berichte. ; 1992.
LibreCat
 
1992 | Conference (Editor) | LibreCat-ID: 19091
Schöwerling R, Steinecke H, Eke NO, Tiggesbäumker G, 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: Fink; 1992:439.
LibreCat
 
1992 | Journal Article | LibreCat-ID: 19370
Seng E-M. Artikelfolge Neugotik und Neuromanik in Stuttgart, 6 Folgen . Gemeindeblatt für Württemberg, Stuttgart. 1992;Nr. 44-49.
LibreCat
 
1992 | Conference Paper | LibreCat-ID: 19488
Eke NO. Diskussionsberichte zu den Sektionen 2 („Roman“) und 3 („Dramen“) sowie der Abschlußdiskussion des 1. Internationalen Corvey-Symposions. In: Schöwerling R, Steinecke H, Eke NO, Tiggesbäumker G, 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:174-181, 319-321, 398-404.
LibreCat
 
1992 | Encyclopedia Article | LibreCat-ID: 19495
Eke NO. Richard Wagner. In: Killy W, ed. Literatur Lexikon. Autoren und Werke deutscher Sprache. Bd. 12. Vol 12. Gütersloh, München; 1992:106.
LibreCat
 
1991 | Book | LibreCat-ID: 19028
Eke NO, Steinecke H, a. u. Deutschsprachige Romane 1815-1830 in der Fürstlichen Bibliothek Corvey. Probleme der Erforschung – Bestandsverzeichnis. Stuttgart: Belser; 1991.
LibreCat
 
1991 | Book (Editor) | LibreCat-ID: 19092
Eke NO, ed. Die erfundene Wahrnehmung. Annäherung an Herta Müller. Paderborn: Igel; 1991.
LibreCat
 
1991 | Book Chapter | LibreCat-ID: 19434
Eke NO. „Überall, wo man den Tod gesehen hat“. Zeitlichkeit und Tod in der Prosa Herta Müllers. In: Eke NO, ed. Die erfundene Wahrnehmung. Annäherung an Herta Müller. Paderborn: Igel; 1991:74-94.
LibreCat
 
1991 | Encyclopedia Article | LibreCat-ID: 19491
Eke NO. Georg von Reinbeck. In: Killy W, ed. Literatur Lexikon. Autoren und Werke deutscher Sprache. Bd. 9. Vol 9. Gütersloh, München; 1991:355.
LibreCat
 
1991 | Book Review | LibreCat-ID: 15609
Hagengruber R. Tommaso Campanella: Mathematica (Hrsg. von A. Brissoni. Rom: Gangemi, 1989). Sudhoffs Archive. 1991;75(1):118-119.
LibreCat
 
1991 | Conference Paper | LibreCat-ID: 3048
Alt H, Behrends B, Blömer J. Approximate matching of polygonal shapes (extended abstract). In: Proceedings of the Seventh Annual Symposium on Computational Geometry  - SCG ’91. ACM Press; 1991. doi:10.1145/109648.109669
LibreCat | DOI
 
1991 | Conference Paper | LibreCat-ID: 16912
Domik-Kienegger G. Visualization in the Analysis Cycle of Observational Data, in Analyzing and Modeling Data and Knowledge. In: Schader M, ed. Proceedings of the 15th Annual Conference of the “Gesellschaft Für Klassifikation e.V.” University of Salzburg. ; 1991:267-276.
LibreCat
 
1991 | Journal Article | LibreCat-ID: 17472
Peckhaus V. Introduction. Modern Logic. 1991;1(2/3):113-116.
LibreCat
 
1991 | Book Chapter | LibreCat-ID: 19435
Eke NO. Augen/Blicke oder: Die Wahrnehmung der Welt in den Bildern. Annäherung an Herta Müller. In: Eke NO, ed. Die erfundene Wahrnehmung. Annäherung an Herta Müller. Paderborn: Igel; 1991:7-21.
LibreCat
 
1991 | Encyclopedia Article | LibreCat-ID: 19492
Eke NO. Friedrich von Sallet. In: Killy W, ed. Literatur Lexikon. Autoren und Werke deutscher Sprache. Bd. 10. Vol 10. Gütersloh, München; 1991:119-120.
LibreCat
 
1991 | Report | LibreCat-ID: 19822
Dahn BI, Lettmann T, Schönfeld W. ILFA Interface Concept. Vol 193. ´Heidelberg: Wissenschaftliche Zentrum der IBM Deutschland ; 1991.
LibreCat
 
1991 | Book | LibreCat-ID: 13034
Hellebrand S. Synthese Vollständig Testbarer Schaltungen. Verlag Düsseldorf: VDI Verlag: Verlag Düsseldorf: VDI Verlag; 1991.
LibreCat
 
1991 | Conference Paper | LibreCat-ID: 3049
Blömer J. Computing sums of radicals in polynomial time. In: Proceedings 32nd Annual Symposium of Foundations of Computer Science. IEEE Comput. Soc. Press; 1991. doi:10.1109/sfcs.1991.185434
LibreCat | DOI
 
1991 | Report | LibreCat-ID: 8188
Löhr-Richter P, Engels G. Incremental Design of Conceptual Database Schemata with CADDY. Leiden University, P.O. Box 9500, 2300 RA Leiden, The Netherlands: Leiden University; 1991.
LibreCat
 
1991 | Conference Paper | LibreCat-ID: 8082
Krauter S, Hanitsch R, Strauss P. Simulation-Program for Selecting Efficiency Improving Strategies of PV-Module-Encapsulations under Operating Conditions. In: Proceedings of “Renewable Energy Sources '91”, Prag (CFSR), 1.–4. Juli 1991, Band 3, S. 48–53. ; 1991.
LibreCat
 
1991 | Conference Abstract | LibreCat-ID: 17822
Peckhaus V. Logic in Transition: The Logical Calculi of Hilbert (1905) and Zermelo (1908) [Abstract]. In: Abstracts of the 9th International Congress of Logic, Methodology and Philosophy of Science, Uppsala, August 7–14, 1991, Bd. 2: General Philosophy of Science. Sections 6–9. o.O.u.J. (Uppsala); 1991:158.
LibreCat
 
1991 | Journal Article | LibreCat-ID: 17473
Peckhaus V. Ernst Schröder und die ,pasigraphischen Systeme‘ von Peano und Peirce. Modern Logic. 1991;1(2/3):174-205.
LibreCat
 
1991 | Journal Article | LibreCat-ID: 19436
Eke NO. „Der Neger schreibt ein andres Alphabet“. Anmerkungen zu Heiner Müllers dialektischem Denk-Spiel Anatomie Titus Fall of Rome. Ein Shakespearekommentar. Zeitschrift für deutsche Philologie. 1991;110(H. 2):294-315.
LibreCat
 
1991 | Encyclopedia Article | LibreCat-ID: 19493
Eke NO. Matthias Leopold Schleifer. In: Killy W, ed. Literatur Lexikon. Autoren und Werke deutscher Sprache. Bd. 10. Vol 10. Gütersloh, München; 1991:272-285.
LibreCat
 
1991 | Conference Paper | LibreCat-ID: 11798
Haeb-Umbach R, Ney H. A Look-Ahead Technique for Large Vocabulary Continuous Speech Recognition. In: EUROSPEECH, Genova. ; 1991.
LibreCat | Download (ext.)
 
1991 | Conference Abstract | LibreCat-ID: 17823
Peckhaus V. Ernst Schröder und die logizistische Begründung der Mathematik [Abstract]. In: Deutsche Mathematiker-Vereinigung. Jahrestagung 15.–20.9.1991 in Bielefeld. Vortragsauszüge. o.O.u.J. (Bielefeld); 1991:43.
LibreCat
 
1991 | Journal Article | LibreCat-ID: 19437
Eke NO. Lenau und Graf Alexander von Württemberg oder: Der Dichter als (kritischer) Leser. Lenau-Forum. 1991;17(Folge 1-4):5-23.
LibreCat
 
1991 | Encyclopedia Article | LibreCat-ID: 19494
Eke NO. Anton Xaver Schurz. In: Killy W, ed. Literatur Lexikon. Autoren und Werke deutscher Sprache. Bd. 10. Vol 10. Gütersloh, München; 1991:437-438.
LibreCat
 
1991 | Book Review | LibreCat-ID: 19557
Eke NO. Herta Müller: Reisende auf einem Bein. Berlin 1989; Der Teufel sitzt im Spiegel. Wie Wahrnehmung sich erfindet. Berlin 1991. Halbasien Zeitschrift für deutsche Literatur und Kultur Südosteuropas. 1991;1(H. 2):67-72.
LibreCat
 
1991 | Book Chapter | LibreCat-ID: 19716
Büker P, Kampe S. Auf den Spuren der alten Stadtmauer: Ein Unterrichtsgang um die Altstadt Paderborns. In: Düsterloh D, ed. Paderborn - vom Werden und Wachsen unserer Stadt (Materialien, Unterrichtsentwürfe, Arbeitsmittel),  (Paderborner Geographische Studien; Bd.3). Paderborn: Selbstverlag des Faches Geographie der Universität-GH-Paderborn; 1991:105-109.
LibreCat
 
1991 | Book Chapter | LibreCat-ID: 15020
Domik G. The role of visualization in understanding data. In: New Results and New Trends in Computer Science. Springer; 1991:91-107.
LibreCat
 
1991 | Book Chapter | LibreCat-ID: 8894
Stelter P, Sextro W. Bifurcations in Dynamic Systems with Dry Friction. In: Seydel R, Schneider FW, Küpper T, Troger H, eds. Bifurcation and Chaos: Analysis, Algorithms, Applications. Vol 97. International Series of Numerical Mathematics / Internationale Schriftenreihe zur Numerischen Mathematik / S{\’e}rie Internationale d’Analyse Num{\’e}rique. Birkhäuser Basel; 1991:343-347. doi:10.1007/978-3-0348-7004-7_44
LibreCat | DOI
 
1991 | Journal Article | LibreCat-ID: 17300
Oevel G, Blaszak M. Action-Angle Representation of Complex Multisolitons. Prog Theor Phys. 1991;86:29-43.
LibreCat
 
1991 | Conference Abstract | LibreCat-ID: 17824
Peckhaus V. Kurt Grelling und der Logische Empirismus [Abstract]. In: Mitteilungen des Instituts für Wissenschaft und Kunst 46 (1991), Nr. 2 (= „Wien — Berlin — Prag. Der Aufstieg der wissenschaftlichen Philosophie. Internationales Symposion aus Anlaß der Centenarien von Rudolf Carnap (1891–1970), Hans Reichenbach (1891–1953), Edgar Zilsel (1891–1944)“). Vol 46. Mitteilungen des Instituts für Wissenschaft und Kunst. ; 1991:24.
LibreCat
 
1991 | Book (Editor) | LibreCat-ID: 17451
Peckhaus V, ed. Modern Logic 1 (1990/91), H. 2/3 (Winter 1990/91), Special Issue Commemorating the Centenary of the Publication of the First Volume of Ernst Schröder’s Vorlesungen Über Die Algebra Der Logik. Vol H. 2/3.; 1991.
LibreCat
 
1991 | Book Chapter | LibreCat-ID: 19318
Seng E-M. Im Geiste der Erbauer, Die Renovierung der Tübinger Stiftskirche 1859 - 1867. In: Bürger- und Verkehrsverein Tübingen e.V. , ed. Tübinger Blätter, 77. Jg. Tübingen 1990/91. Tübingen; 1991:11-16.
LibreCat
 
1991 | Book Chapter | LibreCat-ID: 19433
Eke NO. Herta Müllers Werke im Spiegel der Kritik (1982-1990). In: Eke NO, ed. Die erfundene Wahrnehmung. Annäherung an Herta Müller. Paderborn: Igel; 1991:107-130.
LibreCat
 
1991 | Journal Article | LibreCat-ID: 19438
Eke NO. Die deutschsprachige Literatur Osteuropas und ihre Rezeption in der Bundesrepublik. Probleme und Chancen einer “kleinen Literatur.” Deutsche Studien 29. 1991;29(H. 113):30-50.
LibreCat
 
1991 | Book Review | LibreCat-ID: 19558
Eke NO. Richard Wagner: Die Muren von Wien. Roman. Frankfurt/Main 1990. Halbasien Zeitschrift für deutsche Literatur und Kultur Südosteuropas. 1991;1(H. 2):63-67.
LibreCat
 
1990 | Conference Paper | LibreCat-ID: 13018
Hellebrand S, Wunderlich H-J. Tools and Devices Supporting the Pseudo-Exhaustive Test. In: {European Design Automation Conference (EDAC’90)}. Glasgow, UK: {IEEE (Comput. Soc. Press)}; 1990:13-17. doi:10.1109/edac.1990.136612
LibreCat | DOI
 
1990 | Conference Paper | LibreCat-ID: 15393
Domik G, Brugel E, Stencel R, Vasudevan S, Pang J. Applications of IRAS Preprocessing at the Workstation. In: Bulletin of the American Astronomical Society. Vol 22. ; 1990:828.
LibreCat
 
1990 | Book Chapter | LibreCat-ID: 16738
Dietzfelbinger M, Meyer auf der Heide F. A new universal class of hash functions and dynamic hashing in real time. In: Automata, Languages and Programming. Berlin/Heidelberg; 1990. doi:10.1007/bfb0032018
LibreCat | DOI
 
1990 | Book Chapter | LibreCat-ID: 16740
Karpinski M, Meyer auf der Heide F. On the complexity of genuinely polynomial computation. In: Lecture Notes in Computer Science. Berlin/Heidelberg; 1990. doi:10.1007/bfb0029630
LibreCat | DOI
 
1990 | Book | LibreCat-ID: 17445
Peckhaus V. Hilbertprogramm und Kritische Philosophie. Das Göttinger Modell interdisziplinärer Zusammenarbeit zwischen Mathematik und Philosophie. Vol 7. Göttingen: Vandenhoeck & Ruprecht; 1990.
LibreCat
 
1990 | Journal Article | LibreCat-ID: 17471
Peckhaus V. ,Ich habe mich wohl gehütet, alle Patronen auf einmal zu verschießen‘. Ernst Zermelo in Göttingen. History and Philosophy of Logic. 1990;11:19-58.
LibreCat
 
1990 | Book Chapter | LibreCat-ID: 19441
Eke NO. Radiokunst. Die Hörspiele Dieter Wellershoffs. In: Bullivant K, Durzak M, Steinecke H, eds. Dieter Wellershoff. Köln: Kiepenheuer & Witsch; 1990:230-257.
LibreCat
 
1990 | Conference Paper | LibreCat-ID: 13019
Hellebrand S, Wunderlich H-J, F. Haberl O. Generating Pseudo-Exhaustive Vectors for External Testing. In: {IEEE International Test Conference (ITC’90)}. Washington, DC, USA: {IEEE (Comput. Soc. Press)}; 1990:670-679. doi:10.1109/test.1990.114082
LibreCat | DOI
 
1990 | Misc | LibreCat-ID: 13103
Hellebrand S, Wunderlich H-J, F. Haberl O. Generating Pseudo-Exhaustive Vectors for External Testing. IEEE Design for Testability Workshop, Vail, CO, USA; 1990.
LibreCat
 
1990 | Journal Article | LibreCat-ID: 15394
Domik G, Brugel EW, Stencel RE, Pang J, Vasudevan S. Workstation-based preprocessing of IRAS sky-flux images. Publications of the Astronomical Society of the Pacific. 1990;102(656):1167.
LibreCat
 
1990 | Book Chapter | LibreCat-ID: 16739
Meyer auf der Heide F. Dynamic hashing strategies. In: Lecture Notes in Computer Science. Berlin/Heidelberg; 1990. doi:10.1007/bfb0029597
LibreCat | DOI
 
1990 | Conference Paper | LibreCat-ID: 16741
Dietzfelbinger M, Meyer auf der Heide F. How to distribute a dictionary in a complete network. In: Proceedings of the Twenty-Second Annual ACM Symposium on Theory of Computing  - STOC ’90. ; 1990. doi:10.1145/100216.100229
LibreCat | DOI
 
1990 | Journal Article | LibreCat-ID: 3531
Gries T. Wechselkurstheorie und internationale monetäre Transmissionen . Jahrbuch für Sozialwissenschaften. 1990;41(1):3-41.
LibreCat
 
1990 | Conference Paper | LibreCat-ID: 7824
Hohenstein U, Engels G. Formal Semantics of an Entity-Relationship Query Language. In: Proceedings of the 9th International Conference on Entity-Relationship Approach (ER 90), Lausanne, Switzerland. ER Institute; 1990:177-188.
LibreCat
 
1990 | Conference Paper | LibreCat-ID: 8081
Krauter S, Hanitsch R. The Influence of the Capsulation on the Efficiency of PV-Modules. In: Proceedings of the 1st World Renewable Energy Congress, Reading (UK), 23.–28. September 1990, Band 1, S. 141–144. ; 1990. doi:10.1016/B978-0-08-037539-7.50062-4
LibreCat | DOI
 
1990 | Book | LibreCat-ID: 19151
Eke NO, Oellers N, Skrodzki KJ, Steinecke H. Nikolaus Lenau. Werke und Briefe. Historisch-kritische Gesamtausgabe. Bd. 6,1: Briefe 1838-1847. Teil 1: Text (Edition). Wien: Österreichischer Bundesverlag, Klett-Cotta; 1990.
LibreCat
 
1990 | Book Chapter | LibreCat-ID: 3050
Alt H, Blömer J, Wagener H. Approximation of convex polygons. In: Automata, Languages and Programming. Berlin/Heidelberg: Springer-Verlag; 1990:703-716. doi:10.1007/bfb0032068
LibreCat | DOI
 
1990 | Conference Paper | LibreCat-ID: 11800
Haeb-Umbach R, Rugar D, Howell T, Coleman GP. Coding and Signal Processing for a Magneto-optic Resonant Bias Coil Overwrite Experiment. In: International Conference on Communication, Atlanta. ; 1990.
LibreCat | Download (ext.)
 
1990 | Conference Paper | LibreCat-ID: 15395
Mickus K, Brugel E, Domik G, Ayres T. A case study: Multi-sensor data analysis of hh objects via star: A scientific toolkit for astrophysical research. In: Bulletin of the American Astronomical Society. Vol 22. ; 1990:1259.
LibreCat
 
1990 | Conference Paper | LibreCat-ID: 16742
Gil J, Meyer auf der Heide F, Wigderson A. Not all keys can be hashed in constant time. In: Proceedings of the Twenty-Second Annual ACM Symposium on Theory of Computing  - STOC ’90. ; 1990. doi:10.1145/100216.100247
LibreCat | DOI
 
1990 | Journal Article | LibreCat-ID: 16824
Meyer auf der Heide F. Das Heinz Nixdorf-Institut der Universität-GH Paderborn. Informatik Spektrum. 1990;13(4):231-232.
LibreCat
 
1990 | Conference Paper | LibreCat-ID: 16913
Domik-Kienegger G, Bruggel EW, Stencel RE. IRAS On-Line Catalogs at CASA. In: Proceedings of the 176th Meeting of the American Astronomical Society. Vol Vol. 22. BAAS. ; 1990.
LibreCat
 
1990 | Journal Article | LibreCat-ID: 17175
Oevel G, Fuchssteiner B, Blaszak M. Action-Angle Representation of Multisolitons by Potentials of Mastersymmetries. Prog Theor Phys. 1990;83:395-413.
LibreCat
 
1990 | Conference Paper | LibreCat-ID: 8259
Engels G. Elementary Actions on an Extended Entity-Relationship Database. In: Proceedings of the Workshop on Graph Grammars and Their Application to Computer Science (1990), Bremen (Germany). Vol 532. Berlin/Heidelberg: Springer; 1990:344-362. doi:http://dx.doi.org/10.1007/BFb0017372
LibreCat | DOI
 
1990 | Journal Article | LibreCat-ID: 17164
Fuchssteiner B, Oevel G. Action-Angle Representation of Multisolitons. Appl Math Lett. 1990;(3):75-78.
LibreCat
 
1990 | Misc | LibreCat-ID: 19045
Peckhaus V. Fotografie: Joachim Schulte (Erlangen, 21.2.1990), Katalog Suhrkamp Wissenschaft. Neuerscheinungen 2. Halbjahr 1990. Frankfurt a. M.: Suhrkamp; 1990.
LibreCat
 
1990 | Conference Paper | LibreCat-ID: 15051
Mickus K, Domik G, Brugel E, Ayres T. Star-a scientific toolkit for astrophysical research. In: Bulletin of the American Astronomical Society. Vol 22. ; 1990:828.
LibreCat
 
1990 | Book Chapter | LibreCat-ID: 17165
Oevel G, Fuchssteiner B, Blaszak M. Action/Angle Variables and Asymptotic Data. In: Carillo S, Ragnisco O, eds. Nonlinear Evolution Equations and Dynamical Systems. Berlin-Heidelberg-New York: Springer; 1990.
LibreCat
 
1990 | Journal Article | LibreCat-ID: 19440
Eke NO. „Niemand ist des anderen Sprache“. Zur deutschsprachigen Literatur Rumäniens. Südostdeutsche Vierteljahresblätter. 1990;39(Folge 2):103-118.
LibreCat
 
1990 | Encyclopedia Article | LibreCat-ID: 19490
Eke NO. Maximilian von Löwenthal. In: Killy W, ed. Literatur Lexikon. Autoren und Werke deutscher Sprache. Bd. 7. Vol 7. Gütersloh, München; 1990:332.
LibreCat
 
1989 | Conference Paper | LibreCat-ID: 13020
Wunderlich H-J, Hellebrand S. The Pseudo-Exhaustive Test of Sequential Circuits. In: {IEEE International Test Conference (ITC’89)}. Washington, DC, USA: {IEEE (Comput. Soc. Press)}; 1989:19-27. doi:10.1109/test.1989.82273
LibreCat | DOI
 
1989 | Book Chapter | LibreCat-ID: 16745
Meyer auf der Heide F. On genuinely time bounded computations. In: STACS 89. Berlin/Heidelberg; 1989. doi:10.1007/bfb0028969
LibreCat | DOI
 
1989 | Conference Paper | LibreCat-ID: 7823
Engels G, Hohenstein U, Hülsmann K, Löhr-Richter P, Ehrich H-D. CADDY: Computer-Aided Design of Non-Standard Databases. In: Proceedings of the International Conference on System Development Environments & Factories, Berlin, Germany. Berlin: Pitman Publishing; 1989.
LibreCat
 
1989 | Journal Article | LibreCat-ID: 16682
Dellnitz M, Werner B. Computational methods for bifurcation problems with symmetries—with special attention to steady state and Hopf bifurcation points. Journal of Computational and Applied Mathematics. 1989:97-123. doi:10.1016/0377-0427(89)90150-7
LibreCat | DOI
 
1989 | Book | LibreCat-ID: 19030
Eke NO. Heiner Müller. Apokalypse und Utopie. Paderborn, München, Wien, Zürich: Schöningh; 1989.
LibreCat
 
1989 | Book Chapter | LibreCat-ID: 19321
Seng E-M. Vom Ballhaus zum Gotteshaus, Vorgeschichte und Bau der katholischen St. Johannes-Kirche in Tübingen. In: Bürger- und Verkehrsverein Tübingen e.V. , ed. Tübinger Blätter, 76. Jg. . Tübingen; 1989:29-34.
LibreCat
 
1989 | Encyclopedia Article | LibreCat-ID: 19489
Eke NO. Friedrich Halm. In: Killy W, ed. Literatur Lexikon. Autoren und Werke deutscher Sprache. Bd. 4. Vol 4. Gütersloh, München; 1989:487-489.
LibreCat
 
1989 | Book Review | LibreCat-ID: 19559
Eke NO. Norbert Mecklenburg: Erzählte Provinz. Regionalismus und Moderne im Roman. Königstein/Ts. 2. Auflage. 1986. Germanistik Internationales Referatenorgan mit bibliographischen Hinweisen. 1989;30(H. 4):1057.
LibreCat
 
1989 | Book Chapter | LibreCat-ID: 16746
Meyer auf der Heide F, Wanka R. Time-optimal simulations of networks by universal parallel computers. In: STACS 89. Berlin/Heidelberg; 1989. doi:10.1007/bfb0028978
LibreCat | DOI
 
1989 | Book Chapter | LibreCat-ID: 16789
Meyer auf der Heide F. Computing minimum spanning forests on 1- and 2-dimensional processor arrays. In: STACS 89. Berlin, Heidelberg; 1989. doi:10.1007/bfb0028983
LibreCat | DOI
 
1989 | Report | LibreCat-ID: 8187
Engels G. Benutzerschnittstelle Und Architektur Der Integrierten Datenbankentwurfsumgebung CADDY (Kurzfassung). TU Braunschweig; 1989.
LibreCat
 
1989 | Journal Article | LibreCat-ID: 17162
Fuchssteiner B, Oevel G. Geometry and Action-Angle Variables of Multi Soliton Systems. Rev Math Phys. 1989;(1):415-479.
LibreCat
 
1989 | Conference Paper | LibreCat-ID: 17821
Peckhaus V. Die Institutionalisierung der Mathematischen Logik in Deutschland. In: Krafft F, Scriba CJ, 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. Vol E1.4. Hamburg/München; 1989.
LibreCat
 
1989 | Encyclopedia Article | LibreCat-ID: 19497
Eke NO. Dieter Forte. In: Harenbergs Lexikon der Weltliteratur. Autoren – Werke – Begriffe. Bd. 2. Vol 2. Dortmund: Harenberg; 1989:979-980.
LibreCat
 
1989 | Book | LibreCat-ID: 3532
Gries T. Chaos in the Market of Foreign Exchange, in: Rieder, Gessner, Peyer, Immhoff, Radermacher (Eds).; 1989.
LibreCat
 
1989 | Book (Editor) | LibreCat-ID: 18464
Tophinke D, ed. Plattdeutsch - ein Pflegefall? Osnabrück: Manuskriptdruck; 1989.
LibreCat
 
1989 | Book | LibreCat-ID: 19152
Eke NO, Vizkelety A, Skrodzki KJ, Steinecke H. Nikolaus Lenau. Werke und Briefe. Historisch-kritische Gesamtausgabe. Bd. 5,1: Briefe 1812-1837. Teil 1: Text (Edition). Wien: Österreichischer Bundesverlag, Klett-Cotta; 1989.
LibreCat
 
1989 | Encyclopedia Article | LibreCat-ID: 19498
Eke NO. Herta Müller. In: Harenbergs Lexikon der Weltliteratur. Autoren – Werke – Begriffe. Bd. 4. Vol 4. Dortmund: Harenberg; 1989:2060-2061.
LibreCat
 
1989 | Journal Article | LibreCat-ID: 11793
Haeb-Umbach R, Meyr H. A systematic approach to carrier recovery and detection of digitally phase modulated signals on fading channels. IEEE Transactions on Communications. 1989.
LibreCat
 
1989 | Journal Article | LibreCat-ID: 16743
Just B, Meyer auf der Heide F, Wigderson A. On computations with integer division. RAIRO - Theoretical Informatics and Applications. 1989:101-111. doi:10.1051/ita/1989230101011
LibreCat | DOI
 
1989 | Book | LibreCat-ID: 7511
Engels G, Schäfer W. Programmentwicklungsumgebungen: Konzepte Und Realisierung. Stuttgart: Teubner; 1989.
LibreCat
 
1989 | Conference Paper | LibreCat-ID: 7821
Ebert J, Engels G. Konzepte einer Software-Architektur-Beschreibungssprache. In: Software-Entwicklung: Konzepte, Erfahrungen, Perspektiven, Fachtagung, 1989, Marburg (Germany). Vol 212. Informatik-Fachberichte. Berlin/Heidelberg: Springer; 1989:238-250.
LibreCat
 
1989 | Conference Paper | LibreCat-ID: 16744
Dietzfelbinger M, Meyer auf der Heide F. An optimal parallel dictionary. In: Proceedings of the First Annual ACM Symposium on Parallel Algorithms and Architectures  - SPAA ’89. ; 1989. doi:10.1145/72935.72974
LibreCat | DOI
 
1989 | Conference Paper | LibreCat-ID: 7822
Engels G. CADDY-O: Syntaxgestütztes, graphisches Entwerfen konzeptioneller Datenbankschemata. In: Tagungsband GI-Fachtagung “Interaktive Schnittstellen Für Informationssysteme”, TU Clausthal, Notizen Zu Interaktive Systeme. Vol 18. ; 1989:1-16.
LibreCat
 
1989 | Journal Article | LibreCat-ID: 19818
Kleine Büning H, Lettmann T, Mayr EW. Projections of vector addition system reachability sets are semilinear. Theoretical Computer Science. 1989:343-350. doi:10.1016/0304-3975(89)90055-8
LibreCat | DOI
 
1988 | Conference Paper | LibreCat-ID: 11783
Haeb-Umbach R. A Comparison of Coherent and Differentially Coherent Detection Schemes for Fading Channels. In: International Conference on Vehicular Technology, Philadelphia. ; 1988.
LibreCat | Download (ext.)
 
1988 | Journal Article | LibreCat-ID: 16764
Meyer auf der Heide F. Fast algorithms for N-dimensional restrictions of hard problems. Journal of the ACM (JACM). 1988:740-747. doi:10.1145/44483.44490
LibreCat | DOI
 
1988 | Report | LibreCat-ID: 8186
Ebert J, Engels G. Ein Konzept Zur Beschreibung von Software-Architekturen. EWH Koblenz; 1988.
LibreCat
 
1988 | Journal Article | LibreCat-ID: 17469
Peckhaus V. Karl Eugen Müller (1865–1932) und seine Rolle in der Entwicklung der Algebra der Logik. History and Philosophy of Logic. 1988;9:43-56.
LibreCat
 
1988 | Conference Paper | LibreCat-ID: 13021
Wunderlich H-J, Hellebrand S. Generating Pattern Sequences for the Pseudo-Exhaustive Test of MOS-Circuits. In: {18th International Symposium on Fault-Tolerant Computing, FTCS-18}. Tokyo, Japan: {IEEE (Comput. Soc. Press)}; 1988:36-45. doi:10.1109/ftcs.1988.5294
LibreCat | DOI
 
1988 | Conference Paper | LibreCat-ID: 15320
Brugel EW, Domik G, Voels SA. A multi-spectral analysis system using large databases. In: European Southern Observatory Conference and Workshop Proceedings. Vol 28. ; 1988:3-8.
LibreCat
 
1988 | Journal Article | LibreCat-ID: 16765
Borodin A, Fich FE, Meyer auf der Heide F, Upfal E, Wigderson A. A tradeoff between search and update time for the implicit dictionary problem. Theoretical Computer Science. 1988:57-68. doi:10.1016/0304-3975(88)90018-7
LibreCat | DOI
 
1988 | Book Chapter | LibreCat-ID: 19442
Eke NO. „Wenn man die Augen hätte schließen und schlafen können...“. Zu Arno Schmidts Nachkriegsroman „Brand’s Haide“. In: Schardt MM, ed. Arno Schmidt. Das Frühwerk II. Romane. Interpretationen von ‚Brand’s Haide’ bis ‚Gelehrtenrepublik’. Aachen: Alano; 1988:13-54.
LibreCat
 
1988 | Conference Paper | LibreCat-ID: 13058
Schmid D, Wunderlich H-J, Feldbusch F, Hellebrand S, Holzinger J, Kunzmann A. Integrated Tools for Automatic Design for Testability. In: {In: Tool Integration and Design Environments, F.J. Rammig (Editor)}. Amsterdam, The Netherlands: Amsterdam: Elsevier Science Publishers B.V.(North Holland), IFIP; 1988:233-258.
LibreCat
 
1988 | Journal Article | LibreCat-ID: 15321
Domik G, Leberl F, Cimino J. Dependence of image grey values on topography in SIR-B images. International Journal of Remote Sensing. 1988;9(5):1013-1022.
LibreCat
 
1988 | Conference Paper | LibreCat-ID: 16766
Dietzfelbinger M, Karlin A, Mehlhorn K, Meyer auf der Heide F, Rohnert H, Tarjan RE. Dynamic perfect hashing: upper and lower bounds. In: [Proceedings 1988] 29th Annual Symposium on Foundations of Computer Science. ; 1988. doi:10.1109/sfcs.1988.21968
LibreCat | DOI
 
1988 | Conference Paper | LibreCat-ID: 7818
Engels G, Janning T, Schäfer W. A Highly Integrated Tool Set for Program Development Support. In: Proceedings of the Conference on ACM SIGSMALL/PC Symposium on ACTES (SIGSMALL 1988), Cannes (France). New York, NY, USA: ACM Press; 1988:1-10. doi:http://dx.doi.org/10.1145/62453.62454
LibreCat | DOI
 
1988 | Conference Paper | LibreCat-ID: 7820
Engels G, Hohenstein U, Saake G, Ehrich H-D. Auf dem Weg zu einer integrierten Datenbank-Entwurfsumgebung. In: Engels G, Hohenstein U, Saake G, Ehrich H-D, eds. Proceedings of the GI-Workshop on “Sprachspezifische Programmierumgebungen.” Darmstadt (Germany): G. Snelting; 1988:38-51.
LibreCat
 
1988 | Conference Paper | LibreCat-ID: 8258
Engels G, Janning T, Schäfer W. Die Benutzerschnittstelle einer integrierten Modula-2 Programmentwicklungsumgebung. In: Proceedings of GI-Workshop Sprachspezifische Programmierumgebungen, Darmstadt, Germany. ; 1988.
LibreCat
 
1988 | Journal Article | LibreCat-ID: 15322
Leberl F, Mayr W, Domik G, Kobrick M. SIR-B stereo-radargrammetry of Australia. International journal of remote sensing. 1988;9(5):997-1011.
LibreCat
 
1988 | Book Chapter | LibreCat-ID: 16767
Just B, Mathematik F, Meyer auf der Heide F, Informatik F, Wigderson A. On computations with integer division. In: STACS 88. Berlin, Heidelberg; 1988. doi:10.1007/bfb0035829
LibreCat | DOI
 
1988 | Conference Paper | LibreCat-ID: 7819
Engels G, Hohenstein U, Neugebauer L, Saake G, Ehrich H-D. Konzeption einer integrierten Datenbank-Entwurfsumgebung. In: Proceedings of DBTA/SI Data Dictionaries Und Entwicklungswerkzeuge Für Datenbank-Anwendungen, Zürich, Switzerland. Verlag der Fachvereine an den Schweiz. Hochschulen und Techniken; 1988:151-157.
LibreCat
 
1988 | Conference Paper | LibreCat-ID: 11794
Haeb-Umbach R, Meyr H. A digital Synchronizer for Linearly Modulated Signals Transmitted over a Frequency-Nonselective Fading Channel. In: International Conference on Communications, Philadelphia. ; 1988.
LibreCat | Download (ext.)
 
1988 | Conference Paper | LibreCat-ID: 13062
Hellebrand S, Wunderlich H-J. Automatisierung des Entwurfs vollständig testbarer Schaltungen. In: {GI - 18. Jahrestagung II, Hamburg, 1988, Informatik-Fachberichte 188}. Hamburg, Germany: Springer Verlag; 1988:145-159.
LibreCat
 
1988 | Journal Article | LibreCat-ID: 16763
Babai L, Just B, Meyer auf der Heide F. On the limits of computations with the floor function. Information and Computation. 1988:99-107. doi:10.1016/0890-5401(88)90031-4
LibreCat | DOI
 
1988 | Book Chapter | LibreCat-ID: 16768
Dietzfelbinger M, Mehlhorn K, Meyer auf der Heide F, Rohnert H. Upper and lower bounds for the dictionary problem. In: SWAT 88. Berlin, Heidelberg; 1988. doi:10.1007/3-540-19487-8_24
LibreCat | DOI
 
1988 | Conference Paper | LibreCat-ID: 16915
Domik-Kienegger G. Enhancement Techniques in Digital Image Processing. In: Proceedings of the Computer Science Symposium. Graz, Austria; 1988:211-217.
LibreCat
 
1988 | Conference Paper | LibreCat-ID: 17470
Peckhaus V. Historiographie wissenschaftlicher Disziplinen als Kombination von Problem- und Sozialgeschichtsschreibung: Formale Logik im Deutschland des ausgehenden 19. Jahrhunderts. In: Poser H, Burrichter C, eds. Die geschichtliche Perspektive in den Disziplinen der Wissenschaftsforschung. Kolloquium an der TU Berlin, Oktober 1988. Mit Beiträgen von Michael Heidelberger, Walter Kaiser, C. Ulises Moulines, Volker Peckhaus, Wolf Schäfer, Burghard Weiss. Vol 39. TUB-Dokumentation Kongresse und Tagungen. Berlin; 1988:177-215.
LibreCat
 
1988 | Conference Paper | LibreCat-ID: 19820
Kleine Büning H, Lettmann T. Perspektiven für die Logikprogrammierung. In: Rahmstorf G, ed. Workshop Wissensrepräsentation in Expertensystemen. Berlin, Heidelberg; 1988:56-78.
LibreCat
 
1987 | Conference Paper | LibreCat-ID: 11795
Haeb-Umbach R, Meyr H. Optimal Carrier Recovery and Detection on Frequency-Nonselective Fading Channels. In: Proc. Symposium on Inf. Theory and Appl. (SITA), Tokio. ; 1987.
LibreCat
 
1987 | Conference Paper | LibreCat-ID: 15038
Domik G. Methods and application of surface shape reconstruction from multiple SAR images. In: IGARSS’87-International Geoscience and Remote Sensing Symposium. ; 1987:1551-1555.
LibreCat
 
1987 | Conference Paper | LibreCat-ID: 16916
Domik-Kienegger G. Digital Rectification Method for Radar Images Applied on Huge Arrays. In: Proceedings of the First Int’l. Workshop on Image Rectification Tech. for Spaceborne Synthetic Aperture Radar. ; 1987:67-68.
LibreCat
 
1987 | Conference Paper | LibreCat-ID: 7816
Engels G, Schürr A. A Hybrid Interpreter in a Software Development Environment. In: Proceedings of the 1st European Software Engineering Conference (ESEC ’87), Strasbourg (France). Vol 289. Berlin/Heidelberg: Springer; 1987:80-88.
LibreCat
 
1987 | Journal Article | LibreCat-ID: 17820
Peckhaus V, Thiel C. DFG fördert an der FAU: Projekt: Fallstudien zur Begründung einer Sozialgeschichte der Logik. FAU Uni-Kurier. 1987;70/71(Juni 1987):49.
LibreCat
 
1987 | Book Chapter | LibreCat-ID: 19821
Büning HK, Lettmann T. Representation independent query and update operations on propositional definite Horn formulas. In: Börger E, ed. Computation Theory and Logic. Berlin, Heidelberg; 1987:208-223. doi:10.1007/3-540-18170-9_167
LibreCat | DOI
 
1987 | Journal Article | LibreCat-ID: 16772
Borodin A, Fich F, Meyer auf der Heide F, Upfal E, Wigderson A. A Time-Space Tradeoff for Element Distinctness. SIAM Journal on Computing. 1987:97-99. doi:10.1137/0216007
LibreCat | DOI
 
1987 | Conference Paper | LibreCat-ID: 7817
Engels G, Nagl M, Schäfer W. On the Structure of Structure-Oriented Editors for Different Applications. In: Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, Palo Alto, USA. Vol 22. ACM SIGPLAN Notices; 1987:190-198.
LibreCat
 
1987 | Conference Paper | LibreCat-ID: 8257
Engels G, Lewerentz C, Schäfer W. Graph Grammar Engineering: A Software Specification Method. In: Proceedings of the 3rd International Workshop on Graph-Grammars and Their Application to Computer Science, Warrenton, VA (USA). Vol 291. Berlin/Heidelberg: Springer; 1987:186-201. doi:dx.doi.org/10.1007/3-540-18771-5
LibreCat | DOI
 
1987 | Book Chapter | LibreCat-ID: 17819
Peckhaus V, Kötter R. Interdisziplinäres Institut für Wissenschaftstheorie und Wissenschaftsgeschichte. In: Friedrich-Alexander-Universität Erlangen-Nürnberg. Jahresbericht 1984/85 und 1985/86 (Mai 1987). ; 1987:89.
LibreCat
 
1987 | Journal Article | LibreCat-ID: 15319
Domik G, Leberl F. Image based SAR product simulation for analysis. ASPRS-ACM. 1987.
LibreCat
 
1987 | Journal Article | LibreCat-ID: 16773
Meyer auf der Heide F, Wigderson A. The Complexity of Parallel Sorting. SIAM Journal on Computing. 1987:100-107. doi:10.1137/0216008
LibreCat | DOI
 
1987 | Book Chapter | LibreCat-ID: 19359
Seng E-M. Ein Hauch von Paris ... Die Planung für den Tübinger Uhlandplatz durch Christian Friedrich von Leins. In: Bürger- und Verkehrsverein Tübingen e.V., ed. Tübinger Blätter, 74. Jg. . Vol 74. Jg. Tübinger Blätter. ; 1987:8-14.
LibreCat
 
1987 | Conference Paper | LibreCat-ID: 15050
Leberl F, Domik G, Mercer BJ. Methods and accuracy of operational digital image mapping with aircraft SAR. In: 1987 ASPRS ACSM Annual Convention. ; 1987:148-158.
LibreCat
 
1986 | Conference Paper | LibreCat-ID: 15317
Domik G, Leberl F, Raggam J. Developing tools for digital radar image data evaluation. In: IN: Remote Sensing for Resources Development and Environmental Management; Proceedings of the Seventh International Symposium, Enschede, Netherlands, Aug. 25-29, 1986. Volume 1 (A88-41961 17-43). Rotterdam, AA Balkema, 1986, p. 117-119. ESA-NASA-Supported Research. Vol 1. ; 1986:117-119.
LibreCat
 
1986 | Journal Article | LibreCat-ID: 15254
Leberl F, Domik G, Raggam J, Cimino J, Kobrick M. Radargrammetric Experiments with Space Shuttle SIR-B Imagery. International archives of photogrammetry and remote sensing= Archives internationales de photogramm{\’e}trie et de t{\’e}l{\’e}d{\’e}tection= Internationales Archiv der Photogrammetrie und Fernerkundung. 1986:333-344.
LibreCat
 
1986 | Journal Article | LibreCat-ID: 16771
Meyer auf der Heide F. Efficient Simulations among Several Models of Parallel Computers. SIAM Journal on Computing. 1986:106-119. doi:10.1137/0215008
LibreCat | DOI
 
1986 | Book Chapter | LibreCat-ID: 16776
Borodin A, Fich F, Meyer auf der Heide F, Upfal E, Wigderson A. A time-space tradeoff for element distinctness. In: STACS 86. Berlin, Heidelberg; 1986. doi:10.1007/3-540-16078-7_89
LibreCat | DOI
 
1986 | Conference Paper | LibreCat-ID: 8256
Engels G, Sandbrink A. Experiences with a Hybrid-Interpreter Based on Incremental Compilation Techniques. In: Proceedings of the Workshop on Compiler Compilers and Incremental Compilation Techniques, Bautzen. Vol 12. Bautzen: Berlin(Ost): Akademie der Wissenschaften der DDR; 1986:172-184.
LibreCat
 
1986 | Journal Article | LibreCat-ID: 14895
Leberl FW, Domik-Kienegger G, Rraggam J, Kobrick M. Radar stereomapping techniques and application to SIR-B images of Mt. Shasta. IEEE Transactions on Geoscience and Remote Sensing. 1986;(4):473-481.
LibreCat
 
1986 | Book Chapter | LibreCat-ID: 18431
Beckemeyer R, Tophinke D. Eine empirische Untersuchung zu den schriftsprachlichen Leistungen türkischer Schulkinder. 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. Osnabrück: Manuskriptdruck; 1986:66-118.
LibreCat
 
1986 | Book Chapter | LibreCat-ID: 19364
Seng E-M. Das Ulmer Hauptwerk: Der Blaubeurer Hochaltar und die Erhart-Frage. In: Schäfer G, Brecht M, eds. Blätter für württembergische Kirchengeschichte, 86. Jg. . Vol 86. Jg. Blätter für württembergische Kirchengeschichte. Stuttgart; 1986:299-319.
LibreCat
 
1986 | Book Chapter | LibreCat-ID: 19477
Seng E-M. Architekten- und Künstlerbiographien. 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:102-108.
LibreCat
 
1986 | Book Chapter | LibreCat-ID: 19819
Kleine Büning H, Lettmann T. Classes of first order formulas under various satisfiability definitions. In: 8th International Conference on Automated Deduction. Berlin, Heidelberg; 1986. doi:10.1007/3-540-16780-3_119
LibreCat | DOI
 
1986 | Journal Article | LibreCat-ID: 11880
Oerder M, Ascheid G, Haeb-Umbach R, Meyr H. An all digital implementation of a receiver for bandwidth-efficient communication. Signal Processing: Theories and Applications. 1986.
LibreCat
 
1986 | Conference Paper | LibreCat-ID: 15318
Domik G, Leberl F. Using secondary image products to aid in understanding and interpretation of radar imagery. In: IGARSS’86: Remote Sensing: Today’s Solutions for Tomorrow’s Information Needs. ; 1986.
LibreCat
 
1986 | Journal Article | LibreCat-ID: 16917
Leberl F, Domik-Kienegger G, Raggam J, Kobrick M. Radar Stereomapping Techniques and Application to SIR-B Images of Mt. Shasta. IEEE Transactions on Geoscience and Remote Sensing. 1986;GE-24(4):473-481.
LibreCat
 
1986 | Book Chapter | LibreCat-ID: 19360
Seng E-M. Die Zeichner und die Art der Darstellung - Zur Entwicklung und Funktion der Architekturzeichnung im 19. Jahrhundert. 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). Vol Nr. 29. Tübinger Kataloge . ; 1986:4-16.
LibreCat
 
1986 | Report | LibreCat-ID: 13022
Hellebrand S. 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
Mercer J, Lowry R, Leberl F, Domik G. Digital terrain mapping with STAR-1 SAR data. In: International Geoscienee and Remote Sensing Symposium. ; 1986:645-650.
LibreCat
 
1986 | Journal Article | LibreCat-ID: 16918
Leberl F, Domik-Kienegger G, Raggam J, Cimino J, Kobrick M. Multiple Incidence Angle SIR-B Expenment Over Argentina: Stereo-Radargrammetrc Analysis. IEEE Transactions on Geoscience and Remote Sensing. 1986;GE-24(4):482-491.
LibreCat
 
1986 | Book Chapter | LibreCat-ID: 19443
Eke NO. Risse: Pytheas, Philostratos et. al. Zu den Protagonisten der frühen Erzählungen Arno Schmidts. In: Schardt MM, ed. Arno Schmidt. Das Frühwerk I: Erzählungen. Interpretationen von ‚Gadir‘ bis ‚Kosmas‘. Aachen: Rader; 1986:151-184.
LibreCat
 
1986 | Book | LibreCat-ID: 2092
Krimphove D. Belgium in a Nutshell Investitionsmöglichkeiten Ausländischer Unternehmen in Belgien. Brüssel; 1986.
LibreCat
 
1986 | Book Chapter | LibreCat-ID: 16774
Borodin A, Fich FE, Meyer auf der Heide F, Upfal E, Wigderson A. A tradeoff between search and update time for the implicit dictionary problem. In: Automata, Languages and Programming. Berlin, Heidelberg; 1986. doi:10.1007/3-540-16761-7_54
LibreCat | DOI
 
1986 | Journal Article | LibreCat-ID: 14983
Domik G, Leberl F, Cimino J. Multiple incidence angle SIR-B experiment over Argentina: generation of secondary image products. IEEE Transactions on Geoscience and Remote Sensing. 1986;(4):492-497.
LibreCat
 
1986 | Book Chapter | LibreCat-ID: 16775
Meyer auf der Heide F. Speeding up random access machines by few processors. In: STACS 86. Berlin, Heidelberg; 1986. doi:10.1007/3-540-16078-7_72
LibreCat | DOI
 
1986 | Conference Paper | LibreCat-ID: 7815
Engels G, Lewerentz C, Nagl M, Schäfer W. On the Structure of an Incremental and Integrated Software Development Environment. In: Proceedings of the 19th Hawaii International Conference on System Sciences, Hawaii, USA. Vol 2a. ; 1986:585-597.
LibreCat
 
1986 | Journal Article | LibreCat-ID: 17468
Peckhaus V. Case Studies Towards the Establishment of a Social History of Logic. History and Philosophy of Logic. 1986;7:185-186.
LibreCat
 
1985 | Conference Paper | LibreCat-ID: 16783
Fich FE, Meyer auf der Heide F, Ragde P, Wigderson A. One, two, three . . . infinity: lower bounds for parallel computation. In: Proceedings of the Seventeenth Annual ACM Symposium on Theory of Computing  - STOC ’85. ; 1985. doi:10.1145/22145.22151
LibreCat | DOI
 
1985 | Conference Paper | LibreCat-ID: 16788
Meyer auf der Heide F. Nondeterministic versus probabilistic linear search algorithms. In: 26th Annual Symposium on Foundations of Computer Science (Sfcs 1985). ; 1985. doi:10.1109/sfcs.1985.38
LibreCat | DOI
 
1985 | Conference Paper | LibreCat-ID: 16784
Meyer auf der Heide F. Fast algorithms for n-dimensional restrictions of hard problems. In: Proceedings of the Seventeenth Annual ACM Symposium on Theory of Computing  - STOC ’85. ; 1985. doi:10.1145/22145.22191
LibreCat | DOI
 
1985 | Journal Article | LibreCat-ID: 16823
Meyer auf der Heide F. Lower time bounds for solving linear diophantine equations on several parallel computational models. Information and Control. 1985;67(1-3):195-211. doi:10.1016/S0019-9958(85)80035-8
LibreCat | DOI
 
1985 | Journal Article | LibreCat-ID: 15314
Leberl F, Kobrick M, undefined undefined. Mapping with aircraft and satellite radar images. The Photogrammetric Record. 1985;11(66):647-665.
LibreCat
 
1985 | Journal Article | LibreCat-ID: 16780
Meyer auf der Heide F. Lower bounds for solving linear diophantine equations on random access machines. Journal of the ACM (JACM). 1985:929-937. doi:10.1145/4221.4250
LibreCat | DOI
 
1985 | Conference Paper | LibreCat-ID: 7813
Engels G, Schäfer W. Graph Grammar Engineering: A Method Used for the Development of an Integrated Programming Support Environment. In: Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT 1985), Berlin (Germany). Vol 186. LNCS. Berlin/Heidelberg: Springer; 1985:179-193.
LibreCat
 
1985 | Journal Article | LibreCat-ID: 15315
Domik G. Radar image simulation as a tool to analyze topographic effects on geometry and radiometry of radar imagery. Machine processing of remotely sensed data- Quantifying global process: Models, sensor systems, and analytical methods. 1985:248-253.
LibreCat
 
1985 | Journal Article | LibreCat-ID: 15048
Raggam J, Triebnig G, Buchroithner M, Domik G, Leberl F. Radargrammetric aspects of SAR data evaluation. Thematic Applications of SAR data. 1985:57.
LibreCat
 
1985 | Journal Article | LibreCat-ID: 16779
Lautemann C, Meyer auf der Heide F. Lower time bounds for integer programming with two variables. Information Processing Letters. 1985:101-105. doi:10.1016/0020-0190(85)90042-0
LibreCat | DOI
 
1985 | Journal Article | LibreCat-ID: 16781
Meyer auf der Heide F. Simulating probabilistic by deterministic algebraic computation trees. Theoretical Computer Science. 1985:325-330. doi:10.1016/0304-3975(85)90079-9
LibreCat | DOI
 
1985 | Conference Paper | LibreCat-ID: 7814
Engels G, Schäfer W. The Design of an Adaptive and Portable Programming Support Environment. In: Proceedings of the International Computing Symposium, Amsterdam (The Netherlands). Florenz; 1985.
LibreCat
 
1985 | Conference Paper | LibreCat-ID: 15316
Rott H, Domik G, MStzler C, Miller H. Towards a SAR system for snow and land ice applications. In: ESA Proceedings of a Workshop on Thematic Applications of SAR DATA p 29-39(SEE N 86-28488 19-42). ; 1985.
LibreCat
 
1985 | Conference Paper | LibreCat-ID: 16782
Meyer auf der Heide F, Wigderson A. The complexity of parallel sorting. In: 26th Annual Symposium on Foundations of Computer Science (Sfcs 1985). ; 1985. doi:10.1109/sfcs.1985.58
LibreCat | DOI
 
1984 | Journal Article | LibreCat-ID: 15124
Domik G, Kobrick M, Leberl F. Analyse von Radarbildern mittels digitaler Hoehenmodelle. Bildmessung und luftbildwesen. 1984;52(5):249-263.
LibreCat
 
1984 | Conference Paper | LibreCat-ID: 16920
Domik-Kienegger G, Leberl F, Kobrick M. Radar Image Simulation and its Application in Image Analysis. In: ; 1984:99-108.
LibreCat
 
1984 | Journal Article | LibreCat-ID: 16785
Meyer auf der Heide F. A Polynomial Linear Search Algorithm forr the n-Dimensional Knapsack Problem. Journal of the ACM (JACM). 1984:668-676. doi:10.1145/828.322450
LibreCat | DOI
 
1984 | Report | LibreCat-ID: 15600
Domik G, Leberl F, Raggam J. Differential Rectification of SLR-Images Using Map-Derived and Radar-Generated Digital Elevation Models.; 1984.
LibreCat
 
1984 | Journal Article | LibreCat-ID: 15055
Domik G. Evaluation of radar stereo viewability by means of a simulation technique. ESA IGARSS 84: Remote Sensing: From Res towards Operational Use,. 1984;2.
LibreCat
 
1984 | Journal Article | LibreCat-ID: 16919
Domik-Kienegger G, Kobrick M, Leberl F. Analyse von Radarbildern mittels digitaler Hoehenmodelle. Bildmessung und Luftbildwesen. 1984;52(5):249–263.
LibreCat
 
1984 | Conference Paper | LibreCat-ID: 16921
Domik-Kienegger G, Leberl F, Raggam J. Rectification of Radar Images Using Stereo- Derived Height Models and Simulations. In: Vol 25A. ; 1984:109-111.
LibreCat
 
1984 | Conference Paper | LibreCat-ID: 16786
Meyer auf der Heide F, Reischuk R. On The Limits To Speed Up Parallel Machines By Large Hardware And Unbounded Communication. In: 25th Annual Symposium OnFoundations of Computer Science, 1984. ; 1984. doi:10.1109/sfcs.1984.715901
LibreCat | DOI
 
1984 | Conference Paper | LibreCat-ID: 15598
Rott H, Domik G. The SAR-580 experiment on snow and glaciers at the Austrian test site. In: Proc. SAR-580 Investigators Workshop. Vol 2. ; 1984:217-232.
LibreCat
 
1984 | Book | LibreCat-ID: 17455
Peckhaus V. 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
Domik G, Leberl F, Kobrick M. Radar image simulation and its application in image analysis. Archives of the International Society of Photogrammetry and Remote Sensing. 1984;25:A3a.
LibreCat
 
1984 | Conference Paper | LibreCat-ID: 16922
Domik-Kienegger G, Kienegger E. Method to Relate Digital SAR Images and Map Information in Mountainous Areas . In: Proceedings of the World Conference on Remote Sensing. ; 1984.
LibreCat
 
1984 | Book Chapter | LibreCat-ID: 16787
Meyer auf der Heide F. Efficient simulations among several models of parallel computers (extended abstract). In: STACS 84. Berlin, Heidelberg; 1984. doi:10.1007/3-540-12920-0_20
LibreCat | DOI
 
1983 | Journal Article | LibreCat-ID: 16808
Meyer auf der Heide F. Infinite cube-connected cycles. Information Processing Letters. 1983:1-2. doi:10.1016/0020-0190(83)90001-7
LibreCat | DOI
 
1983 | Book Chapter | LibreCat-ID: 16810
Meyer auf der Heide F. Efficiency of universal parallel computers. In: Lecture Notes in Computer Science. Berlin/Heidelberg; 1983. doi:10.1007/bfb0036483
LibreCat | DOI
 
1983 | Journal Article | LibreCat-ID: 7412
Engels G, Pletat U, Ehrich H-D. An Operational Semantics for Specifications of Abstract Data Types with Error Handling. Acta Informatica. 1983;9(3):235-254. doi:http://dx.doi.org/10.1007/BF00265557
LibreCat | DOI
 
1983 | Conference Paper | LibreCat-ID: 16809
Meyer auf der Heide F. A polynomial linear search algorithm for the n-dimensional knapsack problem. In: Proceedings of the Fifteenth Annual ACM Symposium on Theory of Computing  - STOC ’83. ; 1983. doi:10.1145/800061.808734
LibreCat | DOI
 
1983 | Journal Article | LibreCat-ID: 16806
Meyer auf der Heide F. Efficiency of universal parallel computers. Acta Informatica. 1983:269-296. doi:10.1007/bf00265559
LibreCat | DOI
 
1983 | Journal Article | LibreCat-ID: 16807
Klein P, Meyer auf der Heide F. A lower time bound for the knapsack problem on random access machines. Acta Informatica. 1983:385-395. doi:10.1007/bf00290735
LibreCat | DOI
 
1983 | Journal Article | LibreCat-ID: 7411
Engels G, Gall R, Nagl M, Schäfer W. Software Specification Using Graph Grammars. Computing. 1983;31(4):317-346. doi:http://dx.doi.org/10.1007/BF02251236
LibreCat | DOI
 
1983 | Conference Paper | LibreCat-ID: 8255
Nagl M, Engels G, Gall R, Schäfer W. Software Specification by Graph Grammars. In: Proceedings of the 2nd International Workshop on Graph-Grammars and Their Application to Computer Science, Osnabrück (Germany). Vol 153. LNCS. Berlin/Heidelberg: Springer; 1983:267-287. doi:dx.doi.org/10.1007/BFb0000113
LibreCat | DOI
 
1982 | Conference Paper | LibreCat-ID: 7811
Engels G, Schäfer W. Specification of a Programming Support Environment by Graph Grammars. In: Proceedings of the Conference on Graphtheoretic Concepts in Computer Science (WG`82), München (Germany). München/Leipzig: Hanser; 1982:47-62.
LibreCat
 
1982 | Conference Paper | LibreCat-ID: 7812
Pletat U, Engels G, Ehrich H-D. An Operational Approach to Conditional Algebraic Specifications. In: Proceedings of the 7eme Colloque Sur Les Arbres En Algebre et En Programmation, Lille (France). Vol 82. ; 1982:254-270.
LibreCat
 
1981 | Book Chapter | LibreCat-ID: 16813
Meyer auf der Heide F, Rollik A. Random access machines and straight-line programs. In: Fundamentals of Computation Theory. Berlin, Heidelberg; 1981. doi:10.1007/3-540-10854-8_29
LibreCat | DOI
 
1981 | Journal Article | LibreCat-ID: 16820
Meyer auf der Heide F. A comparison of two variations of a pebble game on graphs. Theoretical Computer Science. 1981:315-322. doi:10.1016/s0304-3975(81)80004-7
LibreCat | DOI
 
1981 | Report | LibreCat-ID: 8184
Engels G, Pletat U, Ehrich H-D. Handling Errors and Exceptions in the Algebraic Specifications of Data Types. University of Osnabrück; 1981.
LibreCat
 
1981 | Book Chapter | LibreCat-ID: 16814
Meyer auf der Heide F. Time-processor trade-offs for universal parallel computers. In: Lecture Notes in Computer Science. Berlin, Heidelberg; 1981. doi:10.1007/3-540-10856-4_111
LibreCat | DOI
 
1981 | Report | LibreCat-ID: 8185
Pletat U, Engels G, Ehrich H-D. Operational Semantics of Algebraic Specifications with Conditional Equations. University of Dortmund, Department of Computer Science; 1981.
LibreCat
 
1980 | Book Chapter | LibreCat-ID: 16815
Klein P, Meyer auf der Heide F. Untere Zeitschranken für das Rucksack-Problem. In: GI - 10. Jahrestagung. Berlin, Heidelberg; 1980. doi:10.1007/978-3-642-67838-7_34
LibreCat | DOI
 
1980 | Book (Editor) | LibreCat-ID: 15510
Hagengruber R, ed. Inseln im Ich. München: Matthes & Seitz; 1980.
LibreCat
 
1979 | Journal Article | LibreCat-ID: 16812
Meyer auf der Heide F. A comparison of two variations of a pebble game on graphs. Automata, Languages and Programming ICALP 1979. 1979:411-421. doi:10.1007/3-540-09510-1_32
LibreCat | DOI
 
[n.d.] | Journal Article | LibreCat-ID: 15596
Biehler R, Budde L, Frischemeier D, et al. Paderborn Symposium on Data Science Education at School Level 2017: The Collected Extended Abstracts.
LibreCat
 

Filters and Search Terms

(type<>bachelorsthesis AND type<>mastersthesis AND type <> dissertation)

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export