@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{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{FassbenderVogler1992,
  author    = {Faßbender, Heinz and Vogler, Heiko},
  title     = {A universal unification algorithm based on unification driven leftmost outermost narrowing},
  publisher = {Univ. Ulm, Fak. f{\"u}r Informatik},
  address   = {Ulm},
  pages     = {47 S. : graph. Darst.},
  year      = {1992},
  language  = {en}
}
@article{FassbenderVogler1992,
  author    = {Faßbender, Heinz and Vogler, Heiko},
  title     = {An implementation of syntax directed functional programming on nested-stack machines},
  series = {Formal Aspects of Computing. 4 (1992), H. 4},
  journal   = {Formal Aspects of Computing. 4 (1992), H. 4},
  isbn      = {0934-5043},
  pages     = {341 -- 375},
  year      = {1992},
  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}
}
@book{FassbenderVogler1990,
  author    = {Faßbender, Heinz and Vogler, Heiko},
  title     = {A call-by-need implementation of syntax directed functional programming},
  publisher = {RWTH, Fachgruppe Informatik},
  address   = {Aachen},
  pages     = {44 S. : graph. Darst.},
  year      = {1990},
  language  = {en}
}
@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}
}
@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{FassbenderVoglerWedel1993,
  author    = {Faßbender, Heinz and Vogler, Heiko and Wedel, Andrea},
  title     = {An abstract machine for the E-Unification with macro tree transducer},
  series = {7th International Workshop on Unification : 13. 06. - 14. 06. 93 / Franz Baader ... (eds.). [Boston University, Boston, USA]},
  journal   = {7th International Workshop on Unification : 13. 06. - 14. 06. 93 / Franz Baader ... (eds.). [Boston University, Boston, USA]},
  year      = {1993},
  language  = {en}
}
@book{Ferrein2008,
  author    = {Ferrein, Alexander},
  title     = {Robot controllers for highly dynamic environments with real-time constraints},
  pages     = {XVI; 247 S. : Ill., graph. Darst},
  year      = {2008},
  language  = {en}
}
@article{Ferrein2008,
  author    = {Ferrein, Alexander},
  title     = {Logic-based robot control in highly dynamic domains / Ferrein, Alexander ; Lakemeyer, Gerhard},
  series = {Robotics and Autonomous Systems. 56 (2008), H. 11},
  journal   = {Robotics and Autonomous Systems. 56 (2008), H. 11},
  isbn      = {0921-8890},
  pages     = {980 -- 991},
  year      = {2008},
  language  = {en}
}
@article{Ferrein2010,
  author    = {Ferrein, Alexander},
  title     = {Robot controllers for highly dynamic environments with real-time constraints},
  series = {K{\"u}nstliche Intelligenz : KI. 24 (2010), H. 2},
  journal   = {K{\"u}nstliche Intelligenz : KI. 24 (2010), H. 2},
  isbn      = {1610-1987},
  pages     = {175 -- 178},
  year      = {2010},
  language  = {en}
}
@article{Ferrein2010,
  author    = {Ferrein, Alexander},
  title     = {golog.lua: Towards a Non-Prolog Implementation of Golog for Embedded Systems},
  pages     = {20 -- 28},
  year      = {2010},
  language  = {en}
}
@article{Ferrein2005,
  author    = {Ferrein, Alexander},
  title     = {Specifying Soccer Moves with Golog},
  series = {Book of abstracts : Cologne, 15 - 17 September 2004 / 1st International Working Conference IT and Sport \& 5th conference DVS-Section Computer Science in Sport},
  journal   = {Book of abstracts : Cologne, 15 - 17 September 2004 / 1st International Working Conference IT and Sport \& 5th conference DVS-Section Computer Science in Sport},
  publisher = {German Sport Univ.},
  address   = {K{\"o}ln},
  isbn      = {3-00-014576-1},
  pages     = {161 -- 165},
  year      = {2005},
  language  = {en}
}
@article{Ferrein2010,
  author    = {Ferrein, Alexander},
  title     = {golog.lua: Towards a Non-Prolog Implementation of Golog for Embedded Systems},
  series = {Cognitive Robotics / Lakemeyer, Gerhard (ed.)},
  journal   = {Cognitive Robotics / Lakemeyer, Gerhard (ed.)},
  pages     = {1 -- 15},
  year      = {2010},
  language  = {en}
}
@article{Ferrein2008,
  author    = {Ferrein, Alexander},
  title     = {Towards applying soccer moves in the RoboCup Standard Platform League},
  series = {{\"O}GAI-Journal},
  volume    = {Bd. 27},
  journal   = {{\"O}GAI-Journal},
  number    = {H. 3},
  organization    = {{\"O}sterreichische Gesellschaft f{\"u}r Artificial Intelligence},
  issn      = {0254-4326},
  pages     = {4 -- 9},
  year      = {2008},
  language  = {en}
}
@article{FerreinBeckLakemeyer2009,
  author    = {Ferrein, Alexander and Beck, Daniel and Lakemeyer, Gerhard},
  title     = {Landmark-Based Representations for Navigating Holonomic Soccer Robots / Beck, Daniel ; Ferrein, Alexander ; Lakemeyer, Gerhard},
  series = {RoboCup 2008 : robot soccer world cup XII / Luca Iocchi ... (eds.)},
  journal   = {RoboCup 2008 : robot soccer world cup XII / Luca Iocchi ... (eds.)},
  publisher = {Springer},
  address   = {Heidelberg},
  isbn      = {978-3-642-02921-9},
  pages     = {25 -- 36},
  year      = {2009},
  language  = {en}
}
@article{FerreinBeckLakemeyer2007,
  author    = {Ferrein, Alexander and Beck, Daniel and Lakemeyer, Gerhard},
  title     = {A Simulation Environment for Middle-Size Robots with Multi-level Abstraction / Beck, Daniel ; Ferrein, Alexander ; Lakemeyer, Gerhard},
  series = {RoboCup 2007: Robot Soccer World Cup XI},
  journal   = {RoboCup 2007: Robot Soccer World Cup XI},
  publisher = {Springer},
  address   = {Berlin},
  isbn      = {978-3-540-68846-4},
  pages     = {136 -- 147},
  year      = {2007},
  language  = {en}
}
@inproceedings{FerreinBharatheeshaSchifferetal.2019,
  author    = {Ferrein, Alexander and Bharatheesha, Mukunda and Schiffer, Stefan and Corbato, Carlos Hernandez},
  title     = {TRROS 2018 : Teaching Robotics with ROS Workshop at ERF 2018; Proceedings of the Workshop on Teaching Robotics with ROS (held at ERF 2018), co-located with European Robotics Forum 2018 (ERF 2018), Tampere, Finland, March 15th, 2018},
  series = {CEUR Workshop Proceedings},
  booktitle = {CEUR Workshop Proceedings},
  number    = {Vol-2329},
  issn      = {1613-0073},
  pages     = {68 Seiten},
  year      = {2019},
  language  = {en}
}
@article{FerreinBoehnstedtLakemeyer2007,
  author    = {Ferrein, Alexander and B{\"o}hnstedt, Lutz and Lakemeyer, Gerhard},
  title     = {Options in readylog reloaded -- generating decision-theoretic plan libraries in golog / B{\"o}hnstedt, Lutz ; Ferrein, Alexander ; Lakemeyer, Gerhard},
  series = {KI 2007: advances in artificial intelligence : 30th Annual German Conference on AI, KI 2007, Osnabr{\"u}ck, Germany, September 10 - 13, 2007 ; proceedings},
  journal   = {KI 2007: advances in artificial intelligence : 30th Annual German Conference on AI, KI 2007, Osnabr{\"u}ck, Germany, September 10 - 13, 2007 ; proceedings},
  publisher = {Springer},
  address   = {Berlin},
  isbn      = {978-3-540-74564-8},
  pages     = {352 -- 366},
  year      = {2007},
  language  = {en}
}