Mika Rautila

According to our database, Mika Rautila authored at least 7 papers between 1999 and 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2017

An expert system for mitigation actions.

Ilkka Karanta, Mika Rautila

Proceedings of the 20th Conference of Open Innovations Association, 2017

2013

Towards a Generic Non-intrusive Fault Detection Framework.

Jukka Julku, Mika Rautila

Proceedings of the Runtime Verification - 4th International Conference, 2013

2010

The Effect of Pre-written Scripts on the Use of Simple Software Security Analysis Tools.

Matti Mantere, Kaarina Karppinen, Mika Rautila

Proceedings of the Eighth International Network Conference (INC 2010), 2010

2004

On potential isomorphism and non-structure.

Taneli Huuskonen, Tapani Hyttinen, Mika Rautila

Arch. Math. Log., 2004

2003

Classification theory and 0^#.

Sy D. Friedman, Tapani Hyttinen, Mika Rautila

J. Symb. Log., 2003

2001

The Canary Tree Revisited.

Tapani Hyttinen, Mika Rautila

J. Symb. Log., 2001

1999

On the k\kappa-cub game on l\lambda and <i>I</i>[l]I[\lambda ].

Taneli Huuskonen, Tapani Hyttinen, Mika Rautila

Arch. Math. Log., 1999