Starten Sie Ihre Suche...


Wir weisen darauf hin, dass wir technisch notwendige 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
PDF | RTF
Ergebnisse pro Seite:  10

Jürjens, Jan

IT Security Risks

Summer School of the Trinational Graduate Academy Security-Risk-Orientation. 2016


Engelhardt, Benjamin; Frőhlich, Holger; Kschischo, Maik

Learning (from) the errors of a systems biology model

Scientific Reports. Bd. 6. London: Macmillan Publishers Limited 2016 20772


Kahm, Matthiasé; Kschischo, Maik

Mathematical Modelling of Cation Transport and Regulation in Yeast

José Ramos; Hana Sychrová; Maik Kschischo (Hrsg). Yeast Membrane Transport. 1. Aufl. Cham: Springer 2016 S. 291 - 305


Kschischo, Maik; Ramos, José; Sychrová, Hana

Membrane Transport in Yeast : an Introduction

José Ramos; Hana Sychrová; Maik Kschischo (Hrsg). Yeast Membrane Transport. 1. Aufl. Cham: Springer 2016 S. 1 - 10


Jürjens, Jan; Wenzel, Sven; Poggenpohl, Daniel et al.

Model-based Security Verification for Evolving Systems

Jens Knoop; Uwe Zdun (Hrsg). Software Engineering 2016: Fachtagung des GI-Fachbereichs Softwaretechnik; 23.-26. Februar 2016 Wien, Proceedings. Bonn: Gesellschaft für Informatik 2016 S. 91 - 92


Rapp, Amon; Cena, Federica; Kay, Judy et al.

New frontiers of quantified self 2: going beyond numbers

Paul Lukowicz; Antonio Krüger; Andreas Bulling; Youn-Kyung Lim; Shwetak N. Patel (Hrsg). Proceedings of the ACM International Joint Conference on Pervasive and Ubiquitous Computing UbiComp 2016 Adjunct: Heidelberg, Germany, September 12-16, 2016. New York, NY: ACM Association for Computing Machinery 2016 S. 506 - 509


Gurrin, Cathal; Joho, Hideo; Hopfgartner, Frank et al.

NTCIR Lifelog: The First Test Collection for Lifelog Research

Raffaele Perego; Fabrizio Sebastiani; Javed Aslam; Ian Ruthven; Justin Zobel (Hrsg). Proceedings of the 39th International ACM SIGIR conference on Research and Development in Information Retrieval, SIGIR 2016, Pisa, Italy, July 17-21, 2016. New York, NY: ACM Association for Computing Machinery 2016 S. 705 - 708



Sofronie-Stokkermans, Viorica

On Interpolation and Symbol Elimination in Theory Extensions

Nicola Olivetti; Ashish Tiwari (Hrsg). Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2016 S. 273 - 289


Kille, Benjamin; Lommatzsch, Andreas; Gebremeskel, Gebrekirstos G. et al.

Overview of NewsREEL’16: Multi-dimensional Evaluation of Real-Time Stream-Recommendation Algorithms

Norbert Fuhr;Paulo Quaresma;Teresa Gonçalves;Birger Larsen;Krisztian Balog;Craig Macdonald;Linda Cappellato;Nicola Ferro (Hrsg). Experimental IR Meets Multilinguality, Multimodality, and Interaction: 7th International Conference of the CLEF Association CLEF 2016: Évora, Portugal, September 5-8, 2016, Proceedings. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2016 S. 311 - 331