Suchergebnisse | SciPort RLP

× Publikationen

× Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau

× Universität Koblenz

× Hochschule Kaiserslautern

× Hochschule Trier

× Theologische Fakultät Trier

Wenzel, Sven; Poggenpohl, Daniel; Jürjens, Jan et al.
UMLchange - Specifying Model Changes to Support Security Verification of Potential Evolution
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

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

Loepp, Benedikt; Barbu, Catalin-Mihai; Ziegler, Jürgen
Interactive Recommending: Framework, State of Research and Future Challenges
Ludovico Boratto;Lucio Davide Spano;Salvatore Mario Carta;Gianni Fenu (Hrsg). Proceedings of the 1st Workshop on Engineering Computer-Human Interaction in Recommender Systems EnCHIReS 2016 co-located with the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems EICS 2016, Bruxelles, Belgium, June 21, 2016. Aachen: CEUR/RWTH 2016 S. 3 - 13