Ei valokuvaa Tommi Junttila

Näytä Scopus-profiili

Tommi Junttila

  • Puhelin+358504300861

  • Aalto SCI Computer Science Konemiehentie 2

19982022

Tutkimustuotoksia vuodessa

Henkilökohtainen profiili

Koulutus / tieteellinen pätevyys

Doctoral degree, Engineering and Technology, Helsinki University of Technology

Myöntöpäivä: 17 marrask. 2003

Licentiate degree, Engineering and Technology, Helsinki University of Technology

Myöntöpäivä: 20 jouluk. 1999

Master's degree, Engineering and Technology, Helsinki University of Technology

Myöntöpäivä: 10 heinäk. 1998

Sormenjälki

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

Yhteistyöt ja huippututkimusalueet viimeisiltä viideltä vuodelta

Viimeisin maa-/aluetasolla toteutettu yhteistyö. Saat tarkempia lisätietoja pisteitä napauttamalla, tai
Tutki verkkoa laajemmin

  • 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/konferenssijulkaisussa › Conference article in proceedings › Scientific › vertaisarvioitu

    Open access
    10 Sitaatiot (Scopus)

  • 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: Lehtiartikkeli › Article › Scientific › vertaisarvioitu

    Open access
    Tiedosto
    4 Sitaatiot (Scopus)
    170 Lataukset (Pure)

  • 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/konferenssijulkaisussa › Conference article in proceedings › Scientific › vertaisarvioitu

    1 Sitaatiot (Scopus)

  • Bounded Model Checking of an MITL Fragment for Timed Automata

    Kindermann, R., Junttila, T. & Niemelä, I., 2013, 13th International Conference on Application of Concurrency to System Design (ACSD), July 8-10, Barcelona, Spain. IEEE, s. 216-225

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference article in proceedings › Scientific › vertaisarvioitu

    9 Sitaatiot (Scopus)

  • Simulating Parity Reasoning

    Laitinen, T., Junttila, T. & Niemelä, I., 2013, 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR-19, Stellenbosch, South Africa, 15-19th December 2013. Springer, s. 568-583 (Lecture Notes in Computer Science; Vuosikerta 8312).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference article in proceedings › Scientific › vertaisarvioitu

    1 Sitaatiot (Scopus)
Näytä kaikki 74 julkaisut ja taiteelliset tuotokset
  • 15 Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys
  • 2 Vierailu ulkomaiseen yliopistoon
  • 1 Työpajan, paneelin, session, tutoriaalin tai tapahtuman järjestäminen
  • 1 Tieteellisen lehden refereenä toimiminen
Näytä kaikki 19 aktiviteetit