M. Giese

RNA interference protects horse cells in vitro from infection with Equine Arteritis Virus (2009)

Heinrich, A., Riethmüller, D., Gloger, M., Schusser, G.F., Giese, M., Ulbert, S.

Equine Arteritis Virus (EAV) belongs to the Arteriviridae and causes viral arteritis in horses. In an attempt to develop novel and save therapies against the infection it was tested whether EAV is...

QUANTITATIVE MOVEMENT ANALYSIS BASED ON A HIERARCHICAL SPATIAL-TEMPORAL CORRESPONDENCE OF MOVEMENT PRIMITIVES (2008)

W. Ilg, M. Giese, H. Golla

We present a new learning-based approach for the representation of complex motion patterns that is based on the linear combination of prototypical movement sequences that can be used in clinical gait...

Linking Variation in Penguin Responses to Pedestrian Activity for Best Practice Management on Subantarctic Macquarie Island (2008)

Holmes, ND, Giese, M, Kriwoken, LK

From 20012005, a project was undertaken on subantarcticMacquarie Island to investigate the variation in responses to pedestrianactivity by King Aptenodytes patagonicus, Gentoo Pygoscelis papua...

A preliminary investigation of the effect of repeated pedestrian approaches to Weddell seals (leptonychotes weddellii) (2008)

Petel, TVP, Giese, M, Hindell, MA

Fluxes of nitrous oxide, methane and carbon dioxide during freezing-thawing cycles in an Inner Mongolian steppe. (2008)

Holst, J., Liu, C., Yao, Z., Brüggemann, N., Zheng, X., Giese, M., ...

Plant and Soil, 308(2008) S.105-17

West Nile Virus - Causative agent of a zoonosis with increasing significance? (2006)

Müller, H., Johne, R., Schusser, G., Giese, M., Linke, S., Pauli, G.

The epidemic West Nile Virus (WNV) infections observed in the last years, particularly those in the USA in 1999 and the following years, have led to an increasing interest in this zoonotic infection....

developed by: W. Ahrendt, T. Baar, B. Beckert, R. Bubel, M. Giese, R. Hahnle, W. Menzel, W. Mostowski, A. Roth, S. Schlager, P.H. Schmitt, and others (2004)

Information Security Eth, W. Ahrendt, T. Baar, B. Beckert, R. Bubel, M. Giese, ...

specification of standard data structures (e.g. lists, sets) are stepwise refined to a concrete implementation. Security: access control (PAM authentication with iButton) Analysis of the state...

Why use Formal Methods in Software Development (2004)

W. Ahrendt, T. Baar, B. Beckert, R. Bubel, M. Giese, R. Hähnle, ...

Software systems are

The Situation Today (2004)

W. Ahrendt, T. Baar, B. Beckert, R. Bubel, M. Giese, R. Hähnle, ...

safety critical applications, e.g. flight or railway control. security critical applications, e.g. access control. financial reasons (e.g. warranty), e.g. embedded devices. legal reasons, e.g....

Oslo, 2003 • The KeY system: Integrating object-orientated design and formal (2003)

Martin Giese, W. Ahrendt, T. Baar, B. Beckert, M. Giese, ...

• Incremental Closure is a proof search method developed in the context of the KeY project • The purpose of the KeY project: Integrate formal software specification and verification into...