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.

14017 Publications


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: 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 (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 | 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 | 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 | 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 | 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 | Report | LibreCat-ID: 13024
S. Hellebrand, A. Juergensen, and H.-J. Wunderlich, Synthesis for Off-line Testability. University of Siegen, Germany, 1994.
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 | 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 | 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 | Dissertation | LibreCat-ID: 15497
R. Hagengruber, Tommaso Campanella. Eine Philosophie der Ähnlichkeit. Sankt Augustin: Academia, 1994.
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 | Conference Paper | LibreCat-ID: 16819
G. Domik-Kienegger and B. Gutkauf, “User Modeling for Adaptive Visualization Systems,” in Proceedings IEEE Visualization ’94, Washington, DC, USA, October 17-21, 1994, 1994, pp. 217–223.
LibreCat | DOI
 

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

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

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 | 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 | Report | LibreCat-ID: 8192
G. Engels and G. Rozenberg, Abstracts COMPUGRAPH II Workshop. Vakgroep Informatica, Rijksuniversiteit Leiden, 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 | 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 | 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 | 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 | 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 | Report | LibreCat-ID: 2453
J. Simon, Benutzung virtueller Topologien unter PARIX. Paderborn Center for Parallel Computing, 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 | 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 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 | 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 | 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 | 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 | 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 | 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 | 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 | Journal Article | LibreCat-ID: 19430
N. O. Eke, “Eine Gesamtbibliographie des deutschen Romans 1815-1830. Anmerkungen zum Problemfeld von Bibliographie und Historiographie,” Zeitschrift für Germanistik, vol. NF III, no. H. 2, pp. 295–308, 1993.
LibreCat
 

1993 | Journal Article | LibreCat-ID: 13466
M. Platzner and C. Steger, “Erfahrungen mit einer Multi-Signalprozessorarchitektur (TMS320C40),” Mikroelektronik, 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: 1656
D. Krimphove, “Erzeugergemeinschaften: Wettbewerbsrechtliche  Möglichkeiten zur Unternehmenskooperation in der Landwirtschaft,” Recht der Landwirtschaft, no. Januar-Heft, p. 4 ff., 1993.
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 | Journal Article | LibreCat-ID: 19046
V. Peckhaus, “Fotografie: Ivor Grattan-Guinness (Erlangen, 21.2.1989),” The Mathematical Intelligencer, vol. 15, no. 4, 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 | 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.)
 

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year , Title
Citation Style: IEEE

Export / Embed