@article{HartungHusoy1993, author = {Hartung, Frank and Husoy, J. H.}, title = {Wavelet and subband coding of images - A comparative study / Hartung, F. ; Husoy, J. H.}, series = {Mathematical imaging: wavelet applications in signal and image processing : 15 - 16 July 1993, San Diego, California / sponsored and publ. by SPIE - the International Society for Optical Engineering. Andrew F. Laine, chair/ed}, journal = {Mathematical imaging: wavelet applications in signal and image processing : 15 - 16 July 1993, San Diego, California / sponsored and publ. by SPIE - the International Society for Optical Engineering. Andrew F. Laine, chair/ed}, publisher = {SPIE}, address = {Bellingham, Wash.}, isbn = {081941283X}, pages = {242 -- 253}, year = {1993}, language = {en} } @book{WosnitzaHilgers2012, author = {Wosnitza, Franz and Hilgers, Hans Gerd}, title = {Energieeffizienz und Energiemanagement : ein {\"U}berblick heutiger M{\"o}glichkeiten und Notwendigkeiten}, publisher = {Springer Spektrum}, address = {Wiesbaden}, isbn = {978-3-8348-1941-3}, pages = {XVII, 548 S. : Ill., graph. Darst.}, year = {2012}, language = {en} } @article{SchollPelikanRepgesetal.1996, author = {Scholl, Ingrid and Pelikan, Erich and Repges, Rudolf and Tolxdorff, Thomas}, title = {Texture-based feature extraction using the Wavelet transform on x rays.}, series = {Medical Imaging 1996: Image Processing}, journal = {Medical Imaging 1996: Image Processing}, pages = {668 -- 678}, year = {1996}, language = {en} } @article{SchollPalmLehmannetal.1998, author = {Scholl, Ingrid and Palm, Christoph and Lehmann, Thomas and Spitzer, Klaus}, title = {Quantitative Farbmessung in laryngoskopischen Bildern. Palm, C; Scholl, I; Lehmann, TM; Spitzer, K.}, series = {Bildverarbeitung f{\"u}r die Medizin 1998. Hrsg.: Thomas Lehmann ...}, journal = {Bildverarbeitung f{\"u}r die Medizin 1998. Hrsg.: Thomas Lehmann ...}, publisher = {Springer}, address = {Berlin}, isbn = {3-540-63885-7}, pages = {412 -- 416}, year = {1998}, language = {en} } @article{HillgaertnerPeier2006, author = {Hillg{\"a}rtner, Michael and Peier, Dirk}, title = {Design of a Measurement Setup for the Impedance of Low-Resistance Plate-Conductors in the RF-Range}, series = {Proceedings of the 10th International Conference on Optimization of Electrical and Electronic Equipment, OPTIM '06, Bra\&\#351;ov, May 18 - 20, 2006 / ed. by The Transilvania University of Bra\&\#351;ov, Faculty of Electrical Engineering and Computer Science. [Ed. Mihai Cernat .\&\#804;] . - Vol. 1: Keynote addresses, electrotechnics}, journal = {Proceedings of the 10th International Conference on Optimization of Electrical and Electronic Equipment, OPTIM '06, Bra\&\#351;ov, May 18 - 20, 2006 / ed. by The Transilvania University of Bra\&\#351;ov, Faculty of Electrical Engineering and Computer Science. [Ed. Mihai Cernat .\&\#804;] . - Vol. 1: Keynote addresses, electrotechnics}, address = {Bra\&\#351;ov}, isbn = {978-973-635703-9}, pages = {59 -- 64}, year = {2006}, language = {en} } @article{HillgaertnerStoniesPeieretal.2005, author = {Hillg{\"a}rtner, Michael and Stonies, R. and Peier, D. and Voges, E.}, title = {Design of Low Cost Antennas for Reverberation Chambers}, series = {Proceedings of the 16th International Zurich Symposium on Electromagnetic Compatibility : [EMC Week 2005, Zurich, Switzerland, February 13 - 18 ; technical exhibition on EMC and RF/microwave Measurements and Instrumentation (February 15 - 17)] / [Laboratory for Electromagnetic Fields and Microwave Electronics, Swiss Federal Institute of Technology Zurich]}, journal = {Proceedings of the 16th International Zurich Symposium on Electromagnetic Compatibility : [EMC Week 2005, Zurich, Switzerland, February 13 - 18 ; technical exhibition on EMC and RF/microwave Measurements and Instrumentation (February 15 - 17)] / [Laboratory for Electromagnetic Fields and Microwave Electronics, Swiss Federal Institute of Technology Zurich]}, publisher = {ETH-Zentrum-IFH}, address = {Z{\"u}rich}, isbn = {3-9521199-9-7}, pages = {1 CD-ROM. ; 12 cm}, year = {2005}, language = {en} } @article{HillgaertnerKappel2006, author = {Hillg{\"a}rtner, Michael and Kappel, U.}, title = {Radiating Impedance of Mains Cabling During Emissions Testing}, series = {EMC Europe 2006 Barcelona : International Symposium on Electromagnetic Compatibility; September 4 - 8, 2006, Campus Nord, Technical University of Catalonia, Barcelona, Spain / [organized by Technical University of Catalonia (UPC) ... Ed. and publ. by: Ferran Silva ...]. - Vol. 1: Proceedings 1}, journal = {EMC Europe 2006 Barcelona : International Symposium on Electromagnetic Compatibility; September 4 - 8, 2006, Campus Nord, Technical University of Catalonia, Barcelona, Spain / [organized by Technical University of Catalonia (UPC) ... Ed. and publ. by: Ferran Silva ...]. - Vol. 1: Proceedings 1}, address = {Barcelona}, isbn = {84-689-9439-1}, pages = {17 -- 22}, year = {2006}, language = {en} } @article{HueningJaekelFrancoisetal.1996, author = {H{\"u}ning, Felix and Jaekel, C. and Francois, I. and Kyas, G.}, title = {Microwave surface impedance measurements on high-Tc superconductors / Jaekel, C. ; Francois, I. ; Kyas, G. ; H{\"u}ning, F. ; Roskos, H. G. ; Borghs, G. ; Kurz, H.}, series = {Czechoslovak Journal of Physics. 46 (1996), H. Suppl. 2}, journal = {Czechoslovak Journal of Physics. 46 (1996), H. Suppl. 2}, number = {46}, publisher = {Springer Science+Business Media}, address = {Dordrecht}, isbn = {1572-9486}, pages = {1117 -- 1118}, year = {1996}, language = {en} } @article{EngelsKrauskopf2011, author = {Engels, Elmar and Krauskopf, S.}, title = {Innovation in Motion-Logic programming - a versatile interface}, series = {Proceedings to the 12th International Workshop on Research and Education in Mechatronics, REM 2011, Kocaeli, Turkey, 15.09.-16.09.2011}, journal = {Proceedings to the 12th International Workshop on Research and Education in Mechatronics, REM 2011, Kocaeli, Turkey, 15.09.-16.09.2011}, publisher = {-}, isbn = {978-975-8047-96-3}, year = {2011}, language = {en} } @article{HueningWilkeNakielskietal.1997, author = {H{\"u}ning, Felix and Wilke, I. and Nakielski, G. and Kotzler, J.}, title = {Dynamic conductivity of YBCO thin films from low to very high frequencies / Wilke, I. ; Nakielski, G. ; Kotzler, J. ; Subke, K. O. ; Jaekel, C. ; H{\"u}ning, F. ; Roskos, H. G. ; Kurz, Heinrich}, series = {Applied superconductivity 1997 : proceedings of EUCAS 1997, the Third European Conference on Applied Superconductivity, held in the Netherlands, 30 June - 3 July 1997 / ed. by H. Rogalla}, journal = {Applied superconductivity 1997 : proceedings of EUCAS 1997, the Third European Conference on Applied Superconductivity, held in the Netherlands, 30 June - 3 July 1997 / ed. by H. Rogalla}, publisher = {IOP}, address = {Bristol}, isbn = {0-7503-0487-1}, pages = {121 -- 124}, year = {1997}, language = {en} } @article{HueningLeineweberJacobsetal.1999, author = {H{\"u}ning, Felix and Leineweber, A. and Jacobs, H. and Lueken, H.}, title = {ε-Fe3N: magnetic structure, magnetization and temperature dependent disorder of nitrogen / Leineweber, A. ; Jacobs, H. ; H{\"u}ning, F. ; Lueken, H. ; Schilder, H. ; Kockelmann, W.}, series = {Journal of Alloys and Compounds. 288 (1999), H. 1-2}, volume = {288}, journal = {Journal of Alloys and Compounds. 288 (1999), H. 1-2}, number = {1-2}, publisher = {Elsevier}, address = {Amsterdam}, isbn = {1873-4669}, pages = {79 -- 87}, year = {1999}, abstract = {ε-Fe3N has been investigated by time-of-flight neutron diffraction (temperature range 4.2-618 K) and SQUID magnetometry (2-700 K, B≤5 T). A ferromagnetic spin structure is observed with magnetic moments oriented perpendicular to the c-axis of the hexagonal nuclear structure. The magnetic saturation moment of iron is 2.2 μB at 4.2 K from neutron diffraction and 2.0 μB from magnetic measurements and decreases in a Brillouin-like manner on heating to TC=575 K. Above 450 K an increasing but reversible disorder of the nitrogen partial structure is observed.}, language = {en} } @article{HueningLeineweberJacobsetal.2001, author = {H{\"u}ning, Felix and Leineweber, A. and Jacobs, H. and Lueken, H.}, title = {Nitrogen Ordering and ferromagnetic properties of -Fe3N1+x (0.10  x  0.39) and -Fe3(N0.80C0.20)1.38 / Leineweber, A. ; Jacobs, H. ; H{\"u}ning, F. ; Lueken, H. ; Kockelmann, W.}, series = {Journal of Alloys and Compounds. 316 (2001), H. 1-2}, journal = {Journal of Alloys and Compounds. 316 (2001), H. 1-2}, publisher = {-}, isbn = {1873-4669}, pages = {21 -- 38}, year = {2001}, language = {en} } @article{HueningSpartaRedhammeretal.2001, author = {H{\"u}ning, Felix and Sparta, K. and Redhammer, G. J. and Roussel, P.}, title = {Structural Phase Transition in the 2D Spin Dimer Compound SrCu2(BO3)2 / Sparta, K. ; Redhammer, G. J. ; Roussel, P. ; Heger, G. ; Roth, G. ; Ionescu, A. Lemmens, P. ; Grove, M. ; G{\"u}ntherrodt, G. ; H{\"u}ning, F. ; Lueken, H. ; Kageyama, H. ; Onizuka, K ; Ueda}, series = {The European Physical Journal B - Condensed Matter and Complex Systems. 19 (2001), H. 4}, journal = {The European Physical Journal B - Condensed Matter and Complex Systems. 19 (2001), H. 4}, publisher = {-}, isbn = {1434-6036}, pages = {507 -- 516}, year = {2001}, language = {en} } @book{Huening2001, author = {H{\"u}ning, Felix}, title = {Magnetische Eigenschaften niederdimensionaler Chrom-, Ruthenium- und Niobhalogenide}, publisher = {Shaker}, address = {Aachen}, isbn = {3-8265-8551-8}, pages = {II, 122 S Ill., graph. Darst.}, year = {2001}, language = {en} } @article{HueningLukenSchilderetal.2001, author = {H{\"u}ning, Felix and Luken, Heiko and Schilder, Herbert and Eifert, Thomas}, title = {Magnetochemistry: Compounds and Concepts / Lueken, Heiko ; Schilder, Herbert ; Eifert, Thomas ; Handrick, Klaus ; H{\"u}ning, Felix}, series = {Advances in Solid State Physics. 201 (2001)}, journal = {Advances in Solid State Physics. 201 (2001)}, publisher = {-}, pages = {515 -- 532}, year = {2001}, language = {en} } @article{HueningEifertLuekenetal.2002, author = {H{\"u}ning, Felix and Eifert, T. and Lueken, H. and Schmidt, P.}, title = {High-temperature series expansion of the magnetic susceptibility of extended magnetic systems in a complete computer implementation / Eifert, T. ; H{\"u}ning, F. ; Lueken, H. ; Schmidt, P. ; Thiele, G.}, series = {Chemical Physics Letters. 364 (2002), H. 1-2}, journal = {Chemical Physics Letters. 364 (2002), H. 1-2}, publisher = {-}, isbn = {0009-2614}, pages = {69 -- 74}, year = {2002}, language = {en} } @article{HueningEifertHandricketal.2006, author = {H{\"u}ning, Felix and Eifert, T. and Handrick, K. and Neuhausen, U.}, title = {Computational Magnetochemistry: Complementary Quantum Mechanical Tools / Eifert, T. ; Handrick, K. ; H{\"u}ning, F. ; Neuhausen, U. ; Schilder, H. ; Lueken, H.}, series = {Zeitschrift f{\"u}r Anorganische und Allgemeine Chemie (ZAAC) - Journal of Inorganic and General Chemistry . 632 (2006), H. 4}, journal = {Zeitschrift f{\"u}r Anorganische und Allgemeine Chemie (ZAAC) - Journal of Inorganic and General Chemistry . 632 (2006), H. 4}, publisher = {-}, isbn = {1521-3749}, pages = {521 -- 529}, year = {2006}, language = {en} } @article{HueningEifertHandricketal.2006, author = {H{\"u}ning, Felix and Eifert, T. and Handrick, K. and Neuhausen, U.}, title = {Computational Magnetochemistry: Complementary Quantum Mechanical Tools / Eifert, T. ; Handrick, K. ; H{\"u}ning, F. ; Neuhausen, U. ; Schilder, H. ; Lueken, H.}, series = {20 Jahre Wilhelm-Klemm-Stiftung / Kuratorium der Wilhelm-Klemm-Stiftung (Hrsg.)}, journal = {20 Jahre Wilhelm-Klemm-Stiftung / Kuratorium der Wilhelm-Klemm-Stiftung (Hrsg.)}, publisher = {Shaker}, address = {Aachen}, isbn = {978-3-8322-5520-6}, pages = {193ff}, year = {2006}, language = {en} } @article{Huening2008, author = {H{\"u}ning, Felix}, title = {Entwicklungstrends bei MOSFETs f{\"u}r den Automobilbereich}, series = {Elektronik-Industrie . 39 (2008), H. 5}, journal = {Elektronik-Industrie . 39 (2008), H. 5}, publisher = {-}, isbn = {0174-5522}, pages = {74 -- 76}, year = {2008}, language = {en} } @article{Huening2009, author = {H{\"u}ning, Felix}, title = {SMD packages for PowerMOSFETs in automotive applications - developments and trends}, series = {Automotive Designline Europe (2009)}, journal = {Automotive Designline Europe (2009)}, publisher = {-}, year = {2009}, language = {en} } @article{Huening2012, author = {H{\"u}ning, Felix}, title = {Using Trench PowerMOSFETs in Linear Mode}, series = {Power Electronics Europe (2012)}, journal = {Power Electronics Europe (2012)}, publisher = {DFA Media}, address = {Tonbridge}, issn = {1748-3530}, pages = {27 -- 29}, year = {2012}, abstract = {If we think about applications for modern Power MOSFETs using trench technology, running them in linear mode may not be top of the priority list. Yet there are multiple uses for Trench Power MOSFETs in linear mode. In fact, even turning the device on and off in switching applications is a form of linear operation. Also, these components can be run in linear mode to protect the device against voltage surges. This article will illustrate the factors that need to be considered for linear operation and show how Trench Power MOSFETs are suited to it.}, language = {en} } @article{FassbenderMoessleVogler1996, author = {Faßbender, Heinz and M{\"o}ßle, Andrea and Vogler, Heiko}, title = {Implementation of a deterministic partial e-unification algorithm for macro tree transducers}, series = {Journal of functional and logic programming. 1996 (1996), H. 2}, journal = {Journal of functional and logic programming. 1996 (1996), H. 2}, isbn = {1080-5230}, year = {1996}, language = {en} } @article{Fassbender2001, author = {Faßbender, Heinz}, title = {Reengineering an Ada95-programmed command and control information system by using UML}, series = {Proceedings : September 30 - October 4, 2001, Twin Cities, Best Western The Thunderbird Hotel \& Convention Center, Bloomington, MN, USA / ACM SIGAda Annual International Conference (SIGAda 2001)}, journal = {Proceedings : September 30 - October 4, 2001, Twin Cities, Best Western The Thunderbird Hotel \& Convention Center, Bloomington, MN, USA / ACM SIGAda Annual International Conference (SIGAda 2001)}, publisher = {ACM}, address = {New York, NY}, isbn = {1-58113-392-8}, pages = {53 -- 60}, year = {2001}, language = {en} } @article{FassbenderManeth1998, author = {Faßbender, Heinz and Maneth, Sebastian}, title = {A strict border for the decidability of e-unification for recursive functions / Faßbender, Heinz ; Maneth, Sebastian}, series = {Journal of functional and logic programming. 1998 (1998), H. 4}, journal = {Journal of functional and logic programming. 1998 (1998), H. 4}, isbn = {1080-5230}, year = {1998}, language = {en} } @article{FassbenderBuehler1999, author = {Faßbender, Heinz and B{\"u}hler, Gerhard}, title = {Making a C2 information system platform independent by using internet and middleware technologies}, series = {Proceedings of the 1999 Command and Control Research and Technology Symposium, Juni 1999, Newport, USA}, journal = {Proceedings of the 1999 Command and Control Research and Technology Symposium, Juni 1999, Newport, USA}, pages = {1 -- 11}, year = {1999}, language = {en} } @article{FassbenderBuehler2000, author = {Faßbender, Heinz and B{\"u}hler, Gerhard}, title = {The join of a geographical situation display system and a platform independent C2 information system}, series = {Proceedings of the 2000 Command and Control Research and Technology Symposium, Juni 2000, Monterey, USA}, journal = {Proceedings of the 2000 Command and Control Research and Technology Symposium, Juni 2000, Monterey, USA}, pages = {1 -- 7}, year = {2000}, language = {en} } @article{FassbenderBuehler2001, author = {Faßbender, Heinz and B{\"u}hler, Gerhard}, title = {Modelling command and control information systems by UML}, series = {Proceedings of the Information Systems Technology Panel Symposium / Information Management Challenges in Achieving Coalition Interoperability, Mai 2001, Quebec City, Kanada}, journal = {Proceedings of the Information Systems Technology Panel Symposium / Information Management Challenges in Achieving Coalition Interoperability, Mai 2001, Quebec City, Kanada}, pages = {7-1 -- 7-9}, year = {2001}, language = {en} } @article{FassbenderBuehler2002, author = {Faßbender, Heinz and B{\"u}hler, Gerhard}, title = {An experimental command and control information system based on Enterprise Java bean technology}, series = {Proceedings of the 7th International Command and Control Research and Technology Symposium, September 2002, Quebec City, Kanada}, journal = {Proceedings of the 7th International Command and Control Research and Technology Symposium, September 2002, Quebec City, Kanada}, pages = {1 -- 8}, year = {2002}, language = {en} } @article{FassbenderVogler1991, author = {Faßbender, Heinz and Vogler, Heiko}, title = {A narrowing machine for the functional logic language BABEL, restricted to primitive recursion : abstract}, series = {Granada Workshop on the Integration of Functional and Logic Programming / Granada Workshop on the Integration of Functional and Logic Programming <1990>. K. Indermark ... (ed.)}, journal = {Granada Workshop on the Integration of Functional and Logic Programming / Granada Workshop on the Integration of Functional and Logic Programming <1990>. K. Indermark ... (ed.)}, publisher = {RWTH, Fachgruppe Informatik}, address = {Aachen}, pages = {95 -- 96}, year = {1991}, language = {en} } @article{KrauseRodriguezStopicetal.2007, author = {Krause, Gregor and Rodriguez, Jackson and Stopic, Srecko and Friedrich, Bernd}, title = {Feasibility assessment of electrocoagulation towards a new sustainable wastewater treatment / Rodriguez, Jackson ; Stopic, Srecko ; Krause Gregor ; Friedrich, Bernd}, series = {Environmental Science and Pollution Research. 14 (2007), H. 7}, journal = {Environmental Science and Pollution Research. 14 (2007), H. 7}, isbn = {0944-1344}, pages = {477 -- 482}, year = {2007}, language = {en} } @article{FassbenderVoglerWedel1993, author = {Faßbender, Heinz and Vogler, Heiko and Wedel, Andrea}, title = {An abstract machine for the E-Unification with macro tree transducer}, series = {7th International Workshop on Unification : 13. 06. - 14. 06. 93 / Franz Baader ... (eds.). [Boston University, Boston, USA]}, journal = {7th International Workshop on Unification : 13. 06. - 14. 06. 93 / Franz Baader ... (eds.). [Boston University, Boston, USA]}, year = {1993}, language = {en} } @article{ZastrowRieder1980, author = {Zastrow, Udo and Rieder, G.}, title = {Bracketing eigenvalues of an oscillating elastic body by integral equations}, series = {Bracketing of eigenfrequencies of continous structures : Euromech Colloquium, no. 112, M{\´a}traf{\"u}red (Hungary), 21 - 23 February, 1979 / ed. by {\`A}. Bosznay}, journal = {Bracketing of eigenfrequencies of continous structures : Euromech Colloquium, no. 112, M{\´a}traf{\"u}red (Hungary), 21 - 23 February, 1979 / ed. by {\`A}. Bosznay}, publisher = {Akad. Kiad{\´o}}, address = {Budapest}, isbn = {963-05-2625-5}, pages = {421 -- 434}, year = {1980}, language = {en} } @article{Zastrow1985, author = {Zastrow, Udo}, title = {On the complete system of fundamental solutions for anisotropic slices and slabs: A comparison by use of the slab analogy}, series = {Journal of Elasticity. 15 (1985), H. 3}, journal = {Journal of Elasticity. 15 (1985), H. 3}, isbn = {1573-2681}, pages = {293 -- 318}, year = {1985}, language = {en} } @article{ZastrowHackl1988, author = {Zastrow, Udo and Hackl, Klaus}, title = {On the existence, uniqueness and completeness of displacements and stress functions in linear elasticity / Hackl, Klaus ; Zastrow, Udo}, series = {Journal of Elasticity. 19 (1988), H. 1}, journal = {Journal of Elasticity. 19 (1988), H. 1}, isbn = {1573-2681}, pages = {3 -- 23}, year = {1988}, language = {en} } @article{Zastrow1985, author = {Zastrow, Udo}, title = {Basic geometrical singularities in plane-elasticity and plate-bending problems}, series = {International Journal of Solids and Structures. 21 (1985), H. 10}, journal = {International Journal of Solids and Structures. 21 (1985), H. 10}, isbn = {0020-7683}, pages = {1047 -- 1067}, year = {1985}, language = {en} } @article{Zastrow1985, author = {Zastrow, Udo}, title = {Numerical plane stress analysis by integral equations based on the singularity method}, series = {SM archives . 10 (1985)}, journal = {SM archives . 10 (1985)}, isbn = {0376-7426}, pages = {113 -- 128}, year = {1985}, language = {en} } @article{ZastrowPanagiotopoulos1979, author = {Zastrow, Udo and Panagiotopoulos, P. D.}, title = {An integral "Equation" approach to the unilateral contact problem}, series = {ZAMM - Zeitschrift f{\"u}r angewandte Mathematik und Mechanik. 59 (1979), H. 8}, journal = {ZAMM - Zeitschrift f{\"u}r angewandte Mathematik und Mechanik. 59 (1979), H. 8}, isbn = {1521-4001}, pages = {392 -- 393}, year = {1979}, language = {en} } @article{FassbenderVogler1992, author = {Faßbender, Heinz and Vogler, Heiko}, title = {An implementation of syntax directed functional programming on nested-stack machines}, series = {Formal Aspects of Computing. 4 (1992), H. 4}, journal = {Formal Aspects of Computing. 4 (1992), H. 4}, isbn = {0934-5043}, pages = {341 -- 375}, year = {1992}, language = {en} } @article{Fassbender1993, author = {Faßbender, Heinz}, title = {Implementation of a universal unification algorithm for macro tree transducers}, series = {Fundamentals of computation theory : proceedings / 9th International Conference, FCT '93, Szeged, Hungary, August 23 - 27, 1993. Zolt{\´a}n {\´E}sik (ed.)}, journal = {Fundamentals of computation theory : proceedings / 9th International Conference, FCT '93, Szeged, Hungary, August 23 - 27, 1993. Zolt{\´a}n {\´E}sik (ed.)}, publisher = {Springer}, address = {Berlin [u.a.]}, isbn = {3-540-57163-9}, pages = {222 -- 233}, year = {1993}, language = {en} } @article{Fassbender1995, author = {Faßbender, Heinz}, title = {Implementation of a UU-Algorithm for primitive recursive tree functions}, series = {Fundamentals of computation theory : proceedings / 10th International Conference, FCT '95, Dresden, Germany, August 22 - 25, 1995. Horst Reichel (ed.)}, journal = {Fundamentals of computation theory : proceedings / 10th International Conference, FCT '95, Dresden, Germany, August 22 - 25, 1995. Horst Reichel (ed.)}, publisher = {Springer}, address = {Berlin [u.a.]}, isbn = {3-540-60249-6}, pages = {233 -- 242}, year = {1995}, language = {en} } @article{Fassbender1995, author = {Faßbender, Heinz}, title = {A verified implementation of narrowing}, series = {Programming languages: implementations, logics and programs : proceedings / 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Manuel Hermenegildo ... (ed.)}, journal = {Programming languages: implementations, logics and programs : proceedings / 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Manuel Hermenegildo ... (ed.)}, publisher = {Springer}, address = {Berlin [u.a.]}, isbn = {3-540-60359-X}, pages = {63 -- 80}, year = {1995}, language = {en} } @article{FassbenderManeth1996, author = {Faßbender, Heinz and Maneth, Sebastian}, title = {A strict border for the decidability of e-unification for recursive functions / Faßbender, Heinz ; Maneth, Sebastian}, series = {Algebraic and logic programming : proceedings / 5th International Conference, ALP '96, Aachen, Germany, September 25 - 27, 1996. Michael Hanus ... (ed.)}, journal = {Algebraic and logic programming : proceedings / 5th International Conference, ALP '96, Aachen, Germany, September 25 - 27, 1996. Michael Hanus ... (ed.)}, publisher = {Springer}, address = {Berlin [u.a.]}, isbn = {3-540-61735-3}, pages = {194 -- 208}, year = {1996}, language = {en} } @article{FassbenderBuehler1999, author = {Faßbender, Heinz and B{\"u}hler, Gerhard}, title = {Applying Ada, Java and CORBA for making a command and control information system platform independent}, series = {Proceedings : (SIGAda '99) ; October 17 - 21, 1999 ; Crowne Plaza, Redondo Beach \& Marine Hotel, Redondo Beach, CA, USA / ACM SIGAda Annual International Conference}, journal = {Proceedings : (SIGAda '99) ; October 17 - 21, 1999 ; Crowne Plaza, Redondo Beach \& Marine Hotel, Redondo Beach, CA, USA / ACM SIGAda Annual International Conference}, publisher = {ACM}, address = {New York, NY}, isbn = {1-58113-127-5}, pages = {83 -- 88}, year = {1999}, language = {en} } @article{FassbenderVogler1994, author = {Faßbender, Heinz and Vogler, Heiko}, title = {A universal unification algorithm based on unification-driven leftmost outermost narrowing}, series = {Acta Cybernetica. 11 (1994), H. 3}, journal = {Acta Cybernetica. 11 (1994), H. 3}, isbn = {0324-721x}, pages = {139 -- 167}, year = {1994}, language = {en} } @article{Zastrow1982, author = {Zastrow, Udo}, title = {Solution of plane anisotropic elastostatical boundary value problems by singular integral equations}, series = {Acta Mechanica. 44 (1982), H. 1-2}, journal = {Acta Mechanica. 44 (1982), H. 1-2}, isbn = {1619-6937}, pages = {59 -- 71}, year = {1982}, language = {en} } @article{Zastrow1985, author = {Zastrow, Udo}, title = {On the formulation of the fundamental solutions for orthotropic plane elasticity}, series = {Acta Mechanica. 57 (1985), H. 3-4}, journal = {Acta Mechanica. 57 (1985), H. 3-4}, isbn = {1619-6937}, pages = {113 -- 122}, year = {1985}, language = {en} } @book{FassbenderVoglerWedel1994, author = {Faßbender, Heinz and Vogler, Heiko and Wedel, Andrea}, title = {Implementation of a deterministic partial E-unification algorithm for macro tree transducers}, publisher = {Univ. Ulm, Fak. f{\"u}r Informatik}, address = {Ulm}, pages = {62 S.}, year = {1994}, language = {en} } @book{FassbenderVogler1992, author = {Faßbender, Heinz and Vogler, Heiko}, title = {A universal unification algorithm based on unification driven leftmost outermost narrowing}, publisher = {Univ. Ulm, Fak. f{\"u}r Informatik}, address = {Ulm}, pages = {47 S. : graph. Darst.}, year = {1992}, language = {en} } @book{FassbenderManeth1996, author = {Faßbender, Heinz and Maneth, Sebastian}, title = {A strict border for the decidability of e-unification for recursive functions}, publisher = {TU, Fak. Informatik}, address = {Dresden}, pages = {27 S. : graph. Darst.}, year = {1996}, language = {en} } @book{FassbenderGladtzVogler1991, author = {Faßbender, Heinz and Gladtz, Katia and Vogler, Heiko}, title = {Compiler based implementation of syntax directed functional programming}, publisher = {RWTH, Fachgruppe Informatik}, address = {Aachen}, pages = {37 S.}, year = {1991}, language = {en} }