Tommi Junttila

  • Aalto SCI Computer Science Konemiehentie 2

19982019

Research output per year

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

Personal profile

Education/Academic qualification

Doctor of Science (Technology), Information Technology

Licentiate of Science (Technology), Information Technology

Master of Science (Technology), Information Technology

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.

  • 2 Similar Profiles

Research Output

An adaptive prefix-assignment technique for symmetry reduction

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

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
  • 25 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

    7 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)

    Projects

    Laajojen rajoitemallien kehitys- ja ratkaisumenetelmät

    Junttila, T.

    01/01/201031/12/2011

    Project: Academy of Finland: Other research funding

    Activities

    • 9 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

    AAAI Conference on Artificial Intelligence

    Tommi Junttila (Member)
    2017

    Activity: Participating in or organising an event typesMembership of a scientific or program committee of a conference or seminar

    SC2 Summer School

    Keijo Heljanko (Organiser), Tomi Janhunen (Organiser), Tommi Junttila (Organiser)
    31 Jul 20174 Aug 2017

    Activity: Participating in or organising an event typesOrganization of a workshop, panel, session or tutorial

    Theory and Practice of Logic Programming (Journal)

    Tommi Junttila (Reviewer)
    20162017

    Activity: Publication peer-review and editorial work typesReviewer of scientific journal

    Global Conference on Artificial Intelligence

    Tommi Junttila (Member)
    2016

    Activity: Participating in or organising an event typesMembership of a scientific or program committee of a conference or seminar

    European Conference on Logics in Artificial Intelligence

    Tommi Junttila (Member)
    2016

    Activity: Participating in or organising an event typesMembership of a scientific or program committee of a conference or seminar