@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{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{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{HeuermannSadeghfam2008, author = {Heuermann, Holger and Sadeghfam, Arash}, title = {Electrically tunable bandpass filter with integrated carrier suppression for UHF RFID systems / Sadeghfam, Arash ; Heuermann, Holger}, series = {European Microwave Conference, 2008, EuMC 2008, 38th}, journal = {European Microwave Conference, 2008, EuMC 2008, 38th}, isbn = {978-2-87487-006-4}, pages = {1727 -- 1730}, year = {2008}, language = {en} } @article{Heuermann2006, author = {Heuermann, Holger}, title = {Multiport S-parameter calculation from two-port network analyzer measurements with or without switch matrix}, series = {ARFTG Conference, 2006 67th, San Francisco, CA}, journal = {ARFTG Conference, 2006 67th, San Francisco, CA}, isbn = {978-0-7803-9529-9}, pages = {219 -- 222}, year = {2006}, language = {en} } @article{HeuermannSadeghfam2007, author = {Heuermann, Holger and Sadeghfam, Arash}, title = {On the design of multimode integrated circuits in multilayered processes / Sadeghfam, A. ; Heuermann, H.}, series = {European Microwave Conference, 2007, 9-12 Oct. 2007}, journal = {European Microwave Conference, 2007, 9-12 Oct. 2007}, isbn = {978-2-87487-001-9}, pages = {516 -- 519}, year = {2007}, language = {en} } @article{HeuermannIbrahimHillebrand2007, author = {Heuermann, Holger and Ibrahim, Irfan and Hillebrand, J.}, title = {Vector-Signal-Generator with Two ?'?'-PLL's / Ibrahim, I. ; Hillebrand, J. ; Heuermann, H.}, series = {European Conference on Wireless Technologies, 2007. ECWT 2007 ; 8 - 10 October 2007 Munich, Germany}, journal = {European Conference on Wireless Technologies, 2007. ECWT 2007 ; 8 - 10 October 2007 Munich, Germany}, isbn = {978-2-87487-003-3}, pages = {1 -- 4}, year = {2007}, 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{Heuermann2008, author = {Heuermann, Holger}, title = {Calibration of a Network Analyzer Without a Thru Connection for Nonlinear and Multiport Measurements}, series = {IEEE Transactions on Microwave Theory and Techniques. 56 (2008), H. 11, 1}, journal = {IEEE Transactions on Microwave Theory and Techniques. 56 (2008), H. 11, 1}, isbn = {0018-9480}, pages = {2505 -- 2510}, year = {2008}, language = {en} }