Tommi Junttila

Massimo Bartoletti, James Chiang, Tommi Junttila, Alberto Lluch Lafuente, Massimiliano Mirelli, Andrea Vandin 2022 Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning - 11th International Symposium, ISoLA 2022, Proceedings

Tommi Junttila, Matti Karppa, Petteri Kaski, Jukka Kohonen 2020 Journal of Symbolic Computation

Tommi Junttila, Matti Karppa, Petteri Kaski, Jukka Kohonen 2017 Theory and Applications of Satisfiability Testing – SAT 2017 - 20th International Conference, Proceedings

Roland Kindermann, Tommi Junttila, Ilkka Niemelä 2013 13th International Conference on Application of Concurrency to System Design (ACSD), July 8-10, Barcelona, Spain

Tero Laitinen, Tommi Junttila, Ilkka Niemelä 2013 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR-19, Stellenbosch, South Africa, 15-19th December 2013

Jori Dubrovin, Tommi Junttila, Keijo Heljanko 2012 Science of Computer Programming

Roland Kindermann, Tommi Junttila, Ilkka Niemelä 2012 FMOODS FORTE IFIP International Conference on Formal Techniques for Distributed Systems (FMOODS/FORTE 2012) FMOODS FORTE, Stockholm, Sweden, June 13-16, 2012

Roland Kindermann, Tommi Junttila, Ilkka Niemelä 2012 10th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2012), London, UK, September 18-20, 2012

Tero Laitinen, Tommi Junttila, Ilkka Niemelä 2012 18th International Conference on Principles and Practice of Constraint Programming (CP 2012), Quebec City, Canada, October 8-12, 2012

Tero Laitinen, Tommi Junttila, Ilkka Niemelä 2012 Fifteenth International Conference on Theory and Applications of Satisfiability Testing (SAT 2012), Trento, Italy, June 17-20, 2012

Tero Laitinen, Tommi Junttila, Ilkka Niemelä 2012 2012 IEEE 24th International Conference on Tools with Artificial Intelligence, ICTAI 2012

Antti E.J. Hyvärinen, Tommi Junttila, Ilkka Niemelä 2011 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011

Antti E.J. Hyvärinen, Tommi Junttila, Ilkka Niemelä 2011 Fundamenta Informaticae

Tommi Junttila, Petteri Kaski 2011 TAPAS Theory and Practice of Algorithms in (Computer) Systems, First International ICST Conference, TAPAS 2011, Rome, Italy, April 18-20, 2011

Roland Kindermann, Tommi Junttila, Ilkka Niemelä 2011 11th International Conference on Application of Concurrency to System Designg, (ACSD 2011)

Tero Laitinen, Tommi Junttila, Ilkka Niemelä 2011 23rd IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2011)

Tuomas Launiainen, Keijo Heljanko, Tommi Junttila 2011 IET Computers and Digital Techniques

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

Tommi Junttila, Petteri Kaski 2010 16th International Conference on Principles and Practice of Constraint Programming (CP 2010, St. Andrews, Scotland, September6-10)

Tero Laitinen, Tommi A. Junttila, Ilkka Niemelä 2010 19th European Conference on Artificial Intelligence (ECAI 2010), Lisbon, Portugal, August 16-20, 2010

Tuomas Launiainen, Keijo Heljanko, Tommi Junttila 2010 The 10th International Conference on Application of Concurrency to System Design (ACSD'2010)

Alessandro Cimatti, Jori Dubrovin, Tommi Junttila, Marco Roveri 2009 The 9th International Conference on Formal Methods in Computer Aided Design (FMCAD'09)

Rolf Drechsler, Tommi Junttila, Ilkka Niemelä 2009 Handbook of Satisfiability

Antti E.J. Hyvärinen, Tommi Junttila, Ilkka Niemelä 2009 Journal of Satisfiability, Boolean Modeling and Computation

Antti E.J. Hyvärinen, Tommi Junttila, Ilkka Niemelä 2009 AI*IA 2009: Emergent Perspectives in Artificial Intelligence

Antti E.J. Hyvärinen, Tommi Junttila, Ilkka Niemelä 2009

Matti Järvisalo, Tommi Junttila 2009 Constraints

Jori Dubrovin, Tommi Junttila 2008 The 8th International Conference on Application of Concurrency to System Design (ACSD'08)

Jori Dubrovin, Tommi Junttila, Keijo Heljanko 2008 Formal Methods for Open Object-based Distributed Systems (FMOODS'08)

Antti E.J. Hyvärinen, Tommi Junttila, Ilkka Niemelä 2008 Artificial Intelligence: Methodology, Systems, and Applications

Antti E.J. Hyvärinen, Tommi Junttila, Ilkka Niemelä 2008 Intelligent Computer Mathematics

Tommi Junttila, Jori Dubrovin 2008 Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'08)

Matti Järvisalo, Tommi Junttila, Ilkka Niemelä 2008 Logic for Programming, Artificial Intelligence, and Reasoning

Matti Järvisalo, Tommi Junttila, Ilkka Niemelä 2008 ECAI 2008

Matti Järvisalo, Tommi Junttila 2008 23rd AAAI Conference on Artificial Intelligence, Chicago, Illinois, USA, July 13-17, 2008

Jori Dubrovin, Tommi Junttila 2007

Jori Dubrovin, Tommi Junttila, Keijo Heljanko 2007

Tommi Junttila, Petteri Kaski 2007 The Ninth Workshop on Algorithm Engineering and Experiments and the Fourth Workshop on Analytic Algorithms and Combinatorics

Tommi Junttila 2007

Matti Järvisalo, Tommi Junttila 2007 13th International Conference on Principles and Practice of Constraint Programming (CP'07), Providence, Rhode Island, USA, 23-27.9.2007

Armin Biere, Keijo Heljanko, Tommi Junttila, Timo Latvala, Viktor Schuppan 2006 Logical Methods in Computer Science

Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi Junttila, Silvio Ranise, Peter van Rossum, Roberto Sebastiani 2006 Information and Computation

Keijo Heljanko, Tommi Junttila, Misa Keinänen, Martin Lange, Timo Latvala 2006 Computer Aided Verification 2006, Seattle, WA, USA, 17.-20.8.2006

Antti E.J. Hyvärinen, Tommi Junttila, Ilkka Niemelä 2006 Theory and Applications of Satisfiability Testing - SAT 2006

Tommi Junttila 2006

Tommi Junttila, Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Peter van Rossum, Stephan Schulz, Roberto Sebastiani 2006 SAT 2005; Satisfiability Research in the Year 2005

Toni Jussila, Jori Dubrovin, Tommi Junttila, Timo Latvala, Ivan Porres 2006 3rd Workshop on Model Design and Validation (MoDeVa 2006), Genova, Italy, October 2nd 2006

Timo Latvala, Tommi Junttila 2006

Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi Junttila, Peter van Rossum, Stephan Schulz, Roberto Sebastiani 2005 Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2005), April 4-8, 2005, Edinburgh, U.K.

Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi Junttila, Silvio Ranise, Peter van Rossum, Roberto Sebastiani 2005 Computer Aided Verification 2005, Edinburgh,UK, 6-10.7.2005

Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi Junttila, Peter van Rossum, Stefan Schulz, Roberto Sebastiani 2005 Journal of Automated Reasoning

Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi Junttila, Peter van Rossum, Stephan Schulz, Roberto Sebastiani 2005 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005

Keijo Heljanko, Tommi Junttila, TImo Latvala 2005 Computer Aided Verification 2005, Edinburgh,UK, 6-10.7.2005

Tommi Junttila 2005

Matti Järvisalo, Tommi Junttila, Ilkka Niemelä 2005 Annals of Mathematics and Artificial Intelligence

Timo Latvala, Armin Biere, Keijo Heljanko, Tommi Junttila 2005 Verification, Model Checking, and Abstract Interpretation, Paris, France, 17-19 January 2005

Tommi Junttila 2004 Application and Theory of Petri Nets 2004, Bologna, Italy, June 2004

Tommi Junttila 2004 Application of Concurrency to System Design 2004, Hamilton, Canada, June 2004

Matti Järvisalo, Tommi Junttila, Ilkka Niemelä 2004 Eighth International Symposium on Artificial Intelligence and Mathematics, Ft. Lauderdale, Florida, USA, 4.-6.1.2004

Timo Latvala, Armin Biere, Keijo Heljanko, Tommi Junttila 2004

Timo Latvala, Armin Biere, Keijo Heljanko, Tommi Junttila 2004 Formal Methods in Computer-Aided Design 2004, Austin, Texas, USA, 15.-17.11.2004

Tommi Junttila 2002

Tommi Junttila 2001

Tommi A. Junttila 2001 Journal of Universal Computer Science

T. Junttila 2000

Tommi Junttila, Ilkka Niemelä 2000 1st International Conference on Computational Logic, CL 2000, London, UK, July 24–28, 2000. Proceedings

T. Junttila 1999

T. Junttila 1999 Fundamenta Informaticae

T. Junttila 1998 Workshop Concurrency, Specification & Programming

��

Publications

������

Tommi Junttila

Publications

��