Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
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
Biefang, Kai; Kunkel, Johannes; Loepp, Benedikt et al.
Eine Sandbox zur physisch-virtuellen Exploration von AusgrabungsstättenManuel Burghardt; Raphael Wimmer; Christian Wolff; Christa Womser-Hacker (Hrsg). Mensch und Computer MuC 2017 - Workshopband. 10. - 13. September 2017, Regensburg. Bonn: Gesellschaft für Informatik 2017 S. 1 - 4
Loepp, Benedikt; Ziegler, Jürgen
Empirische Bedarfsanalyse zur intermodalen Navigation und dem Einsatz von Informationssystemen zur Förderung ihrer AttraktivitätHeike Proff; Thomas Martin Fojcik (Hrsg). Innovative Produkte und Dienstleistungen in der Mobilität: Technische und betriebswirtschaftliche Aspekte; 8. Wissenschaftsforum Mobilität - „Individual, Integrated and Connected Products and Services in Mobility“ 23. Juni 2016, Campus Duisburg der Universität Duisburg-Essen. Wiesbaden: Springer Gabler 2017 S. 409 - 426
Hopfgartner, Frank; Gurrin, Cathal; Joho, Hideo
Enabling Research and Innovation Beyond Continental Borders: A Case for Satellite Events in Evaluation CampaignsERCIM News. H. 108. Antibes: Sophia Antipolis 2017 S. 54 - 55
Grewe, Dennis; Rao, Pavithra K. P.; Schildt, Sebastian et al.
EnCIRCLE: Encryption-based access control for information- centric connected vehiclesToktam Mahmoodi; Stefano Secci; Antonio Cianfrani; Filip Idzikowski (Hrsg). Proceedings of the 2017 8th International Conference on the Network of the Future (NOF 2017): 22-24 November 2017 in London, UK. Piscataway, NJ: IEEE Computer Society 2017 S. 114 - 119
Feuerbach, Jan; Loepp, Benedikt; Barbu, Catalin-Mihai et al.
Enhancing an Interactive Recommendation System with Review-based Information FilteringPeter Brusilovsky; Marco de Gemmis; Alexander Felfernig; Pasquale Lops; John O'Donovan; Nava Tintarev; Martijn C. Willemsen (Hrsg). Proceedings of the 4th Joint Workshop on Interfaces and Human Decision Making for Recommender Systems co-located with ACM Conference on Recommender Systems RecSys 2017. Como, Italy, August 27, 2017. Aachen: CEUR/RWTH 2017 S. 2 - 9
Bakenecker, Anna; Friedrich, Thomas; von Gladiss, Anselm et al.
Experimental Validation of the Selection Field of a Rabbit-Sized FFL ScannerInternational Journal on Magnetic Particle Imaging. Bd. 3. H. 1. Lübeck: Infinite Science Publishing 2017
Ramadan, Qusai; Salnitriy, Mattia; Strüber, Daniel et al.
From Secure Business Process Modeling to Design-Level Security VerificationLisa O’Conner; Don Batory; Jeff Gray; Vinay Kulkarni; Taylor Riché (Hrsg). Proceedings of the ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems MODELS 2017: 17-22 September 2017; Austin. Texas. Los Alamitos, CA: IEEE Computer Society 2017 S. 123 - 133
Kschischo, Maik
How data assimilation helps to illuminate complex biology: Invited talk (Video)2017