FB 4: Informatik
Universität Koblenz
- 0261/287-2501
- 0261/287-2502
Williams, Susan P.; Schubert, Petra
Connecting Industry: Building and Sustaining a Practice-based Research CommunityTung X. Bui; Ralph H. Sprague (Hrsg). Proceedings of the 50th Hawaii International Conference on System Sciences HICSS 2017: Big Island, Hawaii; 3-7 January, 2017. Honolulu, HI: University of Hawaii at Manoa 2017 S. 5400 - 5409
Rocco, Juri Di; Ruscio, Davide Di; Heinz, Marcel et al.
Consistency Recovery in Interactive ModelingLoli Burgueño; Jonathan Corley; Nelly Bencomo; Peter J. Clarke; Philippe Collet; Michalis Famelis; Sudipto Ghosh; Martin Gogolla; Joel Greenyer; Esther Guerra; Sahar Kokaly McMaster; Alfonso Pierantonio; Julia Rubin; Davide Di Ruscio (Hrsg). Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, ME, EXE, COMMitMDE, MRT, MULTI, GEMOC, MoDeVVa, MDETools, FlexMDE, MDEbug), Posters, Doctoral Symposium, Educator Symposium, ACM Student Research Competition, and Tools and Demonstrations co-located with ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems MODELS 2017: Austin, TX, USA, September, 17, 2017. Aachen: CEUR/RWTH 2017 S. 116 - 122
Mondorf, Ansgar; Wimmer, Maria A.
Contextual Components of an Enterprise Architecture Framework for Pan-European eGovernment ServicesTung X. Bui; Ralph H. Sprague (Hrsg). Proceedings of the 50th Hawaii International Conference on System Sciences HICSS 2017: Big Island, Hawaii; 3-7 January, 2017. Honolulu, HI: University of Hawaii at Manoa 2017 S. 2933 - 2942
Lorenz, Felix; Yuan, Jing; Lommatzsch, Andreas et al.
Countering Contextual Bias in TV Watching Behavior: Introducing Social Trend as External Contextual Factor in TV RecommendersJudith Redi;Omar Niamut;Dick Bulterman;Wendy Van den Broeck;Michael J. Darnell (Hrsg). Proceedings of the 2017 ACM International Conference on Interactive Experiences for TV and Online Video TVX 2017: Hilversum, The Netherlands; June 14-16, 2017. New York, NY: ACM Association for Computing Machinery 2017 S. 21 - 30
Meder, Michael; Rapp, Amon; Plumbaum, Till et al.
Data-driven gamification designMarkku Turunen; Heli Väätäjä; Janne Paavilainen; Thomas Olsson (Hrsg). Proceedings of the 21st International Academic Mindtrek Conference AcademicMindtrek 2017: Tampere, Finland, September 20 - 21, 2017. New York, NY: ACM Association for Computing Machinery 2017 S. 255 - 258
Jürjens, Jan
Datensouveränität in der IndustrieautomatisierungHannover Messe 2017, Hannover, 24.-28.4.2017. 2017
Bender, Markus; Sofronie-Stokkermans, Viorica
Decision Procedures for Theories of Sets with MeasuresLeonardo de Moura (Hrsg). Automated Deduction - CADE-2626th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2017 S. 166 - 184
Blanchette, Jasmin Christian; Fuhs, Carsten; Sofronie-Stokkermans, Viorica et al.
Deduction Beyond First-Order LogicDagstuhl Reports. Bd. 7. H. 9. Wadern: Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2017 S. 26 - 46
Jannaber, Sven; Riehle, Dennis M.; Delfmann, Patrick et al.
Designing a Framework for the Development of Domain-Specific Process Modelling LanguagesAlexander Maedche; Jan vom Brocke; Alan Hevner (Hrsg). Designing the Digital Transformation: 12th International Conference, DESRIST 2017, Karlsruhe, Germany, May 30 – June 1, 2017, Proceedings. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2017 S. 39 - 54
Peldszus, Sven; Strüber, Daniel; Bürger, Jens
Detecting and Preventing Power Outages in a Smart Grid using eMoflonAntonio Garcia-Dominguez; Georg Hinkel; Filip Krikava (Hrsg). Proceedings of the 10th Transformation Tool Contest TTC 2017 co-located with the 2017 Software Technologies: Applications and Foundations STAF 2017: Marburg, Germany, July 21, 2017. Aachen: CEUR/RWTH 2017 S. 19 - 23