@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{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{Heuermann2004,
  author    = {Heuermann, Holger},
  title     = {A Synthesis Technique for Mono- and Mixed-Mode Symmetrical Filter},
  series = {Conference proceedings : Tuesday 12th, Wednesday 13th and Thursday 14th October, [RAI International Exhibition and Congress Centre, Amsterdam ; part of European Microwave Week 2004] / EuMA, European Microwave Association . Vol. 1},
  journal   = {Conference proceedings : Tuesday 12th, Wednesday 13th and Thursday 14th October, [RAI International Exhibition and Congress Centre, Amsterdam ; part of European Microwave Week 2004] / EuMA, European Microwave Association . Vol. 1},
  publisher = {Horizon House Publ},
  address   = {London},
  isbn      = {1-580-53992-0},
  pages     = {309 -- 312},
  year      = {2004},
  language  = {en}
}
@article{KraffBitzBreyeretal.2011,
  author    = {Kraff, Oliver and Bitz, Andreas and Breyer, Tobias and Kruszona, Stefan and Maderwald, Stefan and Brote, Irina and Gizewski, Elke R. and Ladd, Mark E. and Quick, Harald H.},
  title     = {A transmit/receive radiofrequency array for imaging the carotid arteries at 7 Tesla: coil design and first in vivo results},
  series = {Investigative Radiology},
  volume    = {46},
  journal   = {Investigative Radiology},
  number    = {4},
  publisher = {Wolters Kluwer},
  address   = {K{\"o}ln},
  issn      = {1536-0210},
  doi       = {10.1097/RLI.0b013e318206cee4},
  pages     = {246 -- 254},
  year      = {2011},
  abstract  = {Objective: To develop a transmit/receive radiofrequency (RF) array for magnetic resonance imaging (MRI) of the carotid arteries at 7 T. The prototype is characterized in numerical simulations and bench measurements, and the feasibility of plaque imaging at 7 T is demonstrated in first in vivo images. Materials and Methods: The RF phased array coil consists of 8 surface loop coils. To allow imaging of both sides of the neck, the RF array is divided into 2 coil clusters, each with 4 overlapping loop elements. For safety validation, numerical computations of the RF field distribution and the corresponding specific absorption rate were performed on the basis of a heterogeneous human body model. To validate the coil model, maps of the transmit B1+ field were compared between simulation and measurement. In vivo images of a healthy volunteer and a patient (ulcerating plaque and a 50\% stenosis of the right internal carotid artery) were acquired using a 3-dimensional FLASH sequence with a high isotropic spatial resolution of 0.54 mm as well as using pulse-triggered proton density (PD)/T2-weighted turbo spin echo sequences. Results: Measurements of the S-parameters yielded a reflection and isolation of the coil elements of better than -18 and -13 dB, respectively. Measurements of the g-factor indicated good image quality for parallel imaging acceleration factors up to 2.4. A similar distribution and a very good match of the absolute values were found between the measured and simulated B1+ transmit RF field for the validation of the coil model. In vivo images revealed good signal excitation of both sides of the neck and a high vessel-to-background image contrast for the noncontrast-enhanced 3-dimensional FLASH sequence. Imaging at 7 T could depict the extent of stenosis, and revealed the disruption and ulcer of the plaque. Conclusions: This study demonstrates that 2 four-channel transmit/receive RF arrays for each side of the neck is a suitable concept for in vivo MRI of the carotid arteries at 7 Tesla. Further studies are needed to explore and exploit the full potential of 7 T high-field MRI for carotid atherosclerotic plaque imaging.},
  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{Fassbender1995,
  author    = {Faßbender, Heinz},
  title     = {A verified implementation of narrowing},
  series = {Programming languages: implementations, logics and programs : proceedings / 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Manuel Hermenegildo ... (ed.)},
  journal   = {Programming languages: implementations, logics and programs : proceedings / 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Manuel Hermenegildo ... (ed.)},
  publisher = {Springer},
  address   = {Berlin [u.a.]},
  isbn      = {3-540-60359-X},
  pages     = {63 -- 80},
  year      = {1995},
  language  = {en}
}
@article{Alt1974,
  author    = {Alt, Helmut},
  title     = {Ab 1975 Uranerz aus Rabbit-Lake},
  series = {Energiewirtschaftliche Tagesfragen},
  volume    = {24},
  journal   = {Energiewirtschaftliche Tagesfragen},
  number    = {1/2},
  publisher = {VDE-Verlag},
  address   = {Berlin},
  issn      = {0720-6240},
  pages     = {34},
  year      = {1974},
  language  = {de}
}
@article{FuchsRitz2011,
  author    = {Fuchs, Britta and Ritz, Thomas},
  title     = {Absatzkan{\"a}le kaum verkn{\"u}pft},
  series = {IT-Mittelstand : IT-Business im Mittelstand},
  volume    = {2011},
  journal   = {IT-Mittelstand : IT-Business im Mittelstand},
  number    = {9},
  publisher = {Medienhaus-Verlag},
  address   = {Bergisch-Gladbach},
  pages     = {16},
  year      = {2011},
  language  = {de}
}
@article{HagemannGeittnerSchnittkeretal.1989,
  author    = {Hagemann, Hans-J{\"u}rgen and Geittner, P. and Schnittker, W. and Warnier, J.},
  title     = {Abscheidegeschwindigkeiten und Prozeßausbeuten im PCVD-Verfahren. Geittner, P.; Hagemann, H. J.; Schnittker, W.; Warnier, J.; Weling, F.; Wilson, H.},
  series = {Philips - Unsere Forschung in Deutschland / Hrsg.: Philips Forschungslaboratorium GmbH Aachen und Hamburg. 4 (1989)},
  journal   = {Philips - Unsere Forschung in Deutschland / Hrsg.: Philips Forschungslaboratorium GmbH Aachen und Hamburg. 4 (1989)},
  pages     = {140 -- 143},
  year      = {1989},
  language  = {de}
}
@article{Siepmann1986,
  author    = {Siepmann, Thomas},
  title     = {Abschlußbericht zum Vorhaben Nr. 22/IV},
  series = {Forschungsvereinigung Antriebstechnik: Forschungsreport},
  journal   = {Forschungsvereinigung Antriebstechnik: Forschungsreport},
  publisher = {FVA},
  address   = {Frankfurt/M.},
  year      = {1986},
  language  = {de}
}
@article{SchifferFerreinLakemeyer2015,
  author    = {Schiffer, Stefan and Ferrein, Alexander and Lakemeyer, Gerhard},
  title     = {Abstracting Away Low-Level Details in Service Robotics with Fuzzy Fluents},
  series = {Model-Driven Knowledge Engineering for Improved Software Modularity in Robotics and Automation. Workshop at European Robotics Forum 2015 Vienna, Austria, March 11-13, 2015.},
  journal   = {Model-Driven Knowledge Engineering for Improved Software Modularity in Robotics and Automation. Workshop at European Robotics Forum 2015 Vienna, Austria, March 11-13, 2015.},
  pages     = {1 -- 4},
  year      = {2015},
  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{FerreinSteinbauerVassos2012,
  author    = {Ferrein, Alexander and Steinbauer, Gerald and Vassos, Stavros},
  title     = {Action-Based Imperative Programming with YAGI},
  pages     = {24 -- 31},
  year      = {2012},
  abstract  = {Many tasks for autonomous agents or robots are best described by a specification of the environment and a specification of the available actions the agent or robot can perform. Combining such a specification with the possibility to imperatively program a robot or agent is what we call the actionbased imperative programming. One of the most successful such approaches is Golog. In this paper, we draft a proposal for a new robot programming language YAGI, which is based on the action-based imperative programming paradigm. Our goal is to design a small, portable stand-alone YAGI interpreter. We combine the benefits of a principled domain specification with a clean, small and simple programming language, which does not exploit any side-effects from the implementation language. We discuss general requirements of action-based programming languages and outline YAGI, our action-based language approach which particularly aims at embeddability.},
  language  = {en}
}
@article{RitzStender2004,
  author    = {Ritz, Thomas and Stender, Michael},
  title     = {Ad-hoc Anwendungsintegration mit mobilen CRM-Systement},
  series = {Electronic Business : Innovationen, Anwendungen und Technologien},
  journal   = {Electronic Business : Innovationen, Anwendungen und Technologien},
  editor    = {Weisbecker, Anette},
  publisher = {Fraunhofer-IRB-Verl.},
  address   = {Stuttgart},
  isbn      = {3-8167-6621-8},
  pages     = {92 -- 97},
  year      = {2004},
  language  = {de}
}
@article{HeuermannRumiantsevSchott2004,
  author    = {Heuermann, Holger and Rumiantsev, A. and Schott, S.},
  title     = {Advanced on-wafer multiport calibration methods for mono- and mixed-mode device characterization},
  series = {On wafer characterization : 63rd ARFTG conference digest, spring 2004, 11 June 2004, Fort Worth, TX / Automatic RF Techniques Group. [Conference chair: John Cable. Publication chair: J. G. Burns]},
  journal   = {On wafer characterization : 63rd ARFTG conference digest, spring 2004, 11 June 2004, Fort Worth, TX / Automatic RF Techniques Group. [Conference chair: John Cable. Publication chair: J. G. Burns]},
  publisher = {IEEE Operations Center},
  address   = {Piscataway, NJ},
  isbn      = {0-7803-8371-0},
  pages     = {91 -- 96},
  year      = {2004},
  language  = {en}
}
@article{DesernoAachAmuntsetal.2011,
  author    = {Deserno, Thomas M. and Aach, Til and Amunts, Katrin and Hillen, Walter and Kuhlen, Torsten and Scholl, Ingrid},
  title     = {Advances in medical image processing : A special Issue on the Workshop in Aachen, Germany, March 2010},
  series = {Computer Science - Research and Development. 26 (2011), H. 1-2},
  journal   = {Computer Science - Research and Development. 26 (2011), H. 1-2},
  publisher = {springer},
  address   = {Berlin},
  isbn      = {1865-2042},
  pages     = {1 -- 3},
  year      = {2011},
  language  = {en}
}
@article{HartungNiebertSchiederetal.2006,
  author    = {Hartung, Frank and Niebert, Norbert and Schieder, Andreas and Rembarz, Ren{\´e}},
  title     = {Advances in network-supported media delivery in next-generation mobile systems / Hartung, Frank ; Niebert, Norbert ; Schieder, Andreas ; Rembarz, Ren{\´e} ; Schmid, Stefan ; Eggert, Lars},
  series = {IEEE Communications Magazine. 44 (2006), H. 8},
  journal   = {IEEE Communications Magazine. 44 (2006), H. 8},
  isbn      = {0163-6804},
  pages     = {82 -- 89},
  year      = {2006},
  language  = {en}
}
@article{Gligorevic2013,
  author    = {Gligorevic, Snjezana},
  title     = {Airport surface propagation channel in the C-Band: measurements and modeling},
  series = {IEEE transactions on antennas and propagation},
  volume    = {Vol. 61},
  journal   = {IEEE transactions on antennas and propagation},
  number    = {Iss. 9},
  publisher = {IEEE},
  address   = {New York},
  issn      = {0018-926x},
  pages     = {4792 -- 4802},
  year      = {2013},
  language  = {en}
}
@article{AltherrLeisePfetschetal.2018,
  author    = {Altherr, Lena and Leise, Philipp and Pfetsch, Marc E. and Schmitt, Andreas},
  title     = {Algorithmic design and resilience assessment of energy efficient high-rise water supply systems},
  series = {Applied Mechanics and Materials},
  volume    = {885},
  journal   = {Applied Mechanics and Materials},
  publisher = {Trans Tech Publications},
  address   = {B{\"a}ch},
  issn      = {1662-7482},
  doi       = {10.4028/www.scientific.net/AMM.885.211},
  pages     = {211 -- 223},
  year      = {2018},
  abstract  = {High-rise water supply systems provide water flow and suitable pressure in all levels of tall buildings. To design such state-of-the-art systems, the consideration of energy efficiency and the anticipation of component failures are mandatory. In this paper, we use Mixed-Integer Nonlinear Programming to compute an optimal placement of pipes and pumps, as well as an optimal control strategy.Moreover, we consider the resilience of the system to pump failures. A resilient system is able to fulfill a predefined minimum functionality even though components fail or are restricted in their normal usage. We present models to measure and optimize the resilience. To demonstrate our approach, we design and analyze an optimal resilient decentralized water supply system inspired by a real-life hotel building.},
  language  = {en}
}
@article{VorstFerreinLakemeyer2006,
  author    = {Vorst, Phillip and Ferrein, Alexander and Lakemeyer, Gerhard},
  title     = {AllemaniACs3D team description},
  pages     = {1 -- 6},
  year      = {2006},
  language  = {en}
}