@article{KaminskyWeberSimonsetal.2005, author = {Kaminsky, Randolph and Weber, Hans-Joachim and Simons, Antoine and Kallweit, Stephan and Kramm, K. and Verdonck, Pascale}, title = {Comparison of the flow downstream two prototypes of a new monoleaflet artificial aortic heart valve by means of PIV visualization}, series = {Computer methods in biomechanics and biomedical engineering. 8 (2005), H. 4, Suppl. 1}, journal = {Computer methods in biomechanics and biomedical engineering. 8 (2005), H. 4, Suppl. 1}, isbn = {1476-8259}, pages = {159 -- 160}, year = {2005}, language = {en} } @article{WeberMo2004, author = {Weber, Hans-Joachim and Mo, Xiumei}, title = {Electrospinning P(LLA-CL) nanofiber: a tubular scaffold fabrication with circumferential alignment / Xiumei Mo, Hans-Joachim Weber}, series = {Contributions from 6th Austrian Polymer Meeting : Vienna, Austria, September 15 - 17, 2003 / Symposium ed.: W. H. Binder}, journal = {Contributions from 6th Austrian Polymer Meeting : Vienna, Austria, September 15 - 17, 2003 / Symposium ed.: W. H. Binder}, publisher = {Wiley-VCH}, address = {Weinheim}, pages = {413 -- 416}, year = {2004}, language = {en} } @article{HekmatSaleminkLauterbachetal.2004, author = {Hekmat, Khosro and Salemink, B. and Lauterbach, Gerhard and Schwinger, R. H. G. and S{\"u}dkamp, M. and Weber, Hans-Joachim and Mehlhorn, U.}, title = {Interference by cellular phones with permanent implanted pacemakers: an update}, series = {Europace. 6 (2004), H. 4}, journal = {Europace. 6 (2004), H. 4}, pages = {363 -- 369}, year = {2004}, 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} }