| 2022 | CSEDU | Adapting Formal Logic for Everyday Mathematics. | Antti Valmari |
| 2021 | CSEDU | Automated Checking of Flexible Mathematical Reasoning in the Case of Systems of (In)Equations and the Absolute Value Operator. | Antti Valmari |
| 2020 | FOSSACS | The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction. | Thomas Neele, Antti Valmari, Tim A. C. Willemse |
| 2019 | CSEDU | Arithmetic, Logic, Syntax and MathCheck. | Antti Valmari, Johanna Rantala |
| 2018 | CSEDU | Elementary Math to Close the Digital Skills Gap. | Pia Niemel, Antti Valmari |
| 2018 | CSEDU | Algorithms and Logic as Programming Primers. | Pia Niemel, Antti Valmari, Simo Ali-Lytty |
| 2018 | FMICS | Progress Checking for Dummies. | Antti Valmari, Henri Hansen |
| 2012 | CONCUR | All Linear-Time Congruences for Familiar Operators Part 2: Infinite LTSs. | Antti Valmari |
| 2010 | TACAS | Simple | Antti Valmari, Giuliana Franceschinis |
| 2009 | ATVA | Exploring the Scope for Partial Order Reduction. | Jaco Geldenhuys, Henri Hansen, Antti Valmari |
| 2008 | STACS | Efficient Minimization of DFAs with Partial Transition. | Antti Valmari, Petri Lehtinen |
| 2006 | CONCUR | Operational Determinism and Fast Algorithms. | Henri Hansen, Antti Valmari |
| 2004 | TACAS | Tarjan's Algorithm Makes On-the-Fly LTL Verification More Efficient. | Jaco Geldenhuys, Antti Valmari |
| 2004 | TACAS | Tampere Verification Tool. | Heikki Virtanen, Henri Hansen, Antti Valmari, Juha Nieminen, Timo Erkkil |
| 2002 | CONCUR | Alphabet-Based Synchronisation is Exponentially Cheaper. | Antti Valmari, Antti Kervinen |
| 2001 | CONCUR | Techniques for Smaller Intermediary BDDs. | Jaco Geldenhuys, Antti Valmari |
| 2001 | CONCUR | Liveness and Fairness in Process-Algebraic Verification. | Antti Puhakka, Antti Valmari |
| 2000 | TACAS | Checking for CFFD-Preorder with Tester Processes. | Juhana Helovuo, Antti Valmari |
| 1999 | CONCUR | Weakest-Congruence Results for Livelock-Preserving Equivalences. | Antti Puhakka, Antti Valmari |
| 1997 | CAV | Relaxed Visibility Enhances Partial Order Reduction. | Ilkka Kokkarinen, Doron A. Peled, Antti Valmari |
| 1996 | FM | Visual Verification of Safety and Liveness. | Antti Valmari, Manu Setl |
| 1996 | PDP | Visualisation of Reduced Abstracted Behaviour as a Design Tool. | Antti Valmari, Konsta Karsisto, Manu Setl |
| 1993 | CAV | On-the-Fly Verification with Stubborn Sets. | Antti Valmari |
| 1993 | FM | Putting Advanced Reachability Analysis Techniques Together: the "ARA" Tool. | Antti Valmari, Jukka Kemppainen, Matthew Clegg, Mikko Levanto |
| 1992 | CONCUR | The Weakest Compositional Semantic Equivalence Preserving Nexttime-less Linear temporal Logic. | Roope Kaivola, Antti Valmari |
| 1991 | CONCUR | Using Truth-Preserving Reductions to Improve the Clarity of Kripke-Models. | Roope Kaivola, Antti Valmari |
| 1991 | CONCUR | Reduced Labelled Transition Systems Save Verification Effort. | Antti Valmari, Matthew Clegg |
| 1990 | CAV | A Stubborn Attack On State Explosion. | Antti Valmari |