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.

10721 Publications


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

1994 | Conference Paper | LibreCat-ID: 2452
Simon, J. (1994). Leistung eines Parallelrechners auf Basis des PowerPC-Prozessors. In Parallele Datenverarbeitung aktuell: TAT ’94 (pp. 38–45). Amsterdam: IOS Press.
LibreCat
 

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

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

1994 | Conference (Editor) | LibreCat-ID: 7798
Cuny, J., Ehrig, H., Engels, G., & Rozenberg, G. (Eds.). (1994). Graph Gramars and Their Application to Computer Science, 5th International Workshop (1994), Selected Papers (Vol. 1073). Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/3-540-61228-9
LibreCat | DOI
 

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

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

1994 | Book | LibreCat-ID: 17303
Fuchssteiner, B., Gottheil, K., Kemper, A., Kluge, O., Morisse, K., Naundorf, H., … Wiwianka, W. (1994). MuPAD: Multi Processing Algebra Data Tool; Tutorial. Basel-Boston-Berlin: Birkhäuser.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 17480
Peckhaus, V. (1994). Logic in Transition: The Logical Calculi of Hilbert (1905) and Zermelo (1908). In D. Prawitz & D. Westerståhl (Eds.), Logic and Philosophy of Science in Uppsala. Papers from the 9th International Congress of Logic, Methodology and Philosophy of Science (Vol. 236, pp. 311–323). Dordrecht/Boston/London: Kluwer.
LibreCat
 

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

1994 | Book Chapter | LibreCat-ID: 17834
Peckhaus, V. (1994). Ernst Schröder. In Modern Logic Calendar 1994 (p. November).
LibreCat
 

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

1994 | Misc | LibreCat-ID: 17896
Peckhaus, V. (1994). 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].
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 13059
Hellebrand, S., & Wunderlich, H.-J. (1994). Synthese schneller selbsttestbarer Steuerwerke. In {Tagungsband der GI/GME/ITG-Fachtagung \& Rechnergestützter Entwurf und Architektur mikroelektronischer Systeme} (pp. 3–11). Oberwiesenthal, Informatik Xpress 4, TU Chemnitz Zwickau, Germany.
LibreCat
 

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

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

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

1994 | Journal Article | LibreCat-ID: 16541
Dellnitz, M., & Melbourne, I. (1994). Generic movement of eigenvalues for equivariant self-adjoint matrices. Journal of Computational and Applied Mathematics, 249–259. https://doi.org/10.1016/0377-0427(94)90032-9
LibreCat | DOI
 

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

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

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

1994 | Journal Article | LibreCat-ID: 13853
Bechstedt, F., Schmidt, W. G., & Wenzien, B. (1994). Energetics and Structure of Ordered Sb Overlayers and Sb Clusters on GaAs(110) Probed by Ab Initio Calculations. Europhysics Letters (EPL), 25(5), 357–362. https://doi.org/10.1209/0295-5075/25/5/008
LibreCat | DOI
 

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

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

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

1994 | Conference Paper | LibreCat-ID: 8096
Krauter, S. (1994). 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.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 7827
Thoben, W., Appelrath, H.-J., Rettig, J., & Sauer, S. (1994). 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) (pp. 88–90). München: MMV Medizin Verlag.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 16819
Domik-Kienegger, G., & Gutkauf, B. (1994). User Modeling for Adaptive Visualization Systems. In R. Daniel Bergeron & A. E. Kaufman (Eds.), Proceedings IEEE Visualization ’94, Washington, DC, USA, October 17-21, 1994 (pp. 217–223). IEEE Computer Society. https://doi.org/10.1109/VISUAL.1994.346316
LibreCat | DOI
 

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

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

1994 | Conference Paper | LibreCat-ID: 17487
Peckhaus, V. (1994). 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 (pp. 589–596). Hannover.
LibreCat
 

1995 | Journal Article | LibreCat-ID: 10610
Platzner, M., Rinner, B., & Weiss, R. (1995). Exploiting Parallelism in Constraint Satisfaction for Qualitative Simulation. J.UCS Journal of Universal Computer Science, 12, 811–820.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 11757
Dugast, C., Beyerlein, P., & Haeb-Umbach, R. (1995). Application of Clustering Techniques to Mixture Density Modelling for Continuous-Speech Recognition. In ICASSP, Detroit.
LibreCat | Download (ext.)
 

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

1995 | Conference Paper | LibreCat-ID: 13474
Platzner, M., & Rinner, B. (1995). High-Performance Qualitative Simulation on a Multi-DSP Architecture. In Proceedings of the 6th International Conference on Signal Processing Applications & Technology (ICSPAT).
LibreCat
 

1995 | Journal Article | LibreCat-ID: 13796
Santos, P. V., Esser, N., Groenen, J., Cardona, M., Schmidt, W. G., & Bechstedt, F. (1995). Hydrogen interaction with Sb-terminated GaAs and InP (110) surfaces. Physical Review B, 52(24), 17379–17385. https://doi.org/10.1103/physrevb.52.17379
LibreCat | DOI
 

1995 | Conference Paper | LibreCat-ID: 15305
Hüllermeier, E. (1995). Fuzzy polynomial and spline interpolation. In in Proceedings IMACS Symposium on Systems Analysis and Simulation, Berlin (pp. 401–404). Gordon and Breach Publishers.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 16707
Czumaj, A., Meyer auf der Heide, F., & Stemann, V. (1995). Improved optimal shared memory simulations, and the power of reconfiguration. In Proceedings Third Israel Symposium on the Theory of Computing and Systems. https://doi.org/10.1109/istcs.1995.377051
LibreCat | DOI
 

1995 | Conference Paper | LibreCat-ID: 2448
Römke, T., Röttger, M., Schroeder, U.-P., & Simon, J. (1995). An Efficient Mapping Library for Parix. In Proc. ZEUS Workshop on Par. Programming and Computation. IOS Press.
LibreCat
 

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year
Citation Style: APA

Export / Embed