Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
Healy, Graham; Le, Tu-Khiem; Joho, Hideo et al.
Overview of NTCIR-15 MARTCharles L. A. Clarke; Noriko Kando (Hrsg). Proceedings of the 15th NTCIR Conference on Evaluation of Information Access Technologies December 8-11, 2020 Tokyo Japan. Tokyo: National Institute of Informatics 2020 S. 299 - 303
Sofronie-Stokkermans, Viorica
Parametric Systems: Verification and SynthesisFundamenta Informaticae. Bd. 173. H. 2-3. Amsterdam: IOS Press 2020 S. 91 - 138
Hopfgartner, Frank; Kay, Judy; Rapp, Amon
Preface to the special issue on harnessing personal tracking data for personalization and sense-makingUser Modeling and User-Adapted Interaction. Bd. 30. H. 3. Dordrecht: Springer 2020 S. 323 - 329
Seget-Trzensiok, Katarzyna; Bernhard, Sara Vanessa; Kuffer, Christian et al.
Preprint: USP28 and SPINT2 mediate cell cycle arrest after whole genome doubling2020 S. 1 - 41
Alsuhaibani, Anas; Cox, Andrew M.; Hopfgartner, Frank et al.
Saudi International Students’ Perceptions of Their Transition to the UK and the Impact of Social Media.Anneli Sundqvist; Gerd Berget; Jan Nolin; Kjell Ivar Skjerdingstad (Hrsg). Sustainable Digital Communities: 15th International Conference, iConference 2020, Boras, Sweden, March 23–26, 2020, Proceedings. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2020 S. 198 - 208
Peldszus, Sven; Tuma, Katja; Strüber, Daniel et al.
Secure Data-Flow Compliance Checks between Models and Code based on Automated Mappings (Summary)Michael Felderer; Wilhelm Hasselbring; Rick Rabiser; Reiner Jung (Hrsg). Software Engineering 2020 SE Proceedings: 24.-28. Februar, 2020; Innsbruck, Österreich. Bonn: Gesellschaft für Informatik 2020 S. 51 - 52
Newmiwaka, Tobias; Engelhardt, Benjamin; Wendland, Philipp et al.
SEEDS: data driven inference of structural model errors and unknown inputs for dynamic systems biologyBioinformatics. Bd. 37. H. 9. Oxford: Oxford University Press 2020 S. 1330 - 1331
Pape, Sebastian; Paci, Federica; Jürjens, Jan et al.
Selecting a Secure Cloud Provider - An Empirical Study and Multi Criteria ApproachInformation. Bd. 11. H. 5. Basel: MDPI 2020
Jürjens, Jan
Sicherheit von Webanwendungen: Aktuelle Entwicklungen - Tutorial2020
Glueckler, Johannes; Panitz, Robert; Hammer, Ingmar
SONA: A relational methodology to identify structure in networksZEITSCHRIFT FUR WIRTSCHAFTSGEOGRAPHIE. Bd. 64. H. 3. 2020 S. 121 - 133