TY  - BOOK
A1  - Faßbender, Heinz
T1  - E-Unifikation für primitiv-rekursive Baumfunktionen : Semantik und Implementierung. - Als Ms. gedr.
Y1  - 1995
SN  - 3-8265-0917-X
N1  - (Berichte aus der Informatik) ; Zugl.: Ulm, Univ., Diss., 1995
PB  - Shaker
CY  - Aachen
ER  - 
TY  - BOOK
A1  - Faßbender, Heinz
T1  - Implementierung der Call-by-Need Auswertungsstrategie für Macro Tree-to-String Transducer auf Nested-Stack Maschinen mit geschachtelten Ausgabebändern
Y1  - 1989
N1  - Diplomarbeit
CY  - Aachen
ER  - 
TY  - JOUR
A1  - Faßbender, Heinz
T1  - Implementation of a universal unification algorithm for macro tree transducers
JF  - Fundamentals of computation theory : proceedings / 9th International Conference, FCT '93, Szeged, Hungary, August 23 - 27, 1993. Zoltán Ésik (ed.)
Y1  - 1993
SN  - 3-540-57163-9
N1  - (Lecture notes in computer science ; 710)
SP  - 222
EP  - 233
PB  - Springer
CY  - Berlin [u.a.]
ER  - 
TY  - JOUR
A1  - Faßbender, Heinz
T1  - Implementation of a UU-Algorithm for primitive recursive tree functions
JF  - Fundamentals of computation theory : proceedings / 10th International Conference, FCT '95, Dresden, Germany, August 22 - 25, 1995. Horst Reichel (ed.)
Y1  - 1995
SN  - 3-540-60249-6
N1  - (Lecture notes in computer science ; 965)
SP  - 233
EP  - 242
PB  - Springer
CY  - Berlin [u.a.]
ER  - 
TY  - JOUR
A1  - Faßbender, Heinz
T1  - A verified implementation of narrowing
JF  - Programming languages: implementations, logics and programs : proceedings / 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Manuel Hermenegildo ... (ed.)
Y1  - 1995
SN  - 3-540-60359-X
N1  - (Lecture notes in computer science ; 982)
SP  - 63
EP  - 80
PB  - Springer
CY  - Berlin [u.a.]
ER  - 
TY  - JOUR
A1  - Faßbender, Heinz
T1  - Reengineering an Ada95-programmed command and control information system by using UML
JF  - 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)
Y1  - 2001
SN  - 1-58113-392-8
N1  - (Ada letters ; 21,4)
SP  - 53
EP  - 60
PB  - ACM
CY  - New York, NY
ER  - 
TY  - BOOK
A1  - Faßbender, Heinz
T1  - Architektur eines Führungsinformationssystems unter Verwendung von Enterprise Java Beans
Y1  - 2003
N1  - (FKIE-Bericht ; 59)
PB  - FGAN-FKIE
CY  - Wachtberg
ER  - 
TY  - BOOK
A1  - Faßbender, Heinz
T1  - Architektur eines plattformunabhängigen verteilten Führungsinformationssystems
Y1  - 1999
N1  - (FKIE-Bericht ; 8)
PB  - FGAN-FKIE
CY  - Wachtberg
ER  - 
TY  - JOUR
A1  - Fagan, Andrew J.
A1  - Bitz, Andreas
A1  - Björkman-Burtscher, Isabella M.
A1  - Collins, Christopher M.
A1  - Kimbrell, Vera
A1  - Raaijmakers, Alexander J. E.
T1  - 7T MR Safety
JF  - Journal of Magnetic Resonance Imaging (JMRI)
Y1  - 2021
U6  - http://dx.doi.org/10.1002/jmri.27319
SN  - 1522-2586
VL  - 53
IS  - 2
SP  - 333
EP  - 346
PB  - Wiley
CY  - Weinheim
ER  - 
TY  - CHAP
A1  - Essingholt, Felix
A1  - Meyer, Frederic
A1  - Kuhn, Peter
A1  - Schmidt, Philip
A1  - Benkner, Thorsten
A1  - Grabmaier, Anton
T1  - Non-invasive heart beat measurement using microwave resonators
T2  - Proceedings, Vol. 2, Eurosensors 2018 Conference, Graz, Austria, 9–12 September 2018
Y1  - 2018
U6  - http://dx.doi.org/10.3390/proceedings2131002
SN  - 2504-3900
SP  - 1002
PB  - MDPI
CY  - Basel
ER  -