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
  • 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 journalArticleScientificpeer-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 proceedingConference contributionScientificpeer-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 proceedingConference contributionScientificpeer-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 proceedingConference contributionScientificpeer-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 proceedingConference contributionScientificpeer-review

    11 Citations (Scopus)