Lecturer Junttila Tommi group

Hakutulokset

  • 2022

    Formal Analysis of Lending Pools in Decentralized Finance

    Bartoletti, M., Chiang, J., Junttila, T., Lluch Lafuente, A., Mirelli, M. & Vandin, A., 2022, Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning - 11th International Symposium, ISoLA 2022, Proceedings. Margaria, T. & Steffen, B. (toim.). Springer, s. 335-355 21 Sivumäärä (Lecture Notes in Computer Science ; Vuosikerta 13703 LNCS).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference article in proceedingsScientificvertaisarvioitu

    Open access
    4 Sitaatiot (Scopus)
  • 2020

    An adaptive prefix-assignment technique for symmetry reduction

    Junttila, T., Karppa, M., Kaski, P. & Kohonen, J., elok. 2020, julkaisussa: JOURNAL OF SYMBOLIC COMPUTATION. 99, s. 21-49 29 Sivumäärä

    Tutkimustuotos: LehtiartikkeliArticleScientificvertaisarvioitu

    Open access
    Tiedosto
    1 Sitaatiot (Scopus)
    156 Lataukset (Pure)
  • 2017

    An adaptive prefix-assignment technique for symmetry reduction

    Junttila, T., Karppa, M., Kaski, P. & Kohonen, J., 2017, Theory and Applications of Satisfiability Testing – SAT 2017 - 20th International Conference, Proceedings. Springer, s. 101-118 18 Sivumäärä (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vuosikerta 10491 LNCS).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference article in proceedingsScientificvertaisarvioitu

    1 Sitaatiot (Scopus)