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  - 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  - 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  - 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
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  -