Research Output per year
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-49Research output: Contribution to journal › Article › Scientific › peer-review
Open Access
File
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
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-225Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
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
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
Projects
- 1 Finished
Laajojen rajoitemallien kehitys- ja ratkaisumenetelmät
01/01/2010 → 31/12/2011
Project: Academy of Finland: Other research funding
Activities
AAAI Conference on Artificial Intelligence
Tommi Junttila (Member)2017
Activity: Participating in or organising an event types › Membership 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 2017 → 4 Aug 2017
Activity: Participating in or organising an event types › Organization of a workshop, panel, session or tutorial
Theory and Practice of Logic Programming (Journal)
Tommi Junttila (Reviewer)2016 → 2017
Activity: Publication peer-review and editorial work types › Reviewer of scientific journal
Global Conference on Artificial Intelligence
Tommi Junttila (Member)2016
Activity: Participating in or organising an event types › Membership 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 types › Membership of a scientific or program committee of a conference or seminar