@article{FerreinSteinbauerMcPhillipsetal.2009, author = {Ferrein, Alexander and Steinbauer, Gerald and McPhillips, Graeme and Niem{\"u}ller, Tim and Potgieter, Anet}, title = {Team Zadeat 2009 : team report}, volume = {6}, pages = {1}, year = {2009}, language = {en} } @article{FerreinSteinbauer2016, author = {Ferrein, Alexander and Steinbauer, Gerald}, title = {20 Years of RoboCup - A Subjective Retrospection}, series = {KI - K{\"u}nstliche Intelligenz}, volume = {30}, journal = {KI - K{\"u}nstliche Intelligenz}, number = {3}, publisher = {Springer}, address = {Berlin}, issn = {1610-1987}, doi = {10.1007/s13218-016-0449-5}, pages = {225 -- 232}, year = {2016}, abstract = {This summer, RoboCup competitions were held for the 20th time in Leipzig, Germany. It was the second time that RoboCup took place in Germany, 10 years after the 2006 RoboCup in Bremen. In this article, we give an overview on the latest developments of RoboCup and what happened in the different leagues over the last decade. With its 20th edition, RoboCup clearly is a success story and a role model for robotics competitions. From our personal view point, we acknowledge this by giving a retrospection about what makes RoboCup such a success.}, language = {en} } @article{FerreinSteinbauer2016, author = {Ferrein, Alexander and Steinbauer, Gerald}, title = {Looking back on 20 Years of RoboCup}, series = {KI - K{\"u}nstliche Intelligenz}, volume = {30}, journal = {KI - K{\"u}nstliche Intelligenz}, number = {3-4}, publisher = {Springer}, address = {Berlin}, issn = {1610-1987}, doi = {10.1007/s13218-016-0443-y}, pages = {321 -- 323}, year = {2016}, language = {en} } @article{FerreinSteinbauer2016, author = {Ferrein, Alexander and Steinbauer, Gerald}, title = {The Interplay of Aldebaran and RoboCup}, series = {KI - K{\"u}nstliche Intelligenz}, volume = {30}, journal = {KI - K{\"u}nstliche Intelligenz}, number = {3-4}, publisher = {Springer}, address = {Berlin}, issn = {1610-1987}, doi = {10.1007/s13218-016-0440-1}, pages = {325 -- 326}, year = {2016}, language = {en} } @article{FerreinSteinbauer2010, author = {Ferrein, Alexander and Steinbauer, Gerald}, title = {On the Way to High-Level Programming for Resource-Limited Embedded Systems with Golog}, series = {Simulation, Modeling, and Programming for Autonomous Robots}, journal = {Simulation, Modeling, and Programming for Autonomous Robots}, pages = {229 -- 240}, year = {2010}, language = {en} } @article{FerreinSiebelSteinbauer2010, author = {Ferrein, Alexander and Siebel, Nils T. and Steinbauer, Gerald}, title = {Hybrid control for autonomous systems — Integrating learning, deliberation and reactive control}, series = {Robotics and Autonomous Systems}, volume = {58}, journal = {Robotics and Autonomous Systems}, number = {9}, isbn = {0921-8890}, pages = {1037 -- 1038}, year = {2010}, language = {en} } @article{FerreinSchifferLakemeyer2006, author = {Ferrein, Alexander and Schiffer, Stefan and Lakemeyer, Gerhard}, title = {Football is coming Home / Schiffer, Stefan ; Ferrein, Alexander ; Lakemeyer, Gerhard}, series = {PCAR '06 Proceedings of the 2006 international symposium on Practical cognitive agents and robots}, journal = {PCAR '06 Proceedings of the 2006 international symposium on Practical cognitive agents and robots}, publisher = {ACM}, address = {New York, NY}, isbn = {1-74052-130-7}, pages = {39 -- 50}, year = {2006}, language = {en} } @article{FerreinSchifferLakemeyer2006, author = {Ferrein, Alexander and Schiffer, Stefan and Lakemeyer, Gerhard}, title = {Qualitative World Models for Soccer Robots / Schiffer, Stefan ; Ferrein, Alexander ; Lakemeyer, Gerhard}, series = {Qualitative constraint calculi : application and integration ; KI 2006, 14 - 19 June 2006, Bremen, Germany ; 29th Annual German Conference on Artificial Intelligence ; workshop / Stefan W{\"o}lfl ... (eds.)}, journal = {Qualitative constraint calculi : application and integration ; KI 2006, 14 - 19 June 2006, Bremen, Germany ; 29th Annual German Conference on Artificial Intelligence ; workshop / Stefan W{\"o}lfl ... (eds.)}, publisher = {Univ.}, address = {Bremen}, isbn = {3-88722-666-6}, pages = {3 -- 14}, year = {2006}, language = {en} } @article{FerreinSchifferLakemeyer2008, author = {Ferrein, Alexander and Schiffer, Stefan and Lakemeyer, Gerhard}, title = {A Fuzzy Set Semantics for Qualitative Fluents in the Situation Calculus / Ferrein, Alexander ; Schiffer, Stefan ; Lakemeyer, Gerhard}, series = {Intelligent Robotics and Applications : First International Conference, ICIRA 2008 Wuhan, China, October 15-17, 2008 Proceedings, Part I}, journal = {Intelligent Robotics and Applications : First International Conference, ICIRA 2008 Wuhan, China, October 15-17, 2008 Proceedings, Part I}, publisher = {Springer}, address = {Berlin}, pages = {498 -- 509}, year = {2008}, language = {en} } @article{FerreinSchifferLakemeyer2009, author = {Ferrein, Alexander and Schiffer, Stefan and Lakemeyer, Gerhard}, title = {Embedding fuzzy controllers in golog / Ferrein, Alexander ; Schiffer, Stefan ; Lakemeyer, Gerhard}, series = {IEEE International Conference on Fuzzy Systems, 2009. FUZZ-IEEE 2009}, journal = {IEEE International Conference on Fuzzy Systems, 2009. FUZZ-IEEE 2009}, publisher = {IEEE}, address = {New York}, isbn = {978-1-4244-3596-8}, pages = {894 -- 899}, year = {2009}, language = {en} } @article{FerreinSchifferBooysenetal.2016, author = {Ferrein, Alexander and Schiffer, Stefan and Booysen, T. and Stopforth, R.}, title = {Why it is harder to run RoboCup in South Africa: Experiences from German South African collaborations}, series = {International Journal of Advanced Robotic Systems}, volume = {13}, journal = {International Journal of Advanced Robotic Systems}, number = {5}, issn = {1729-8806}, doi = {10.1177/1729881416662789}, pages = {1 -- 13}, year = {2016}, abstract = {Robots are widely used as a vehicle to spark interest in science and technology in learners. A number of initiatives focus on this issue, for instance, the Roberta Initiative, the FIRST Lego League, the World Robot Olympiad and RoboCup Junior. Robotic competitions are valuable not only for school learners but also for university students, as the RoboCup initiative shows. Besides technical skills, the students get some project exposure and experience what it means to finish their tasks on time. But qualifying students for future high-tech areas should not only be for students from developed countries. In this article, we present our experiences with research and education in robotics within the RoboCup initiative, in Germany and South Africa; we report on our experiences with trying to get the RoboCup initiative in South Africa going. RoboCup has a huge support base of academic institutions in Germany; this is not the case in South Africa. We present our 'north-south' collaboration initiatives in RoboCup between Germany and South Africa and discuss some of the reasons why we think it is harder to run RoboCup in South Africa.}, language = {en} } @article{FerreinRensPoel2009, author = {Ferrein, Alexander and Rens, Gavin and Poel, Etienne van der}, title = {A BDI agent architecture for a POMDP planner / Rens, Gavin ; Ferrein, Alexander ; Poel, Etienne van der}, pages = {1 -- 6}, year = {2009}, language = {en} } @article{FerreinRensMeyeretal.2011, author = {Ferrein, Alexander and Rens, Gavin and Meyer, Thomas and Lakemeyer, Gerhard}, title = {A Logic for Specifying Partially Observable Stochastic Domains / Rens, Gavin ; Meyer, Thomas ; Ferrein, Alexander ; Lakemeyer, Gerhard}, series = {Proceedings of the Ninth International Workshop pn non-Monotonic Reasoning, Action and Change (NRAC`11)}, journal = {Proceedings of the Ninth International Workshop pn non-Monotonic Reasoning, Action and Change (NRAC`11)}, pages = {15 -- 22}, year = {2011}, 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} } @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} } @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} } @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{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{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} } @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{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} } @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} } @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{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} } @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{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} } @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} } @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{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{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{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} }