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.

10512 Publications


1992 | Report | LibreCat-ID: 8189
G. Engels, Visual Specifications of Conceptual Database Schemata (Abstract). Leiden University, 1992.
LibreCat
 

1992 | Conference Paper | LibreCat-ID: 8261
G. Engels and L. Groenewegen, “Specification of Coordinated Behaviour in the Software Development Process,” in Proceedings of the Second European Workshop on Software Process Technology (EWSPT 92), Trondheim, Norway, 1992, vol. 635, pp. 58–60.
LibreCat | DOI
 

1992 | Journal Article | LibreCat-ID: 16907
G. Domik-Kienegger, “Design and Development of a Data Visualization System in a Workstation Environment,” J. Micorcomputer Applications, vol. 15, pp. 81–88, 1992.
LibreCat
 

1992 | Book Chapter | LibreCat-ID: 16546
M. Dellnitz, M. Golubitsky, and I. Melbourne, “Mechanisms of Symmetry Creation,” in Bifurcation and Symmetry, Basel, 1992.
LibreCat | DOI
 

1992 | Journal Article | LibreCat-ID: 17474
V. Peckhaus, “Hilbert, Zermelo und die Institutionalisierung der mathematischen Logik in Deutschland,” Berichte zur Wissenschaftsgeschichte, vol. 15, pp. 27–38, 1992.
LibreCat
 

1992 | Conference Abstract | LibreCat-ID: 17828
V. Peckhaus, “Wozu Algebra der Logik? Zum Lebenswerk von Ernst Schröder [Abstract],” in 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, 1992, pp. 55–59.
LibreCat
 

1992 | Journal Article | LibreCat-ID: 11782
R. Haeb-Umbach, “A modified trellis coding technique for partial response channels,” IEEE Transactions on Communications, 1992.
LibreCat
 

1992 | Journal Article | LibreCat-ID: 13017
H.-J. Wunderlich and S. Hellebrand, “The Pseudoexhaustive Test of Sequential Circuits,” {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD)}, vol. 11, no. 1, pp. 26–33, 1992.
LibreCat | DOI
 

1992 | Journal Article | LibreCat-ID: 1653
D. Krimphove, “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, no. 12, p. 357 ff., 1992.
LibreCat
 

1992 | Book Chapter | LibreCat-ID: 16737
M. Dietzfelbinger and F. Meyer auf der Heide, “Dynamic Hashing in Real Time,” in TEUBNER-TEXTE zur Informatik, Wiesbaden, 1992.
LibreCat | DOI
 

1992 | Conference Paper | LibreCat-ID: 2459
R. Diekmann, R. Lüling, and J. Simon, “A General Purpose Distributed Implementation of Simulated Annealing,” in Proc. IEEE Symp. on Parallel and Distributed Processing (SPDP), 1992, pp. 94–101.
LibreCat | DOI
 

1992 | Book Chapter | LibreCat-ID: 3046
H. Alt and J. Blömer, “Resemblance and symmetries of geometric patterns,” in Data structures and efficient algorithms, Berlin, Heidelberg: Springer Berlin Heidelberg, 1992, pp. 1–24.
LibreCat | DOI
 

1992 | Journal Article | LibreCat-ID: 7409
G. Engels, C. Lewerentz, M. Nagl, W. Schäfer, and A. Schürr, “Building Integrated Software Development Environments, Part I: Tool Specification,” ACM Transactions on Software Engineering and Methodology (TOSEM), vol. 1, no. 2, pp. 135–167, 1992.
LibreCat
 

1992 | Conference Paper | LibreCat-ID: 8084
S. Krauter, “Hinweise zur Modellbildung und Simulation des Strahlungseinfalls in PV-Module,” in Solar Energy Simulation Workshop der DGS, Oldenburg (Deutschland), Oldenburg (Deutschland), 1992.
LibreCat
 

1992 | Conference Paper | LibreCat-ID: 16908
G. Domik-Kienegger, “Designing User-Centered Interfaces for Astrophysical Software on User Interfaces for Astrophysical Software,” in Proceedings on User Interfaces for Astrophysical Software, Greenbelt, MD, 1992.
LibreCat
 

1992 | Book Chapter | LibreCat-ID: 16547
M. Dellnitz, J. E. Marsden, I. Melbourne, and J. Scheurle, “Generic Bifurcations of Pendula,” in Bifurcation and Symmetry, Basel, 1992.
LibreCat | DOI
 

1992 | Book Chapter | LibreCat-ID: 17177
G. Oevel and M. Wagner, “Förderung von Studentinnen im Grundstudium,” in Frauen in natur- und ingenieurwissenschaftlichen Berufen, vol. 17, Ministerium für die Gleichstellung von Frau und Mann des Landes NRW, Ed. 1992.
LibreCat
 

