Ei valokuvaa Miikka Vilander
20192023

Tutkimustuotoksia vuodessa

Jos olet muokannut tietoja Puressa, ne näkyvät pian tässä.

Henkilökohtainen profiili

Koulutus / tieteellinen pätevyys

Fil. maist., muu tai tuntematon luonnontieteellinen ala, University of Tampere

Myöntöpäivä: 8 kesäk. 2016

Tutkimusalat

  • QA75 Electronic computers. Computer science

Sormenjälki

Sukella tutkimusaiheisiin, joissa Miikka Vilander on aktiivinen. Nämä aihemerkinnät ovat peräisin tämän henkilön teoksista. Yhdessä ne muodostavat ainutlaatuisen sormenjäljen.
  • 1 Samanlaiset profiilit

Yhteistyöt ja huippututkimusalueet viimeisiltä viideltä vuodelta

Viimeisin maa-/aluetasolla toteutettu yhteistyö. Saat tarkempia lisätietoja pisteitä napauttamalla, tai
  • Relating Description Complexity to Entropy

    Jaakkola, R., Kuusisto, A. & Vilander, M., 1 maalisk. 2023, 40th International Symposium on Theoretical Aspects of Computer Science, STACS 2023. Berenbrink, P., Bouyer, P., Dawar, A. & Kante, M. M. (toim.). 18 Sivumäärä 38. (Leibniz International Proceedings in Informatics, LIPIcs; Vuosikerta 254).

    Tutkimustuotos: KonferenssiartikkeliScientificvertaisarvioitu

    Open access
    Tiedosto
    1 Lataukset (Pure)
  • Short Boolean Formulas as Explanations in Practice

    Jaakkola, R., Janhunen, T., Kuusisto, A., Feyzbakhsh Rankooh, M. & Vilander, M., 24 syysk. 2023, Logics in Artificial Intelligence. Gaggl, S., Martinez, M. V. & Ortiz, M. (toim.). Springer, Vuosikerta 14281. s. 90-105 16 Sivumäärä 7. (Lecture Notes in Computer Science; Vuosikerta 14281).

    Tutkimustuotos: KonferenssiartikkeliScientificvertaisarvioitu

    Open access
    Tiedosto
    1 Lataukset (Pure)
  • Defining Long Words Succinctly in FO and MSO

    Hella, L. & Vilander, M., 2022, Revolutions and Revelations in Computability: 18th Conference on Computability in Europe, CiE 2022, Swansea, UK, July 11–15, 2022, Proceedings. Berger, U., Franklin, J. N. Y., Manea, F. & Pauly, A. (toim.). Springer, s. 125-138 14 Sivumäärä (Lecture Notes in Computer Science; Vuosikerta 13359).

    Tutkimustuotos: KonferenssiartikkeliScientificvertaisarvioitu

    Open access
    Tiedosto
    1 Lataukset (Pure)
  • Explainability via Short Formulas: the Case of Propositional Logic with Implementation

    Jaakkola, R., Janhunen, T., Kuusisto, A., Feyzbakhsh Rankooh, M. & Vilander, M., 5 syysk. 2022, Joint Proceedings of the 1st International Workshop on HYbrid Models for Coupling Deductive and Inductive ReAsoning HYDRA} 2022 and the 29th RCRA Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion RCRA 2022 co-located with the 16th International Conference on Logic Programming and Non-monotonic Reasoning LPNMR 2022, Genova Nervi, Italy, September 5, 2022. Vuosikerta 3281. s. 64-77 13 Sivumäärä ( CEUR workshop proceedings).

    Tutkimustuotos: KonferenssiartikkeliScientificvertaisarvioitu

    Open access
    Tiedosto
    2 Lataukset (Pure)
  • Succinctness and Formula Size Games

    Vilander, M., 2022, Tampere. (Tampere University Dissertations - Tampereen yliopiston väitöskirjat; Vuosikerta 659)

    Tutkimustuotos: VäitöskirjaCollection of Articles

    Open access