Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
Kschischo, Maik; Kahm, Matthias; Navarrete, Clara et al.
Actuators of yeast potassium homeostasis predicted by mathematical modellingESMTB European Society for Mathematical and Theoretical Biology (Hrsg). Abstracts of Posters presented at the 8th European Conference on Mathematical and Theoretical Biology, and Annual Meeting of the Society for Mathematical Biology, Kraków, June 28 - July 2, 2011. Paris: ESMTB European Society for Mathematical and Theoretical Biology 2011 S. 466 - 467
Frey, Hannes; Li, Xu; Ruehrup, Stefan
Ad-hoc, Mobile, and Wireless Networks: 10th International Conference, ADHOC-NOW 2011, Paderborn, Germany, July 18-20, 2011. ProceedingsBerlin: Springer 2011
Bjørner, Nikolaj; Sofronie-Stokkermans, Viorica
Automated Deduction - CADE-23: 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 - August 5, 2011. ProceedingsBerlin: Springer 2011
Jürjens, Jan
Automated Security Hardening for Evolving UML ModelsRichard N. Taylor; Harald Gall; Nenad Medvidović (Hrsg). Proceedings of the 33rd International Conference on Software Engineering ICSE 2011: May 21–28, 2011; Waikiki, Honolulu, Hawaii. New York, NY: ACM Association for Computing Machinery 2011 S. 986 - 988
Jürjens, Jan
CARiSMA (Compliance/Risk/Security Model Analyzer)2011
Lee, Alvin J. X.; Endesfelder, David; Rowan, Andrew J. et al.
Chromosomal instability confers intrinsic multidrug resistanceCancer Research. Bd. 71. H. 5. Philadelphia, PA: AACR 2011 S. 1858 - 1870
Bartolomei, Thiago; Derakhshanmanesh, Mahdi; Fuhr, Andreas et al.
Combining Multiple Dimensions of Knowledge in API MigrationAndreas Fuhr; Wilhelm Hasselbring; Volker Riediger; Magiel Bruntink; Kostas Kontogiannis (Hrsg). Joint Proceedings of the First International Workshop on Model-Driven Software Migration MDSM 2011 and the Fifth International Workshop on Software Quality and Maintainability SQM 2011 - Workshops at the 15th European Conference on Software Maintenance and Reengineering CSMR 2011: Oldenburg, Germany, March 1, 2011. Aachen: CEUR/RWTH 2011 S. 21 - 24
Schmidt, Holger; Jürjens, Jan
Connecting Security Requirements Analysis and Secure Design Using Patterns and UMLsecHaralambos Mouratidis; Colette Rolland (Hrsg). Advanced Information Systems Engineering: 23rd International Conference, CAiSE 2011: London, UK, June 20-24, 2011; Proceedings. Berlin: Springer 2011 S. 367 - 382
Frey, Hannes; Hollick, Matthias; Loch, Adrian
Curve-based Planar Graph Routing in Multihop Wireless NetworksJaime Lloret; Ivan Stojmenovic; Dajin Wang (Hrsg). Proceedings oft the 8th IEEE International Conference on Mobile Ad-Hoc and Sensor Systems: IEEE MASS 2011; 17-22 October 2011; Valencia, Spain. Los Alamitos, CA: IEEE Computer Society 2011 S. 149 - 151