Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
Peltier, Nicolas; Sofronie-Stokkermans, Viorica
First-order Theorem Proving: ForewordJournal of Symbolic Computation. Bd. 47. H. 9. Amsterdam: Elsevier 2012 S. 1009 - 1010
Wessel, Christian; Humberg, Thorsten; Wenzel, Sven et al.
Frühzeitige modellbasierte Risikoanalyse für mobile, verteilte AnwendungenStefan Jähnichen; Bernhard Rumpe; Holger Schlingloff (Hrsg). Software Engineering 2012: Workshopband; Tagung vom 27. Februar - 02. März 2012 in Berlin. Bonn: Gesellschaft für Informatik 2012 S. 175 - 181
Kschischo, Maik
Homeostatic control of ion content in yeast2012
Paeth, Heiko; Lindenberg, Janna; Kschischo, Maik et al.
How dynamical models can learn from the data : an example with a simplified ENSO modelTheoretical and Applied Climatology. Bd. 104. H. 1-2. Wien: Springer 2012 S. 221 - 231
Bähr, Marcel; Frey, Hannes; Klemp, Eric et al.
Im freien FallRapidX : Produktentwicklung und Additive Fertigung. H. 3. München: Hanser 2012 S. 14 - 15
Jürjens, Jan
Informationssicherheit im Cloud ComputingWeb-Konferenz des Anwenderkreis Informationstechnik und Telekommunikation (AKIT). 2012 S. 1 - 40
Favre, Jean-Marie; Lämmel, Ralf; Leinberger, Martin et al.
Linking Documentation and Source Code in a Software ChrestomathyRocco Oliveto;Denys Poshyvanyk;James Cordy;Dean Thomas (Hrsg). Proceedings of the 19th Working Conference on Reverse Engineering WCRE 2012: 15th – 18th October 2012; Kingston, Ontario, Canada. Los Alamitos, CA: IEEE Computer Society 2012 S. 335 - 344
Frey, Hannes
Lower and Upper Bounds for Multicasting Under Distance Dependent Forwarding Cost FunctionsIEEE Transactions on Parallel and Distributed Systems. Bd. 24. H. 5. New York, NY: IEEE Computer Society 2012 S. 963 - 976
Mohammed, Ammar; Furbach, Ulrich
MAS: Qualitative and Quantitative ReasoningLouise Dennis; Olivier Boissier; Rafael H. Bordini (Hrsg). Programming Multi-Agent Systems: 9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011, Revised Selected Papers. Berlin: Springer 2012 S. 114 - 132
Jürjens, Jan
Methodische Grundlagen des Software-Engineering2012 S. 1 - 11