Publications
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
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
2012 IEEE 24th International Conference on Tools with Artificial Intelligence, ICTAI 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
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
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
Jori Dubrovin, Tommi Junttila, Keijo Heljanko
2012
Science of Computer Programming
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
Tuomas Launiainen, Keijo Heljanko, Tommi Junttila
2010
The 10th International Conference on Application of Concurrency to System Design (ACSD'2010)
Tero Laitinen, Tommi A. Junttila, Ilkka Niemelä
2010
19th European Conference on Artificial Intelligence (ECAI 2010), Lisbon, Portugal, August 16-20, 2010
Tommi Junttila, Petteri Kaski
2010
16th International Conference on Principles and Practice of Constraint Programming (CP 2010, St. Andrews, Scotland, September6-10)
Antti E.J. Hyvärinen, Tommi Junttila, Ilkka Niemelä
2010
Logic for Programming, Artificial Intelligence, and Reasoning
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
Matti Järvisalo, Tommi Junttila, Ilkka Niemelä
2008
Logic for Programming, Artificial Intelligence, and Reasoning
Matti Järvisalo, Tommi Junttila
2008
23rd AAAI Conference on Artificial Intelligence, Chicago, Illinois, USA, July 13-17, 2008
Matti Järvisalo, Tommi Junttila, Ilkka Niemelä
2008
ECAI 2008
Jori Dubrovin, Tommi Junttila, Keijo Heljanko
2008
Formal Methods for Open Object-based Distributed Systems (FMOODS'08)
Tommi Junttila, Jori Dubrovin
2008
Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'08)
Antti E.J. Hyvärinen, Tommi Junttila, Ilkka Niemelä
2008
Intelligent Computer Mathematics
Antti E.J. Hyvärinen, Tommi Junttila, Ilkka Niemelä
2008
Artificial Intelligence: Methodology, Systems, and Applications
Jori Dubrovin, Tommi Junttila
2008
The 8th International Conference on Application of Concurrency to System Design (ACSD'08)
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
Tommi Junttila, Petteri Kaski
2007
The Ninth Workshop on Algorithm Engineering and Experiments and the Fourth Workshop on Analytic Algorithms and Combinatorics
Jori Dubrovin, Tommi Junttila
2007
Jori Dubrovin, Tommi Junttila, Keijo Heljanko
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, 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
Timo Latvala, Armin Biere, Keijo Heljanko, Tommi Junttila
2005
Verification, Model Checking, and Abstract Interpretation, Paris, France, 17-19 January 2005
Matti Järvisalo, Tommi Junttila, Ilkka Niemelä
2005
Annals of Mathematics and Artificial Intelligence
Keijo Heljanko, Tommi Junttila, TImo Latvala
2005
Computer Aided Verification 2005, Edinburgh,UK, 6-10.7.2005
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
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, 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, Stephan Schulz, Roberto Sebastiani
2005
Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2005), April 4-8, 2005, Edinburgh, U.K.
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 A. Junttila
2001
Journal of Universal Computer Science
Tommi Junttila, Ilkka Niemelä
2000
1st International Conference on Computational Logic, CL 2000, London, UK, July 24–28, 2000. Proceedings
T. Junttila
1999
Fundamenta Informaticae
T. Junttila
1998
Workshop Concurrency, Specification & Programming