Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
Lämmel, Ralf; Varanovich, Andrei; Leinberger, Martin et al.
Declarative Software Development: Distilled TutorialOlaf Chitil; Andy King (Hrsg). Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming: PPDP '14; Canterbury, United Kingdom; September 8. - 10., 2014. New York, NY: ACM Association for Computing Machinery 2014 S. 1 - 6
Wagner, Marco; Meroth, Ansgar; Zöbel, Dieter
Developing self-adaptive automotive systems: On the integration of service-orientation into automotive development processesDesign Automation for Embedded Systems. Bd. 18. H. 3-4. Dordrecht: Springer 2014 S. INA - OCMC
Gunadi, Erwin; Meder, Michael; Plumbaum, Till et al.
Distributed enterprise search using software agentsAlessio Lomuscio; Paul Scerri; Ana Bazzan; Michael Huhns (Hrsg). Proceedings of the 2014 International Conference on Autonomous Agents & Multiagent Systems AAMAS 2014: Paris, France, May 5-9, 2014. New York, NY: ACM Association for Computing Machinery 2014 S. 1623 - 1624
Jürjens, Jan; Piessens, Frank; Bielova, Nataliia
Engineering Secure Software and Systems: 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014, ProceedingsGorgan: Gorgan University of Agricultural Sciences and Natural Resources 2014
Felderer, Michael; Katt, Basel; Kalb, Philipp et al.
Evolution of Security Engineering Artifacts: A State of the Art SurveyInternational Journal of Secure Software Engineering. Bd. 5. H. 4. Hershey, PA: IGI Global 2014 S. 48 - 98
Roylance, Rebecca; Endesfelder, David; Jamal-Hanjani, Mariam et al.
Expression of regulators of mitotic fidelity are associated with intercellular heterogeneity and chromosomal instability in primary breast cancerBreast cancer research and treatment. Bd. 148. Dordrecht: Springer Science + Business Media B.V. 2014 S. 221 - 229
Jürjens, Jan
Geschäftsprozesse in der Cloud -- aber sicher! (... und compliant)Software Engineering + Architecture (SEACON 2014). 2014 S. 1 - 83
Dupressoir, François; Gordon, Andrew D.; Jürjens, Jan et al.
Guiding a general-purpose C verifier to prove cryptographic protocolsJournal of Computer Security. Bd. 22. H. 5. Amsterdam: IOS Press 2014 S. 823 - 866
Sofronie-Stokkermans, Viorica
Hierarchical Reasoning in Local Theory Extensions and ApplicationsFranz Winkler; Viorel Negru; Tetsuo Ida; Tudor Jebelean; Dana Petcu; Stephen Watt; Daniela Zaharie (Hrsg). Proceedings of the 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing SYNASC 2014; 22-25 September 2014; Timisoara, Romania. Los Alamitos, CA: IEEE Computer Society 2014 S. 34 - 41
Scheglmann, Stefan; Lämmel, Ralf; Leinberger, Martin et al.
IDE Integrated RDF Exploration, Access and RDF-Based Code Typing with LITEQValentina Presutti; Claudia d’Amato; Fabien Gandon; Mathieu d’Aquin; Steffen Staab; Anna Tordai (Hrsg). The Semantic Web: Trends and Challenges; 11th International Conference, ESWC 2014, Anissaras, Crete, Greece, May 25-29, 2014. Proceedings. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2014 S. 505 - 510