Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
Sadi, Muhammad Sheikh; Myers, D.G.; Ortega, Cesar et al.
A Model-Based Soft Errors Risks Minimization ApproachYu Hen Hu;Chun Jason Xue;Sang-Soo Yeo (Hrsg). Proceedings of the Fourth International Conference on Embedded and Multimedia Computing EM‐Com 2009: 10-12 December 2009; Jeju, Korea (South). Piscataway, NJ: IEEE Institute of Electrical and Electronics Engineers 2009 S. 1 - 6
Sadi, Muhammad Sheikh; Jürjens, Jan
A Novel Approach to Minimizing the Risks of Soft Errors in Mobile and Ubiquitous SystemsLalit Goel;King-Jet Tseng;Sabu Emmanuel;Geok-See Ng (Hrsg). Proceeding of the IEEE Region 10 Conference TENCON 2009; 23 – 26 November 2009; Singapore. Piscataway, NJ: IEEE Institute of Electrical and Electronics Engineers 2009 S. 1 - 6
Weyer, Christoph; Renner, Christian; Turau, Volker et al.
A Roadmap for Hardware and Software Support for Developing Energy-Efficient Sensor NetworksTU Hamburg, Institut für Telematik (Hrsg). 8. Fachgespräch Sensornetze der GI/ITG Fachgruppe "Kommunikation und Verteilte Systeme": Technischer Bericht; 13. - 14. August 2009. Hamburg: TU Hamburg-Harburg Institut für Telematik 2009 S. 67 - 70
Joho, Hideo; Hopfgartner, Frank; Jose, Joemon M. et al.
AIR 2008: Second International Workshop on Adaptive Information RetrievalSIGIR Forum. Bd. 43. H. 1. New York, NY: ACM Association for Computing Machinery 2009 S. 55 - 58
Elliott, Desmond; Hopfgartner, Frank; Leelanupab, Teerapong et al.
An Architecture for Life-long User Modelling: held on First Lifelong User Modelling Workshop LLUM 2009; June 26, 2009Glasgow: University of Glasgow 2009 S. 1 - 9
Hopfgartner, Frank; Urruty, Thierry; Hannah, David et al.
Aspect-based Video Browsing – A User StudyChing-Yung Lin;Ingemar Cox;Regunathan Radhakrishnan;Rong Yan (Hrsg). Proceedings of the IEEE International Conference on Multimedia and Expo ICME 2009: June 28 – July 3, 2009; Waldorf-Astoria Hotel; New York, USA. Piscataway, NJ: IEEE Institute of Electrical and Electronics Engineers 2009 S. 946 - 949
Sofronie-Stokkermans, Viorica
Automated reasoning in extensions of theories of constructors with recursively defined functions and homomorphismsThomas Ball; Jürgen Giesl; Reiner Hähnle; Tobias Nipkow (Hrsg). Interaction versus Automation: The two Faces of Deduction - Dagstuhl Seminar 09411: 04.10. - 09.10.2009; Schloß Dagstuhl. Wadern: Schloss Dagstuhl, Leibniz-Zentrum für Informatik 2009 S. 1 - 33
Jürjens, Jan
Automated Security Verification for Crypto Protocol Implementations: Verifying the Jessie ProjectElectronic Notes in Theoretical Computer Science. Bd. 250. H. 1. Amsterdam: Elsevier 2009 S. 123 - 136
Schikora, Jacek; Berg, Uwe; Zöbel, Dieter
Berührungslose Winkelbestimmung zwischen Zugfahrzeug und AnhängerWolfgang A. Halang; Peter Holleczek (Hrsg). Aktuelle Anwendungen in Technik und Wirtschaft: Echtzeit 2008; Boppard; 27. und 28. November, 2008. Berlin: Springer 2009 S. 11 - 20
Swanton, Charles; Nicke, Barbara; Schuett, Marion et al.
Chromosomal Instability Determines Taxane ResponseProceedings of the National Academy of Sciences of the United States of America. Bd. 106. H. 21. Washington, DC: National Academy of Sciences 2009 S. 8671 - 8676