FB 4: Informatik
Universität Koblenz
- 0261/287-2501
- 0261/287-2502
Peldszus, Sven; Strüber, Daniel; Jürjens, Jan
Model-Based Security Analysis of Feature-Oriented Software Product LinesErik Van Wyk; Tiark Rompf (Hrsg). Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences GPCE 2018: November 5–6, 2018; Boston, MA, USA. New York, NY: ACM Association for Computing Machinery 2018 S. 93 - 106
Lommatzsch, Andreas; Kille, Benjamin; Hopfgartner, Frank et al.
NewsREEL Multimedia at MediaEval 2018: News Recommendation with Image and Text ContentMartha Larson; Piyush Arora; Claire-Hélène Demarty; Michael Riegler; Benjamin Bischke; Emmanuel Dellandrea; Mathias Lux; Alastair Porter; Gareth J.F. Jones (Hrsg). Working Notes Proceedings of the MediaEval 2018 Workshop: Sophia Antipolis, France, 29-31 October 2018. Aachen: CEUR/RWTH 2018 S. 1 - 3
Weber, Matthias; Beuke, Jonas; von Gladiss, Anselm et al.
Novel Field Geometry Using Two Halbach Cylinders for FFL-MPIInternational Journal on Magnetic Particle Imaging. Bd. 4. H. 2. Lübeck: Infinite Science Publishing 2018
Peldszus, Sven; Kulcsár, Géza; Lochau, Malte et al.
On Continuous Detection of Design Flaws in Evolving Object-Oriented Programs using Incremental Multi-pattern MatchingMatthias Tichy; Eric Bodden; Marco Kuhrmann; Stefan Wagner; Jan-Philipp Steghöfer (Hrsg). Software Engineering und Software Management 2018: 5.-9. März, 2018; Ulm, Deutschland; Proceedings. Bonn: Gesellschaft für Informatik 2018 S. 143 - 144
Sofronie-Stokkermans, Viorica
On Interpolation and Symbol Elimination in Theory ExtensionsLogical Methods in Computer Science. Bd. 14. H. 3. Braunschweig: University of Braunschweig 2018 S. 1 - 41
Sofronie-Stokkermans, Viorica
On Symbol Elimination in Theory Extensions and Applicationshttps://fmse.info.uaic.ro/wp-content/uploads/2021/07/proceedings.pdf. 2018 S. 10 - 19
Sani, Yusuf; Mauthe, Andreas; Edwards, Christopher
On the trajectory of video quality transition in HTTP adaptive video streamingMultimedia Systems. Bd. 24. H. 3. Berlin: Springer 2018 S. 327 - 340
Heidenreich, Sven; Krämer, Tobias; Obschonka, Martin et al.
Passive Innovation Resistance and the Usage Behavior of Mobile Apps – A Longitudinal Study2018
Neuhaus, Frank; Manthe, Stephan; Paulus, Dietrich
Practical Calibration of Actuated Multi-DOF Camera SystemsSergio A. Velastin (Hrsg). Proceeding of the 8th International Conference on Pattern Recognition Systems ICPRS 2017: Madrid, Spain; 11 - 13 July 2017. London: Institution of Engineering and Technology 2018 S. 49 - 54
Brunk, Jens; Revoredo, Kate; Stierle, Matthias et al.
Prediction of Business Process Instances with Dynamic Bayesian NetworksPaolo Ceravolo; M. Teresa Gómez López; Maurice Van Keulen (Hrsg). Proceedings of the 8th International Symposium on Data-driven Process Discovery and Analysis SIMPDA 2018; Seville, Spain, December 13-14, 2018. Aachen: CEUR/RWTH 2018 S. 50 - 54