Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

13548 Publications


1995 | Conference Paper | LibreCat-ID: 7833
R. Heckel, “Embedding of Conditional Graph Transformations,” in Proceedings of the Colloquium on Graph Transformation and its Application in Computer Science, 1995, no. B-19.
LibreCat
 

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

1995 | Report | LibreCat-ID: 8196
G. Engels and A. Schürr, Encapsulated Hierarchical Graphs, Graph Types, and Meta Types. Vakgroep Informatica, Rijksuniversiteit Leiden, 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 8266
L. Groenewegen and G. Engels, “Coordination by Behavioural Views and Communication Patterns,” in Proceedings of the 4th European Workshop on Software Process Technology (EWSPT 1995), Noordwijkerhout (The Netherlands), 1995, vol. 913, pp. 189–192.
LibreCat | DOI
 

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

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

1995 | Book Review | LibreCat-ID: 17777
V. Peckhaus, “‘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), vol. 11. pp. 285–290, 1995.
LibreCat
 

1995 | Book Chapter | LibreCat-ID: 17842
V. Peckhaus, “Kurt Grelling,” in Modern Logic Calendar 1995, 1995, p. März.
LibreCat
 

1995 | Book | LibreCat-ID: 18701
E.-M. Seng, Kirchenbau zwischen Politik, Kunst und Liturgie. Theorie und Wirklichkeiten im Evangelischen Kirchenbau des 19. Jahrhunderts. Jahresgabe des Vereins für christliche Kunst in Württemberg 1995. Tübingen: Wasmuth, 1995.
LibreCat
 

1995 | Journal Article | LibreCat-ID: 16243
S. Dohmeier-Fischer, N. Krämer, and H.-F. Grützmacher, “Rearrangement by intermediate ion/neutral complexes during the McLafferty fragmentation of unsaturated ketones,” European Journal of Mass Spectrometry, 1995.
LibreCat | DOI
 

1995 | Dissertation | LibreCat-ID: 19627
A. Czumaj, Parallel Algorithmic Techniques: PRAM Algorithms and PRAM Simulations. Universität Paderborn, 1995.
LibreCat | Files available
 

1995 | Dissertation | LibreCat-ID: 19634
F. Ameur, Space-Bounded Learning Algorithms. Universität Paderborn, 1995.
LibreCat
 

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

1995 | Conference Paper | LibreCat-ID: 11787
R. Haeb-Umbach, P. Beyerlein, and E. Thelen, “Automatic Transcription of Unknown Words in a Speech Recognition System,” in ICASSP, Detroit, 1995.
LibreCat | Download (ext.)
 

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

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

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

1995 | Conference Paper | LibreCat-ID: 15272
G. Domik-Kienegger and G. Owen, “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
D. Krimphove, Rechtliche Rahmenbedingungen des deutschen und internationalen Börsentermingeschäftes Ein Leitfaden für Banken, Sparkassen, Kreditinstitute, Anlagevermittler und Kunden mit Checklisten und Hinweisen zur Durchführung einer ordnungsgemäßen Anlageberatung  , vol. Nr. 14. Berlin: FHTW Schriftenreihe, 1995.
LibreCat
 

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

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

1995 | Book | LibreCat-ID: 2675
S. Betz, Erfolgscontrolling unter besonderer Berücksichtigung produktionswirtschaftlicher Aspekte. Paderborn, 1995.
LibreCat
 

1995 | Book Chapter | LibreCat-ID: 8077
D. Euler, H.-H. Kremer, and M. Theis, “Grundfragen der Berufsbildung,” in Meisterprüfung - Lernen für die Praxis, Ausbilden im Handwerk, 1st ed., D. Euler, H.-H. Kremer, and M. Theis, Eds. 1995, pp. 13–42.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 8267
A. Corradini and R. Heckel, “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), 1995, vol. 2, pp. 46–55.
LibreCat
 

1995 | Journal Article | LibreCat-ID: 16542
M. Dellnitz and I. Melbourne, “A note on the shadowing lemma and symmetric periodic points,” Nonlinearity, pp. 1067–1075, 1995.
LibreCat | DOI
 

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

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

