No photo of Tommi Junttila

View Scopus Profile

Tommi Junttila

  • Phone+358504300861

  • Aalto SCI Computer Science Konemiehentie 2

19982022

Research activity per year

Personal profile

Education/Academic qualification

Doctoral degree, Engineering and Technology, Helsinki University of Technology

Award Date: 17 Nov 2003

Licentiate degree, Engineering and Technology, Helsinki University of Technology

Award Date: 20 Dec 1999

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

Award Date: 10 Jul 1998

Fingerprint

Dive into the research topics where Tommi Junttila is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles
View full fingerprint

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Explore network further

  • 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. (eds.). Springer, p. 335-355 21 p. (Lecture Notes in Computer Science ; vol. 13703 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

    Open Access
    6 Citations (Scopus)

  • An adaptive prefix-assignment technique for symmetry reduction

    Junttila, T., Karppa, M., Kaski, P. & Kohonen, J., Aug 2020, In: JOURNAL OF SYMBOLIC COMPUTATION. 99, p. 21-49 29 p.

    Research output: Contribution to journal › Article › Scientific › peer-review

    Open Access
    File
    2 Citations (Scopus)
    172 Downloads (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, p. 101-118 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10491 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

    1 Citation (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, p. 216-225

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

    9 Citations (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, p. 568-583 (Lecture Notes in Computer Science; vol. 8312).

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

    1 Citation (Scopus)
View all 74 research outputs
  • 15 Membership of a scientific or program committee of a conference or seminar
  • 2 Visiting an external academic institution
  • 1 Organization of a workshop, panel, session, tutorial or event
  • 1 Reviewer of scientific journal
View all 19 activities