@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} } @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} } @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} } @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{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{FengSeiblerAlamietal.1999, author = {Feng, Yong-Qing and Seibler, Jost and Alami, Raouf and Eisen, Andrew and Westerman, Karen A. and Leboulch, Philippe and Fiering, Steven and Bouhassira, Eric E.}, title = {Site-specific chromosomal integration in mammalian cells: highly efficient CRE recombinase-mediated cassette exchange}, series = {Journal of Molecular Biology}, volume = {292}, journal = {Journal of Molecular Biology}, number = {4}, issn = {0022-2836}, doi = {10.1006/jmbi.1999.3113}, pages = {779 -- 785}, year = {1999}, language = {en} } @article{FellinKingKirschetal.2010, author = {Fellin, Wolfgang and King, Julian and Kirsch, Ansgar and Oberguggenberger, Michael}, title = {Uncertainty modelling and sensitivity analysis of tunnel face stability}, series = {Structural safety}, volume = {32}, journal = {Structural safety}, number = {6}, publisher = {Elsevier}, address = {Amsterdam}, issn = {0167-4730}, doi = {10.1016/j.strusafe.2010.06.001}, pages = {402 -- 410}, year = {2010}, abstract = {This paper proposes an approach to the choice and evaluation of engineering models with the aid of a typical application in geotechnics. An important issue in the construction of shallow tunnels, especially in weak ground conditions, is the tunnel face stability. Various theoretical and numerical models for predicting the necessary support pressure have been put forth in the literature. In this paper, we combine laboratory experiments performed at the University of Innsbruck with current methods of uncertainty and sensitivity analysis for assessing adequacy, predictive power and robustness of the models. The major issues are the handling of the twofold uncertainty of test results and of model predictions as well as the decision about what are the influential input parameters.}, language = {en} } @article{FeldmannPakGessleretal.2008, author = {Feldmann, Markus and Pak, Daniel and Geßler, Achim and Schleser, Markus}, title = {Entwicklung eines Bemessungsmodells f{\"u}r punktf{\"o}rmige Verbindungen textibewehrter Betonbauteile}, series = {Bautechnik : Zeitschrift f{\"u}r den gesamten Ingenieurbau}, volume = {Bd. 85}, journal = {Bautechnik : Zeitschrift f{\"u}r den gesamten Ingenieurbau}, number = {2}, issn = {0005-6820, 0341-1052, 0932-6359, 0932-8351, 0932-8351}, pages = {143 -- 147}, year = {2008}, language = {de} } @article{FeldmannPakGessleretal.2006, author = {Feldmann, Markus and Pak, Daniel and Geßler, Achim and Dilthey, Ulrich and Schleser, Markus}, title = {Bonded connections for textile reinforced concrete structures}, series = {Cailiao-gongcheng = Journal of materials engineering}, journal = {Cailiao-gongcheng = Journal of materials engineering}, number = {Special iss.}, issn = {1001-4381}, pages = {123 -- 127}, year = {2006}, language = {en} } @article{FeldmannDoeringKuhnhenneetal.2008, author = {Feldmann, Markus and D{\"o}ring, Bernd and Kuhnhenne, Markus and Sedlacek, Gerhard}, title = {Zum Thema "Nachhaltigkeit" in der Stahlbauindustrie}, series = {Stahlbau}, volume = {Vol. 77}, journal = {Stahlbau}, number = {Iss. 10}, issn = {0038-9145}, pages = {713 -- 720}, year = {2008}, language = {de} } @article{Feiser2004, author = {Feiser, Johannes}, title = {Geotechnik}, series = {Bautechnische Zahlentafeln : [jetzt mit neuer DIN 1052, DIN1053-1 und DIN 1054] / Wendehorst. Hrsg. von Otto W. Wetzell. Bearb. von: Herwig Baumgartner ... . 31., vollst. {\"u}berb. und aktualisierte Aufl.}, journal = {Bautechnische Zahlentafeln : [jetzt mit neuer DIN 1052, DIN1053-1 und DIN 1054] / Wendehorst. Hrsg. von Otto W. Wetzell. Bearb. von: Herwig Baumgartner ... . 31., vollst. {\"u}berb. und aktualisierte Aufl.}, publisher = {Teubner [u.a.]}, address = {Stuttgart [u.a.]}, isbn = {3-519-55002-4}, pages = {1017 -- 1118}, year = {2004}, language = {de} } @article{Feiser2007, author = {Feiser, Johannes}, title = {Geotechnik}, series = {Bautechnische Zahlentafeln / Wendehorst, Reinhard ; Wetzell, Otto W. [Hrsg.] 32., vollst. aktualisierte Aufl.}, journal = {Bautechnische Zahlentafeln / Wendehorst, Reinhard ; Wetzell, Otto W. [Hrsg.] 32., vollst. aktualisierte Aufl.}, publisher = {Teubner}, address = {Stuttgart}, isbn = {978-3-8351-0055-8}, pages = {1027 -- 1136}, year = {2007}, language = {de} } @article{Feiser2007, author = {Feiser, Johannes}, title = {Geotechnik}, series = {Wendehorst Beispiele aus der Baupraxis / Wetzell, Otto W. ; Baumgartner, Herwig ; Wendehorst, Reinhard [Hrsg.].}, journal = {Wendehorst Beispiele aus der Baupraxis / Wetzell, Otto W. ; Baumgartner, Herwig ; Wendehorst, Reinhard [Hrsg.].}, publisher = {Teubner}, address = {Wiesbaden}, isbn = {978-3-8351-0069-5}, pages = {325 -- 365}, year = {2007}, language = {de} } @article{FeichtingerEilmannBuchmannetal.2014, author = {Feichtinger, Linda M. and Eilmann, Britta and Buchmann, Nina and Rigling, Andreas}, title = {Growth adjustments of conifers to drought and to century-long irrigation}, series = {Forest Ecology and Management}, volume = {2014}, journal = {Forest Ecology and Management}, number = {334}, publisher = {Elsevier}, address = {Amsterdam}, issn = {1872-7042 (Online)}, doi = {10.1016/j.foreco.2014.08.008}, pages = {96 -- 105}, year = {2014}, abstract = {Our knowledge on tree responses to drought is mainly based on short-term manipulation experiments which do not capture any possible long-term adjustments in this response. Therefore, historical water channels in inner-Alpine dry valleys were used as century-long irrigation experiments to investigate adjustments in tree growth to contrasting water supply. This involved quantifying the tree-ring growth of irrigated and non-irrigated (control) Scots pine (Pinus sylvestris L.) in Valais (Switzerland), as well as European larch (Larix decidua Mill.) and black pine (Pinus nigra Arnold) in Vinschgau (Italy). Furthermore, the adjustments in radial growth of Scots pine and European larch to an abrupt stop in irrigation were analyzed. Irrigation promoted the radial growth of all tree species investigated compared to the control: (1) directly through increased soil water availability, and (2) indirectly through increased soil nutrients and humus contents in the irrigated plots. Irrigation led to a full elimination of growth responses to climate for European larch and black pine, but not for Scots pine, which might become more sensitive to drought with increasing tree size in Valais. For the control trees, the response of the latewood increment to water availability in July/August has decreased in recent decades for all species, but increased in May for Scots pine only. The sudden irrigation stop caused a drop in radial growth to a lower level for Scots pine or similar level for larch compared to the control for up to ten years. However, both tree species were then able to adjust to the new conditions and subsequently grew with similar (Scots pine) or even higher growth rates (larch) than the control. To estimate the impact of climate change on future forest development, the duration of manipulation experiments should be on longer time scales in order to capture adjustment processes and feedback mechanisms of forest ecosystems.}, language = {en} } @article{FeichtingerEilmannBuchmannetal.2015, author = {Feichtinger, Linda M. and Eilmann, Britta and Buchmann, Nina and Rigling, Andreas}, title = {Trait-specific responses of Scots pine to irrigation on a short vs long time scale}, series = {Tree Physiology}, volume = {35}, journal = {Tree Physiology}, number = {00}, publisher = {Heron}, address = {Victoria, BC}, issn = {1758-4469 (Online)}, doi = {10.1093/treephys/tpu114}, pages = {1 -- 12}, year = {2015}, language = {en} } @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} } @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} } @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{FassbenderBuehler2000, author = {Faßbender, Heinz and B{\"u}hler, Gerhard}, title = {Plattformunabh{\"a}ngige Verwendbarkeit eines F{\"u}hrungsinformationssystems durch den Einsatz von CORBA und Java}, series = {Proceedings zum Workshop}, journal = {Proceedings zum Workshop}, publisher = {Univ. der Bundeswehr, Fak. Informatik}, address = {Neubiberg}, year = {2000}, language = {de} } @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} }