1993 | Conference Paper | LibreCat-ID: 11788
R. Haeb-Umbach, D. Geller, and H. Ney, “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
V. Steinbiss et al., “The Philips Research System for Large-Vocabulary Continuous-Speech Recognition,” in EUROSPEECH, Berlin, 1993.
LibreCat | Download (ext.)
 

1993 | Misc | LibreCat-ID: 13082
S. Hellebrand and H.-J. Wunderlich, Synthesis of Self-Testable Controllers. ARCHIMEDES Open Workshop on “Synthesis - Architectural Testability Support”, Montpellier, France, 1993.
LibreCat
 

1993 | Conference Paper | LibreCat-ID: 13467
M. Platzner, C. Steger, and R. Weiss, “Performance Measurements on a Multi-DSP Architecture with TMS320C40,” in Proceedings of the 4th International Conference on Signal Processing Applications & Technology (ICSPAT), 1993.
LibreCat
 

1993 | Journal Article | LibreCat-ID: 15273
G. Domik, “Guidelines for a curriculum in scientific visualization,” Computers \& Graphics, vol. 17, no. 2, pp. 185–191, 1993.
LibreCat
 

1993 | Journal Article | LibreCat-ID: 15045
G. Domik, “An Agenda for Education in Scientific Visualization, Visualization’92 Workshop Report,” COMPUTER GRAPHICS-NEW YORK-ASSOCIATION FOR COMPUTING MACHINERY-, vol. 27, pp. 6–6, 1993.
LibreCat
 

1993 | Report | LibreCat-ID: 2455
R. Diekmann, R. Lüling, and J. Simon, Problem Independent Distributed Simulated Annealing and its Applications. Paderborn Center for Parallel Computing, 1993.
LibreCat
 

1993 | Journal Article | LibreCat-ID: 8895
W. Sextro and B. Schmalhorst, “Static Behaviour of Drill Strings in Curved Boreholes,” Zeitschrift für angewandte Mathematik und Mechanik (ZAMM), vol. 73, pp. 255–257, 1993.
LibreCat
 

1993 | Conference Paper | LibreCat-ID: 17476
V. Peckhaus, “Ernst Schröder und der Logizismus,” in Philosophie und Logik. Frege-Kolloquien Jena 1989/1991, 1993, vol. 3, pp. 108–119.
LibreCat
 

1993 | Journal Article | LibreCat-ID: 1655
D. Krimphove, “Anmerkungen zum Manteltarifvertrag der Banken - Eine Kommentierung des Manteltarifvertrages des Bankgewerbes 1993,” Bankkalender 1994, no. 19. Lieferung, p. 157 ff., 1993.
LibreCat
 

1993 | Conference Paper | LibreCat-ID: 16828
G. Domik-Kienegger, “Education in Scientific Visualization,” in 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, 1993, vol. {A-48}, pp. 25–32.
LibreCat
 

1993 | Book Chapter | LibreCat-ID: 2456
R. Diekmann and J. Simon, “Problem Independent Distributed Simulated Annealing and its Applications,” in Applied Simulated Annealing, vol. 396, Berlin / Heidelberg: Springer, 1993, pp. 17–44.
LibreCat | DOI
 

1993 | Journal Article | LibreCat-ID: 16633
I. Melbourne and M. Dellnitz, “Normal forms for linear Hamiltonian vector fields commuting with the action of a compact Lie group,” Mathematical Proceedings of the Cambridge Philosophical Society, pp. 235–268, 1993.
LibreCat | DOI
 

1993 | Journal Article | LibreCat-ID: 16518
E. Barany, M. Dellnitz, and M. Golubitsky, “Detecting the symmetry of attractors,” Physica D: Nonlinear Phenomena, pp. 66–87, 1993.
LibreCat | DOI
 

1993 | Book | LibreCat-ID: 17302
B. Fuchssteiner 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
F. Meyer auf der Heide, B. Monien, and A. L. Rosenberg, Eds., Parallel Architectures and Their Efficient Use. Berlin, Heidelberg: Springer, 1993.
LibreCat | DOI
 

1993 | Conference Paper | LibreCat-ID: 13015
S. Venkataraman, J. Rajski, S. Hellebrand, and S. Tarnick, “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)}, 1993.
LibreCat | DOI
 

1993 | Conference Paper | LibreCat-ID: 15275
G. Domik, C. Joslyn, and T. Segura, “Macroscopic and Microscopic Aspects of Glyphs,” in Proceedings of the Vienna Conference on Human Computer Interaction, 1993.
LibreCat
 

