Antti Valmari

Viittaukset

	Kaikki	2019 lähtien
Sitaatit	5788	788
h-indeksi	31	12
i10-indeksi	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 195 199 211 239 187 150 160 123 85 82

Yleisessä käytössä

Näytä kaikki

4 artikkelia

0 artikkelia

käytettävissä

ei käytettävissä

Perustuu rahoitusehtoihin

Muut kirjoittajat

Henri HansenDocent, University Lecturer, Data Science, Tampere UniversityVahvistettu sähköpostiosoite verkkotunnuksessa tuni.fi
Jaco GeldenhuysAmazon Web ServicesVahvistettu sähköpostiosoite verkkotunnuksessa amazon.com
Lars M KristensenProfessor in Computer Science - Western Norway University of Applied SciencesVahvistettu sähköpostiosoite verkkotunnuksessa hvl.no
Doron A. PeledProfessor Of Computer Science, Bar Ilan UniversityVahvistettu sähköpostiosoite verkkotunnuksessa cs.biu.ac.il
Wojciech PenczekProfessor of Computer Science, ICS PAS (Warsaw)Vahvistettu sähköpostiosoite verkkotunnuksessa ipipan.waw.pl
Tim WillemseAssociate Professor, Eindhoven University of TechnologyVahvistettu sähköpostiosoite verkkotunnuksessa tue.nl
Thomas NeeleAssistant Professor, Eindhoven University of TechnologyVahvistettu sähköpostiosoite verkkotunnuksessa tue.nl
Lauri HellaMatematiikan professori, Tampereen yliopistoVahvistettu sähköpostiosoite verkkotunnuksessa uta.fi
Pia NiemeläUniversity Lecturer, Tampere Universities (Hervanta campus)Vahvistettu sähköpostiosoite verkkotunnuksessa tuni.fi
Mikko TiusanenVahvistettu sähköpostiosoite verkkotunnuksessa professori.fi
Raymond Devillersuniversite libre de bruxellesVahvistettu sähköpostiosoite verkkotunnuksessa ulb.ac.be
Kirsi HelkalaNorwegian Defence University College, Cyber AcademyVahvistettu sähköpostiosoite verkkotunnuksessa mil.no
Simo Ali-LöyttyTampere University of TechnologyVahvistettu sähköpostiosoite verkkotunnuksessa tut.fi
Matti RintalaTampere UniversityVahvistettu sähköpostiosoite verkkotunnuksessa tuni.fi
Olli Yli-HarjaTampere University, Faculty of Medicine and Health TechnologyVahvistettu sähköpostiosoite verkkotunnuksessa tuni.fi
Ilya ShmulevichProfessor, Institute for Systems BiologyVahvistettu sähköpostiosoite verkkotunnuksessa systemsbiology.org
Vesa LappalainenTietotekniikan lehtoriVahvistettu sähköpostiosoite verkkotunnuksessa jyu.fi

Seuraa

Antti Valmari

University of Jyväskylä

Vahvistettu sähköpostiosoite verkkotunnuksessa jyu.fi

Programming Theoretical computer science Concurrency


Nimike Lajittele sitaattien mukaan Lajittele vuoden mukaan Lajittele otsikon mukaan	Viittaukset Viittaukset	Vuosi
The state explosion problem A Valmari Advanced Course on Petri Nets, 429-528, 1996	941	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	108	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

Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.

Artikkelit 1–20

Sitaatteja vuodessa

Päällekkäiset lähteet

Yhdistetyt sitaatit

Lisää muut kirjoittajatMuut kirjoittajat

Seuraa

Viittaukset

Muut kirjoittajat