FB 4: Informatik
Universität Koblenz
- 0261/287-2501
- 0261/287-2502
Troitzsch, Klaus G.
Mikrosimulationsmodelle und agentenbasierte SimulationHannappel, Marc u. a. (Hrsg). Mikrosimulationen : Methodische Grundlagen und ausgewählte Anwendungsfelder. Wiesbaden: Springer Fachmedien Wiesbaden 2019 S. 85 - 107
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
Thimm, Matthias; Wallner, Johannes P.
On the complexity of inconsistency measurementArtificial Intelligence. Bd. 275. Amsterdam: Elsevier 2019 S. 411 - 456
Stocksmeier, Dirk; Wimmer, Maria A.; Führer, Michaela et al.
Once-Only in Deutschland und Europa: Eine Roadmap grenzüberschreitender Vernetzung im Bereich SteuernMichael Räckers; Sebastian Halsbenning; Detlef Rätz; David Richter; Erich Schweighofer (Hrsg). Digitalisierung von Staat und Verwaltung: Gemeinsame Fachtagung Verwaltungsinformatik (FTVI) und Fachtagung Rechtsinformatik (FTRI) 2019 6. bis 7. März 2019 in Münster, Proceedings. Bonn: Gesellschaft für Informatik 2019 S. 87 - 98
Schaarschmidt, Mario; Walsh, Gianfranco; von Korflesch, Harald
Online-Reputationskompetenz von Mitarbeitern: Mit Social-Media-Reputationsmanagement das Unternehmensimage stärkenWiesbaden: Springer Gabler 2019
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
Gouthier, Matthias
Persönliche Erinnerungen und Wünsche an Thomas LünendonkJörg Hossenfelder; Jonas Lünendonk (Hrsg). Menschen machen Wirtschaft: Festschrift für Thomas Lünendonk. Freiburg: Haufe Group 2019 S. 45 - 46
Drodt, Christoph; Reuther, Mike
Predicting User Interaction in Enterprise Social Systems Using Process MiningGuillermo Rodriguez-Abitia; Carlos Ferran; Martin Santana; Ramiro Montealegre (Hrsg). Proceedings of the 25th Americas Conference on Information Systems AMCIS 2019 - "New Frontiers in Digital Convergence": August 15-17; 2019; Cancun, Mexico. Atlanta, GA: Association for Information Systems/AIS eLibrary 2019 S. 2784 - 2793