@inproceedings{SchoppNachtrodtHeuermannetal.2012,
  author    = {Schopp, Christoph and Nachtrodt, Frederik and Heuermann, Holger and Scherer, Ulrich W. and Mostacci, Domiziano and Finger, Torsten and Tietsch, Wolfgang},
  title     = {A novel 2.45 GHz/200 W Microwave Plasma Jet for High Temperature Applications above 3600 K},
  series = {Journal of Physics : Conference Series},
  volume    = {406},
  booktitle = {Journal of Physics : Conference Series},
  number    = {012029},
  issn      = {1742-6596},
  pages     = {5},
  year      = {2012},
  language  = {en}
}
@inproceedings{LogenHoefkenSchuba2012,
  author    = {Logen, Steffen and H{\"o}fken, Hans-Wilhelm and Schuba, Marko},
  title     = {Simplifying RAM Forensics : A GUI and Extensions for the Volatility Framework},
  series = {2012 Seventh International Conference on Availability, Reliability and Security (ARES), 20-24 August 2012, Prague, Czech Republic},
  booktitle = {2012 Seventh International Conference on Availability, Reliability and Security (ARES), 20-24 August 2012, Prague, Czech Republic},
  publisher = {IEEE},
  address   = {New York},
  isbn      = {978-1-4673-2244-7},
  doi       = {10.1109/ARES.2012.12},
  pages     = {620 -- 624},
  year      = {2012},
  abstract  = {The Volatility Framework is a collection of tools for the analysis of computer RAM. The framework offers a multitude of analysis options and is used by many investigators worldwide. Volatility currently comes with a command line interface only, which might be a hinderer for some investigators to use the tool. In this paper we present a GUI and extensions for the Volatility Framework, which on the one hand simplify the usage of the tool and on the other hand offer additional functionality like storage of results in a database, shortcuts for long Volatility Framework command sequences, and entirely new commands based on correlation of data stored in the database.},
  language  = {en}
}
@inproceedings{LuszczynskiEngels2012,
  author    = {Luszczynski, K. and Engels, Elmar},
  title     = {Vergleichende Untersuchung zur Topologie von zelloptimalen, elektromobilit{\"a}ts-optimierten Ladungsausgleichsvorrichtungen},
  series = {Tagungsband zur AALE-Tagung 2012 : 9. Fachkonferenz},
  booktitle = {Tagungsband zur AALE-Tagung 2012 : 9. Fachkonferenz},
  publisher = {Oldenbourg Industrieverlag},
  address   = {M{\"u}nchen},
  isbn      = {978-3-8356-3305-6},
  pages     = {165 -- 174},
  year      = {2012},
  language  = {de}
}
@inproceedings{EngelsGabler2012,
  author    = {Engels, Elmar and Gabler, T.},
  title     = {Universelle Programmierschnittstelle f{\"u}r Motion-Logic Systeme},
  series = {Tagungsband zur AALE-Tagung 2012 : 9. Fachkonferenz},
  booktitle = {Tagungsband zur AALE-Tagung 2012 : 9. Fachkonferenz},
  publisher = {Oldenbourg Industrieverlag},
  address   = {M{\"u}nchen},
  isbn      = {978-3-8356-3305-6},
  pages     = {37 -- 46},
  year      = {2012},
  language  = {de}
}
@inproceedings{WolfSchlickHerbstetal.1996,
  author    = {Wolf, Martin R. and Schlick, Christopher and Herbst, D. and Springer, J.},
  title     = {Einflussfaktoren auf den Erfolg von Telekooperation in großen Unternehmen},
  series = {Computer Supported Cooperative Work (CSCW) in großen Unternehmungen : Tagungsband zum Workshop der GI-Fachgruppe 5.5.1 "CSCW in Organisationen" und dem Technologiezentrum Darmstadt der Deutschen Telekom AG vom 09. - 10. Mai 1996},
  booktitle = {Computer Supported Cooperative Work (CSCW) in großen Unternehmungen : Tagungsband zum Workshop der GI-Fachgruppe 5.5.1 "CSCW in Organisationen" und dem Technologiezentrum Darmstadt der Deutschen Telekom AG vom 09. - 10. Mai 1996},
  editor    = {Uellner, Stefan},
  publisher = {Dt. Telekom},
  address   = {Darmstadt},
  pages     = {1 -- 12},
  year      = {1996},
  language  = {de}
}
@inproceedings{WolfWiedenmaierSchlick1998,
  author    = {Wolf, Martin R. and Wiedenmaier, S. and Schlick, Christopher},
  title     = {Flexible Kooperation durch computergest{\"u}tzte Teamarbeit},
  series = {Groupware und organisatorische Innovation : Tagungsband der Deutschen Fachtagung zu Computer Supported Cooperative Work. - (Berichte des German Chapter of the ACM ; Bd. 51)},
  booktitle = {Groupware und organisatorische Innovation : Tagungsband der Deutschen Fachtagung zu Computer Supported Cooperative Work. - (Berichte des German Chapter of the ACM ; Bd. 51)},
  editor    = {Herrmann, Thomas},
  publisher = {Teubner},
  address   = {Stuttgart},
  isbn      = {3-519-02692-9},
  pages     = {349 -- 350},
  year      = {1998},
  language  = {de}
}
@inproceedings{Ferrein2010,
  author    = {Ferrein, Alexander},
  title     = {golog.lua: Towards a non-prolog implementation of Golog for embedded systems},
  series = {Dagstuhl Seminar Proceedings, Volume 10081},
  booktitle = {Dagstuhl Seminar Proceedings, Volume 10081},
  doi       = {10.4230/DagSemProc.10081.9},
  pages     = {1 -- 15},
  year      = {2010},
  abstract  = {Among many approaches to address the high-level decision making problem for autonomous robots and agents, the robot program¬ming and plan language Golog follows a logic-based deliberative approach, and its successors were successfully deployed in a number of robotics applications over the past ten years. Usually, Golog interpreter are implemented in Prolog, which is not available for our target plat¬form, the bi-ped robot platform Nao. In this paper we sketch our first approach towards a prototype implementation of a Golog interpreter in the scripting language Lua. With the example of the elevator domain we discuss how the basic action theory is specified and how we implemented fluent regression in Lua. One possible advantage of the availability of a Non-Prolog implementation of Golog could be that Golog becomes avail¬able on a larger number of platforms, and also becomes more attractive for roboticists outside the Cognitive Robotics community.},
  language  = {en}
}
@inproceedings{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},
  booktitle = {Simulation, Modeling, and Programming for Autonomous Robots},
  publisher = {Springer},
  address   = {Berlin},
  doi       = {10.1007/978-3-642-17319-6_23},
  pages     = {229 -- 240},
  year      = {2010},
  abstract  = {In order to allow an autonomous robot to perform non-trivial tasks like to explore a foreign planet the robot has to have deliberative capabilities like reasoning or planning. Logic-based approaches like the programming and planing language Golog and it successors has been successfully used for such decision-making problems. A drawback of this particular programing language is that their interpreter usually are written in Prolog and run on a Prolog back-end. Such back-ends are usually not available or feasible on resource-limited robot systems. In this paper we present our ideas and first results of a re-implementation of the interpreter based on the Lua scripting language which is available on a wide range of systems including small embedded systems.},
  language  = {en}
}
@inproceedings{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},
  booktitle = {AI 2010: Advances in Artificial Intelligence},
  publisher = {Springer},
  address   = {Berlin},
  doi       = {10.1007/978-3-642-17432-2_40},
  pages     = {395 -- 404},
  year      = {2010},
  abstract  = {We propose a formalism for reasoning about actions based on multi-modal logic which allows for expressing observations as first-class objects. We introduce a new modal operator, namely [o |α], which allows us to capture the notion of perceiving an observation given that an action has taken place. Formulae of the type [o |α]ϕ mean 'after perceiving observation o, given α was performed, necessarily ϕ'. In this paper, we focus on the challenges concerning sensing with explicit observations, and acting with nondeterministic effects. We present the syntax and semantics, and a correct and decidable tableau calculus for the logic},
  language  = {en}
}
@inproceedings{NiemuellerFerreinBecketal.2010,
  author    = {Niem{\"u}ller, Tim and Ferrein, Alexander and Beck, Daniel and Lakemeyer, Gerhard},
  title     = {Design principles of the component-based robot software framework Fawkes},
  series = {Simulation, Modeling, and Programming for Autonomous Robots},
  booktitle = {Simulation, Modeling, and Programming for Autonomous Robots},
  publisher = {Springer},
  address   = {Berlin},
  doi       = {10.1007/978-3-642-17319-6_29},
  pages     = {300 -- 311},
  year      = {2010},
  abstract  = {The idea of component-based software engineering was proposed more that 40 years ago, yet only few robotics software frameworks follow these ideas. The main problem with robotics software usually is that it runs on a particular platform and transferring source code to another platform is crucial. In this paper, we present our software framework Fawkes which follows the component-based software design paradigm by featuring a clear component concept with well-defined communication interfaces. We deployed Fawkes on several different robot platforms ranging from service robots to biped soccer robots. Following the component concept with clearly defined communication interfaces shows great benefit when porting robot software from one robot to the other. Fawkes comes with a number of useful plugins for tasks like timing, logging, data visualization, software configuration, and even high-level decision making. These make it particularly easy to create and to debug productive code, shortening the typical development cycle for robot software.},
  language  = {en}
}