Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
Jürjens, Jan; Wenzel, Sven; Poggenpohl, Daniel et al.
Model-based Security Verification for Evolving SystemsJens 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 numbersPaul 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 ResearchRaffaele 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
Panitz, Robert
On individual interactions and firm networks: The wealth of context and meaning in relational researchHeidelberg: Universität Heidelberg 2016
Sofronie-Stokkermans, Viorica
On Interpolation and Symbol Elimination in Theory ExtensionsNicola 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 AlgorithmsNorbert 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
Gurrin, Cathal; Joho, Hideo; Hopfgartner, Frank et al.
Overview of NTCIR-12 Lifelog TaskNoriko Kando; Tetsuya Sakai; Mark Sanderson (Hrsg). Proceedings of the 12th NTCIR Conference on Evaluation of Information Access Technologies, National Center of Sciences: Tokyo, Japan, June 7-10, 2016. Tokyo: National Institute of Informatics 2016 S. 354 - 360
Grewe, Dennis; Wagner, Marco; Frey, Hannes
PeRCeIVE: Proactive caching in ICN-based VANETsOnur Altintas; Eylem Ekici; Michael Tsai; Miguel Sepulcre; Bastian Bloessl; Yu-Lin Wie (Hrsg). Proceeding of the IEEE Vehicular Networking Conference VNC, 8. - 10. December, 2016 Columbus, Ohio, USA. Piscataway, NJ: IEEE Computer Society 2016 S. 1 - 8
Martinez-Alvarez, Miguel; Kruschwitz, Udo; Kazai, Gabriella et al.
Proceedings of the First International Workshop on Recent Trends in News Information Retrieval NewsIR 2016: Padua, Italy, March 20, 2016Aachen: CEUR/RWTH 2016
Hopfgartner, Frank; Kazai, Gabriella; Kruschwitz, Udo et al.
Proceedings of the Third International Workshop on Gamification for Information Retrieval GamifIR 2016: Pisa, Italy, July 21, 2016Aachen: CEUR/RWTH 2016