@inproceedings{FerreinPotgieterSteinbauer2009, author = {Ferrein, Alexander and Potgieter, Anet and Steinbauer, Gerald}, title = {Self-aware robots - What do we need from learning, deliberation, and reactive control?}, series = {HYCAS 2009 : International Workshop on Hybrid Control of Autonomous Systems : Integrating Learning, Deliberation and Reactive Control : Pasadena, Calif., 13 July 2009}, booktitle = {HYCAS 2009 : International Workshop on Hybrid Control of Autonomous Systems : Integrating Learning, Deliberation and Reactive Control : Pasadena, Calif., 13 July 2009}, publisher = {AAAI Pr.}, pages = {1 -- 5}, year = {2009}, language = {en} } @book{FerreinPauliSiebeletal.2009, author = {Ferrein, Alexander and Pauli, J. and Siebel, N. T. and Steinbauer, Gerald}, title = {Hybrid control for autonomous systems : [... 1st Workshop on Hybrid Control of Autonomous Systems - Integrating Learning, Deliberation and Reactive Control with the 21st International Joint Conference on Artificial Intelligence (IJCAI-09), held in Pasadena, CA, in July 2009] / ed. by Alexander Ferrein ...}, pages = {VI, 96 S.}, year = {2009}, language = {en} } @article{FerreinNiemuellerSteinbauer2010, author = {Ferrein, Alexander and Niem{\"u}ller, Tim and Steinbauer, Gerald}, title = {Team Zadeat 2010 : application for participation}, pages = {5 Seiten}, year = {2010}, language = {en} } @inproceedings{FerreinNiemuellerSchifferetal.2013, author = {Ferrein, Alexander and Niem{\"u}ller, Tim and Schiffer, Stefan and Lakemeyer, Gerhard}, title = {Lessons learnt from developing the embodied AI platform CAESAR for domestic service robotics}, series = {Designing intelligent robots : reintegrating AI II ; papers from the AAAI spring symposium ; [held March 25 - 27, 2013 in Palo Alto, California, USA, on the campus of Stanford University]. (Technical Report / Association for the Advancement of Artificial Intelligence ; 2013,4)}, booktitle = {Designing intelligent robots : reintegrating AI II ; papers from the AAAI spring symposium ; [held March 25 - 27, 2013 in Palo Alto, California, USA, on the campus of Stanford University]. (Technical Report / Association for the Advancement of Artificial Intelligence ; 2013,4)}, editor = {Boots, Byron}, organization = {American Association for Artificial Intelligence}, isbn = {9781577356011}, pages = {21 -- 26}, year = {2013}, language = {en} } @article{FerreinMiesLakemeyer2008, author = {Ferrein, Alexander and Mies, Christoph and Lakemeyer, Gerhard}, title = {Repairing Decision-Theoretic Policies Using Goal-Oriented Planning / Mies, Christoph ; Ferrein, Alexander ; Lakemeyer, Gerhard}, series = {KI 2008: Advances in Artificial Intelligence : 31st Annual German Conference on AI, KI 2008, Kaiserslautern, Germany, September 23-26, 2008. Proceedings}, journal = {KI 2008: Advances in Artificial Intelligence : 31st Annual German Conference on AI, KI 2008, Kaiserslautern, Germany, September 23-26, 2008. Proceedings}, publisher = {Springer}, address = {Berlin}, isbn = {978-3-540-85844-7}, pages = {267 -- 275}, year = {2008}, language = {en} } @article{FerreinMeyer2012, author = {Ferrein, Alexander and Meyer, Thomas}, title = {A Brief Overview of Artificial Intelligence in South Africa}, series = {AI Magazine}, volume = {33}, journal = {AI Magazine}, number = {1}, publisher = {AAAI}, address = {Menlo Park}, issn = {0738-4602}, doi = {10.1609/aimag.v33i1.2357}, pages = {99 -- 101}, year = {2012}, abstract = {South Africa in recent years is the establishment of a number of research hubs involved in AI activities ranging from mobile robotics and computational intelligence, to knowledge representation and reasoning, and human language technologies. In this survey we take the reader through a quick tour of the research being conducted at these hubs, and touch on an initiative to maintain and extend the current level of interest in AI research in the country.}, language = {en} } @inproceedings{FerreinMeessenLimpertetal.2021, author = {Ferrein, Alexander and Meeßen, Marcus and Limpert, Nicolas and Schiffer, Stefan}, title = {Compiling ROS schooling curricula via contentual taxonomies}, series = {Robotics in Education}, booktitle = {Robotics in Education}, editor = {Lepuschitz, Wilfried}, publisher = {Springer}, address = {Cham}, isbn = {978-3-030-67411-3}, doi = {10.1007/978-3-030-67411-3_5}, pages = {49 -- 60}, year = {2021}, abstract = {The Robot Operating System (ROS) is the current de-facto standard in robot middlewares. The steadily increasing size of the user base results in a greater demand for training as well. User groups range from students in academia to industry professionals with a broad spectrum of developers in between. To deliver high quality training and education to any of these audiences, educators need to tailor individual curricula for any such training. In this paper, we present an approach to ease compiling curricula for ROS trainings based on a taxonomy of the teaching contents. The instructor can select a set of dedicated learning units and the system will automatically compile the teaching material based on the dependencies of the units selected and a set of parameters for a particular training. We walk through an example training to illustrate our work.}, language = {en} } @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{FerreinLakemeyer2005, author = {Ferrein, Alexander and Lakemeyer, Gerhard}, title = {Wie Roboter die Welt sehen : Roboterfußball im Dienst der Wissenschaft / Ferrein, Alexander ; Lakemeyer, Gerhard}, series = {Bild und Erkenntnis : Formen und Funktionen des Bildes in Wissenschaft und Technik / RWTH. Andreas Beyer ; Markus Lohoff (Hrsg.)}, journal = {Bild und Erkenntnis : Formen und Funktionen des Bildes in Wissenschaft und Technik / RWTH. Andreas Beyer ; Markus Lohoff (Hrsg.)}, publisher = {Deutscher Kunstverlag}, address = {M{\"u}nchen}, isbn = {3-422-06463-X}, pages = {360 -- 361}, year = {2005}, language = {de} } @article{FerreinLakemeyer2006, author = {Ferrein, Alexander and Lakemeyer, Gerhard}, title = {Roboterfußball - Wissenschaft, die auch Spass macht / Ferrein, Alexander ; Lakemeyer, Gerhard}, series = {RWTH Themen (2006)}, journal = {RWTH Themen (2006)}, isbn = {0179-079X}, pages = {36 -- 39}, year = {2006}, language = {de} } @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} } @inproceedings{FerreinKallweitScholletal.2015, author = {Ferrein, Alexander and Kallweit, Stephan and Scholl, Ingrid and Reichert, Walter}, title = {Learning to Program Mobile Robots in the ROS Summer School Series}, series = {Proceedings 6th International Conference on Robotics in Education (RiE 15)}, booktitle = {Proceedings 6th International Conference on Robotics in Education (RiE 15)}, pages = {6 S.}, year = {2015}, abstract = {The main objective of our ROS Summer School series is to introduce MA level students to program mobile robots with the Robot Operating System (ROS). ROS is a robot middleware that is used my many research institutions world-wide. Therefore, many state-of-the-art algorithms of mobile robotics are available in ROS and can be deployed very easily. As a basic robot platform we deploy a 1/10 RC cart that is wquipped with an Arduino micro-controller to control the servo motors, and an embedded PC that runs ROS. In two weeks, participants get to learn the basics of mobile robotics hands-on. We describe our teaching concepts and our curriculum and report on the learning success of our students.}, 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{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{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{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{FerreinCalmesLakemeyeretal.2006, author = {Ferrein, Alexander and Calmes, Laurent and Lakemeyer, Gerhard and Wagner, Hermann}, title = {Von Schleiereulen und fussballspielenden Robotern / Calmes, Laurent ; Ferrein, Alexander ; Lakemeyer, Gerhard ; Wagner, Hermann}, series = {RWTH Themen (2006)}, journal = {RWTH Themen (2006)}, isbn = {0179-079X}, pages = {30 -- 33}, year = {2006}, language = {de} } @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{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} } @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{Ferrein2004, author = {Ferrein, Alexander}, title = {Autonome Entscheidungsfindung bei Robotern : Planwirtschaft}, series = {Linux-Magazin}, journal = {Linux-Magazin}, number = {7}, issn = {1432-640X (Print)}, pages = {50 -- 53}, year = {2004}, language = {de} } @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{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} } @inproceedings{Ferrein2015, author = {Ferrein, Alexander}, title = {3D-Mapping von Straßentunneln}, series = {16. Geokinematischer Tag, 07. und 08. Mai 2015 : Tagungsband / Technische Universit{\"a}t Bergakademie Freiberg}, booktitle = {16. Geokinematischer Tag, 07. und 08. Mai 2015 : Tagungsband / Technische Universit{\"a}t Bergakademie Freiberg}, pages = {31 -- 40}, year = {2015}, language = {de} } @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{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} } @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{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} } @inproceedings{Ferrein2015, author = {Ferrein, Alexander}, title = {Robots: challenges, chances and risks for solving 21st century problems}, series = {President's Invitation Lecture / South African Institute of Electrical Engineers : May 21 \& 22, 2015, University of Johannesburg}, booktitle = {President's Invitation Lecture / South African Institute of Electrical Engineers : May 21 \& 22, 2015, University of Johannesburg}, organization = {South African Institute of Electrical Engineers}, pages = {1 -- 45}, year = {2015}, language = {en} } @article{Ferrein2004, author = {Ferrein, Alexander}, title = {Planwirtschaft}, series = {Linux Magazin (2004)}, journal = {Linux Magazin (2004)}, isbn = {1432-640X}, pages = {50 -- 53}, year = {2004}, language = {de} } @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{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{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{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{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{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{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} }