@article{FassbenderVogler1991,
  author    = {Faßbender, Heinz and Vogler, Heiko},
  title     = {A narrowing machine for the functional logic language BABEL, restricted to primitive recursion : abstract},
  series = {Granada Workshop on the Integration of Functional and Logic Programming / Granada Workshop on the Integration of Functional and Logic Programming <1990>. K. Indermark ... (ed.)},
  journal   = {Granada Workshop on the Integration of Functional and Logic Programming / Granada Workshop on the Integration of Functional and Logic Programming <1990>. K. Indermark ... (ed.)},
  publisher = {RWTH, Fachgruppe Informatik},
  address   = {Aachen},
  pages     = {95 -- 96},
  year      = {1991},
  language  = {en}
}
@article{FassbenderWedel1992,
  author    = {Faßbender, Heinz and Wedel, Andrea},
  title     = {E-Unifikation mit macro tree transducer},
  series = {2. Arbeitstreffen Effiziente Implementierung Funktionaler Programmiersprachen / Arbeitstreffen Effiziente Implementierung Funktionaler Programmiersprachen <2, 1992, Oberjoch>. Herbert Klaeren},
  journal   = {2. Arbeitstreffen Effiziente Implementierung Funktionaler Programmiersprachen / Arbeitstreffen Effiziente Implementierung Funktionaler Programmiersprachen <2, 1992, Oberjoch>. Herbert Klaeren},
  publisher = {Wilhelm-Schickard-Inst. f{\"u}r Informatik, Univ.},
  address   = {T{\"u}bingen},
  isbn      = {0946-3852},
  pages     = {5 S.},
  year      = {1992},
  language  = {de}
}
@article{FassbenderVogler1994,
  author    = {Faßbender, Heinz and Vogler, Heiko},
  title     = {Implementierung eines universellen Unifikationsalgorithmus f{\"u}r Macro Tree Transducer},
  series = {Alternative Konzepte f{\"u}r Sprachen und Rechner : Bad Honnef 1993 / J. Ebert (Hrsg.)},
  journal   = {Alternative Konzepte f{\"u}r Sprachen und Rechner : Bad Honnef 1993 / J. Ebert (Hrsg.)},
  publisher = {Univ., Inst. f{\"u}r Informatik},
  address   = {Koblenz},
  pages     = {151 S.},
  year      = {1994},
  language  = {de}
}
@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{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{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}
}