@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{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{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{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{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{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} } @book{FassbenderVoglerWedel1994, author = {Faßbender, Heinz and Vogler, Heiko and Wedel, Andrea}, title = {Implementation of a deterministic partial E-unification algorithm for macro tree transducers}, publisher = {Univ. Ulm, Fak. f{\"u}r Informatik}, address = {Ulm}, pages = {62 S.}, 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} } @book{FassbenderGladtzVogler1991, author = {Faßbender, Heinz and Gladtz, Katia and Vogler, Heiko}, title = {Compiler based implementation of syntax directed functional programming}, publisher = {RWTH, Fachgruppe Informatik}, address = {Aachen}, pages = {37 S.}, year = {1991}, 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} }