@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{Mayer2007, author = {Mayer, Claudia}, title = {Internet statt Zeitung? Nein, Internet und Zeitung!}, series = {Aachener Zeitung. 08.01.2007 (2007)}, journal = {Aachener Zeitung. 08.01.2007 (2007)}, year = {2007}, language = {de} } @article{Mayer2006, author = {Mayer, Claudia}, title = {Die Lebensbeichte des G{\"u}nter Grass}, series = {Aachener Zeitung. 28.12.2006 (2006)}, journal = {Aachener Zeitung. 28.12.2006 (2006)}, pages = {8}, year = {2006}, language = {de} } @article{Mayer2006, author = {Mayer, Claudia}, title = {Die Beichte eines Mahners an seinem Lebensabend. Das sp{\"a}te Bekenntnis des G{\"u}nter Grass. Analysierende R{\"u}ckschau auf sein SS-Eingest{\"a}ndnis}, series = {Aachener Nachrichten. 28.12.2006 (2006)}, journal = {Aachener Nachrichten. 28.12.2006 (2006)}, pages = {8}, year = {2006}, language = {de} } @article{Mayer2008, author = {Mayer, Claudia}, title = {Meine besten Rezepte}, series = {Kinder, Karriere, Kochvergn{\"u}gen : Prominente Aachenerinnen verraten ihre besten Rezepte / Hrsg. von Claudia Dechamps . Fotos: Harald Kr{\"o}mer}, journal = {Kinder, Karriere, Kochvergn{\"u}gen : Prominente Aachenerinnen verraten ihre besten Rezepte / Hrsg. von Claudia Dechamps . Fotos: Harald Kr{\"o}mer}, publisher = {Corporate Publishing Claudia Dechamps}, address = {Aachen}, pages = {30 -- 33}, year = {2008}, language = {de} } @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} }