Tommi A. Junttila
Affiliations:- Aalto University, Finland
According to our database1,
Tommi A. Junttila
authored at least 55 papers
between 1999 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on tcs.hut.fi
On csauthors.net:
Bibliography
2022
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning, 2022
2021
Proceedings of the Handbook of Satisfiability - Second Edition, 2021
2020
J. Symb. Comput., 2020
2014
2013
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013
Proceedings of the 13th International Conference on Application of Concurrency to System Design, 2013
2012
Exploiting step semantics for efficient bounded model checking of asynchronous systems.
Sci. Comput. Program., 2012
Extending Clause Learning SAT Solvers with Complete Parity Reasoning (extended version)
CoRR, 2012
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012
Proceedings of the IEEE 24th International Conference on Tools with Artificial Intelligence, 2012
Proceedings of the Formal Techniques for Distributed Systems, 2012
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2012
Proceedings of the Principles and Practice of Constraint Programming, 2012
2011
Proceedings of the Theory and Practice of Algorithms in (Computer) Systems, 2011
Proceedings of the IEEE 23rd International Conference on Tools with Artificial Intelligence, 2011
Proceedings of the Principles and Practice of Constraint Programming - CP 2011, 2011
Proceedings of the 11th International Conference on Application of Concurrency to System Design, 2011
2010
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010
Proceedings of the ECAI 2010, 2010
Proceedings of the Principles and Practice of Constraint Programming - CP 2010, 2010
2009
J. Satisf. Boolean Model. Comput., 2009
Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, 2009
2008
Proceedings of the Logic for Programming, 2008
Proceedings of the Logic for Programming, 2008
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2008
Proceedings of the ECAI 2008, 2008
Proceedings of the Intelligent Computer Mathematics, 9th International Conference, 2008
Proceedings of the Artificial Intelligence: Methodology, 2008
Proceedings of the 8th International Conference on Application of Concurrency to System Design (ACSD 2008), 2008
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008
2007
Proceedings of the Nine Workshop on Algorithm Engineering and Experiments, 2007
2006
Proceedings of the Theory and Applications of Satisfiability Testing, 2006
Proceedings of the Computer Aided Verification, 18th International Conference, 2006
2005
J. Autom. Reason., 2005
Ann. Math. Artif. Intell., 2005
Proceedings of the Verification, 2005
An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005
Proceedings of the Computer Aided Verification, 17th International Conference, 2005
Proceedings of the Computer Aided Verification, 17th International Conference, 2005
2004
Proceedings of the Formal Methods in Computer-Aided Design, 5th International Conference, 2004
Proceedings of the Applications and Theory of Petri Nets 2004, 2004
Proceedings of the 4th International Conference on Application of Concurrency to System Design (ACSD 2004), 2004
2003
PhD thesis, 2003
2001
J. Univers. Comput. Sci., 2001
2000
Proceedings of the Computational Logic, 2000
1999