@article{FerreinMaraisPotgieteretal.2011,
  author    = {Ferrein, Alexander and Marais, Stephen and Potgieter, Anet and Steinbauer, Gerald},
  title     = {RoboCup Junior: A vehicle for S\&T education in Africa?},
  publisher = {IEEE},
  address   = {New York},
  isbn      = {978-1-61284-992-8},
  pages     = {1 -- 6},
  year      = {2011},
  language  = {en}
}
@inproceedings{FerreinMaierMuehlbacheretal.2016,
  author    = {Ferrein, Alexander and Maier, Christopher and M{\"u}hlbacher, Clemens and Niem{\"u}ller, Tim and Steinbauer, Gerald and Vassos, Stravros},
  title     = {Controlling logistics robots with the action-based language YAGI},
  series = {Intelligent Robotics and Applications: 9th International Conference, ICIRA 2016, Tokyo, Japan, August 22-24, 2016, Proceedings, Part I},
  volume    = {9834},
  booktitle = {Intelligent Robotics and Applications: 9th International Conference, ICIRA 2016, Tokyo, Japan, August 22-24, 2016, Proceedings, Part I},
  publisher = {Springer},
  isbn      = {978-3-319-43505-3 (Print)},
  doi       = {10.1007/978-3-319-43506-0_46},
  pages     = {525 -- 537},
  year      = {2016},
  language  = {en}
}
@inproceedings{FerreinMaierMuehlbacheretal.2015,
  author    = {Ferrein, Alexander and Maier, Christopher and M{\"u}hlbacher, Clemens and Niemueller, Tim and Steinbauer, Gerald and Vassos, Stravros},
  title     = {Controlling Logistics Robots with the Action-based Language YAGI},
  series = {Proceedings of the 2015 IROS Workshop on Workshop on Task Planning for Intelligent Robots in Service and Manufacturing},
  booktitle = {Proceedings of the 2015 IROS Workshop on Workshop on Task Planning for Intelligent Robots in Service and Manufacturing},
  year      = {2015},
  language  = {en}
}
@inproceedings{FerreinLakemeyerSchiffer2006,
  author    = {Ferrein, Alexander and Lakemeyer, Gerhard and Schiffer, Stefan},
  title     = {AllemaniACs@ home 2006 team description},
  pages     = {1 -- 6},
  year      = {2006},
  language  = {en}
}
@article{FerreinKonurLakemeyer2004,
  author    = {Ferrein, Alexander and Konur, Savas and Lakemeyer, Gerhard},
  title     = {Learning Decision Trees for Action Selection in Soccer Agents / Konur, Savas ; Ferrein, Alexander ; Lakemeyer, Gerhard},
  pages     = {1 -- 7},
  year      = {2004},
  language  = {en}
}
@article{FerreinJacobsSchifferetal.2009,
  author    = {Ferrein, Alexander and Jacobs, Stefan and Schiffer, Stefan and Beck, Daniel},
  title     = {Robust Collision Avoidance in Unknown Domestic Environments / Jacobs, Stefan ; Ferrein, Alexander ; Schiffer, Stefan ; Beck, Daniel ; Lakemeyer, Gerhard},
  series = {ROBOCUP 2009: ROBOT SOCCER WORLD CUP XIII},
  journal   = {ROBOCUP 2009: ROBOT SOCCER WORLD CUP XIII},
  publisher = {Springer},
  address   = {Berlin},
  pages     = {116 -- 127},
  year      = {2009},
  language  = {en}
}
@article{FerreinJacobsLakemeyer2005,
  author    = {Ferrein, Alexander and Jacobs, Stefan and Lakemeyer, Gerhard},
  title     = {Controlling Unreal Tournament 2004 Bots with the logic-based action language Golog / Jacobs, Stefan ; Ferrein, Alexander ; Lakemeyer, Gerhard},
  series = {Proceedings of the First AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment (AIIDE).},
  journal   = {Proceedings of the First AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment (AIIDE).},
  pages     = {151 -- 152},
  year      = {2005},
  language  = {en}
}
@article{FerreinJacobsLakemeyer2005,
  author    = {Ferrein, Alexander and Jacobs, Stefan and Lakemeyer, Gerhard},
  title     = {Unreal Golog Bots / Jacobs, Stefan ; Ferrein, Alexander ; Lakemeyer, Gerhard},
  series = {IJCAI-05 Workshop on Reasoning, Representation, and Learning in Computer Games},
  journal   = {IJCAI-05 Workshop on Reasoning, Representation, and Learning in Computer Games},
  pages     = {31 -- 36},
  year      = {2005},
  language  = {en}
}
@article{FerreinHermannsLakemeyer2006,
  author    = {Ferrein, Alexander and Hermanns, Lutz and Lakemeyer, Gerhard},
  title     = {Comparing Sensor Fusion Techniques for Ball Position Estimation / Ferrein, Alexander ; Hermanns, Lutz ; Lakemeyer, Gerhard},
  series = {RoboCup 2005: Robot Soccer World Cup IX},
  journal   = {RoboCup 2005: Robot Soccer World Cup IX},
  publisher = {Springer},
  address   = {Berlin},
  isbn      = {978-3-540-35437-6},
  pages     = {154 -- 165},
  year      = {2006},
  language  = {en}
}
@article{FerreinFritzLakemeyer2005,
  author    = {Ferrein, Alexander and Fritz, Christian and Lakemeyer, Gerhard},
  title     = {Using Golog for Deliberation and Team Coordination in Robotic Soccer / Ferrein, Alexander ; Fritz, Christian ; Lakemeyer, Gerhard},
  series = {K{\"u}nstliche Intelligenz : KI. 19 (2005), H. 1},
  journal   = {K{\"u}nstliche Intelligenz : KI. 19 (2005), H. 1},
  isbn      = {0933-1875},
  pages     = {24 -- 30},
  year      = {2005},
  language  = {en}
}
@article{FerreinFritzLakemeyer2004,
  author    = {Ferrein, Alexander and Fritz, Christian and Lakemeyer, Gerhard},
  title     = {On-Line Decision-Theoretic Golog for Unpredictable Domains / Ferrein, Alexander ; Fritz, Christian ; Lakemeyer, Gerhard},
  series = {KI 2004: Advances in Artificial Intelligence : 27th Annual German Conference on AI, KI 2004, Ulm, Germany, September 20-24, 2004. Proceedings},
  journal   = {KI 2004: Advances in Artificial Intelligence : 27th Annual German Conference on AI, KI 2004, Ulm, Germany, September 20-24, 2004. Proceedings},
  publisher = {Springer},
  address   = {Berlin},
  pages     = {322 -- 336},
  year      = {2004},
  language  = {en}
}
@article{FerreinFritzLakemeyer2003,
  author    = {Ferrein, Alexander and Fritz, Christian and Lakemeyer, Gerhard},
  title     = {Extending DTGOLOG with Options / Ferrein, Alexander ; Fritz, Christian ; Lakemeyer, Gerhard},
  series = {IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003},
  journal   = {IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003},
  pages     = {1391 -- 1393},
  year      = {2003},
  language  = {en}
}
@article{FerreinDyllaLakemeyeretal.2008,
  author    = {Ferrein, Alexander and Dylla, Frank and Lakemeyer, Gerhard and Murray, Jan},
  title     = {Approaching a formal soccer theory from behaviour specifications in robotic soccer / Dylla, Frank ; Ferrein, Alexander ; Lakemeyer, Gerhard ; Murray, Jan ; Obst, Oliver ; R{\"o}fer, Thomas ; Schiffer, Stefan ; Stolzenburg, Frieder ; Visser, Ubbo ; Wagner, Tho},
  series = {Computers in sport / editors: P Dabnichki},
  journal   = {Computers in sport / editors: P Dabnichki},
  publisher = {WIT Press},
  address   = {Southampton},
  isbn      = {978-1-8456-4064-4},
  pages     = {161 -- 185},
  year      = {2008},
  language  = {en}
}
@article{FerreinDyllaLakemeyeretal.2005,
  author    = {Ferrein, Alexander and Dylla, Frank and Lakemeyer, Gerhard and Murray, Jan},
  title     = {Towards a League-Independent Qualitative Soccer Theory for RoboCup / Dylla, Frank ; Ferrein, Alexander ; Lakemeyer, Gerhard ; Murray, Jan ; Obst, Oliver ; R{\"o}fer, Thomas ; Stolzenburg, Frieder ; Visser, Ubbo},
  series = {RoboCup 2004: Robot Soccer World Cup VIII / Daniele Nardi ... (ed.).},
  journal   = {RoboCup 2004: Robot Soccer World Cup VIII / Daniele Nardi ... (ed.).},
  publisher = {Springer},
  address   = {Berlin},
  isbn      = {978-3-540-25046-8},
  pages     = {611 -- 618},
  year      = {2005},
  language  = {en}
}
@article{FerreinDyllaLakemeyer2003,
  author    = {Ferrein, Alexander and Dylla, Frank and Lakemeyer, Gerhard},
  title     = {Specifying Multirobot Coordination in ICPGolog - From Simulation towards Real Robots / Dylla, Frank ; Ferrein, Alexander ; Lakemeyer, Gerhard},
  pages     = {1 -- 10},
  year      = {2003},
  language  = {en}
}
@article{FerreinDyllaLakemeyer2002,
  author    = {Ferrein, Alexander and Dylla, Frank and Lakemeyer, Gerhard},
  title     = {Acting and Deliberating using Golog in Robotic Soccer - A Hybrid Architecture / Dylla, Frank ; Ferrein, Alexander ; Lakemeyer, Gerhard},
  series = {Proc. 3rd International Cognitive Robotics Workshop (CogRob 2002)},
  journal   = {Proc. 3rd International Cognitive Robotics Workshop (CogRob 2002)},
  pages     = {1 -- 7},
  year      = {2002},
  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}
}
@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{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}
}
@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}
}
@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{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}
}
@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{FassbenderManeth1996,
  author    = {Faßbender, Heinz and Maneth, Sebastian},
  title     = {A strict border for the decidability of e-unification for recursive functions},
  publisher = {TU, Fak. Informatik},
  address   = {Dresden},
  pages     = {27 S. : graph. Darst.},
  year      = {1996},
  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{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}
}
@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}
}
@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{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{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{FaganBitzBjoerkmanBurtscheretal.2021,
  author    = {Fagan, Andrew J. and Bitz, Andreas and Bj{\"o}rkman-Burtscher, Isabella M. and Collins, Christopher M. and Kimbrell, Vera and Raaijmakers, Alexander J. E.},
  title     = {7T MR Safety},
  series = {Journal of Magnetic Resonance Imaging (JMRI)},
  volume    = {53},
  journal   = {Journal of Magnetic Resonance Imaging (JMRI)},
  number    = {2},
  publisher = {Wiley},
  address   = {Weinheim},
  issn      = {1522-2586},
  doi       = {10.1002/jmri.27319},
  pages     = {333 -- 346},
  year      = {2021},
  language  = {en}
}
@inproceedings{EssingholtMeyerKuhnetal.2018,
  author    = {Essingholt, Felix and Meyer, Frederic and Kuhn, Peter and Schmidt, Philip and Benkner, Thorsten and Grabmaier, Anton},
  title     = {Non-invasive heart beat measurement using microwave resonators},
  series = {Proceedings, Vol. 2, Eurosensors 2018 Conference, Graz, Austria, 9-12 September 2018},
  booktitle = {Proceedings, Vol. 2, Eurosensors 2018 Conference, Graz, Austria, 9-12 September 2018},
  publisher = {MDPI},
  address   = {Basel},
  issn      = {2504-3900},
  doi       = {10.3390/proceedings2131002},
  pages     = {1002},
  year      = {2018},
  language  = {en}
}