1993 | Book Chapter | LibreCat-ID: 16730
F. Meyer auf der Heide, B. Oesterdiekhoff, and R. Wanka, “Strongly adaptive token distribution,” in Automata, Languages and Programming, Berlin, Heidelberg, 1993.
LibreCat | DOI
 

1993 | Journal Article | LibreCat-ID: 1656
D. Krimphove, “Erzeugergemeinschaften: Wettbewerbsrechtliche  Möglichkeiten zur Unternehmenskooperation in der Landwirtschaft,” Recht der Landwirtschaft, no. Januar-Heft, p. 4 ff., 1993.
LibreCat
 

1993 | Report | LibreCat-ID: 8190
M. Andries and G. Engels, A Hybrid Query Language for the Extended Entity Relationship Model. Vakgroep Informatica, Rijksuniversiteit Leiden, 1993.
LibreCat
 

1993 | Conference Paper | LibreCat-ID: 16906
G. Domik-Kienegger, “Scientific Visualization,” in Proceedings of ED Media ’93, Orlando, Florida, 1993.
LibreCat
 

1993 | Journal Article | LibreCat-ID: 16634
I. Melbourne, M. Dellnitz, and M. Golubitsky, “The structure of symmetric attractors,” Archive for Rational Mechanics and Analysis, pp. 75–98, 1993.
LibreCat | DOI
 

1993 | Book Chapter | LibreCat-ID: 17478
V. Peckhaus, “Kurt Grelling und der Logische Empirismus,” in Wien—Berlin—Prag. Der Aufstieg der wissenschaftlichen Philosophie. Zentenarien Rudolf Carnap–Hans Reichenbach–Edgar Zilsel, vol. 2, R. Haller and F. Stadler, Eds. Wien: Hölder-Pichler-Tempsky, 1993, pp. 362–385.
LibreCat
 

1993 | Journal Article | LibreCat-ID: 13857
W. G. Schmidt and G. P. Srivastava, “Chemisorption of aluminium on GaAs(110),” Journal of Physics: Condensed Matter, vol. 5, no. 49, pp. 9025–9036, 1993.
LibreCat | DOI
 

1993 | Journal Article | LibreCat-ID: 1657
D. Krimphove, “Neuer europäischer Schutz von Marken- und Herkunftszeichen in der Landwirtschaft,” Agrarrecht, no. Heft 1, p. 7 ff., 1993.
LibreCat
 

1993 | Conference Paper | LibreCat-ID: 16731
M. Dietzfelbinger and F. Meyer auf der Heide, “Simple, efficient shared memory simulations,” in Proceedings of the fifth annual ACM symposium on Parallel algorithms and architectures  - SPAA ’93, 1993.
LibreCat | DOI
 

1993 | Journal Article | LibreCat-ID: 16729
M. Dietzfelbinger and F. Meyer auf der Heide, “An Optimal Parallel Dictionary,” Information and Computation, pp. 196–217, 1993.
LibreCat | DOI
 

1993 | Report | LibreCat-ID: 2453
J. Simon, Benutzung virtueller Topologien unter PARIX. Paderborn Center for Parallel Computing, 1993.
LibreCat
 

1993 | Report | LibreCat-ID: 3045
J. Blömer, On Kummer theory and the number of roots of unity in radical extensions of Q. Technical Report, Freie Universität Berlin, Fachbereich Mathematik und Informatik, 1993.
LibreCat
 

1993 | Journal Article | LibreCat-ID: 3069
T. Gries and B. Wigger, “The Dynamics of Upgrading or how to catch-up,” Economia Internationale, vol. 46, no. 4, pp. 3–13, 1993.
LibreCat
 

1993 | Conference Paper | LibreCat-ID: 7826
G. Engels and A. A. Verrijn-Stuart, “Integrationsaspekte bei verteilter Software-Entwicklung,” in Fortschritt-Berichte VDI, 1993, no. 251, pp. 45–53.
LibreCat
 

1993 | Conference Paper | LibreCat-ID: 8090
S. Krauter and R. Hanitsch, “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
H. Ehrig and G. Engels, Towards a Module Concept for Graph Transformation Systems. Vakgroep Informatica, Rijksuniversiteit Leiden, 1993.
LibreCat
 

1993 | Journal Article | LibreCat-ID: 17013
M. Dellnitz, “The equivariant Darboux theorem,” Lectures in Applied Mathematics, vol. 29, pp. 163–169, 1993.
LibreCat
 

1993 | Conference Paper | LibreCat-ID: 17479
U. Kastens, F. Meyer auf der Heide, A. Wachsmann, and F. Wichmann, “OCCAM-light: A Language Combining Shared Memory and Message Passing (A First Report),” in Proc. 3rd PASA Workshop, PARS Mitteilungen, 1993, pp. 50–55.
LibreCat
 

