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
Beilstein, Marcell; Eunicke, Merlin; Ferdinand, Peter et al.
Open Badges for the accreditation of media-related competencies in higher education using the production of instructional videos as a case studyProceedings of the 16th International ePortfolio and Identity Conference (ePIC 2018, Paris, October 24 - 26, 2018). Bd. 2019. Paris. 2019 S. 55 - 64
Garcke, Harald; Hinze, Michael; Kahle, Christian
Optimal control of time-discrete two-phase flow driven by a diffuse-interface modelESAIM : Control, Optimisation and Calculus of Variations. Bd. 25. Les Ulis: EDP Sciences 2019
Simon, John Sebastian; Po, Rodolfo
Optimal control on a discrete time model for tuberculosisThai Journal of Mathematics = TJM. Bd. 17. H. 1. Chiang Mai: The Mathematical Association of Thailand 2019 S. 193 - 204
Dittmer, Kerstin; Nowak, Marina; Pfaff, Holger et al.
Optimierung des Entlassungsprozesses in Brustzentren durch Value Stream MappingGerman Medical Science (GMS) gGmbH (Hrsg). 18. Deutscher Kongress für Versorgungsforschung : Deutsches Netzwerk Versorgungsforschung e. V., 09. - 11.10.2019, Berlin. 2019 1 S.
Gensheimer, Florian
Optimization methods for decoding error-correcting codesKoblenz: Universität Koblenz-Landau 2019
Etling, Tommy; Herzog, Roland; Siebenborn, Martin
Optimum Experimental Design for Interface Identification ProblemsSIAM Journal on Scientific Computing. Bd. 41. H. 6. Philadelphia, PA: Society for Industrial and Applied Mathematics 2019 S. 3498 - 3523