Mika Rautila

Publication Activity (10 Years)

Years Active: 1999-2017
Publications (10 Years): 1

Top Topics

Multiple Agents

Fault Detection

Expert Knowledge

Software Development

Top Venues

Publications

Ilkka Karanta, Mika Rautila
An expert system for mitigation actions. FRUCT (2017)
Jukka Julku, Mika Rautila
Towards a Generic Non-intrusive Fault Detection Framework. RV (2013)
Matti Mantere, Kaarina Karppinen, Mika Rautila
The Effect of Pre-written Scripts on the Use of Simple Software Security Analysis Tools. INC (2010)
Taneli Huuskonen, Tapani Hyttinen, Mika Rautila
On potential isomorphism and non-structure. Arch. Math. Log. 43 (1) (2004)
Sy D. Friedman, Tapani Hyttinen, Mika Rautila
. J. Symb. Log. 68 (2) (2003)
Tapani Hyttinen, Mika Rautila
The Canary Tree Revisited. J. Symb. Log. 66 (4) (2001)
Taneli Huuskonen, Tapani Hyttinen, Mika Rautila
[l]I[\lambda ]. Arch. Math. Log. 38 (8) (1999)