FB 4: Informatik
Universität Koblenz
- 0261/287-2501
- 0261/287-2502
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
Hopfgartner, Frank; Kay, Judy; Rapp, Amon
Preface to the special issue on harnessing personal tracking data for personalization and sense-making.User Model. User Adapt. Interact. Bd. 30. H. 3. 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
Etzkorn, Manuel
Quantifizierung von Personenschäden als Teilaspekt zur Eisenbahnunfallkostenberechnung mithilfe einer UnfalldatenbankBd. 3. Koblenz: Competence Center for the Assessment of Railway Diagnostic and Monitoring Technologies 2020 S. vi, 75
Viale Pereira, Gabriela; Wimmer, Maria A.; Ronzhyn, Alexander
Research Needs for Disruptive Technologies in Smart CitiesYannis Charalabidis;Maria Alexandra Cunha;Demetrios Sarantis (Hrsg). ICEGOV 2020: Proceedings of the 13th International Conference on Theory and Practice of Electronic Governance; Online; September 23 - 25, 2020. New York, NY: ACM Association for Computing Machinery 2020 S. 620 - 627
Memmesheimer, Raphael; Kramer, Ivanna; Seib, Viktor et al.
Robotic Imitation by Markerless Visual Observation and Semantic AssociationsNuno Lau;Manuel F. Silva;Luís Paulo Reis;José Cascalho (Hrsg). 2020 IEEE International Conference on Autonomous Robot Systems and Competitions (ICARSC): April 15-16, 2020; Ponta Delgada, Portugal. Piscataway, NJ: IEEE Institute of Electrical and Electronics Engineers 2020 S. 275 - 280
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