@article{LagemaatMaasVosetal.2015,
  author    = {Lagemaat, Miriam W. and Maas, Marnix C. and Vos, Eline K. and Bitz, Andreas and Orzada, Stephan and Weiland, Elisabeth and Uden, Mark J. van and Kobus, Thiele and Heerschap, Arend and Scheenen, Tom W. J.},
  title     = {(31) P MR spectroscopic imaging of the human prostate at 7 T: T1 relaxation times, Nuclear Overhauser Effect, and spectral characterization},
  series = {Magnetic Resonance in Medicine},
  volume    = {73},
  journal   = {Magnetic Resonance in Medicine},
  number    = {3},
  publisher = {Wiley},
  address   = {Weinheim},
  issn      = {1522-2594},
  doi       = {10.1002/mrm.25209},
  pages     = {909 -- 920},
  year      = {2015},
  language  = {en}
}
@article{HeuermannSchiek1997,
  author    = {Heuermann, Holger and Schiek, B.},
  title     = {15-term self-calibration methods for the error-correction of on-wafer measurements},
  series = {IEEE transactions on instrumentation and measurement : IM / Institute of Electrical and Electronics Engineers, Instrumentation and Measurement Group. 46 (1997), H. 5},
  journal   = {IEEE transactions on instrumentation and measurement : IM / Institute of Electrical and Electronics Engineers, Instrumentation and Measurement Group. 46 (1997), H. 5},
  isbn      = {0018-9456},
  pages     = {1105 -- 1110},
  year      = {1997},
  language  = {en}
}
@article{SukhotinaStreckertBitzetal.2006,
  author    = {Sukhotina, Irina and Streckert, Joachim R. and Bitz, Andreas and Hansen, Volkert W. and Lerchl, Alexander},
  title     = {1800 MHz electromagnetic field effects on melatonin release from isolated pineal glands},
  series = {Journal of Pineal Research},
  volume    = {40},
  journal   = {Journal of Pineal Research},
  number    = {1},
  issn      = {1600-079X},
  doi       = {10.1111/j.1600-079X.2005.00284.x},
  pages     = {86 -- 91},
  year      = {2006},
  language  = {en}
}
@article{SteinbauerFerrein2016,
  author    = {Steinbauer, Gerald and Ferrein, Alexander},
  title     = {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-0442-z},
  pages     = {221 -- 224},
  year      = {2016},
  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{FaganBitzBjoerkmanBurtscheretal.2021,
  author    = {Fagan, Andrew J. and Bitz, Andreas and Bj{\"o}rkman-Burtscher, Isabella M. and Collins, Christopher M. and Kimbrell, Vera and Raaijmakers, Alexander J. E.},
  title     = {7T MR Safety},
  series = {Journal of Magnetic Resonance Imaging (JMRI)},
  volume    = {53},
  journal   = {Journal of Magnetic Resonance Imaging (JMRI)},
  number    = {2},
  publisher = {Wiley},
  address   = {Weinheim},
  issn      = {1522-2586},
  doi       = {10.1002/jmri.27319},
  pages     = {333 -- 346},
  year      = {2021},
  language  = {en}
}
@article{Heuermann2008,
  author    = {Heuermann, Holger},
  title     = {A 14 W SPST Switch with Four PIN-Diodes In a 0402-SMD-Package},
  isbn      = {978-3-8007-3086-5},
  pages     = {318 -- 321},
  year      = {2008},
  language  = {en}
}
@article{OrzadaSolbachGratzetal.2019,
  author    = {Orzada, Stephan and Solbach, Klaus and Gratz, Marcel and Brunheim, Sascha and Fiedler, Thomas M. and Johst, S{\"o}ren and Bitz, Andreas and Shooshtary, Samaneh and Abuelhaija, Asjraf and Voelker, Maximilian N. and Rietsch, Stefan H. G. and Kraff, Oliver and Maderwald, Stefan and Fl{\"o}ser, Martina and Oehmingen, Mark and Quick, Harald H. and Ladd, Mark E.},
  title     = {A 32-channel parallel transmit system add-on for 7T MRI},
  series = {Plos one},
  journal   = {Plos one},
  doi       = {10.1371/journal.pone.0222452},
  year      = {2019},
  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{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{Koehler2020,
  author    = {K{\"o}hler, Klemens},
  title     = {A conflict theory perspective of IT attacks - consequences for IT security education},
  number    = {Preprint},
  year      = {2020},
  abstract  = {Cyberspace is "the environment formed by physical and non-physical components to store, modify, and exchange data using computer networks" (NATO CCDCOE). Beyond that, it is an environment where people interact. IT attacks are hostile, non-cooperative interactions that can be described with conflict theory. Applying conflict theory to IT security leads to different objectives for end-user education, requiring different formats like agency-based competence developing games.},
  language  = {en}
}
@article{HeuermannSchiek1992,
  author    = {Heuermann, Holger and Schiek, Burkhard},
  title     = {A Fast and Robust Procedure for the Determination of the Scattering Parameters for Network Analyzer Calibration},
  address   = {Paris},
  pages     = {373 -- 374},
  year      = {1992},
  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{HeuermannSchiek1992,
  author    = {Heuermann, Holger and Schiek, Burkhard},
  title     = {A Generalization of the Txx Network Analyzer Self-Calibration Procedure},
  series = {Conference proceedings : monday 24th to thursday 27th august 1992, Helsinki University of Technology, Espoo, Finland ; [the international conference and exhibition designed for the Microwave Community]. Vol. 2},
  journal   = {Conference proceedings : monday 24th to thursday 27th august 1992, Helsinki University of Technology, Espoo, Finland ; [the international conference and exhibition designed for the Microwave Community]. Vol. 2},
  publisher = {Microwave Exhibitions and Publishers},
  address   = {Tunbridge Wells},
  isbn      = {0-946821-77-1},
  pages     = {907 -- 912},
  year      = {1992},
  language  = {en}
}
@article{RauschFriesenAltherretal.2018,
  author    = {Rausch, Lea and Friesen, John and Altherr, Lena and Meck, Marvin and Pelz, Peter F.},
  title     = {A holistic concept to design optimal water supply infrastructures for informal settlements using remote sensing data},
  series = {Remote Sensing},
  volume    = {10},
  journal   = {Remote Sensing},
  number    = {2},
  publisher = {MDPI},
  address   = {Basel},
  isbn      = {2072-4292},
  doi       = {10.3390/rs10020216},
  pages     = {1 -- 23},
  year      = {2018},
  abstract  = {Ensuring access to water and sanitation for all is Goal No. 6 of the 17 UN Sustainability Development Goals to transform our world. As one step towards this goal, we present an approach that leverages remote sensing data to plan optimal water supply networks for informal urban settlements. The concept focuses on slums within large urban areas, which are often characterized by a lack of an appropriate water supply. We apply methods of mathematical optimization aiming to find a network describing the optimal supply infrastructure. Hereby, we choose between different decentral and central approaches combining supply by motorized vehicles with supply by pipe systems. For the purposes of illustration, we apply the approach to two small slum clusters in Dhaka and Dar es Salaam. We show our optimization results, which represent the lowest cost water supply systems possible. Additionally, we compare the optimal solutions of the two clusters (also for varying input parameters, such as population densities and slum size development over time) and describe how the result of the optimization depends on the entered remote sensing data.},
  language  = {en}
}
@article{CzarneckiSpiliopoulou2012,
  author    = {Czarnecki, Christian and Spiliopoulou, Myra},
  title     = {A holistic framework for the implementation of a next generation network},
  series = {International Journal of Business Information Systems},
  volume    = {9},
  journal   = {International Journal of Business Information Systems},
  number    = {4},
  publisher = {Inderscience Enterprises},
  address   = {Olney, Bucks},
  issn      = {1746-0972},
  doi       = {10.1504/IJBIS.2012.046291},
  pages     = {385 -- 401},
  year      = {2012},
  abstract  = {As the potential of a next generation network (NGN) is recognised, telecommunication companies consider switching to it. Although the implementation of an NGN seems to be merely a modification of the network infrastructure, it may trigger or require changes in the whole company, because it builds upon the separation between service and transport, a flexible bundling of services to products and the streamlining of the IT infrastructure. We propose a holistic framework, structured into the layers 'strategy', 'processes' and 'information systems' and incorporate into each layer all concepts necessary for the implementation of an NGN, as well as the alignment of these concepts. As a first proof-of-concept for our framework we have performed a case study on the introduction of NGN in a large telecommunication company; we show that our framework captures all topics that are affected by an NGN implementation.},
  language  = {en}
}
@article{RensVarzinczakMeyeretal.2010,
  author    = {Rens, Gavin and Varzinczak, Ivan and Meyer, Thomas and Ferrein, Alexander},
  title     = {A Logic for Reasoning about Actions and Explicit Observations},
  series = {AI 2010: Advances in Artificial Intelligence 23rd Australasian Joint Conference, Adelaide, Australia, December 7-10, 2010. Proceedings},
  journal   = {AI 2010: Advances in Artificial Intelligence 23rd Australasian Joint Conference, Adelaide, Australia, December 7-10, 2010. Proceedings},
  publisher = {Springer},
  address   = {Berlin},
  isbn      = {978-3-642-17431-5},
  pages     = {395 -- 404},
  year      = {2010},
  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{NiemuellerFerreinLakemeyer2010,
  author    = {Niem{\"u}ller, Tim and Ferrein, Alexander and Lakemeyer, Gerhard},
  title     = {A Lua-based Behavior Engine for Controlling the Humanoid Robot Nao},
  series = {RoboCup 2009: Robot Soccer World Cup XIII},
  journal   = {RoboCup 2009: Robot Soccer World Cup XIII},
  pages     = {240 -- 251},
  year      = {2010},
  language  = {en}
}
@article{BragardvanHoekDeDoncker2012,
  author    = {Bragard, Michael and van Hoek, H. and De Doncker, R. W.},
  title     = {A major design step in IETO concept realization that allows overcurrent protection and pushes limits of switching performance},
  series = {IEEE transactions on power electronics},
  volume    = {27},
  journal   = {IEEE transactions on power electronics},
  number    = {9},
  publisher = {IEEE},
  address   = {New York},
  issn      = {0885-8993},
  doi       = {10.1109/TPEL.2012.2189136},
  pages     = {4163 -- 4171},
  year      = {2012},
  abstract  = {This paper presents the latest prototype of the integrated emitter turn-off thyristor concept, which potentially ranks among thyristor high-power devices like the gate turn-off thyristor and the integrated gate-commutated thyristor (IGCT). Due to modifications of the external driver stage and mechanical press-pack design optimization, this prototype allows for full device characterization. The turn-off capability was increased to 1600 A with an active silicon area of 823mm2 . This leads to a transient peak power of 672.1kW/cm² . Within this paper, measurements and concept assessment are presented and a comparison to state-of-the-art IGCT devices is provided.},
  language  = {en}
}
@article{OrzadaLaddBitz2016,
  author    = {Orzada, Stephan and Ladd, Mark E. and Bitz, Andreas},
  title     = {A method to approximate maximum local SAR in multichannel transmit MR systems without transmit phase information},
  series = {Magnetic Resonance in Medicine},
  volume    = {78},
  journal   = {Magnetic Resonance in Medicine},
  number    = {2},
  publisher = {International Society for Magnetic Resonance in Medicine},
  issn      = {1522-2594},
  doi       = {10.1002/mrm.26398},
  pages     = {805 -- 811},
  year      = {2016},
  abstract  = {Purpose To calculate local specific absorption rate (SAR) correctly, both the amplitude and phase of the signal in each transmit channel have to be known. In this work, we propose a method to derive a conservative upper bound for the local SAR, with a reasonable safety margin without knowledge of the transmit phases of the channels. Methods The proposed method uses virtual observation points (VOPs). Correction factors are calculated for each set of VOPs that prevent underestimation of local SAR when the VOPs are applied with the correct amplitudes but fixed phases. Results The proposed method proved to be superior to the worst-case calculation based on the maximum eigenvalue of the VOPs. The mean overestimation for six coil setups could be reduced, whereas no underestimation of the maximum local SAR occurred. In the best investigated case, the overestimation could be reduced from a factor of 3.3 to a factor of 1.7. Conclusion The upper bound for the local SAR calculated with the proposed method allows a fast estimation of the local SAR based on power measurements in the transmit channels and facilitates SAR monitoring in systems that do not have the capability to monitor transmit phases},
  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{HueningHeuermannWacheetal.2018,
  author    = {H{\"u}ning, Felix and Heuermann, Holger and Wache, Franz-Josef and Jajo, Rami Audisho},
  title     = {A new wireless sensor interface using dual-mode radio},
  series = {Journal of Sensors and Sensor Systems : JSSS},
  volume    = {Volume 7},
  journal   = {Journal of Sensors and Sensor Systems : JSSS},
  number    = {2},
  publisher = {Copernicus Publ.},
  address   = {G{\"o}ttingen},
  doi       = {10.5194/jsss-7-507-2018},
  pages     = {507 -- 515},
  year      = {2018},
  abstract  = {The integration of sensors is one of the major tasks in embedded, control and "internet of things" (IoT) applications. For the integration mainly digital interfaces are used, starting from rather simple pulse-width modulation (PWM) interface to more complex interfaces like CAN (Controller Area Network). Even though these interfaces are tethered by definition, a wireless realization is highly welcome in many applications to reduce cable and connector cost, increase the flexibility and realize new emerging applications like wireless control systems. Currently used wireless solutions like Bluetooth, WirelessHART or IO-Link Wireless use dedicated communication standards and corresponding higher protocol layers to realize the wireless communication. Due to the complexity of the communication and the protocol handling, additional latency and jitter are introduced to the data communication that can meet the requirements for many applications. Even though tunnelling of other bus data like CAN data is generally also possible the latency and jitter prevent the tunnelling from being transparent for the bus system. Therefore a new basic technology based on dual-mode radio is used to realize a wireless communication on the physical layer only, enabling a reliable and real-time data transfer. As this system operates on the physical layer it is independent of any higher layers of the OSI (open systems interconnection) model. Hence it can be used for several different communication systems to replace the tethered physical layer. A prototype is developed and tested for real-time wireless PWM, SENT (single-edge nibble transmission) and CAN data transfer with very low latency and jitter.},
  language  = {en}
}
@article{HeuermannLuenebach2005,
  author    = {Heuermann, Holger and L{\"u}nebach, M.},
  title     = {A Novel Dual-Mode-Design for Push-Push Oscillators with Improved Phase Noise Performance. Heuermann, Holger; L{\"u}nebach, M.},
  series = {Conference proceedings : 3 - 7 October 2005, CNIT la D{\´e}fense, Paris, France; [comprises the] 35th European Microwave Conference 2005 ; The European Conference on Wireless Technology 2005 ; European Radar Conference 2005 ; GAAS 2005, The European Gallium A. Vol. 1},
  journal   = {Conference proceedings : 3 - 7 October 2005, CNIT la D{\´e}fense, Paris, France; [comprises the] 35th European Microwave Conference 2005 ; The European Conference on Wireless Technology 2005 ; European Radar Conference 2005 ; GAAS 2005, The European Gallium A. Vol. 1},
  publisher = {Horizon House Publ},
  address   = {London},
  isbn      = {2-9600551-0-1},
  pages     = {4 pp.},
  year      = {2005},
  language  = {en}
}
@article{Schuba1997,
  author    = {Schuba, Marko},
  title     = {A Performance Evaluation of Connectionless Overlay Networks for ATM},
  series = {INFOCOM ´97. Sixteenth Annual Joint Conference of the IEEE Computer and Communications Societies. Proceedings Vol. 1},
  journal   = {INFOCOM ´97. Sixteenth Annual Joint Conference of the IEEE Computer and Communications Societies. Proceedings Vol. 1},
  isbn      = {0-8186-7780-5},
  pages     = {152 -- 158},
  year      = {1997},
  language  = {en}
}
@article{RoepkeKoehlerDruryetal.2020,
  author    = {Roepke, Rene and K{\"o}hler, Klemens and Drury, Vincent and Schroeder, Ulrik and Wolf, Martin and Meyer, Ulrike},
  title     = {A pond full of phishing games - analysis of learning games for anti-phishing education},
  series = {Model-driven Simulation and Training Environments for Cybersecurity. MSTEC 2020},
  journal   = {Model-driven Simulation and Training Environments for Cybersecurity. MSTEC 2020},
  publisher = {Springer},
  address   = {Cham},
  isbn      = {978-3-030-62433-0},
  doi       = {10.1007/978-3-030-62433-0_32020},
  pages     = {41 -- 60},
  year      = {2020},
  abstract  = {Game-based learning is a promising approach to anti-phishing education, as it fosters motivation and can help reduce the perceived difficulty of the educational material. Over the years, several prototypes for game-based applications have been proposed, that follow different approaches in content selection, presentation, and game mechanics. In this paper, a literature and product review of existing learning games is presented. Based on research papers and accessible applications, an in-depth analysis was conducted, encompassing target groups, educational contexts, learning goals based on Bloom's Revised Taxonomy, and learning content. As a result of this review, we created the publications on games (POG) data set for the domain of anti-phishing education. While there are games that can convey factual and conceptual knowledge, we find that most games are either unavailable, fail to convey procedural knowledge or lack technical depth. Thus, we identify potential areas of improvement for games suitable for end-users in informal learning contexts.},
  language  = {en}
}
@article{HarzheimMuehmelHeuermann2021,
  author    = {Harzheim, Thomas and M{\"u}hmel, Marc and Heuermann, Holger},
  title     = {A SFCW harmonic radar system for maritime search and rescue using passive and active tags},
  series = {International Journal of Microwave and Wireless Technologies},
  volume    = {13},
  journal   = {International Journal of Microwave and Wireless Technologies},
  number    = {Special Issue 7},
  publisher = {Cambridge University Press},
  address   = {Cambridge},
  doi       = {10.1017/S1759078721000520},
  pages     = {691 -- 707},
  year      = {2021},
  abstract  = {This paper introduces a new maritime search and rescue system based on S-band illumination harmonic radar (HR). Passive and active tags have been developed and tested while attached to life jackets and a small boat. In this demonstration test carried out on the Baltic Sea, the system was able to detect and range the active tags up to a distance of 5800 m using an illumination signal transmit-power of 100 W. Special attention is given to the development, performance, and conceptual differences between passive and active tags used in the system. Guidelines for achieving a high HR dynamic range, including a system components description, are given and a comparison with other HR systems is performed. System integration with a commercial maritime X-band navigation radar is shown to demonstrate a solution for rapid search and rescue response and quick localization.},
  language  = {en}
}
@article{PrumeBooijVogletal.2007,
  author    = {Prume, Klaus and Booij, W. E. and Vogl, A. H. and Wang, D. T.},
  title     = {A simple and powerful analytical model for MEMS piezoelectric multimorphs / Booij, W. E. ; Vogl, A. H. ; Wang, D. T. ; Tyholdt, F. ; Ostbo, N. P. ; Raeder, H. ; Prume, K.},
  series = {Journal of Electroceramics. 19 (2007), H. 4},
  journal   = {Journal of Electroceramics. 19 (2007), H. 4},
  isbn      = {1385-3449},
  pages     = {387 -- 393},
  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{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{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{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}
}
@article{RietschPfaffenrotBitzetal.2017,
  author    = {Rietsch, Stefan H. G. and Pfaffenrot, Viktor and Bitz, Andreas and Orzada, Stephan and Brunheim, Sascha and Lazik-Palm, Andrea and Theysohn, Jens M. and Ladd, Mark E. and Quick, Harald H. and Kraff, Oliver},
  title     = {An 8-channel transceiver 7-channel receive RF coil setup for high SNR ultrahigh-field MRI of the shoulder at 7T},
  series = {Medical Physics},
  journal   = {Medical Physics},
  number    = {Article in press},
  publisher = {Wiley},
  address   = {Hoboken},
  issn      = {0094-2405},
  doi       = {10.1002/mp.12612},
  year      = {2017},
  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{SchubaReichl1998,
  author    = {Schuba, Marko and Reichl, Peter},
  title     = {An Analysis of Retransmission Strategies for Reliable Multicast Protocols / Schuba, M. ; Reichl, P.},
  series = {Performance of information and communication systems : IFIP TC 6,WG 6.3 Seventh International Conference on Performance of Information and Communication Systems (PICS '98), 25 - 28 May, Lund, Sweden / ed. by Ulf K{\"o}rner ...},
  journal   = {Performance of information and communication systems : IFIP TC 6,WG 6.3 Seventh International Conference on Performance of Information and Communication Systems (PICS '98), 25 - 28 May, Lund, Sweden / ed. by Ulf K{\"o}rner ...},
  publisher = {Chapman Hall},
  address   = {London},
  isbn      = {0-412-83730-7},
  pages     = {1 -- 12},
  year      = {1998},
  language  = {en}
}
@article{KraffBitzKruszonaetal.2009,
  author    = {Kraff, Oliver and Bitz, Andreas and Kruszona, Stefan and Orzada, Stephan and Schaefer, Lena C. and Theysohn, Jens M. and Maderwald, Stefan and Ladd, Mark E. and Quick, Harald H.},
  title     = {An eight-channel phased array RF coil for spine MR imaging at 7 T},
  series = {Investigative Radiology},
  volume    = {44},
  journal   = {Investigative Radiology},
  number    = {11},
  publisher = {Lippincott Williams \& Wilkins},
  issn      = {1536-0210},
  doi       = {10.1097/RLI.0b013e3181b24ab7},
  pages     = {734 -- 740},
  year      = {2009},
  language  = {en}
}
@article{KraffBitzDammannetal.2010,
  author    = {Kraff, Oliver and Bitz, Andreas and Dammann, Philipp and Ladd, Susanne C. and Ladd, Mark E. and Quick, Harald H.},
  title     = {An eight-channel transmit/receive multipurpose coil for musculoskeletal MR imaging at 7 T},
  series = {Medical Physics},
  volume    = {37},
  journal   = {Medical Physics},
  number    = {12},
  publisher = {Wiley},
  address   = {Hoboken, NJ},
  issn      = {2473-4209},
  doi       = {10.1118/1.3517176},
  pages     = {6368 -- 6376},
  year      = {2010},
  abstract  = {Purpose: MRI plays a leading diagnostic role in assessing the musculoskeletal (MSK) system and is well established for most questions at clinically used field strengths (up to 3 T). However, there are still limitations in imaging early stages of cartilage degeneration, very fine tendons and ligaments, or in locating nerve lesions, for example. 7 T MRI of the knee has already received increasing attention in the current published literature, but there is a strong need to develop new radiofrequency (RF) coils to assess more regions of the MSK system. In this work, an eight-channel transmit/receive RF array was built as a multipurpose coil for imaging some of the thus far neglected regions. An extensive coil characterization protocol and first in vivo results of the human wrist, shoulder, elbow, knee, and ankle imaged at 7 T will be presented. Methods: Eight surface loop coils with a dimension ofurn:x-wiley:00942405:media:mp7176:mp7176-math-0001 were machined from FR4 circuit board material. To facilitate easy positioning, two coil clusters, each with four loop elements, were combined to one RF transmit/receive array. An overlapped and shifted arrangement of the coil elements was chosen to reduce the mutual inductance between neighboring coils. A phantom made of body-simulating liquid was used for tuning and matching on the bench. Afterward, the S-parameters were verified on a human wrist, elbow, and shoulder. For safety validation, a detailed compliance test was performed including full wave simulations of the RF field distribution and the corresponding specific absorption rate (SAR) for all joints. In vivo images of four volunteers were assessed with gradient echo and spin echo sequences modified to obtain optimal image contrast, full anatomic coverage, and the highest spatial resolution within a reasonable acquisition time. The performance of the RF coil was additionally evaluated by in vivo B1 mapping. Results: A comparison of B1 per unit power, flip angle distribution, and anatomic images showed a fairly homogeneous excitation for the smaller joints (elbow, wrist, and ankle), while for the larger joints, the shoulder and especially the knee, B1 inhomogeneities and limited penetration depth were more pronounced. However, the greater part of the shoulder joint could be imaged.In vivo images rendered very fine anatomic details such as fascicles of the median nerve and the branching of the nerve bundles. High-resolution images of cartilage, labrum, and tendons could be acquired. Additionally, turbo spin echo (TSE) and inversion recovery sequences performed very well. Conclusions: This study demonstrates that the concept of two four-channel transmit/receive RF arrays can be used as a multipurpose coil for high-resolutionin vivo MR imaging of the musculoskeletal system at 7 T. Not only gradient echo but also typical clinical and SAR-intensive sequences such as STIR and TSE performed well. Imaging of small structures and peripheral nerves could in particular benefit from this technique.},
  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}
}