1995 | Book Chapter | LibreCat-ID: 19414
N. O. Eke, “Zeit/Räume – Aspekte der Zeiterfahrung bei Heiner Müller,” in Heiner Müller – Rückblicke, Perspektiven. Vorträge des Pariser Kolloquiums 1993, T. Buck, J.-M. Valentin, N. Kenfgens, and D. Vogel, Eds. Frankfurt a. M.: Lang, 1995, pp. 131–152.
LibreCat
 

1995 | Dissertation | LibreCat-ID: 19630
A. Wachsmann, Eine Bibliothek von Basisdiensten für Parallelrechner: Routing, Synchronisation, gemeinsamer Speicher. Universität Paderborn, 1995.
LibreCat
 

1995 | Dissertation | LibreCat-ID: 19623
V. Stemann, Contention Resolution in Hashing Based Shared Memory Simulations. Universität Paderborn, 1995.
LibreCat
 

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

1994 | Book Review | LibreCat-ID: 17774
V. Peckhaus, “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, vol. 4. pp. 449–454, 1994.
LibreCat
 

1994 | Book Chapter | LibreCat-ID: 17837
V. Peckhaus, “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, p. 447.
LibreCat
 

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

1994 | Book Chapter | LibreCat-ID: 19415
N. O. Eke, “Heiner Müller,” in Deutsche Dichter des 20. Jahrhunderts, H. Steinecke, Ed. Berlin: Erich Schmidt, 1994, pp. 726–741.
LibreCat
 

1994 | Dissertation | LibreCat-ID: 19624
R. Wanka, Paralleles Sortieren auf mehrdimensionalen Gittern. Universität Paderborn, 1994.
LibreCat | Files available
 

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

1994 | Journal Article | LibreCat-ID: 19416
N. O. Eke, “„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, vol. 20, no. Folge 1-4, pp. 109–129, 1994.
LibreCat
 

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

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

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

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

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

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

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

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

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

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

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

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

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

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

1994 | Book Chapter | LibreCat-ID: 17834
V. Peckhaus, “Ernst Schröder,” in Modern Logic Calendar 1994, 1994, p. November.
LibreCat
 

1994 | Journal Article | LibreCat-ID: 17841
V. Peckhaus, “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, vol. 13, no. September-Oktober 1994, pp. 2–3, 1994.
LibreCat
 

1994 | Misc | LibreCat-ID: 17896
V. Peckhaus, Alexander Rüstow’s Thesis, Beitrag für  russell-l@mcmail.cis.mcmaster am 17. Juni 1994 [Abdruck: Rüstow’s Thesis on Russell’s Paradox, History of Logic Newsletter, Nr. 13 (September–Oktober 1994), 2–3] [revidierte Fassung: Rüstow’s Thesis on Russell’s Paradox”, Modern Logic 5 (1995), 167–169]. 1994.
LibreCat
 

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

1994 | Book (Editor) | LibreCat-ID: 18433
D. Tophinke, 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
N. O. Eke, “Vergangene Zeiten. Anmerkungen zur Semantik des Umbruchs und zu den Bedeutungsstrukturen im historischen Erzählen der frühen Restaurationszeit (1815-1830),” in Geschichten aus (der) Geschichte. Zum Stand des historischen Erzählens im Deutschland der frühen Restaurationszeit, N. O. Eke and H. Steinecke, Eds. München: Fink, 1994, pp. 17–58.
LibreCat
 

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

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

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

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

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

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

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

1994 | Book (Editor) | LibreCat-ID: 19088
N. O. Eke and H. Steinecke, 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
N. O. Eke and H. Steinecke, “Der historische Roman der frühen Restaurationszeit. Zur Einführung,” in Geschichten aus (der) Geschichte. Zum Stand des historischen Erzählens im Deutschland der frühen Restaurationszeit, N. O. Eke and H. Steinecke, Eds. München: Fink, 1994, pp. 7–16.
LibreCat
 

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

Filters and Search Terms

year<=2030 AND year>=1980

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed