Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
Hopfgartner, Frank; Urruty, Thierry; Villa, Robert et al.
Facet-based Browsing in Video Retrieval: A Simulation- based EvaluationBenoit Huet;Alan Smeaton;Ketan Mayer-Patel;Yannis Avrithis (Hrsg). Advances in Multimedia Modeling: 15th International Multimedia Modeling Conference, MMM 2009, Sophia-Antipolis, France, January 7-9, 2009. Proceedings. Berlin: Springer 2009 S. 472 - 483
Jürjens, Jan; Weber, Tjark
Finite Models in FOL-Based Crypto-Protocol VerificationPierpaolo Degano; Luca Viganò (Hrsg). Foundations and Applications of Security Analysis: Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers. Berlin: Springer 2009 S. 155 - 172
Li, Xu; Frey, Hannes; Santoro, Nicola et al.
Focused-Coverage by Mobile Sensor NetworksWie Zhao; Lionel M. Ni (Hrsg). Proceedings of the IEEE 6th International Conference on Mobile Adhoc and Sensor Systems MASS 2009: 12-15 October 2009; Macau (S.A.R.), China. Piscataway, NJ: IEEE Computer Society 2009 S. 466 - 475
Jürjens, Jan
Formal Foundations for Verifying Security-Critical Software: A Tutorial12th European Joint Conferences on Theory and Practice of Software (ETAPS 2009). 2009
Schwarz, Christian; Weyand, Christian; Zöbel, Dieter
Generisches Verfahren zur präzisen Pfadverfolgung für SerienfahrzeuggespanneRüdiger Dillmann; Jürgen Beyerer; Christoph Stiller; J. Marius Zöllner; Tobias Gindele (Hrsg). Autonome Mobile Systeme 2009: 21. Fachgespräch Karlsruhe, 3. - 4. Dezember 2009. Berlin: Springer 2009 S. 97 - 104
Favre, Jean-Marie; Gasevic, Dragan; Lämmel, Ralf et al.
Guest Editors' Introduction to the Special Section on Software Language EngineeringIEEE Transactions on Software Engineering. Bd. 35. H. 6. New York, NY: IEEE Institute of Electrical and Electronics Engineers 2009 S. 737 - 741
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 FunctionsRenate 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 MaximizationHamid 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 UMLsecSerenity Day: Establishing IT Security as a full engineering discipline. Brussels. 2009