TY - CHAP A1 - Epple, U. A1 - Brandes, Sinja A1 - Gligorevic, Snjezana A1 - Schnell, Michael T1 - Receiver optimization for L-DACS1 T2 - IEEE/AIAA 28th Digital Avionics Systems Conference : 23-29 Oct. 2009 : Orlando, Fla. Y1 - 2009 SN - 978-1-4244-4078-8 SP - 4B1-1 EP - 4B1-12 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 - 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 - 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 - Faßbender, Heinz A1 - Bühler, Gerhard T1 - Applying Ada, Java and CORBA for making a command and control information system platform independent JF - Proceedings : (SIGAda '99) ; October 17 - 21, 1999 ; Crowne Plaza, Redondo Beach & Marine Hotel, Redondo Beach, CA, USA / ACM SIGAda Annual International Conference Y1 - 1999 SN - 1-58113-127-5 N1 - (Ada letters ; 19,3) SP - 83 EP - 88 PB - ACM CY - New York, NY ER - TY - JOUR A1 - Faßbender, Heinz A1 - Bühler, Gerhard T1 - Making a C2 information system platform independent by using internet and middleware technologies JF - Proceedings of the 1999 Command and Control Research and Technology Symposium, Juni 1999, Newport, USA Y1 - 1999 SP - 1 EP - 11 ER - TY - JOUR A1 - Faßbender, Heinz A1 - Bühler, Gerhard T1 - The join of a geographical situation display system and a platform independent C2 information system JF - Proceedings of the 2000 Command and Control Research and Technology Symposium, Juni 2000, Monterey, USA Y1 - 2000 SP - 1 EP - 7 ER - TY - JOUR A1 - Faßbender, Heinz A1 - Bühler, Gerhard T1 - Modelling command and control information systems by UML JF - Proceedings of the Information Systems Technology Panel Symposium / Information Management Challenges in Achieving Coalition Interoperability, Mai 2001, Quebec City, Kanada Y1 - 2001 SP - 7-1 EP - 7-9 ER - TY - JOUR A1 - Faßbender, Heinz A1 - Bühler, Gerhard T1 - An experimental command and control information system based on Enterprise Java bean technology JF - Proceedings of the 7th International Command and Control Research and Technology Symposium, September 2002, Quebec City, Kanada Y1 - 2002 SP - 1 EP - 8 ER - TY - JOUR A1 - Faßbender, Heinz A1 - Bühler, Gerhard T1 - Plattformunabhängige Verwendbarkeit eines Führungsinformationssystems durch den Einsatz von CORBA und Java JF - Proceedings zum Workshop Y1 - 2000 N1 - (Institut für Angewandte Systemforschung und Operations-Research <Neubiberg>: Bericht ; S0006) PB - Univ. der Bundeswehr, Fak. Informatik CY - Neubiberg ER - TY - BOOK A1 - Faßbender, Heinz A1 - Bühler, Gerhard A1 - Markmann, G. A1 - Wunder, M. T1 - Protokolle zur Replikation verteilter Daten Y1 - 2001 N1 - (FKIE-Bericht ; 27) PB - FGAN-FKIE CY - Wachtberg ER - TY - BOOK A1 - Faßbender, Heinz A1 - Gladtz, Katia A1 - Vogler, Heiko T1 - Compiler based implementation of syntax directed functional programming Y1 - 1991 N1 - (Aachener Informatik-Berichte ; 91,10) PB - RWTH, Fachgruppe Informatik CY - Aachen ER - TY - BOOK A1 - Faßbender, Heinz A1 - Maneth, Sebastian T1 - A strict border for the decidability of e-unification for recursive functions Y1 - 1996 N1 - (Technische Berichte ; 96,21) PB - TU, Fak. Informatik CY - Dresden ER -