EXPRESS-P - Eine Erweiterung von ISO 10303-11 zur Prozessmodellierung
W. Felser, W. Müller, (1994).
LibreCat: /record/39557

FADE: A Layout Facility for Graph-Based Diagrams
J. Eikerling, W. Müller, in: Proceedings of the 17th Annual Computer Science Conference, Christchurch, New Zealand, 1994, pp. 331–342.
LibreCat: /record/39560

Implementing Simultaneous Design: A Case Study
D. Hyhuis, W. Müller, in: Proceedings of the 2nd International Conference on Concurrent Engineering &; Electronic Design Automation (CEED), PoDTe, UK, 1994.
LibreCat: /record/39565

Implementierung eines parallelen Validierungswerkzeugs für STEP-Produktdaten unter PVM
W. Müller, G. Lehrenfeld, N. Wiechers, (1994).
LibreCat: /record/39577

The Semantics of Behavioral VHDL Descriptions
E. Börger, U. Glässer, W. Müller, in: Proceedings of EURO-DAC’94/EURO-VHDL’94, Grenoble, France, 1994.
LibreCat: /record/39575

Ein paralleles Framework fuer die Validierung von STEP-Produktdaten
G. Lehrenfeld, W. Müller, N. Wiechers, (1994).
LibreCat: /record/39554

Parallel Validation of STEP Files
G. Lehrenfeld, W. Müller, N. Wiechers, in: Proceedings of the 2nd International Conference on Concurrent Engineering &; Electronic Design Automation (CEED), Poole, UK, 1994.
LibreCat: /record/39566

Computational Model of a Logical Visual Programming Language
G. Lehrenfeld, W. Müller, (1994).
LibreCat: /record/39569

EXPRESS-P - Extending EXPRESS for Process Modeling and Monitoring
W. Felser, W. Müller, in: Proceedings of the 1994 ASME Computers in Engineering Conference, Minneapolis, MI, 1994, pp. 145–154.
LibreCat: /record/39572

WAVELENGTH-SELECTIVE POLARIZATION ANALYZER WITH INTEGRATED TI LINBO3 ACOUSTOOPTICAL TE-TM CONVERTER
M. REHAGE, R. Noé, ELECTRONICS LETTERS 30 (1994) 1130–1131.
LibreCat: /record/38463
DOI: 10.1049/el:19940802

Micromechanic Pressure Sensors with Optical Readout and CMOS-Amplifiers on Silicon
U. Hilleringmann, S. Adams, K. Goser, in: ESSDERC ’94: 24th European Solid State Device Research Conference, 1994, pp. 387–390.
LibreCat: /record/39908

Poisson Lie Groups and Non-LInear Convexity Theorems
J. Hilgert, K.-H. Neeb, in: H.D. Doebner, et al. (Eds.), Generalized Symmetries in Physics, World Scientifi, Singapore, 1994.
LibreCat: /record/51481

Radon Transform on Halfplanes via Group Theory
J. Hilgert, in: E.A. Tanner, R. Wilson (Eds.), Non-Compact Lie Groups and Some of Their Applcations, KLuwer, Dordrecht, 1994.
LibreCat: /record/51482

A General Setting for Wiener-Hopf Operators
J. Hilgert, K.-H. Neeb, in: S.G. Gindikin, P. Michor (Eds.), 75 Years of Radon Transform, International Press, Boston, 1994.
LibreCat: /record/51480

The Geometry of Nilpotent Coadjoint Orbits of Convex Type in Hermitian Lie Algebras
J. Hilgert, K.-H. Neeb, B. Orsted, J. Lie Theory 4 (1994) 47–97.
LibreCat: /record/51438

Spherical Functions on Ordered Symmetric Spaces
J. Hilgert, J. Faraut, G. Ólafsson, Ann. Inst. Fourier 44 (1994) 927–965.
LibreCat: /record/51439

Symplectic Convexity Theorems and Coadjoint Orbits
J. Hilgert, K.-H. Neeb, W. Plank, Compositio Math. 94 (1994) 129–180.
LibreCat: /record/51440

A Convexity Theorems for Boundaries of Ordered Symmetric Spaces
J. Hilgert, Canad. J. Math. 46 (1994) 746–757.
LibreCat: /record/51441

Leptin, H. und J. Ludwig. Unitary Representation Theory of Exponential Lie Groups (De Gruyter, Berlin, 1994)
J. Hilgert, Zentralblatt Für Math. (1994).
LibreCat: /record/51596

On the restricted equivalence for subclasses of propositional logic
A. Flögel, H. Kleine Büning, T. Lettmann, RAIRO - Theoretical Informatics and Applications (1993) 327–340.
LibreCat: /record/19814
DOI: 10.1051/ita/1993270403271