Antti Valmari

Cited by

	All	Since 2019
Citations	5783	782
h-index	31	12
i10-index	64	14

240

120

180

199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202438 75 144 112 119 239 178 169 158 200 164 180 136 198 199 169 225 182 194 146 203 210 218 209 194 199 211 239 184 150 160 123 88 76

Public access

View all

4 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Henri HansenDocent, University Lecturer, Mathematics, Tampere UniversityVerified email at tuni.fi
Jaco GeldenhuysAmazon Web ServicesVerified email at amazon.com
Lars M KristensenProfessor in Computer Science - Western Norway University of Applied SciencesVerified email at hvl.no
Doron A. PeledProfessor Of Computer Science, Bar Ilan UniversityVerified email at cs.biu.ac.il
Wojciech PenczekProfessor of Computer Science, ICS PAS (Warsaw)Verified email at ipipan.waw.pl
Tim WillemseAssociate Professor, Eindhoven University of TechnologyVerified email at tue.nl
Thomas NeeleAssistant Professor, Eindhoven University of TechnologyVerified email at tue.nl
Lauri HellaMatematiikan professori, Tampereen yliopistoVerified email at uta.fi
Pia NiemeläUniversity Lecturer, Tampere Universities (Hervanta campus)Verified email at tuni.fi
Mikko TiusanenVerified email at professori.fi
Raymond Devillersuniversite libre de bruxellesVerified email at ulb.ac.be
Kirsi HelkalaNorwegian Defence University College, Cyber AcademyVerified email at mil.no
Simo Ali-LöyttyTampere University of TechnologyVerified email at tut.fi
Matti RintalaTampere UniversityVerified email at tuni.fi
Olli Yli-HarjaTampere University, Faculty of Medicine and Health TechnologyVerified email at tuni.fi
Ilya ShmulevichProfessor, Institute for Systems BiologyVerified email at systemsbiology.org
Vesa LappalainenTietotekniikan lehtoriVerified email at jyu.fi

Antti Valmari

University of Jyväskylä

Verified email at jyu.fi

Programming Theoretical computer science Concurrency


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
The state explosion problem A Valmari Advanced Course on Petri Nets, 429-528, 1996	939	1996
Stubborn sets for reduced state space generation A Valmari Advances in Petri Nets 1990 10, 491-515, 1991	931	1991
A stubborn attack on state explosion A Valmari Computer-Aided Verification: 2nd International Conference, CAV'90 New …, 1991	683	1991
A stubborn attack on state explosion A Valmari Formal Methods in System Design 1, 297-322, 1992	328	1992
On-the-fly verification with stubborn sets A Valmari Computer Aided Verification: 5th International Conference, CAV'93 Elounda …, 1993	218	1993
Error detection by reduced reachability graph generation A Valmari Proceedings of the 9th European workshop on application and theory of petri …, 1988	147	1988
Compositional state space generation A Valmari Advances in Petri Nets 1993 12, 427-457, 1993	130	1993
Stubborn set methods for process algebras A Valmari Proceedings of the DIMACS workshop on Partial order methods in verification …, 1997	127	1997
An improved failures equivalence for finite-state systems with a reduction algorithm A Valmari, M Tienari Proceedings of the IFIP WG6. 1 International Symposium on Protocol …, 1991	114	1991
Simple O(m logn) Time Markov Chain Lumping A Valmari, G Franceschinis International Conference on Tools and Algorithms for the Construction and …, 2010	107	2010
Stubborn sets of coloured Petri nets A Valmari Proceedings of the 12th International Conference on Application and Theory …, 1991	98	1991
The weakest compositional semantic equivalence preserving nexttime-less linear temporal logic R Kaivola, A Valmari International Conference on Concurrency Theory, 207-221, 1992	95	1992
Compositional failure-based semantic models for basic LOTOS A Valmari, M Tienari Formal Aspects of Computing 7, 440-468, 1995	83	1995
Tarjan’s algorithm makes on-the-fly LTL verification more efficient J Geldenhuys, A Valmari International Conference on Tools and Algorithms for the Construction and …, 2004	79	2004
State of the art report: Stubborn sets A Valmari Petri net newsletter, 6-14, 1994	77	1994
More efficient on-the-fly LTL verification with Tarjan's algorithm J Geldenhuys, A Valmari Theoretical Computer Science 345 (1), 60-82, 2005	70	2005
Compositional analysis with place-bordered subnets A Valmari International Conference on Application and Theory of Petri Nets, 531-547, 1994	64	1994
Eliminating redundant interleavings during concurrent program verification A Valmari International Conference on Parallel Architectures and Languages Europe, 89-103, 1989	64	1989
State space generation: Efficiency and practicality. AA Valmari	63	1990
Alleviating state explosion during verification of behavioural equivalence A Valmari University of Helsinki, Department of Computer Science, 1992	57	1992

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors