Tutkimustuotoksia vuodessa
Tutkimustuotoksia vuodessa
Henkilökohtainen profiili
Koulutus / tieteellinen pätevyys
Tekn. toht., tietotekniikka
Myöntöpäivä: 17 marraskuuta 2003
Tekn. lis., tietotekniikka
Myöntöpäivä: 20 joulukuuta 1999
Dipl.ins., tietotekniikka
Myöntöpäivä: 10 heinäkuuta 1998
Sormenjälki
Sukella tutkimusaiheisiin, joissa Tommi Junttila on aktiivinen. Nämä aihemerkinnät ovat peräisin tämän henkilön teoksista. Yhdessä ne muodostavat ainutlaatuisen sormenjäljen.
- 2 Samanlaiset profiilit
Tutkimustuotos
-
An adaptive prefix-assignment technique for symmetry reduction
Junttila, T., Karppa, M., Kaski, P. & Kohonen, J., heinäkuuta 2019, julkaisussa : JOURNAL OF SYMBOLIC COMPUTATION. 99, s. 21-49Tutkimustuotos: Lehtiartikkeli › Article
Open accessTiedosto -
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. s. 101-118 18 Sivumäärä (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vuosikerta 10491 LNCS).Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu
-
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, s. 216-225Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu
-
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. s. 568-583 (Lecture Notes in Computer Science; Vuosikerta 8312).Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu
-
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. (toim.). s. 84-100 (Lecture Notes in Computer Science; Vuosikerta 7273).Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu
Projektit
- 1 Päättynyt
-
Laajojen rajoitemallien kehitys- ja ratkaisumenetelmät
01/01/2010 → 31/12/2011
Projekti: Academy of Finland: Other research funding
Aktiviteetit
-
AAAI Conference on Artificial Intelligence
Tommi Junttila (Member)
2017Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys
-
SC2 Summer School
Keijo Heljanko (Järjestäjä), Tomi Janhunen (Järjestäjä) & Tommi Junttila (Järjestäjä)
31 heinäkuuta 2017 → 4 elokuuta 2017Aktiviteetti: Työpajan, paneelin, session tai tutoriaalin järjestäminen
-
Global Conference on Artificial Intelligence
Tommi Junttila (Member)
2016Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys
-
European Conference on Logics in Artificial Intelligence
Tommi Junttila (Member)
2016Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys
-
Theory and Practice of Logic Programming (Lehti)
Tommi Junttila (Vertaisarvioija)
2016 → 2017Aktiviteetti: Tieteellisen lehden refereenä toimiminen