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.
157 Publications
1994 | Conference Paper | LibreCat-ID: 13468
Experimental Evaluation of Multi-DSP Architectures in High Performance Applications
M. Platzner, C. Steger, R. Weiss, in: Proceedings of the 7th Mediterranean Electrotechnical Conference, IEEE Press, 1994.
LibreCat
M. Platzner, C. Steger, R. Weiss, in: Proceedings of the 7th Mediterranean Electrotechnical Conference, IEEE Press, 1994.
1994 | Journal Article | LibreCat-ID: 13853
Energetics and Structure of Ordered Sb Overlayers and Sb Clusters on GaAs(110) Probed by Ab Initio Calculations
F. Bechstedt, W.G. Schmidt, B. Wenzien, Europhysics Letters (EPL) 25 (1994) 357–362.
LibreCat
| DOI
F. Bechstedt, W.G. Schmidt, B. Wenzien, Europhysics Letters (EPL) 25 (1994) 357–362.
1994 | Journal Article | LibreCat-ID: 13854
First principles calculations of interface phonons of an Epitaxial Sb monolayer on GaAs(110) and InP(110)
W.G. Schmidt, G. Srivastava, Solid State Communications 89 (1994) 345–348.
LibreCat
| DOI
W.G. Schmidt, G. Srivastava, Solid State Communications 89 (1994) 345–348.
1994 | Journal Article | LibreCat-ID: 13855
Coverage-dependent bonding of Sb on GaAs (110)
W.G. Schmidt, B. Wenzien, F. Bechstedt, Surface Science 307–309 (1994) 235–240.
LibreCat
| DOI
W.G. Schmidt, B. Wenzien, F. Bechstedt, Surface Science 307–309 (1994) 235–240.
1994 | Journal Article | LibreCat-ID: 13856
Chemisorption of antimony on GaAs(110)
W.G. Schmidt, B. Wenzien, F. Bechstedt, Physical Review B 49 (1994) 4731–4744.
LibreCat
| DOI
W.G. Schmidt, B. Wenzien, F. Bechstedt, Physical Review B 49 (1994) 4731–4744.
1994 | Conference Paper | LibreCat-ID: 30025
Pulsewidth modulation based on real-time solution of algebraic harmonic elimination equations
J. Sun, I. Grotstollen, in: Proceedings of IECON’94 - 20th Annual Conference of IEEE Industrial Electronics, IEEE, 1994.
LibreCat
| DOI
J. Sun, I. Grotstollen, in: Proceedings of IECON’94 - 20th Annual Conference of IEEE Industrial Electronics, IEEE, 1994.
1994 | Conference Paper | LibreCat-ID: 30021
A new self-commissioning scheme for an asynchronous motor drive system
M. Ruff, A. Bunte, H. Grotstollen, in: Proceedings of 1994 IEEE Industry Applications Society Annual Meeting, IEEE, 1994.
LibreCat
| DOI
M. Ruff, A. Bunte, H. Grotstollen, in: Proceedings of 1994 IEEE Industry Applications Society Annual Meeting, IEEE, 1994.
1994 | Conference Paper | LibreCat-ID: 30027
DSP-based real-time harmonic elimination of PWM inverters
J. Sun, S. Beineke, H. Grotstollen, in: Proceedings of 1994 Power Electronics Specialist Conference - PESC’94, IEEE, 1994.
LibreCat
| DOI
J. Sun, S. Beineke, H. Grotstollen, in: Proceedings of 1994 Power Electronics Specialist Conference - PESC’94, IEEE, 1994.
1994 | Conference Paper | LibreCat-ID: 30026
Modeling of high frequency inductors
L. Heinemann, R. Schulze, P. Wallmeier, H. Grotstollen, in: Proceedings of 1994 Power Electronics Specialist Conference - PESC’94, IEEE, 1994.
LibreCat
| DOI
L. Heinemann, R. Schulze, P. Wallmeier, H. Grotstollen, in: Proceedings of 1994 Power Electronics Specialist Conference - PESC’94, IEEE, 1994.
1994 | Conference Paper | LibreCat-ID: 30023
Analysis and design of isolated high power boost topologies and simulations with quasi-static and quasi-stationary transformer models
N. Fröhleke, B. Becker, H. Grotstollen, B. Magaritis, L. Vollmer, in: Proceedings of 1994 IEEE Industry Applications Society Annual Meeting, IEEE, 1994.
LibreCat
| DOI
N. Fröhleke, B. Becker, H. Grotstollen, B. Magaritis, L. Vollmer, in: Proceedings of 1994 IEEE Industry Applications Society Annual Meeting, IEEE, 1994.
1994 | Conference Paper | LibreCat-ID: 30024
Isolated boost full bridge topology suitable for high power and power factor correction
N. Fröhleke, R. Mende, H. Grotstollen, B. Margaritis, L. Vollmer, in: Proceedings of IECON’94 - 20th Annual Conference of IEEE Industrial Electronics, IEEE, 1994.
LibreCat
| DOI
N. Fröhleke, R. Mende, H. Grotstollen, B. Margaritis, L. Vollmer, in: Proceedings of IECON’94 - 20th Annual Conference of IEEE Industrial Electronics, IEEE, 1994.
1994 | Conference Paper | LibreCat-ID: 30022
Computer aided optimization of multi-winding transformers for SMPS considering HF-effects
N. Fröhleke, B. Becker, P. Wallmeier, H. Grotstollen, in: Proceedings of 1994 IEEE Industry Applications Society Annual Meeting, IEEE, 1994.
LibreCat
| DOI
N. Fröhleke, B. Becker, P. Wallmeier, H. Grotstollen, in: Proceedings of 1994 IEEE Industry Applications Society Annual Meeting, IEEE, 1994.
1994 | Journal Article | LibreCat-ID: 17489
Wozu Algebra der Logik? Ernst Schröders Suche nach einer universalen Theorie der Verknüpfungen
V. Peckhaus, Modern Logic 4 (1994) 357–381.
LibreCat
V. Peckhaus, Modern Logic 4 (1994) 357–381.
1994 | Book Review | LibreCat-ID: 17774
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)
V. Peckhaus, Modern Logic 4 (1994) 449–454.
LibreCat
V. Peckhaus, Modern Logic 4 (1994) 449–454.
1994 | Journal Article | LibreCat-ID: 17841
Rüstow’s Thesis on Russell’s Paradox
V. Peckhaus, History of Logic Newsletter 13 (1994) 2-3 [Abdruck von 8.1].
LibreCat
V. Peckhaus, History of Logic Newsletter 13 (1994) 2-3 [Abdruck von 8.1].
1994 | Book Chapter | LibreCat-ID: 17837
The Axiomatic Method and Ernst Schröder’s Algebraic Approach to Logic [Abstract]
V. Peckhaus, in: Abstract of Papers Presented to the American Mathematical Society, 1994, p. 447.
LibreCat
V. Peckhaus, in: Abstract of Papers Presented to the American Mathematical Society, 1994, p. 447.
1994 | Book Chapter | LibreCat-ID: 17834
Ernst Schröder
V. Peckhaus, in: Modern Logic Calendar 1994, 1994, p. November.
LibreCat
V. Peckhaus, in: Modern Logic Calendar 1994, 1994, p. November.
1994 | Misc | LibreCat-ID: 17896
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]
V. Peckhaus, 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], 1994.
LibreCat
V. Peckhaus, 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], 1994.
1994 | Dissertation | LibreCat-ID: 30850
Betrieb der feldorientierten geregelten Asynchronmaschine im Bereich oberhalb der Nenndrehzahl
J. Josef Wiesing, Betrieb der feldorientierten geregelten Asynchronmaschine im Bereich oberhalb der Nenndrehzahl, 1994.
LibreCat
J. Josef Wiesing, Betrieb der feldorientierten geregelten Asynchronmaschine im Bereich oberhalb der Nenndrehzahl, 1994.
1994 | Conference Paper | LibreCat-ID: 15509
Parallelen um den Punkt zwischen Campanella und Leibniz
R.E. Hagengruber, in: A. Heinekamp, I. Hein, Stiftung Niedersachsen (Eds.), Leibniz und Europa, 1994, pp. 309–315.
LibreCat
R.E. Hagengruber, in: A. Heinekamp, I. Hein, Stiftung Niedersachsen (Eds.), Leibniz und Europa, 1994, pp. 309–315.
1994 | Dissertation | LibreCat-ID: 15497
Tommaso Campanella. Eine Philosophie der Ähnlichkeit
R.E. Hagengruber, Tommaso Campanella. Eine Philosophie der Ähnlichkeit, Academia, Sankt Augustin, 1994.
LibreCat
R.E. Hagengruber, Tommaso Campanella. Eine Philosophie der Ähnlichkeit, Academia, Sankt Augustin, 1994.
1994 | Encyclopedia Article | LibreCat-ID: 34939
[Art.] Kunstsoziologie
J. Süßmann, in: H. Kerber, A. Schmieder (Eds.), Spezielle Soziologien. Problemfelder, Forschungsbereiche, Anwendungsorientierungen, Rowohlt, Reinbek, 1994, pp. 520–540.
LibreCat
J. Süßmann, in: H. Kerber, A. Schmieder (Eds.), Spezielle Soziologien. Problemfelder, Forschungsbereiche, Anwendungsorientierungen, Rowohlt, Reinbek, 1994, pp. 520–540.
1994 | Conference Paper | LibreCat-ID: 13014
An Efficient Procedure for the Synthesis of Fast Self-Testable Controller Structures
S. Hellebrand, H.-J. Wunderlich, in: ACM/IEEE International Conference on Computer-Aided Design (ICCAD’94), IEEE, San Jose, CA, USA, 1994, pp. 110–116.
LibreCat
| DOI
S. Hellebrand, H.-J. Wunderlich, in: ACM/IEEE International Conference on Computer-Aided Design (ICCAD’94), IEEE, San Jose, CA, USA, 1994, pp. 110–116.
1994 | Conference Paper | LibreCat-ID: 13059
Synthese schneller selbsttestbarer Steuerwerke
S. Hellebrand, H.-J. Wunderlich, in: Tagungsband Der GI/GME/ITG-Fachtagung \& Rechnergestützter Entwurf Und Architektur Mikroelektronischer Systeme, Oberwiesenthal, Informatik Xpress 4, TU Chemnitz Zwickau, Germany, 1994, pp. 3–11.
LibreCat
S. Hellebrand, H.-J. Wunderlich, in: Tagungsband Der GI/GME/ITG-Fachtagung \& Rechnergestützter Entwurf Und Architektur Mikroelektronischer Systeme, Oberwiesenthal, Informatik Xpress 4, TU Chemnitz Zwickau, Germany, 1994, pp. 3–11.
1994 | Conference Paper | LibreCat-ID: 13013
Synthesis of Self-Testable Controllers
S. Hellebrand, H.-J. Wunderlich, in: European Design and Test Conference (EDAC/ETC/EUROASIC), Paris, France, 1994, pp. 580–585.
LibreCat
| DOI
S. Hellebrand, H.-J. Wunderlich, in: European Design and Test Conference (EDAC/ETC/EUROASIC), Paris, France, 1994, pp. 580–585.
1994 | Book Chapter | LibreCat-ID: 31094
Michael Hamburgers Übersetzungen und einige neue Tendenzen in der englisch-sprachigen Hölderlin-Rezeption
L. van Laak, K. Bartels, C. Brenig, M. Prudlo, in: Hölderlin-Jahrbuch 29, 1994, pp. 85–88.
LibreCat
L. van Laak, K. Bartels, C. Brenig, M. Prudlo, in: Hölderlin-Jahrbuch 29, 1994, pp. 85–88.
1994 | Book | LibreCat-ID: 29079
Cartesianische Grundlagen der wissenschaftlichen Psychologie
I. Scharlau, Cartesianische Grundlagen der wissenschaftlichen Psychologie, Königshausen & Neumann, Würzburg, 1994.
LibreCat
I. Scharlau, Cartesianische Grundlagen der wissenschaftlichen Psychologie, Königshausen & Neumann, Würzburg, 1994.
1994 | Book Chapter | LibreCat-ID: 32990
"In den Wald gehen, tief in den Wald hinein" Autoerotische Phantasmen männlicher Autorschaft in Thomas Bernhards Holzfällen. Eine Erregung
Öhlschläger C., in: Keck A., Schmidt D. (Eds.), AUTO(R)EROTIK. Gegenstandslose Liebe als literarisches Projekt, Erich Schmidt Verlag, Berlin, 1994, pp. 119–131.
LibreCat
Öhlschläger C., in: Keck A., Schmidt D. (Eds.), AUTO(R)EROTIK. Gegenstandslose Liebe als literarisches Projekt, Erich Schmidt Verlag, Berlin, 1994, pp. 119–131.
1994 | Book Chapter | LibreCat-ID: 32992
Maskerade. Bericht über das 3. Symposium des Münchener Graduiertenkollegs Geschlechterdifferenz & Literatur. Ludwig- Maximilians-Universität München (27.-29.10.1994)
C. Öhlschläger, in: Rundbrief Frauen in der Literaturwissenschaft 43: Postfeminismus. Dez. 1994 , 1994, pp. 38–41.
LibreCat
C. Öhlschläger, in: Rundbrief Frauen in der Literaturwissenschaft 43: Postfeminismus. Dez. 1994 , 1994, pp. 38–41.
1994 | Book Chapter | LibreCat-ID: 32989
"Weibsfauna". Zur Koinzidenz von Tiergeschichte und Pornographie am Beispiel von Bambi und Josefine Mutzenbacher
C. Öhlschläger, D. Schmidt, in: Hofmannsthal-Jahrbuch 2 , 1994, pp. 9–59.
LibreCat
C. Öhlschläger, D. Schmidt, in: Hofmannsthal-Jahrbuch 2 , 1994, pp. 9–59.
1994 | Journal Article | LibreCat-ID: 35384
A Doubly Branched Nonionic Oligooxyethylene V-Amphiphile: Effect of Molecular Geometry on Liquid-Crystalline Phase Behavior, 3
K. Kratzat, C. Schmidt, H. Finkelmann, Journal of Colloid and Interface Science 163 (1994) 190–198.
LibreCat
| DOI
K. Kratzat, C. Schmidt, H. Finkelmann, Journal of Colloid and Interface Science 163 (1994) 190–198.
1994 | Journal Article | LibreCat-ID: 35386
Simultaneous Measurement of Shear Viscosity and Director Orientation of a Side-Chain Liquid-Crystalline Polymer by Rheo-NMR
D.A. Grabowski, C. Schmidt, Macromolecules 27 (1994) 2632–2634.
LibreCat
| DOI
D.A. Grabowski, C. Schmidt, Macromolecules 27 (1994) 2632–2634.
1994 | Journal Article | LibreCat-ID: 35385
Nematic elastomers beyond the critical point
S. Disch, C. Schmidt, H. Finkelmann, Macromolecular Rapid Communications 15 (1994) 303–310.
LibreCat
| DOI
S. Disch, C. Schmidt, H. Finkelmann, Macromolecular Rapid Communications 15 (1994) 303–310.
1994 | Journal Article | LibreCat-ID: 35383
Conformational order of amphiphilic chain molecules in lyotropic liquid-crystalline phases
W. Schnepp, C. Schmidt, Berichte Der Bunsengesellschaft Für Physikalische Chemie 98 (1994) 248–252.
LibreCat
| DOI
W. Schnepp, C. Schmidt, Berichte Der Bunsengesellschaft Für Physikalische Chemie 98 (1994) 248–252.
1994 | Book (Editor) | LibreCat-ID: 18433
Sprachbiographie und Sprachstörung. Fallstudien zur Textproduktion bei hirnorganischen Erkrankungen
D. Tophinke, ed., Sprachbiographie und Sprachstörung. Fallstudien zur Textproduktion bei hirnorganischen Erkrankungen, DUV (zugleich Dissertation Osnabrück 1991), Wiesbaden, 1994.
LibreCat
D. Tophinke, ed., Sprachbiographie und Sprachstörung. Fallstudien zur Textproduktion bei hirnorganischen Erkrankungen, DUV (zugleich Dissertation Osnabrück 1991), Wiesbaden, 1994.
1994 | Book Chapter | LibreCat-ID: 15610
Die Theorie des Punktes aus der Philosophie der Ähnlichkeit bei Tommaso Campanella
R.E. Hagengruber, in: V. Gómez Pin (Ed.), 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, Bellaterra, Barcelona, 1994, pp. 101–107.
LibreCat
| Files available
R.E. Hagengruber, in: V. Gómez Pin (Ed.), 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, Bellaterra, Barcelona, 1994, pp. 101–107.
1994 | Book Chapter | LibreCat-ID: 15608
Platons "Timaios", eine Anleitung zur wissenschaftlichen Hypothesenbildung?
R.E. Hagengruber, in: B. Fritscher, G. Brey (Eds.), Cosmographica et Geographica. Algorismus. Studien zur Geschichte der Mathematik und der Naturwissenschaften, Springer, New York, 1994, pp. 75–96.
LibreCat
R.E. Hagengruber, in: B. Fritscher, G. Brey (Eds.), Cosmographica et Geographica. Algorismus. Studien zur Geschichte der Mathematik und der Naturwissenschaften, Springer, New York, 1994, pp. 75–96.
1994 | Journal Article | LibreCat-ID: 36179
Konflikte im hohen Norden. Ein Blick auf einige Neuerscheinungen zur isländischen und norwegischen Geschichte im Mittelalter
H. Kamp, Historische Zeitschrift 230 (1994) 99–107.
LibreCat
H. Kamp, Historische Zeitschrift 230 (1994) 99–107.
1994 | Book | LibreCat-ID: 27958
Die Gleichstellung der Geschlechter im Lehrplan. Anregungen für Schule und Unterricht.
R. Bigga, F. Braun, L. Hoffmann, Die Gleichstellung der Geschlechter im Lehrplan. Anregungen für Schule und Unterricht. , Kiel, 1994.
LibreCat
R. Bigga, F. Braun, L. Hoffmann, Die Gleichstellung der Geschlechter im Lehrplan. Anregungen für Schule und Unterricht. , Kiel, 1994.
1994 | Book | LibreCat-ID: 27961
Erwerbsarbeit - Hausarbeit. Strukturwandel der Arbeit als Herausforderung an das Lernfeld Arbeitslehre
G. Tornieporth, R. Bigga, Erwerbsarbeit - Hausarbeit. Strukturwandel der Arbeit als Herausforderung an das Lernfeld Arbeitslehre, Hohengehren , 1994.
LibreCat
G. Tornieporth, R. Bigga, Erwerbsarbeit - Hausarbeit. Strukturwandel der Arbeit als Herausforderung an das Lernfeld Arbeitslehre, Hohengehren , 1994.
1994 | Book Chapter | LibreCat-ID: 37582
Ergebnisse aus dem Projekt Mädchen & junge Frauen in der Arbeitswelt
R. Bigga, in: G. Tornieporth, R. Bigga (Eds.), Erwerbsarbeit - Hausarbeit. Strukturwandel Der Arbeit Als Herausforderung an Das Lernfeld Der Arbeitslehre, Schneider Verlag, Hohengehren, 1994, pp. 154–180.
LibreCat
R. Bigga, in: G. Tornieporth, R. Bigga (Eds.), Erwerbsarbeit - Hausarbeit. Strukturwandel Der Arbeit Als Herausforderung an Das Lernfeld Der Arbeitslehre, Schneider Verlag, Hohengehren, 1994, pp. 154–180.
1994 | Conference Paper | LibreCat-ID: 39557
EXPRESS-P - Eine Erweiterung von ISO 10303-11 zur Prozessmodellierung
W. Felser, W. Müller, (1994).
LibreCat
W. Felser, W. Müller, (1994).
1994 | Conference Paper | LibreCat-ID: 39560
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
J. Eikerling, W. Müller, in: Proceedings of the 17th Annual Computer Science Conference, Christchurch, New Zealand, 1994, pp. 331–342.
1994 | Conference Paper | LibreCat-ID: 39565
Implementing Simultaneous Design: A Case Study
D. Hyhuis, W. Müller, in: Proceedings of the 2nd International Conference on Concurrent Engineering & Electronic Design Automation (CEEDA94), PoDTe, UK, 1994.
LibreCat
D. Hyhuis, W. Müller, in: Proceedings of the 2nd International Conference on Concurrent Engineering & Electronic Design Automation (CEEDA94), PoDTe, UK, 1994.
1994 | Conference Paper | LibreCat-ID: 39577
Implementierung eines parallelen Validierungswerkzeugs für STEP-Produktdaten unter PVM
W. Müller, G. Lehrenfeld, N. Wiechers, (1994).
LibreCat
W. Müller, G. Lehrenfeld, N. Wiechers, (1994).
1994 | Conference Paper | LibreCat-ID: 39575
The Semantics of Behavioral VHDL'93 Descriptions
E. Börger, U. Glässer, W. Müller, in: Proceedings of EURO-DAC’94/EURO-VHDL’94, Grenoble, France, 1994.
LibreCat
E. Börger, U. Glässer, W. Müller, in: Proceedings of EURO-DAC’94/EURO-VHDL’94, Grenoble, France, 1994.
1994 | Journal Article | LibreCat-ID: 40006
Electro-optic effect in polymer-dispersed cholesteric liquid crystals with medium chirality
U. Behrens, H.-S. Kitzerow, G. Chilaya, Liquid Crystals 17 (1994) 597–603.
LibreCat
| DOI
U. Behrens, H.-S. Kitzerow, G. Chilaya, Liquid Crystals 17 (1994) 597–603.
1994 | Encyclopedia Article | LibreCat-ID: 37871
Stadtgeschichte in Daten – Musik
R. Grotjahn, in: D. Böttcher, H. Guratzsch, K. Mlynek (Eds.), Hannover Kunst- und Kulturlexikon, zu Klampen, Hannover, 1994, pp. 41–44.
LibreCat
R. Grotjahn, in: D. Böttcher, H. Guratzsch, K. Mlynek (Eds.), Hannover Kunst- und Kulturlexikon, zu Klampen, Hannover, 1994, pp. 41–44.
1994 | Conference Paper | LibreCat-ID: 39554
Ein paralleles Framework fuer die Validierung von STEP-Produktdaten
G. Lehrenfeld, W. Müller, N. Wiechers, (1994).
LibreCat
G. Lehrenfeld, W. Müller, N. Wiechers, (1994).
1994 | Conference Paper | LibreCat-ID: 39566
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 (CEEDA94), Poole, UK, 1994.
LibreCat
G. Lehrenfeld, W. Müller, N. Wiechers, in: Proceedings of the 2nd International Conference on Concurrent Engineering & Electronic Design Automation (CEEDA94), Poole, UK, 1994.