Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
Loepp, Benedikt; Ziegler, Jürgen
Komplexe Präferenzprofile für intermodale NavigationMichael Koch; Andreas Butz; Johann Schlichter (Hrsg). Mensch und Computer 2014 – Workshopband: 14. Fachübergreifende Konferenz für Interaktive und Kooperative Medien – Interaktiv unterwegs - Freiräume gestalten; 31. August bis 3. September 2014 in München. Berlin: De Gruyter Oldenbourg 2014 S. 191 - 198
Horbach, Matthias; Sofronie-Stokkermans, Viorica
Locality Transfer: From Constrained Axiomatizations to Reachability PredicatesStéphane Demri; Deepak Kapur; Christoph Weidenbach (Hrsg). Automated Reasoning: 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2014 S. 192 - 207
Gärtner, Stefan; Ruhroth, Thomas; Bürger, Jens et al.
Maintaining Requirements for Long-Living Software Systems by Incorporating Security KnowledgeTony Gorschek; Robyn Lutz (Hrsg). Proceeding of the 2014 IEEE 22nd International Requirements Engineering Conference RE: August 25-29, 2014; Karlskrona, Sweden. Piscataway, NJ: IEEE Institute of Electrical and Electronics Engineers 2014 S. 103 - 112
Engelhardt, Benjamin; Schrage, Ramona; Tränkle, Christian et al.
Mathematical Analysis and Joint Modeling of the M2 Receptor-dependent Signaling And Secondary Messenger Network in CHO Cells2014
Bürger, Jens; Jürjens, Jan; Ruhroth, Thomas et al.
Model-based Security Engineering: Managed Co-Evolution of Security Knowledge and Software ModelsAlessandro Aldini; Javier Lopez; Fabio Martinelli (Hrsg). Foundations of Security Analysis and Design VII: FOSAD 2012/2013 Tutorial Lectures. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2014 S. 34 - 53
Gurrin, Cathal; Hopfgartner, Frank; Hürst, Wolfgang et al.
MultiMedia Modeling - 20th Anniversary International Conference, MMM 2014, Dublin, Ireland, January 6-10, 2014, Proceedings, Part IIGorgan: Gorgan University of Agricultural Sciences and Natural Resources 2014
Gurrin, Cathal; Hopfgartner, Frank; Hurst, Wolfgang et al.
MultiMedia Modeling: 20th Anniversary International Conference, MMM 2014, Dublin, Ireland, January 6-10, 2014, Proceedings, Part IGorgan: Gorgan University of Agricultural Sciences and Natural Resources 2014