FB 4: Informatik
Universität Koblenz
- 0261/287-2501
- 0261/287-2502
Hopfgartner, Frank
Capturing Long-Term User Interests in Online Television News ProgramsYiannis Kompatsiaris;Bernard Merialdo;Shiguo Lian (Hrsg). TV Content Analysis: Techniques and Applications. New York: Auerbach Publications 2012 S. 309 - 330
Lee, Alvin J. X.; Roylance, Rebecca; Sander, Jil et al.
CERT depletion predicts chemotherapy benefit and mediates cytotoxic and polyploid-specific cancer cell death through autophagy inductionThe journal of pathology. Bd. 226. H. 3. Bognor Regis: Wiley 2012 S. 482 - 494
Burrell, Rebecca A.; McClelland, Sarah E.; Endesfelder, David et al.
Chromosome 18q encodes a chromosomal instability suppressor locus in colorectal cancerCancer Research. Bd. 72. H. 8. Supplement. Philadelphia, PA: AACR 2012
Sohn, Christoph; von Kortzfleisch, Harald
Citizensourcing mit dem Open Policy-Making Toolset: Konzept und prototypische UmsetzungSiegburg: Josef Eul 2012
Scott, David; Guo, Jinlin; Wang, Hongyi et al.
Clipboard: A Visual Search and Browsing Experience for Tablet and PCKlaus Schoeffmann;Bernard Merialdo;Alexander G. Hauptmann;Chong-Wah Ngo;Yiannis Andreopoulos;Christian Breiteneder (Hrsg). Advances in Multimedia Modeling: 18th International Conference, MMM 2012, Klagenfurt, Austria, January 4-6, 2012, Proceedings. Berlin: Springer 2012 S. 646 - 648
Kilian, Thomas; Hennings, Nadine
Communicating Environmental and Ethical Performance: A longitudinal Analysis of Annual Reports from 1998 - 2009Hermes - Journal of language and communication in business. Bd. 49. Aarhus: School 2012 S. 19 - 34
Kern-Isberner, Gabriele; Beierle, Christoph; Finthammer, Marc et al.
Comparing and Evaluating Approaches to Probabilistic Reasoning: Theory, Implementation, and Applications.Trans. Large-Scale Data- and Knowledge-Centered Systems. Bd. 6. 2012 S. 31 - 75
Aizatulin, Mihhail; Gordon, Andrew D.; Jürjens, Jan
Computational Verification of C Protocol Implementations by Symbolic ExecutionTing Yu;George Danezis;Virgil Gligor (Hrsg). Proceedings of the 19th ACM Conference on Computer and Communications Security CCS 2012: October 16–18, 2012; Raleigh, North Carolina, USA. New York, NY: ACM Association for Computing Machinery 2012 S. 712 - 723
Aizatulin, Mihhail; D. Gordon, Andrew; Jürjens, Jan
Computational verification of C protocol implementations by symbolic execution.ACM Conference on Computer and Communications Security. 2012 S. 712 - 723
Schlich, Michaela
Consumer Response to the Product Carbon Footprint (PCF)Journal of Physical Science and Application. Bd. 2. H. 4. Libertyville, IL: David Publishing Company 2012 S. 95 - 102