Starten Sie Ihre Suche...


Wir weisen darauf hin, dass wir technisch notwendige Cookies verwenden. Weitere Informationen

Institut für Informatik

FB 4: Informatik / Universität Koblenz

Universitätsstraße 1, 56070 Koblenz
  • 0261/287 - 2720
  • 0261/287 - 2721
Publikationen
PDF | RTF
Ergebnisse pro Seite:  10

Ludwig, Jost; Shabala, Lana; Mpangara, Anja et al.

K⁺-flux measurements across the plasma membrane of Saccharomyces cerevisiae using potassium selective electrodes and Microelectrode Flux Estimation (MIFE)

The FEBS Journal. Bd. 276. H. Supplement s1. Oxford: Wiley-Blackwell 2009 242


Sofronie-Stokkermans, Viorica

Locality Results for Certain Extensions of Theories with Bridging Functions

Renate A. Schmidt (Hrsg). Automated Deduction - CADE-22: 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings. Berlin: Springer 2009 S. 67 - 83


Li, Xu; Frey, Hannes; Santoro, Nicola et al.

Localized Sensor Self-Deployment for Guaranteed Coverage Radius Maximization

Hamid Akhavan (Hrsg). Proceedings of the IEEE International Confernece on Communications ICC; 14.-18. June 2009, Dresden, Germany. Piscataway, NJ: IEEE Computer Society 2009 S. 1 - 5


Jürjens, Jan

Model-based Security Engineering with UMLsec

Serenity Day: Establishing IT Security as a full engineering discipline. Brussels. 2009


Jürjens, Jan

Model-based Security Testing Supporting Evolution

14th Software & Systems Quality Conferences (SQC’09). Congress Center Düsseldorf (Germany). 2009 S. 1 - 34


Fernández-Medina, Eduardo; Jürjens, Jan; Trujillo, Juan et al.

Model-Driven Development for secure information systems

Information and Software Technology. Bd. 51. H. 5. Amsterdam: Elsevier 2009 S. 809 - 814



Hopfgartner, Frank; Jose, Joemon M.

On User Modelling for Personalised News Video Recommendation

Geert-Jan Houben;Gord McCalla;Fabio Pianesi;Massimo Zancanaro (Hrsg). User Modeling, Adaptation, and Personalization: 17th International Conference, UMAP 2009, formerly UM and AH, Trento, Italy, June 22-26, 2009, Proceedings. Berlin: Springer 2009 S. 403 - 408


Washizaki, Hironori; Yoshioka, Nobukazu; Fernandez, Eduardo B. et al.

Overview of the 3rd international workshop on software patterns and quality (SPAQu'09)

Shail Arora;Gary T. Leavens (Hrsg). Proceeding and Companion of the 24th ACM Conference on Object-Oriented Programming Systems Languages and Applications OOPSLA 2009: October 25. - 29., 2009; Orlando, FL. New York, NY: ACM Association for Computing Machinery 2009 S. 713 - 714


Washizaki, Hironori; Yoshioka, Nobukazu; Fernández, Eduardo B. et al.

Overview of the 3rd international workshop on software patterns and quality (SPAQu’09)

Shail Arora; Bernd Bruegge; Gary Leavens; Yvonne Coady; Simon Peyton-Jones (Hrsg). Proceeding of the 24th ACM SIGPLAN Conference Companion on Object Oriented Programming Systems Languages and Applications OOPSLA 2009: Orlando, Florida, USA; October 25 - 29, 2009. New York, NY: ACM Association for Computing Machinery 2009 S. 713 - 714