@book{Fassbender1995, author = {Faßbender, Heinz}, title = {E-Unifikation f{\"u}r primitiv-rekursive Baumfunktionen : Semantik und Implementierung. - Als Ms. gedr.}, publisher = {Shaker}, address = {Aachen}, isbn = {3-8265-0917-X}, pages = {IX, 272 S. : graph. Darst.}, year = {1995}, language = {de} } @book{Fassbender1989, author = {Faßbender, Heinz}, title = {Implementierung der Call-by-Need Auswertungsstrategie f{\"u}r Macro Tree-to-String Transducer auf Nested-Stack Maschinen mit geschachtelten Ausgabeb{\"a}ndern}, address = {Aachen}, year = {1989}, language = {de} } @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{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} } @book{Fassbender2003, author = {Faßbender, Heinz}, title = {Architektur eines F{\"u}hrungsinformationssystems unter Verwendung von Enterprise Java Beans}, publisher = {FGAN-FKIE}, address = {Wachtberg}, year = {2003}, language = {de} } @book{Fassbender1999, author = {Faßbender, Heinz}, title = {Architektur eines plattformunabh{\"a}ngigen verteilten F{\"u}hrungsinformationssystems}, publisher = {FGAN-FKIE}, address = {Wachtberg}, year = {1999}, language = {de} } @article{FaganBitzBjoerkmanBurtscheretal.2021, author = {Fagan, Andrew J. and Bitz, Andreas and Bj{\"o}rkman-Burtscher, Isabella M. and Collins, Christopher M. and Kimbrell, Vera and Raaijmakers, Alexander J. E.}, title = {7T MR Safety}, series = {Journal of Magnetic Resonance Imaging (JMRI)}, volume = {53}, journal = {Journal of Magnetic Resonance Imaging (JMRI)}, number = {2}, publisher = {Wiley}, address = {Weinheim}, issn = {1522-2586}, doi = {10.1002/jmri.27319}, pages = {333 -- 346}, year = {2021}, language = {en} } @inproceedings{EssingholtMeyerKuhnetal.2018, author = {Essingholt, Felix and Meyer, Frederic and Kuhn, Peter and Schmidt, Philip and Benkner, Thorsten and Grabmaier, Anton}, title = {Non-invasive heart beat measurement using microwave resonators}, series = {Proceedings, Vol. 2, Eurosensors 2018 Conference, Graz, Austria, 9-12 September 2018}, booktitle = {Proceedings, Vol. 2, Eurosensors 2018 Conference, Graz, Austria, 9-12 September 2018}, publisher = {MDPI}, address = {Basel}, issn = {2504-3900}, doi = {10.3390/proceedings2131002}, pages = {1002}, year = {2018}, language = {en} }