Starten Sie Ihre Suche...


Wir weisen darauf hin, dass wir technisch notwendige Cookies verwenden. Weitere Informationen

FB 4: Informatik

Universität Koblenz

Universitätsstraße 1, 56070 Koblenz
  • 0261/287-2501
  • 0261/287-2502
Publikationen
PDF | RTF
Ergebnisse pro Seite:  10

Blanchette, Jasmin Christian; Fuhs, Carsten; Sofronie-Stokkermans, Viorica et al.

Deduction Beyond First-Order Logic

Dagstuhl 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 Languages

Alexander 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 eMoflon

Antonio 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 Modeling

Jan 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 BPM

Maximilian 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 Netzen

Berlin: De Gruyter Oldenbourg 2017


Kaci, Souhila; Mercer, Robert; Thimm, Matthias

Editorial of the Special Issue - SI:Uncertain Reasoning

Journal 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 Approach

2017


Biefang, Kai; Kunkel, Johannes; Loepp, Benedikt et al.

Eine Sandbox zur physisch-virtuellen Exploration von Ausgrabungsstätten

Manuel 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ät

Heike 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