No photo of Tommi Junttila

View Scopus Profile

Tommi Junttila

  • Phone+358 50 4300861

  • Aalto SCI Computer Science Konemiehentie 2

19982020

Research activity per year

If you made any changes in Pure these will be visible here soon.

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

  • 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
    30 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. 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 contribution › 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 contribution › Scientific › peer-review

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

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

    1 Citation (Scopus)

  • Beyond Lassos: Complete SMT-Based Bounded Model Checking for Timed Automata

    Kindermann, R., Junttila, T. & Niemelä, I., 2012, FMOODS FORTE IFIP International Conference on Formal Techniques for Distributed Systems (FMOODS/FORTE 2012) FMOODS FORTE, Stockholm, Sweden, June 13-16, 2012. Giese, H. & Rosu, G. (eds.). p. 84-100 (Lecture Notes in Computer Science; vol. 7273).

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

    11 Citations (Scopus)
View all 73 research output
  • 15 Membership of a scientific or program committee of a conference or seminar
  • 2 Visit abroad
  • 1 Organization of a workshop, panel, session or tutorial
  • 1 Reviewer of scientific journal
View all 19 activities