Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
Schneider, Daniel; Frey, Hannes
Joint Optimization of Gain and Beaconing for First Order Consensus under Rayleigh FadingRaghu Ganti; Juan Carlos Cano (Hrsg). ICCCN 2019 The 28th International Conference on Computer Communications and Networks: July 29 - August 1, 2019; Meliá Valencia Hotel; Avenida de las Cortes Valencianas, 52.; Valencia, Spain. Red Hook, NY: Curran 2019 S. 1 - 8
Kunkel, Johannes; Loepp, Benedikt; Dolff, Esther et al.
LittleMissFits: Ein Game-With-A-Purpose zur Evaluierung subjektiver Verständlichkeit von latenten Faktoren in EmpfehlungssystemenFrank Steinicke; Katrin Wolf (Hrsg). Mensch und Computer MuC 2019 - Workshopband. 8. - 11. September 2019, Hamburg. Bonn: Gesellschaft für Informatik 2019 S. 49 - 56
Jürjens, Jan; Schneider, Kurt; Bürger, Jens et al.
Maintaining Security in Software EvolutionRalf Reussner; Michael Godeicke; Wilhelm Hasselbring; Birgit Vogel-Heuser; Jan Keim; Lukas Märtin (Hrsg). Managed Software Evolution. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2019 S. 207 - 253
Loepp, Benedikt; Ziegler, Jürgen
Measuring the Impact of Recommender Systems - A Position Paper on Item Consumption in User StudiesOren Sar Shalom; Dietmar Jannach; Ido Guy (Hrsg). Proceedings of the 1st Workshop on Impact of Recommender Systems ImpactRS 2019 co-located with 13th ACM Conference on Recommender Systems RecSys 2019, Copenhagen, Denmark, September 19, 2019. Aachen: CEUR/RWTH 2019 S. 1 - 2
Peuter, Dennis; Sofronie-Stokkermans, Viorica
On Inductive Verification and SynthesisChristoph Benzmüller; Xavier Parent; Alexander Steen (Hrsg). Selected Student Contributions and Workshop Papers of LuxLogAI 2018. Manchester: EasyChair 2019 S. 1 - 8
Peuter, Dennis; Sofronie-Stokkermans, Viorica
On Invariant Synthesis for Parametric SystemsPascal Fontaine (Hrsg). Automated Deduction - CADE-27: 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2019 S. 385 - 405
Gurrin, Cathal; Joho, Hideo; Hopfgartner, Frank et al.
Overview of the NTCIR-14 Lifelog-3 TaskCharles L. A. Clarke; Noriko Kando (Hrsg). Online Proceeding of the 14th NTCIR Conference: June 10-13, 2019 National Institute of Informatics, Tokyo, Japan. Tokyo: National Institute of Informatics 2019 S. 14 - 26
Radak, Jovan; Schneider, Daniel; Henke, Christian et al.
Performance of Consensus and Formation Control subject to Bernoulli, Slotted Aloha and IEEE 802.11p Simulation ModelsMérouane Debbah; Guy Pujolle; Zoubir Mammeri; Marília Curado; Thi Mai Trang Nguyen; Selma Boumerdassi (Hrsg). Proceedings of the 12th IFIP Wireless and Mobile Networking Conference: WMNC 2019; September 11-13, 2019 Paris, France. New York, NY: IEEE Computer Society 2019 S. 63 - 70
Ahmadian, Amir Shayan; Strüber, Daniel; Jürjens, Jan
Privacy-enhanced system design modeling based on privacy featuresChih-Cheng Hung; George A. Papadopoulos (Hrsg). Proceedings of the 34th ACM Symposium on Applied Computing SAC 2019; Limassol, Cyprus; April 8-12, 2019. New York, NY: ACM Association for Computing Machinery 2019 S. 1492 - 1499
de Boer, Heike; Inckemann, Elke; Frey, Anne et al.
Reziprozität in Mentoring- und Lernpatenprojekten zwischen Studierenden und Kindern mit ZuwanderungshintergrundChristian Donie; Frank Foerster; Marlene Obermayr; Anne Deckwerth; Gisela Kammermeyer; Gerlinde Lenske; Miriam Leuchter; Anja Wildmann (Hrsg). Grundschulpädagogik zwischen Wissenschaft und Transfer. Wiesbaden: Springer VS 2019 S. 125 - 136 (Jahrbuch Grundschulforschung Bd. 23)