Antti Valmari

Cited by

	All	Since 2018
Citations	5618	897
h-index	31	12
i10-index	64	17

240

120

180

19911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202339 75 136 111 121 239 174 159 154 201 163 182 133 200 199 170 222 183 189 149 196 214 221 199 197 200 208 238 174 138 154 120 72

Public access

View all

2 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
Mikko TiusanenVerified email at professori.fi
Raymond Devillersuniversite libre de bruxellesVerified email at ulb.ac.be
Pia NiemeläUniversity Lecturer, Tampere Universities (Hervanta campus)Verified email at tuni.fi
Kirsi HelkalaNorwegian Defence University College, Cyber AcademyVerified email at mil.no
Matti RintalaTampere UniversityVerified email at tuni.fi
Simo Ali-LöyttyTampere University of TechnologyVerified email at tut.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	913	1996
Stubborn sets for reduced state space generation A Valmari Advances in Petri Nets 1990 10, 491-515, 1991	898	1991
A stubborn attack on state explosion A Valmari Computer-Aided Verification: 2nd International Conference, CAV'90 New …, 1991	668	1991
A stubborn attack on state explosion A Valmari Formal Methods in System Design 1, 297-322, 1992	320	1992
On-the-fly verification with stubborn sets A Valmari Computer Aided Verification: 5th International Conference, CAV'93 Elounda …, 1993	212	1993
Error detection by reduced reachability graph generation A Valmari Proceedings of the 9th European Workshop on Application and Theory of Petri …, 1988	144	1988
Compositional state space generation A Valmari Advances in Petri Nets 1993 12, 427-457, 1993	125	1993
Stubborn set methods for process algebras A Valmari DIMACS Series in Discrete Mathematics and Theoretical Computer Science, 213-231, 1997	122	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	115	1991
Simple O(m logn) Time Markov Chain Lumping A Valmari, G Franceschinis International Conference on Tools and Algorithms for the Construction and …, 2010	102	2010
Stubborn sets of coloured Petri nets A Valmari Proceedings of the 12th International Conference on Application and Theory …, 1991	99	1991
The weakest compositional semantic equivalence preserving nexttime-less linear temporal logic R Kaivola, A Valmari International Conference on Concurrency Theory, 207-221, 1992	98	1992
Compositional failure-based semantic models for basic LOTOS A Valmari, M Tienari Formal Aspects of Computing 7, 440-468, 1995	84	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	77	2004
State of the art report: Stubborn sets A Valmari Petri net newsletter, 6-14, 1994	76	1994
More efficient on-the-fly LTL verification with Tarjan's algorithm J Geldenhuys, A Valmari Theoretical Computer Science 345 (1), 60-82, 2005	66	2005
State space generation: Efficiency and practicality. AA Valmari	61	1990
Eliminating redundant interleavings during concurrent program verification A Valmari International Conference on Parallel Architectures and Languages Europe, 89-103, 1989	61	1989
Compositional analysis with place-bordered subnets A Valmari International Conference on Application and Theory of Petri Nets, 531-547, 1994	58	1994
Alleviating state explosion during verification of behavioural equivalence A Valmari University of Helsinki, Department of Computer Science, 1992	56	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