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.

13572 Publications


1995 | Journal Article | LibreCat-ID: 16566
Breslauer, D., Czumaj, A., Dubhashi, D. P., & Meyer auf der Heide, F. (1995). Transforming comparison model lower bounds to the parallel-random-access-machine. Information Processing Letters, 103–110. https://doi.org/10.1016/s0020-0190(97)00032-x
LibreCat | DOI
 

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

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

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

1995 | Conference Paper | LibreCat-ID: 2187
Meyer auf der Heide, F., & Scheideler, C. (1995). Routing with Bounded Buffers and Hot-Potato Routing in Vertex-Symmetric Networks. In ESA (pp. 341--354). https://doi.org/10.1007/3-540-60313-1_154
LibreCat | Files available | DOI
 

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

1994 | Conference Paper | LibreCat-ID: 13013
Hellebrand, S., & Wunderlich, H.-J. (1994). Synthesis of Self-Testable Controllers. In {European Design and Test Conference (EDAC/ETC/EUROASIC)} (pp. 580–585). Paris, France: {IEEE (Comput. Soc. Press)}. https://doi.org/10.1109/edtc.1994.326815
LibreCat | DOI
 

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

1994 | Journal Article | LibreCat-ID: 13854
Schmidt, W. G., & Srivastava, G. (1994). First principles calculations of interface phonons of an Epitaxial Sb monolayer on GaAs(110) and InP(110). Solid State Communications, 89(4), 345–348. https://doi.org/10.1016/0038-1098(94)90597-5
LibreCat | DOI
 

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

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

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

1994 | Journal Article | LibreCat-ID: 1661
Krimphove, D. (1994). Europejskie prawo pracy. Monitor Prawniczy, (2), 42 ff.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 3263
Rensink, A., & Wehrheim, H. (1994). Weak Sequential Composition in Process Algebras. In B. Jonsson & J. Parrow (Eds.), {CONCUR} ’94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings (pp. 226--241). https://doi.org/10.1007/978-3-540-48654-1_20
LibreCat | DOI
 

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

1994 | Conference Paper | LibreCat-ID: 7828
Ebert, J., & Engels, G. (1994). 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, pp. 142–157). Berlin/Heidelberg: Springer.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 7830
Engels, G., & Ehrig, H. (1994). 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). Universitat de les Illes Balears, Departament de Ci.
LibreCat
 

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

1994 | Conference Paper | LibreCat-ID: 8092
Krauter, S., Hanitsch, R., Campbell, P., & Wenham, S. R. (1994). 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.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 8263
Andries, M., & Engels, G. (1994). Syntax and Semantics of Hybrid Database Languages. In Proceedings of the International Workshop on Graph Transformations in Computer Science (1993), Dagstuhl (Germany) (Vol. 776, pp. 19–36). Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/3-540-57787-4_2
LibreCat | DOI
 

1994 | Book Review | LibreCat-ID: 17774
Peckhaus, V. (1994). 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.
LibreCat
 

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

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

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

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

1994 | Book | LibreCat-ID: 3333
Kleine Büning, H., & Lettmann, T. (1994). Aussagenlogik - Deduktion und Algorithmen. Teubner. https://doi.org/10.1007/978-3-322-84809-3
LibreCat | DOI
 

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

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

1994 | Conference Paper | LibreCat-ID: 13014
Hellebrand, S., & Wunderlich, H.-J. (1994). An Efficient Procedure for the Synthesis of Fast Self-Testable Controller Structures. In {ACM/IEEE International Conference on Computer-Aided Design (ICCAD’94)} (pp. 110–116). San Jose, CA, USA: {IEEE}. https://doi.org/10.1109/iccad.1994.629752
LibreCat | DOI
 

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

1994 | Conference Paper | LibreCat-ID: 13468
Platzner, M., Steger, C., & Weiss, R. (1994). Experimental Evaluation of Multi-DSP Architectures in High Performance Applications. In Proceedings of the 7th Mediterranean Electrotechnical Conference. IEEE Press.
LibreCat
 

1994 | Journal Article | LibreCat-ID: 13855
Schmidt, W. G., Wenzien, B., & Bechstedt, F. (1994). Coverage-dependent bonding of Sb on GaAs (110). Surface Science, 307309(Part A), 235–240. https://doi.org/10.1016/0039-6028(94)90400-6
LibreCat | DOI
 

1994 | Journal Article | LibreCat-ID: 1662
Krimphove, D. (1994). Die Mitwirkungsrechte des Betriebsrates in der Betriebsverfassung. Arbeit Und Recht , (Heft 4), 215 ff.
LibreCat
 

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

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

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

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

1994 | Conference Paper | LibreCat-ID: 7829
Engels, G., & Kappel, G. (1994). 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, pp. 434–441). Elsevier.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 8093
Strauss, P., Onneken, K., Krauter, S., & Hanitsch, R. (1994). 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.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 8264
Engels, G., & Groenewegen, L. (1994). Specification of coordinated behaviour by SOCCA. In Proceedings of the Third European Workshop on Software Process Technology (EWSPT 1994), Villard de Lans (France) (pp. 128–151). Berlin/Heidelberg: Springer. 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. (1994). Symmetry of Attractors and the Karhunen-Loève Decomposition. In Trends and Perspectives in Applied Mathematics. New York, NY. https://doi.org/10.1007/978-1-4612-0859-4_4
LibreCat | DOI
 

1994 | Book Chapter | LibreCat-ID: 16544
Dellnitz, M., & Scheurle, J. (1994). Eigenvalue Movement for a Class of Reversible Hamiltonian Systems with Three Degrees of Freedom. In Dynamics, Bifurcation and Symmetry. Dordrecht. https://doi.org/10.1007/978-94-011-0956-7_9
LibreCat | DOI
 

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

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

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

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

1994 | Journal Article | LibreCat-ID: 13856
Schmidt, W. G., Wenzien, B., & Bechstedt, F. (1994). Chemisorption of antimony on GaAs(110). Physical Review B, 49(7), 4731–4744. https://doi.org/10.1103/physrevb.49.4731
LibreCat | DOI
 

1994 | Book Chapter | LibreCat-ID: 15509
Hagengruber, R. (1994). Parallelen um den Punkt zwischen Campanella und Leibniz. In A. Heinekamp, I. Hein, & Stiftung Niedersachsen (Eds.), Leibniz und Europa (Vol. 1, pp. 309–315).
LibreCat
 

1994 | Journal Article | LibreCat-ID: 16728
Dietzfelbinger, M., Karlin, A., Mehlhorn, K., Meyer auf der Heide, F., Rohnert, H., & Tarjan, R. E. (1994). Dynamic Perfect Hashing: Upper and Lower Bounds. SIAM Journal on Computing, 738–761. https://doi.org/10.1137/s0097539791194094
LibreCat | DOI
 

1994 | Journal Article | LibreCat-ID: 16817
Domik-Kienegger, G. (1994). Visualization education. Comput. Graph., 18(3), 277–280. https://doi.org/10.1016/0097-8493(94)90026-4
LibreCat | DOI
 

Filters and Search Terms

year<=2030 AND year>=1980

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed