FB 4: Informatik
Universität Koblenz
- 0261/287-2501
- 0261/287-2502
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
Corea, Carl; Delfmann, Patrick
Detecting Compliance with Business Rules in Ontology- Based Process ModelingJan Marco Leimeister; Walter Brenner (Hrsg). 13. Internationale Tagung Wirtschaftsinformatik „Towards Thought Leadership in Digital Transformation“: 12. - 15. Februar 2017, Universität St.Gallen. St.Gallen: Institut für Wirtschaftsinformatik (IWI-HSG) Universität St.Gallen 2017 S. 226 - 240
Jannaber, Sven; Zobel, Benedikt; Riehle, Dennis M. et al.
Development of a Domain-Specific Language for Run-Time Process Modelling — Making Use of Smart Glasses in BPMMaximilian Eibl; Martin Gaedke (Hrsg). Informatik 2017: 25.- 29. September 2017; Chemnitz, Deutschland. Bonn: Gesellschaft für Informatik 2017 S. 857 - 862
Grimm, Rüdiger; Delfmann, Patrick
Digitale Kommunikation: Sprache, Protokolle und Datenformate in offenen NetzenBerlin: De Gruyter Oldenbourg 2017
Kaci, Souhila; Mercer, Robert; Thimm, Matthias
Editorial of the Special Issue - SI:Uncertain ReasoningJournal of Applied Logic. Bd. 22. Amsterdam: Elsevier 2017 S. 1 - 2
Eberz, Sebastian; Zerwas, Claire Sophie; von Korflesch, Harald F. O.
Effectual and Causal Behaviors of Novice Entrepreneurs: A Simulation-based Approach2017