Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

Institut für Informatik

FB 4: Informatik / Universität Koblenz

Universitätsstraße 1, 56070 Koblenz
  • 0261/287 - 2720
  • 0261/287 - 2721
Publikationen
Ergebnisse pro Seite:  10

Peltier, Nicolas; Sofronie-Stokkermans, Viorica

First-order Theorem Proving: Foreword

Journal 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 Anwendungen

Stefan 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



Paeth, Heiko; Lindenberg, Janna; Kschischo, Maik et al.

How dynamical models can learn from the data : an example with a simplified ENSO model

Theoretical 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 Fall

RapidX : Produktentwicklung und Additive Fertigung. H. 3. München: Hanser 2012 S. 14 - 15


Jürjens, Jan

Informationssicherheit im Cloud Computing

Web-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 Chrestomathy

Rocco 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 Functions

IEEE 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 Reasoning

Louise 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