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.
9765 Publications
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 | 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 | 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 (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: 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: 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: 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: 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 | 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: 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: 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: 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 | 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 | 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: 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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, 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: 16819
Domik, 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 | 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 | 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 | Report | LibreCat-ID: 13024
Hellebrand, S., Juergensen, A., & Wunderlich, H.-J. (1994). Synthesis for Off-line Testability. University of Siegen, Germany.
LibreCat
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 | 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 | 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 | 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 | 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 | 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 | Conference Paper | LibreCat-ID: 30025
Sun, J., & Grotstollen, I. (1994). Pulsewidth modulation based on real-time solution of algebraic harmonic elimination equations. Proceedings of IECON’94 - 20th Annual Conference of IEEE Industrial Electronics. https://doi.org/10.1109/iecon.1994.397753
LibreCat
| DOI
1994 | Conference Paper | LibreCat-ID: 30021
Ruff, M., Bunte, A., & Grotstollen, H. (1994). A new self-commissioning scheme for an asynchronous motor drive system. Proceedings of 1994 IEEE Industry Applications Society Annual Meeting. https://doi.org/10.1109/ias.1994.345457
LibreCat
| DOI
1994 | Conference Paper | LibreCat-ID: 30027
Sun, J., Beineke, S., & Grotstollen, H. (1994). DSP-based real-time harmonic elimination of PWM inverters. Proceedings of 1994 Power Electronics Specialist Conference - PESC’94. https://doi.org/10.1109/pesc.1994.349664
LibreCat
| DOI
1994 | Conference Paper | LibreCat-ID: 30026
Heinemann, L., Schulze, R., Wallmeier, P., & Grotstollen, H. (1994). Modeling of high frequency inductors. Proceedings of 1994 Power Electronics Specialist Conference - PESC’94. https://doi.org/10.1109/pesc.1994.373782
LibreCat
| DOI
1994 | Conference Paper | LibreCat-ID: 30023
Fröhleke, N., Becker, B., Grotstollen, H., Magaritis, B., & Vollmer, L. (1994). Analysis and design of isolated high power boost topologies and simulations with quasi-static and quasi-stationary transformer models. Proceedings of 1994 IEEE Industry Applications Society Annual Meeting. https://doi.org/10.1109/ias.1994.377539
LibreCat
| DOI
1994 | Conference Paper | LibreCat-ID: 30024
Fröhleke, N., Mende, R., Grotstollen, H., Margaritis, B., & Vollmer, L. (1994). Isolated boost full bridge topology suitable for high power and power factor correction. Proceedings of IECON’94 - 20th Annual Conference of IEEE Industrial Electronics. https://doi.org/10.1109/iecon.1994.397812
LibreCat
| DOI
1994 | Conference Paper | LibreCat-ID: 30022
Fröhleke, N., Becker, B., Wallmeier, P., & Grotstollen, H. (1994). Computer aided optimization of multi-winding transformers for SMPS considering HF-effects. Proceedings of 1994 IEEE Industry Applications Society Annual Meeting. https://doi.org/10.1109/ias.1994.377546
LibreCat
| DOI
1994 | Dissertation | LibreCat-ID: 30850
Josef Wiesing, J. (1994). Betrieb der feldorientierten geregelten Asynchronmaschine im Bereich oberhalb der Nenndrehzahl.
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. ACM/IEEE International Conference on Computer-Aided Design (ICCAD’94), 110–116. https://doi.org/10.1109/iccad.1994.629752
LibreCat
| DOI
1994 | Conference Paper | LibreCat-ID: 13059
Hellebrand, S., & Wunderlich, H.-J. (1994). Synthese schneller selbsttestbarer Steuerwerke. Tagungsband Der GI/GME/ITG-Fachtagung \& Rechnergestützter Entwurf Und Architektur Mikroelektronischer Systeme, 3–11.
LibreCat
1994 | Conference Paper | LibreCat-ID: 13013
Hellebrand, S., & Wunderlich, H.-J. (1994). Synthesis of Self-Testable Controllers. European Design and Test Conference (EDAC/ETC/EUROASIC), 580–585. https://doi.org/10.1109/edtc.1994.326815
LibreCat
| DOI
1994 | Conference Paper | LibreCat-ID: 39557
Felser, W., & Müller, W. (1994). EXPRESS-P - Eine Erweiterung von ISO 10303-11 zur Prozessmodellierung.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39560
Eikerling, J., & Müller, W. (1994). FADE: A Layout Facility for Graph-Based Diagrams. Proceedings of the 17th Annual Computer Science Conference, 331–342.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39565
Hyhuis, D., & Müller, W. (1994). Implementing Simultaneous Design: A Case Study. Proceedings of the 2nd International Conference on Concurrent Engineering & Electronic Design Automation (CEEDA94).
LibreCat
1994 | Conference Paper | LibreCat-ID: 39577
Müller, W., Lehrenfeld, G., & Wiechers, N. (1994). Implementierung eines parallelen Validierungswerkzeugs für STEP-Produktdaten unter PVM.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39575
Börger, E., Glässer, U., & Müller, W. (1994). The Semantics of Behavioral VHDL’93 Descriptions. Proceedings of EURO-DAC’94/EURO-VHDL’94.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39554
Lehrenfeld, G., Müller, W., & Wiechers, N. (1994). Ein paralleles Framework fuer die Validierung von STEP-Produktdaten.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39566
Lehrenfeld, G., Müller, W., & Wiechers, N. (1994). Parallel Validation of STEP Files. Proceedings of the 2nd International Conference on Concurrent Engineering & Electronic Design Automation (CEEDA94).
LibreCat
1994 | Conference Paper | LibreCat-ID: 39569
Lehrenfeld, G., & Müller, W. (1994). Computational Model of a Logical Visual Programming Language.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39572
Felser, W., & Müller, W. (1994). EXPRESS-P - Extending EXPRESS for Process Modeling and Monitoring. Proceedings of the 1994 ASME Computers in Engineering Conference, 145–154.
LibreCat
1994 | Journal Article | LibreCat-ID: 38463
REHAGE, M., & Noé, R. (1994). WAVELENGTH-SELECTIVE POLARIZATION ANALYZER WITH INTEGRATED TI LINBO3 ACOUSTOOPTICAL TE-TM CONVERTER. ELECTRONICS LETTERS, 30(14), 1130–1131. https://doi.org/10.1049/el:19940802
LibreCat
| DOI
1994 | Conference Paper | LibreCat-ID: 39908
Hilleringmann, U., Adams, S., & Goser, K. (1994). Micromechanic Pressure Sensors with Optical Readout and CMOS-Amplifiers on Silicon. ESSDERC ’94: 24th European Solid State Device Research Conference, 387–390.
LibreCat
1994 | Book Chapter | LibreCat-ID: 51481
Hilgert, J., & Neeb, K.-H. (1994). Poisson Lie Groups and Non-LInear Convexity Theorems. In H. D. Doebner & et al. (Eds.), Generalized Symmetries in Physics. World Scientifi.
LibreCat
1994 | Book Chapter | LibreCat-ID: 51482
Hilgert, J. (1994). Radon Transform on Halfplanes via Group Theory. In E. A. Tanner & R. Wilson (Eds.), Non-Compact Lie Groups and some of their Applcations (Vol. 249). KLuwer.
LibreCat
1994 | Book Chapter | LibreCat-ID: 51480
Hilgert, J., & Neeb, K.-H. (1994). A General Setting for Wiener-Hopf Operators. In S. G. Gindikin & P. Michor (Eds.), 75 Years of Radon Transform. International Press.
LibreCat
1994 | Journal Article | LibreCat-ID: 51438
Hilgert, J., Neeb, K.-H., & Orsted, B. (1994). The Geometry of Nilpotent Coadjoint Orbits of Convex Type in Hermitian Lie Algebras. J. Lie Theory, 4, 47–97.
LibreCat
1994 | Journal Article | LibreCat-ID: 51439
Hilgert, J., Faraut, J., & Ólafsson, G. (1994). Spherical Functions on Ordered Symmetric Spaces. Ann. Inst. Fourier, 44, 927–965.
LibreCat
1994 | Journal Article | LibreCat-ID: 51440
Hilgert, J., Neeb, K.-H., & Plank, W. (1994). Symplectic Convexity Theorems and Coadjoint Orbits. Compositio Math., 94, 129–180.
LibreCat
1994 | Journal Article | LibreCat-ID: 51441
Hilgert, J. (1994). A Convexity Theorems for Boundaries of Ordered Symmetric Spaces. Canad. J. Math., 46, 746–757.
LibreCat
1994 | Book Review | LibreCat-ID: 51596
Hilgert, J. (1994). Leptin, H. und J. Ludwig. Unitary Representation Theory of Exponential Lie Groups (De Gruyter, Berlin, 1994). In Zentralblatt für Math.
LibreCat
1993 | Journal Article | LibreCat-ID: 19814
Flögel, A., Kleine Büning, H., & Lettmann, T. (1993). On the restricted equivalence for subclasses of propositional logic. RAIRO - Theoretical Informatics and Applications, 327–340. https://doi.org/10.1051/ita/1993270403271
LibreCat
| DOI
1993 | Report | LibreCat-ID: 3045
Blömer, J. (1993). 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.
LibreCat
1993 | Book (Editor) | LibreCat-ID: 17477
Meyer auf der Heide, F., Monien, B., & Rosenberg, A. L. (Eds.). (1993). Parallel Architectures and Their Efficient Use. Berlin, Heidelberg: Springer. https://doi.org/10.1007/3-540-56731-3
LibreCat
| DOI
1993 | Conference Paper | LibreCat-ID: 17479
Kastens, U., Meyer auf der Heide, F., Wachsmann, A., & Wichmann, F. (1993). OCCAM-light: A Language Combining Shared Memory and Message Passing (A First Report). In Proc. 3rd PASA Workshop, PARS Mitteilungen (pp. 50–55).
LibreCat
1993 | Conference Paper | LibreCat-ID: 7826
Engels, G., & Verrijn-Stuart, A. A. (1993). Integrationsaspekte bei verteilter Software-Entwicklung. In Fortschritt-Berichte VDI (pp. 45–53). VDI Verlag.
LibreCat
1993 | Conference Paper | LibreCat-ID: 8089
Krauter, S., & Hanitsch, R. (1993). 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.
LibreCat
1993 | Conference Paper | LibreCat-ID: 8090
Krauter, S., & Hanitsch, R. (1993). 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.
LibreCat
1993 | Report | LibreCat-ID: 8190
Andries, M., & Engels, G. (1993). A Hybrid Query Language for the Extended Entity Relationship Model. Vakgroep Informatica, Rijksuniversiteit Leiden.
LibreCat
1993 | Report | LibreCat-ID: 8191
Ehrig, H., & Engels, G. (1993). Towards a Module Concept for Graph Transformation Systems. Vakgroep Informatica, Rijksuniversiteit Leiden.
LibreCat
1993 | Report | LibreCat-ID: 8192
Engels, G., & Rozenberg, G. (1993). Abstracts COMPUGRAPH II Workshop. Vakgroep Informatica, Rijksuniversiteit Leiden.
LibreCat
1993 | Conference Paper | LibreCat-ID: 8262
Engels, G., & Groenewegen, L. (1993). Modular, Visual Specifications of Software Processes. In Proceedings of the Workshop on Software Process (ISPW 1993), Wadern (Germany) (pp. 66–68). Washington, DC, USA: IEEE Computer Society.
LibreCat
1993 | Journal Article | LibreCat-ID: 16518
Barany, E., Dellnitz, M., & Golubitsky, M. (1993). Detecting the symmetry of attractors. Physica D: Nonlinear Phenomena, 66–87. https://doi.org/10.1016/0167-2789(93)90198-a
LibreCat
| DOI
1993 | Journal Article | LibreCat-ID: 16633
Melbourne, I., & Dellnitz, M. (1993). Normal forms for linear Hamiltonian vector fields commuting with the action of a compact Lie group. Mathematical Proceedings of the Cambridge Philosophical Society, 235–268. https://doi.org/10.1017/s0305004100071577
LibreCat
| DOI
1993 | Journal Article | LibreCat-ID: 16634
Melbourne, I., Dellnitz, M., & Golubitsky, M. (1993). The structure of symmetric attractors. Archive for Rational Mechanics and Analysis, 75–98. https://doi.org/10.1007/bf00386369
LibreCat
| DOI
1993 | Journal Article | LibreCat-ID: 16729
Dietzfelbinger, M., & Meyer auf der Heide, F. (1993). An Optimal Parallel Dictionary. Information and Computation, 196–217. https://doi.org/10.1006/inco.1993.1007
LibreCat
| DOI
1993 | Book Chapter | LibreCat-ID: 16730
Meyer auf der Heide, F., Oesterdiekhoff, B., & Wanka, R. (1993). Strongly adaptive token distribution. In Automata, Languages and Programming. Berlin, Heidelberg. https://doi.org/10.1007/3-540-56939-1_89
LibreCat
| DOI
1993 | Conference Paper | LibreCat-ID: 16731
Dietzfelbinger, M., & Meyer auf der Heide, F. (1993). Simple, efficient shared memory simulations. In Proceedings of the fifth annual ACM symposium on Parallel algorithms and architectures - SPAA ’93. https://doi.org/10.1145/165231.165246
LibreCat
| DOI
1993 | Book Chapter | LibreCat-ID: 16732
Lürwer-Brüggemeier, K., & Meyer auf der Heide, F. (1993). Capabilities and complexity of computations with integer division. In Lecture Notes in Computer Science. Berlin, Heidelberg. https://doi.org/10.1007/3-540-56503-5_46
LibreCat
| DOI
1993 | Conference Paper | LibreCat-ID: 16828
Domik, G. (1993). Education in Scientific Visualization. In S. D. Franklin, A. R. Stubberud, & L. P. Wiedeman (Eds.), 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 (Vol. {A-48}, pp. 25–32). North-Holland.
LibreCat
1993 | Conference Paper | LibreCat-ID: 16906
Domik, G. (1993). Scientific Visualization. In H. Maurer (Ed.), Proceedings of ED Media ’93. Florida, USA.
LibreCat
1993 | Journal Article | LibreCat-ID: 17013
Dellnitz, M. (1993). The equivariant Darboux theorem. Lectures in Applied Mathematics, 29, 163–169.
LibreCat
1993 | Conference Paper | LibreCat-ID: 11718 | 
Aubert, X. L., Haeb-Umbach, R., & Ney, H. (1993). Continuous Mixture Densities and Linear Discriminant Analysis for Improved Context-Dependent Acoustic Models. In ICASSP, Minneapolis.
LibreCat
| Download (ext.)
1993 | Journal Article | LibreCat-ID: 11749
Dobler, S., Geller, D., Haeb-Umbach, R., Meyer, P., Ney, H., & Ruehl, H. W. (1993). Design and use of speech recognition algorithms for a mobile radio telephone. Speech Communication.
LibreCat
1993 | Conference Paper | LibreCat-ID: 11788 |
Haeb-Umbach, R., Geller, D., & Ney, H. (1993). Improvements in Connected Digit Recognition Using Linear Discriminant Analysis and Mixture Densities. In ICASSP, Minneapolis.
LibreCat
| Download (ext.)
1993 | Conference Paper | LibreCat-ID: 11904 |
Steinbiss, V., Ney, H., Haeb-Umbach, R., Train, B.-H., Essen, U., Kneser, R., … Bartosik, H. (1993). The Philips Research System for Large-Vocabulary Continuous-Speech Recognition. In EUROSPEECH, Berlin.
LibreCat
| Download (ext.)
1993 | Journal Article | LibreCat-ID: 15045
Domik, G. (1993). An Agenda for Education in Scientific Visualization, Visualization’92 Workshop Report. COMPUTER GRAPHICS-NEW YORK-ASSOCIATION FOR COMPUTING MACHINERY-, 27, 6–6.
LibreCat
1993 | Journal Article | LibreCat-ID: 15273
Domik, G. (1993). Guidelines for a curriculum in scientific visualization. Computers & Graphics, 17(2), 185–191. https://doi.org/10.1016/0097-8493(93)90103-G
LibreCat
| DOI
1993 | Conference Paper | LibreCat-ID: 15275
Domik, G., Joslyn, C., & Segura, T. (1993). Macroscopic and Microscopic Aspects of Glyphs. In Proceedings of the Vienna Conference on Human Computer Interaction.
LibreCat
1993 | Misc | LibreCat-ID: 13081
Hellebrand, S., Tarnick, S., Rajski, J., & Courtois, B. (1993). Effiziente Erzeugung deterministischer Muster im Selbsttest. 5th ITG/GI/GME Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen”, Holzhau, Germany.
LibreCat
1993 | Misc | LibreCat-ID: 13082
Hellebrand, S., & Wunderlich, H.-J. (1993). Synthesis of Self-Testable Controllers. ARCHIMEDES Open Workshop on “Synthesis - Architectural Testability Support”, Montpellier, France.
LibreCat
1993 | Journal Article | LibreCat-ID: 13466
Platzner, M., & Steger, C. (1993). Erfahrungen mit einer Multi-Signalprozessorarchitektur (TMS320C40). Mikroelektronik.
LibreCat