TY  - BOOK
A1  - Faßbender, Heinz
A1  - Gladtz, Katia
A1  - Vogler, Heiko
T1  - Compiler based implementation of syntax directed functional programming
Y1  - 1991
N1  - (Aachener Informatik-Berichte ; 91,10)
PB  - RWTH, Fachgruppe Informatik
CY  - Aachen
ER  - 
TY  - BOOK
A1  - Faßbender, Heinz
A1  - Maneth, Sebastian
T1  - A strict border for the decidability of e-unification for recursive functions
Y1  - 1996
N1  - (Technische Berichte ; 96,21)
PB  - TU, Fak. Informatik
CY  - Dresden
ER  - 
TY  - JOUR
A1  - Faßbender, Heinz
A1  - Maneth, Sebastian
T1  - A strict border for the decidability of e-unification for recursive functions / Faßbender, Heinz ; Maneth, Sebastian
JF  - Algebraic and logic programming : proceedings / 5th International Conference, ALP '96, Aachen, Germany, September 25 - 27, 1996. Michael Hanus ... (ed.)
Y1  - 1996
SN  - 3-540-61735-3
N1  - (Lecture notes in computer science ; 1139)
SP  - 194
EP  - 208
PB  - Springer
CY  - Berlin [u.a.]
ER  - 
TY  - JOUR
A1  - Faßbender, Heinz
A1  - Maneth, Sebastian
T1  - A strict border for the decidability of e-unification for recursive functions / Faßbender, Heinz ; Maneth, Sebastian
JF  - Journal of functional and logic programming. 1998 (1998), H. 4
Y1  - 1998
SN  - 1080-5230
ER  - 
TY  - JOUR
A1  - Faßbender, Heinz
A1  - Mößle, Andrea
A1  - Vogler, Heiko
T1  - Implementation of a deterministic partial e-unification algorithm for macro tree transducers
JF  - Journal of functional and logic programming. 1996 (1996), H. 2
Y1  - 1996
SN  - 1080-5230
ER  - 
TY  - BOOK
A1  - Faßbender, Heinz
A1  - Vogler, Heiko
T1  - A universal unification algorithm based on unification driven leftmost outermost narrowing
Y1  - 1992
N1  - (Ulmer Informatik-Berichte ; 92,7)
PB  - Univ. Ulm, Fak. für Informatik
CY  - Ulm
ER  - 
TY  - JOUR
A1  - Faßbender, Heinz
A1  - Vogler, Heiko
T1  - An implementation of syntax directed functional programming on nested-stack machines
JF  - Formal Aspects of Computing. 4 (1992), H. 4
Y1  - 1992
SN  - 0934-5043
SP  - 341
EP  - 375
ER  - 
TY  - JOUR
A1  - Faßbender, Heinz
A1  - Vogler, Heiko
T1  - A universal unification algorithm based on unification-driven leftmost outermost narrowing
JF  - Acta Cybernetica. 11 (1994), H. 3
Y1  - 1994
SN  - 0324-721x
SP  - 139
EP  - 167
ER  - 
TY  - BOOK
A1  - Faßbender, Heinz
A1  - Vogler, Heiko
T1  - A call-by-need implementation of syntax directed functional programming
Y1  - 1990
N1  - (Aachener Informatik-Berichte ; 90,22)
PB  - RWTH, Fachgruppe Informatik
CY  - Aachen
ER  - 
TY  - JOUR
A1  - Faßbender, Heinz
A1  - Vogler, Heiko
T1  - A narrowing machine for the functional logic language BABEL, restricted to primitive recursion : abstract
JF  - Granada Workshop on the Integration of Functional and Logic Programming / Granada Workshop on the Integration of Functional and Logic Programming <1990>. K. Indermark ... (ed.)
Y1  - 1991
SP  - 95
EP  - 96
PB  - RWTH, Fachgruppe Informatik
CY  - Aachen
ER  - 
TY  - JOUR
A1  - Faßbender, Heinz
A1  - Vogler, Heiko
T1  - Implementierung eines universellen Unifikationsalgorithmus für Macro Tree Transducer
JF  - Alternative Konzepte für Sprachen und Rechner : Bad Honnef 1993 / J. Ebert (Hrsg.)
Y1  - 1994
N1  - (Fachberichte Informatik ; 94,4)
PB  - Univ., Inst. für Informatik
CY  - Koblenz
ER  - 
TY  - BOOK
A1  - Faßbender, Heinz
A1  - Vogler, Heiko
A1  - Wedel, Andrea
T1  - Implementation of a deterministic partial E-unification algorithm for macro tree transducers
Y1  - 1994
N1  - (Ulmer Informatik-Berichte ; 94,4)
PB  - Univ. Ulm, Fak. für Informatik
CY  - Ulm
ER  - 
TY  - JOUR
A1  - Faßbender, Heinz
A1  - Vogler, Heiko
A1  - Wedel, Andrea
T1  - An abstract machine for the E-Unification with macro tree transducer
JF  - 7th International Workshop on Unification : 13. 06. - 14. 06. 93 / Franz Baader ... (eds.). [Boston University, Boston, USA]
Y1  - 1993
ER  - 
TY  - JOUR
A1  - Faßbender, Heinz
A1  - Wedel, Andrea
T1  - E-Unifikation mit macro tree transducer
JF  - 2. Arbeitstreffen Effiziente Implementierung Funktionaler Programmiersprachen / Arbeitstreffen Effiziente Implementierung Funktionaler Programmiersprachen <2, 1992, Oberjoch>. Herbert Klaeren
Y1  - 1992
SN  - 0946-3852
N1  - (WSI / Wilhelm-Schickard-Institut für Informatik <Tübingen> ; 92,9)
PB  - Wilhelm-Schickard-Inst. für Informatik, Univ.
CY  - Tübingen
ER  - 
TY  - BOOK
A1  - Ferrein, Alexander
T1  - Robot controllers for highly dynamic environments with real-time constraints
Y1  - 2008
N1  - Aachen, Techn. Hochsch., Diss., 2007
ER  - 
TY  - JOUR
A1  - Ferrein, Alexander
T1  - Logic-based robot control in highly dynamic domains  / Ferrein, Alexander ; Lakemeyer, Gerhard
JF  - Robotics and Autonomous Systems. 56 (2008), H. 11
Y1  - 2008
SN  - 0921-8890
SP  - 980
EP  - 991
ER  - 
TY  - JOUR
A1  - Ferrein, Alexander
T1  - Robot controllers for highly dynamic environments with real-time constraints
JF  - Künstliche Intelligenz : KI. 24 (2010), H. 2
Y1  - 2010
SN  - 1610-1987
SP  - 175
EP  - 178
ER  - 
TY  - JOUR
A1  - Ferrein, Alexander
T1  - golog.lua: Towards a Non-Prolog Implementation of Golog for Embedded Systems
Y1  - 2010
SP  - 20
EP  - 28
ER  - 
TY  - JOUR
A1  - Ferrein, Alexander
T1  - Planwirtschaft
JF  - Linux Magazin (2004)
Y1  - 2004
SN  - 1432-640X
SP  - 50
EP  - 53
ER  - 
TY  - JOUR
A1  - Ferrein, Alexander
T1  - Specifying Soccer Moves with Golog
JF  - Book of abstracts : Cologne, 15 - 17 September 2004 / 1st International Working Conference IT and Sport & 5th conference DVS-Section Computer Science in Sport
Y1  - 2005
SN  - 3-00-014576-1
N1  - International Working Conference IT and Sport 1, 2004, Köln ; Deutsche Vereinigung für Sportwissenschaft
SP  - 161
EP  - 165
PB  - German Sport Univ.
CY  - Köln
ER  - 
TY  - JOUR
A1  - Ferrein, Alexander
T1  - golog.lua: Towards a Non-Prolog Implementation of Golog for Embedded Systems
JF  - Cognitive Robotics / Lakemeyer, Gerhard (ed.)
Y1  - 2010
N1  - Dagstuhl Seminar Proceedings ; 10081
SP  - 1
EP  - 15
ER  - 
TY  - JOUR
A1  - Ferrein, Alexander
T1  - Towards applying soccer moves in the RoboCup Standard Platform League
JF  - ÖGAI-Journal
Y1  - 2008
SN  - 0254-4326
VL  - Bd. 27
IS  - H. 3
SP  - 4
EP  - 9
ER  - 
TY  - JOUR
A1  - Ferrein, Alexander
T1  - Autonome Entscheidungsfindung bei Robotern : Planwirtschaft
JF  - Linux-Magazin
Y1  - 2004
SN  - 1432-640X (Print)
IS  - 7
SP  - 50
EP  - 53
ER  - 
TY  - CHAP
A1  - Ferrein, Alexander
T1  - Robots: challenges, chances and risks for solving 21st century problems
T2  - President’s Invitation Lecture / South African Institute of Electrical Engineers : May 21 & 22, 2015, University of Johannesburg
Y1  - 2015
SP  - 1
EP  - 45
ER  - 
TY  - CHAP
A1  - Ferrein, Alexander
T1  - 3D-Mapping von Straßentunneln
T2  - 16. Geokinematischer Tag, 07. und 08. Mai 2015 : Tagungsband / Technische Universität Bergakademie Freiberg
Y1  - 2015
N1  - Schriftenreihe des Instituts für Markscheidewesen und Geodsäsie an der Technischen Universität Bergakademie Freiberg
SP  - 31
EP  - 40
ER  - 
TY  - JOUR
A1  - Ferrein, Alexander
A1  - Beck, Daniel
A1  - Lakemeyer, Gerhard
T1  - Landmark-Based Representations for Navigating Holonomic Soccer Robots / Beck, Daniel ; Ferrein, Alexander ; Lakemeyer, Gerhard
JF  - RoboCup 2008 : robot soccer world cup XII / Luca Iocchi ... (eds.)
Y1  - 2009
SN  - 978-3-642-02921-9
N1  - Lecture Notes in Computer Science ; 5399
SP  - 25
EP  - 36
PB  - Springer
CY  - Heidelberg
ER  - 
TY  - JOUR
A1  - Ferrein, Alexander
A1  - Beck, Daniel
A1  - Lakemeyer, Gerhard
T1  - A Simulation Environment for Middle-Size Robots with Multi-level Abstraction / Beck, Daniel ; Ferrein, Alexander ; Lakemeyer, Gerhard
JF  - RoboCup 2007: Robot Soccer World Cup XI
Y1  - 2007
SN  - 978-3-540-68846-4
N1  - Lecture Notes in Computer Science ; 5001
SP  - 136
EP  - 147
PB  - Springer
CY  - Berlin
ER  - 
TY  - CHAP
A1  - Ferrein, Alexander
A1  - Bharatheesha, Mukunda
A1  - Schiffer, Stefan
A1  - Corbato, Carlos Hernandez
T1  - 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
T2  - CEUR Workshop Proceedings
Y1  - 2019
SN  - 1613-0073
IS  - Vol-2329
ER  - 
TY  - JOUR
A1  - Ferrein, Alexander
A1  - Böhnstedt, Lutz
A1  - Lakemeyer, Gerhard
T1  - Options in readylog reloaded -- generating decision-theoretic plan libraries in golog / Böhnstedt, Lutz ; Ferrein, Alexander ; Lakemeyer, Gerhard
JF  - KI 2007: advances in artificial intelligence : 30th Annual German Conference on AI, KI 2007, Osnabrück, Germany, September 10 - 13, 2007 ; proceedings
Y1  - 2007
SN  - 978-3-540-74564-8
N1  - Lecture Notes in Computer Science ; 4667
SP  - 352
EP  - 366
PB  - Springer
CY  - Berlin
ER  - 
TY  - JOUR
A1  - Ferrein, Alexander
A1  - Calmes, Laurent
A1  - Lakemeyer, Gerhard
A1  - Wagner, Hermann
T1  - Von Schleiereulen und fussballspielenden Robotern / Calmes, Laurent ; Ferrein, Alexander ; Lakemeyer, Gerhard ; Wagner, Hermann
JF  - RWTH Themen (2006)
Y1  - 2006
SN  - 0179-079X
SP  - 30
EP  - 33
ER  - 
TY  - JOUR
A1  - Ferrein, Alexander
A1  - Dylla, Frank
A1  - Lakemeyer, Gerhard
T1  - Specifying Multirobot Coordination in ICPGolog - From Simulation towards Real Robots / Dylla, Frank ; Ferrein, Alexander ; Lakemeyer, Gerhard
Y1  - 2003
N1  - AOS-4 at IJCAI-03
SP  - 1
EP  - 10
ER  - 
TY  - JOUR
A1  - Ferrein, Alexander
A1  - Dylla, Frank
A1  - Lakemeyer, Gerhard
T1  - Acting and Deliberating using Golog in Robotic Soccer - A Hybrid Architecture / Dylla, Frank ; Ferrein, Alexander ; Lakemeyer, Gerhard
JF  - Proc. 3rd International Cognitive Robotics Workshop (CogRob 2002)
Y1  - 2002
SP  - 1
EP  - 7
ER  - 
TY  - JOUR
A1  - Ferrein, Alexander
A1  - Dylla, Frank
A1  - Lakemeyer, Gerhard
A1  - Murray, Jan
T1  - Approaching a formal soccer theory from behaviour specifications in robotic soccer / Dylla, Frank ; Ferrein, Alexander ; Lakemeyer, Gerhard ; Murray, Jan ; Obst, Oliver ; Röfer, Thomas ; Schiffer, Stefan ; Stolzenburg, Frieder ; Visser, Ubbo ; Wagner, Tho
JF  - Computers in sport / editors: P Dabnichki
Y1  - 2008
SN  - 978-1-8456-4064-4
SP  - 161
EP  - 185
PB  - WIT Press
CY  - Southampton
ER  - 
TY  - JOUR
A1  - Ferrein, Alexander
A1  - Dylla, Frank
A1  - Lakemeyer, Gerhard
A1  - Murray, Jan
T1  - Towards a League-Independent Qualitative Soccer Theory for RoboCup  / Dylla, Frank ; Ferrein, Alexander ; Lakemeyer, Gerhard ; Murray, Jan ; Obst, Oliver ; Röfer, Thomas ; Stolzenburg, Frieder ; Visser, Ubbo
JF  - RoboCup 2004: Robot Soccer World Cup VIII / Daniele Nardi ... (ed.).
Y1  - 2005
SN  - 978-3-540-25046-8
N1  - Lecture Notes in Computer Science ; 3276
SP  - 611
EP  - 618
PB  - Springer
CY  - Berlin
ER  - 
TY  - JOUR
A1  - Ferrein, Alexander
A1  - Fritz, Christian
A1  - Lakemeyer, Gerhard
T1  - Using Golog for Deliberation and Team Coordination in Robotic Soccer / Ferrein, Alexander ; Fritz, Christian ; Lakemeyer, Gerhard
JF  - Künstliche Intelligenz : KI. 19 (2005), H. 1
Y1  - 2005
SN  - 0933-1875
SP  - 24
EP  - 30
ER  - 
TY  - JOUR
A1  - Ferrein, Alexander
A1  - Fritz, Christian
A1  - Lakemeyer, Gerhard
T1  - On-Line Decision-Theoretic Golog for Unpredictable Domains / Ferrein, Alexander ; Fritz, Christian ; Lakemeyer, Gerhard
JF  - KI 2004: Advances in Artificial Intelligence : 27th Annual German Conference on AI, KI 2004, Ulm, Germany, September 20-24, 2004. Proceedings
Y1  - 2004
N1  - Lecture Notes in Computer Science ; 3238
SP  - 322
EP  - 336
PB  - Springer
CY  - Berlin
ER  - 
TY  - JOUR
A1  - Ferrein, Alexander
A1  - Fritz, Christian
A1  - Lakemeyer, Gerhard
T1  - Extending DTGOLOG with Options / Ferrein, Alexander ; Fritz, Christian ; Lakemeyer, Gerhard
JF  - IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003
Y1  - 2003
SP  - 1391
EP  - 1393
ER  - 
TY  - JOUR
A1  - Ferrein, Alexander
A1  - Hermanns, Lutz
A1  - Lakemeyer, Gerhard
T1  - Comparing Sensor Fusion Techniques for Ball Position Estimation / Ferrein, Alexander ; Hermanns, Lutz ; Lakemeyer, Gerhard
JF  - RoboCup 2005: Robot Soccer World Cup IX
Y1  - 2006
SN  - 978-3-540-35437-6
N1  - Lecture Notes in Computer Science ; 4020
SP  - 154
EP  - 165
PB  - Springer
CY  - Berlin
ER  - 
TY  - JOUR
A1  - Ferrein, Alexander
A1  - Jacobs, Stefan
A1  - Lakemeyer, Gerhard
T1  - Controlling Unreal Tournament 2004 Bots with the logic-based action language Golog / Jacobs, Stefan ; Ferrein, Alexander ; Lakemeyer, Gerhard
JF  - Proceedings of the First AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment (AIIDE).
Y1  - 2005
SP  - 151
EP  - 152
ER  - 
TY  - JOUR
A1  - Ferrein, Alexander
A1  - Jacobs, Stefan
A1  - Lakemeyer, Gerhard
T1  - Unreal Golog Bots / Jacobs, Stefan ; Ferrein, Alexander ; Lakemeyer, Gerhard
JF  - IJCAI-05 Workshop on Reasoning, Representation, and Learning in Computer Games
Y1  - 2005
SP  - 31
EP  - 36
ER  - 
TY  - JOUR
A1  - Ferrein, Alexander
A1  - Jacobs, Stefan
A1  - Schiffer, Stefan
A1  - Beck, Daniel
T1  - Robust Collision Avoidance in Unknown Domestic Environments  /  Jacobs, Stefan ; Ferrein, Alexander ; Schiffer, Stefan ; Beck, Daniel ; Lakemeyer, Gerhard
JF  - ROBOCUP 2009: ROBOT SOCCER WORLD CUP XIII
Y1  - 2009
N1  - Lecture Notes in Computer Science ; 5949
SP  - 116
EP  - 127
PB  - Springer
CY  - Berlin
ER  - 
TY  - CHAP
A1  - Ferrein, Alexander
A1  - Kallweit, Stephan
A1  - Scholl, Ingrid
A1  - Reichert, Walter
T1  - Learning to Program Mobile Robots in the ROS Summer School Series
T2  - Proceedings 6th International Conference on Robotics in Education (RiE 15)
N2  - 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.
Y1  - 2015
ER  - 
TY  - JOUR
A1  - Ferrein, Alexander
A1  - Konur, Savas
A1  - Lakemeyer, Gerhard
T1  - Learning Decision Trees for Action Selection in Soccer Agents / Konur, Savas ; Ferrein, Alexander ; Lakemeyer, Gerhard
Y1  - 2004
N1  - Proceedings of Workshop on Agents in dynamic and real-time environments
SP  - 1
EP  - 7
ER  - 
TY  - JOUR
A1  - Ferrein, Alexander
A1  - Lakemeyer, Gerhard
T1  - Roboterfußball - Wissenschaft, die auch Spass macht / Ferrein, Alexander ; Lakemeyer, Gerhard
JF  - RWTH Themen (2006)
Y1  - 2006
SN  - 0179-079X
SP  - 36
EP  - 39
ER  - 
TY  - JOUR
A1  - Ferrein, Alexander
A1  - Lakemeyer, Gerhard
T1  - Wie Roboter die Welt sehen : Roboterfußball im Dienst der Wissenschaft / Ferrein, Alexander ; Lakemeyer, Gerhard
JF  - Bild und Erkenntnis : Formen und Funktionen des Bildes in Wissenschaft und Technik / RWTH. Andreas Beyer ; Markus Lohoff (Hrsg.)
Y1  - 2005
SN  - 3-422-06463-X
SP  - 360
EP  - 361
PB  - Deutscher Kunstverlag
CY  - München
ER  - 
TY  - CHAP
A1  - Ferrein, Alexander
A1  - Lakemeyer, Gerhard
A1  - Schiffer, Stefan
T1  - AllemaniACs@ home 2006 team description
Y1  - 2006
SP  - 1
EP  - 6
ER  - 
TY  - CHAP
A1  - Ferrein, Alexander
A1  - Maier, Christopher
A1  - Mühlbacher, Clemens
A1  - Niemueller, Tim
A1  - Steinbauer, Gerald
A1  - Vassos, Stravros
T1  - Controlling Logistics Robots with the Action-based Language YAGI
T2  - Proceedings of the 2015 IROS Workshop on Workshop on Task Planning for Intelligent Robots in Service and Manufacturing
Y1  - 2015
ER  - 
TY  - CHAP
A1  - Ferrein, Alexander
A1  - Maier, Christopher
A1  - Mühlbacher, Clemens
A1  - Niemüller, Tim
A1  - Steinbauer, Gerald
A1  - Vassos, Stravros
T1  - Controlling logistics robots with the action-based language YAGI
T2  - Intelligent Robotics and Applications: 9th International Conference, ICIRA 2016, Tokyo, Japan, August 22-24, 2016, Proceedings, Part I
Y1  - 2016
SN  - 978-3-319-43505-3 (Print)
SN  - 978-3-319-43506-0 (Online)
U6  - http://dx.doi.org/10.1007/978-3-319-43506-0_46
N1  - Series: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
VL  - 9834
SP  - 525
EP  - 537
PB  - Springer
ER  - 
TY  - JOUR
A1  - Ferrein, Alexander
A1  - Marais, Stephen
A1  - Potgieter, Anet
A1  - Steinbauer, Gerald
T1  - RoboCup Junior: A vehicle for S&T education in Africa?
Y1  - 2011
SN  - 978-1-61284-992-8
N1  - AFRICON, 2011
SP  - 1
EP  - 6
PB  - IEEE
CY  - New York
ER  - 
TY  - CHAP
A1  - Ferrein, Alexander
A1  - Meeßen, Marcus
A1  - Limpert, Nicolas
A1  - Schiffer, Stefan
ED  - Lepuschitz, Wilfried
T1  - Compiling ROS Schooling Curricula via Contentual Taxonomies
T2  - Robotics in Education
Y1  - 2021
SN  - 978-3-030-67411-3
U6  - http://dx.doi.org/10.1007/978-3-030-67411-3_5
N1  - RiE: International Conference on Robotics in Education (RiE);
Advances in Intelligent Systems and Computing book series (AISC, volume 1316)
SP  - 49
EP  - 60
PB  - Springer
CY  - Cham
ER  -