by Biere, Armin, Heljanko, Keijo, Junttila, Tommi, Latvala, Timo, Schuppan, Viktor
Published in Logical methods in computer science (15.11.2006)

by Hyvärinen, Antti E. J., Junttila, Tommi, Niemelä, Ilkka
Published in Logic for Programming, Artificial Intelligence, and Reasoning (2010)

by HELJANKO, Keijo, JUNTTILA, Tommi, KEINÄNEN, Misa, LANGE, Martin, LATVALA, Timo
Published in Lecture notes in computer science (2006)

by Hyvärinen, Antti E. J., Junttila, Tommi, Niemelä, Ilkka
Published in Lecture notes in computer science (2006)

by Junttila, Tommi, Karppa, Matti, Kaski, Petteri, Kohonen, Jukka
Published in Journal of symbolic computation (01.07.2020)

by Junttila, Tommi, Kaski, Petteri
Published in Theory and Practice of Algorithms in (Computer) Systems (2011)

by Dubrovin, Jori, Junttila, Tommi, Heljanko, Keijo
Published in Science of computer programming (01.09.2012)

by Bartoletti, Massimo, Chiang, James, Junttila, Tommi, Lluch Lafuente, Alberto, Mirelli, Massimiliano, Vandin, Andrea
Published in Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning (2022)

by Kindermann, Roland, Junttila, Tommi, Niemela, Ilkka
Published in 2013 13th International Conference on Application of Concurrency to System Design (01.07.2013)

by Järvisalo, Matti, Junttila, Tommi
Published in Constraints : an international journal (01.09.2009)

by Bozzano, Marco, Bruttomesso, Roberto, Cimatti, Alessandro, Junttila, Tommi, Ranise, Silvio, van Rossum, Peter, Sebastiani, Roberto
Published in Information and computation (01.10.2006)

by Latvala, Timo, Biere, Armin, Heljanko, Keijo, Junttila, Tommi
Published in Lecture notes in computer science (01.01.2005)

by Launiainen, Tuomas, Heljanko, Keijo, Junttila, Tommi
Published in 2010 10th International Conference on Application of Concurrency to System Design (01.06.2010)

by Kindermann, Roland, Junttila, Tommi, Niemelä, Ilkka
Published in Formal Modeling and Analysis of Timed Systems (2012)

by Hyvärinen, Antti E.J., Junttila, Tommi, Niemelä, Ilkka
Published in Fundamenta informaticae (2011)

by Heljanko, Keijo, Junttila, Tommi, Latvala, Timo
Published in Computer Aided Verification (2005)

by Bozzano, Marco, Bruttomesso, Roberto, Cimatti, Alessandro, Junttila, Tommi, van Rossum, Peter, Schulz, Stephan, Sebastiani, Roberto
Published in Journal of automated reasoning (01.10.2005)

by Kindermann, Roland, Junttila, Tommi, Niemelä, Ilkka
Published in Formal Techniques for Distributed Systems (2012)

by Dubrovin, J., Junttila, T.
Published in 2008 8th International Conference on Application of Concurrency to System Design (01.06.2008)

by Junttila, Tommi, Kaski, Petteri
Published in Society for Industrial and Applied Mathematics. Proceedings of the Workshop on Algorithm Engineering and Experiments (ALENEX) (01.01.2007)