1993 | Conference Paper | LibreCat-ID: 11718
X. L. Aubert, R. Haeb-Umbach, and H. Ney, “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
S. Dobler, D. Geller, R. Haeb-Umbach, P. Meyer, H. Ney, and H. W. Ruehl, “Design and use of speech recognition algorithms for a mobile radio telephone,” Speech Communication, 1993.
LibreCat
 

1993 | Misc | LibreCat-ID: 13081
S. Hellebrand, S. Tarnick, J. Rajski, and B. Courtois, Effiziente Erzeugung deterministischer Muster im Selbsttest. 5th ITG/GI/GME Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen”, Holzhau, Germany, 1993.
LibreCat
 

1993 | Journal Article | LibreCat-ID: 13466
M. Platzner and C. Steger, “Erfahrungen mit einer Multi-Signalprozessorarchitektur (TMS320C40),” Mikroelektronik, 1993.
LibreCat
 

1993 | Journal Article | LibreCat-ID: 13858
W. G. Schmidt, B. Wenzien, and F. Bechstedt, “AB initio calculation of the atomic and electronic structure for Sb adsorbed on GaAs(110),” Czechoslovak Journal of Physics, vol. 43, no. 9–10, pp. 1003–1007, 1993.
LibreCat | DOI
 

1993 | Book Chapter | LibreCat-ID: 15570
R. Hagengruber, “Punkt und Mathematik in der Metaphysik des Tommaso Campanella,” in Verum et Factum. Beiträge zur Geistesgeschichte und Philosophie der Renaissance. Festschrift zum 60. Geburtstag von Stephan Otto, T. Albertini, Ed. Frankfurt u.a.: Peter Lang, 1993, pp. 505–514.
LibreCat
 

1993 | Journal Article | LibreCat-ID: 1658
D. Krimphove, “Europäisches Arbeitsrecht,” Europäische Zeitschrift für Wirtschaftsrecht (EuZW), no. Mai, p. 244 ff., 1993.
LibreCat
 

1993 | Book Chapter | LibreCat-ID: 16732
K. Lürwer-Brüggemeier and F. Meyer auf der Heide, “Capabilities and complexity of computations with integer division,” in Lecture Notes in Computer Science, Berlin, Heidelberg, 1993.
LibreCat | DOI
 

1993 | Report | LibreCat-ID: 2454
M. Röttger, J. Simon, and U.-P. Schroeder, Virtual Topology Library for PARIX. Paderborn Center for Parallel Computing, 1993.
LibreCat
 

1993 | Conference Paper | LibreCat-ID: 8089
S. Krauter and R. Hanitsch, “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
S. Krauter, Betriebsmodell der optischen, thermischen und elektrischen Parameter von PV-Modulen. Berlin: Verlag Köster, 1993.
LibreCat
 

1993 | Report | LibreCat-ID: 8192
G. Engels and G. Rozenberg, Abstracts COMPUGRAPH II Workshop. Vakgroep Informatica, Rijksuniversiteit Leiden, 1993.
LibreCat
 

1993 | Conference Paper | LibreCat-ID: 8262
G. Engels and L. Groenewegen, “Modular, Visual Specifications of Software Processes,” in Proceedings of the Workshop on Software Process (ISPW 1993), Wadern (Germany), 1993, pp. 66–68.
LibreCat
 

1993 | Book Review | LibreCat-ID: 17761
V. Peckhaus, “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, vol. 14. pp. 101-107 (Essay review), 1993.
LibreCat
 

1993 | Book Review | LibreCat-ID: 17773
V. Peckhaus, “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, vol. 3. pp. 311–320, 1993.
LibreCat
 

1993 | Conference Abstract | LibreCat-ID: 17831
V. Peckhaus, “The Development of Ernst Schröder’s Attitude towards Logic [Abstract],” in XIXth International Congress of History of Science. 22–29 August 1993 Zaragoza (Spain). Book of Abstracts Symposia, 1993, vol. Nr. 4.2.
LibreCat
 

1993 | Conference Abstract | LibreCat-ID: 17829
V. Peckhaus, “Leibniz’ ,Mathesis universalis‘ und die Mathematiker des 19. Jahrhunderts [Abstract],” in Fachsektion Geschichte der Mathematik der Deutschen Mathematiker-Vereinigung. Sektionstagung vom 22. bis 26. März 1993 in Wuppertal, 1993, pp. 30–31.
LibreCat
 

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 | LibreCat-ID: 3333
H. Kleine Büning and T. Lettmann, Aussagenlogik - Deduktion und Algorithmen. Teubner, 1994.
LibreCat
 

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

Filters and Search Terms

year<=2030 AND year>=1980

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year
Citation Style: IEEE

Export / Embed