Frits W. Vaandrager - Google Scholar Citations

Cited by

	All	Since 2015
Citations	9508	2089
h-index	50	27
i10-index	91	52

460

230

115

345

1989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202028 56 75 91 114 181 217 245 210 197 205 239 240 237 335 326 355 389 432 407 429 402 428 442 418 448 403 355 350 448 442 89

Co-authors

Nancy LynchProfessor of EECS, MITVerified email at csail.mit.edu
Roberto SegalaUniversità di VeronaVerified email at univr.it
Fides AartsASMLVerified email at asml.com
Rob van GlabbeekData61, CSIRO and UNSWVerified email at cs.stanford.edu
Dilsun KaynarAssistant Teaching Professor, Carnegie Mellon UniversityVerified email at cmu.edu
Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteVerified email at utwente.nl
Judi RomijnSabbatical, career switchVerified email at xs4all.nl
Kim G. LarsenDirector, Professor Aalborg UniversityVerified email at cs.aau.dk
A FehnkerUniversity of TwenteVerified email at utwente.nl
Rocco De NicolaProfessor of Computer Science, IMT LuccaVerified email at imtlucca.it
Jan Friso GrooteFull Professor (Hoogleraar), Eindhoven University of TechnologyVerified email at tue.nl
Paul FiterauPostdoctoral Researcher at Uppsala University, SwedenVerified email at it.uu.se
Martijn HendriksEmbedded Systems Innovation by TNOVerified email at tno.nl
Julien SchmaltzEindhoven University of TechnologyVerified email at tue.nl
Ling Cheung HughesDover MicrosystemsVerified email at dovermicrosystems.com
Georgeta IgnaIntel Deutschland GmbHVerified email at intel.com
Paul PetterssonProfessor of Real-time Systems, Mälardalen University, SwedenVerified email at mdh.se
Pedro R. D'ArgenioFaMAF, Universidad Nacional de Córdoba - CONICETVerified email at famaf.unc.edu.ar
David N. JansenRadboud Universiteit NijmegenVerified email at cs.ru.nl
Bengt JonssonProfessor of Computer Systems, Uppsala UniversityVerified email at it.uu.se

Frits W. Vaandrager

Professor of Computer Science, Radboud University

Verified email at cs.ru.nl - Homepage

Formal Methods Concurrency Theory Verification Model Checking Automata Learning


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Forward and backward simulations Part I: Untimed systems N Lynch, F Vaandrager Information and Computation 121 (2), 214-233, 1995	516	1995
Forward and backward simulations N Lynch, F Vaandrager Information and Computation 121 (2), 214-233, 1995	507	1995
Hybrid i/o automata N Lynch, R Segala, F Vaandrager Information and Computation 185 (1), 105-157, 2003	498	2003
Hybrid i/o automata N Lynch, R Segala, F Vaandrager Information and computation 185 (1), 105-157, 2003	494	2003
Hybrid i/o automata N Lynch, R Segala, F Vaandrager Information and computation 185 (1), 105-157, 2003	487	2003
Hybrid i/o automata N Lynch, R Segala, F Vaandrager Information and computation 185 (1), 105-157, 2003	487	2003
Three logics for branching bisimulation R De Nicola, F Vaandrager Journal of the ACM (JACM) 42 (2), 458-487, 1995	444	1995
Action versus state based logics for transition systems R De Nicola, F Vaandrager LITP Spring School on Theoretical Computer Science, 407-419, 1990	421	1990
Structured operational semantics and bisimulation as a congruence JF Groote, F Vaandrager Information and computation 100 (2), 202-260, 1992	410	1992
Minimum-cost reachability for priced time automata G Behrmann, A Fehnker, T Hune, K Larsen, P Pettersson, J Romijn, ... International Workshop on Hybrid Systems: Computation and Control, 147-161, 2001	395	2001
Petri net models for algebraic theories of concurrency R Van Glabbeek, F Vaandrager International Conference on Parallel Architectures and Languages Europe, 224-242, 1987	391	1987
Testing timed automata J Springintveld, F Vaandrager, PR D'Argenio Theoretical computer science 254 (1-2), 225-257, 2001	351	2001
Testing timed automata J Springintveld, F Vaandrager, PR D'Argenio Theoretical computer science 254 (1), 225-257, 2001	351	2001
Hybrid i/o automata N Lynch, R Segala, F Vaandrager, HB Weinberg International Hybrid Systems Workshop, 496-510, 1995	333	1995
Hybrid i/o automata N Lynch, R Segala, F Vaandrager, HB Weinberg International Hybrid Systems Workshop, 496-510, 1995	333	1995
Hybrid i/o automata N Lynch, R Segala, F Vaandrager, HB Weinberg International Hybrid Systems Workshop, 496-510, 1995	333	1995
The theory of timed I/O automata DK Kaynar, N Lynch, R Segala, F Vaandrager Synthesis Lectures on Distributed Computing Theory 1 (1), 1-137, 2010	274	2010
The theory of timed I/O automata DK Kaynar, N Lynch, R Segala, F Vaandrager Synthesis Lectures on Distributed Computing Theory 1 (1), 1-137, 2010	273	2010
The theory of timed I/O automata DK Kaynar, N Lynch, R Segala, F Vaandrager Synthesis Lectures on Distributed Computing Theory 1 (1), 1-137, 2010	273	2010
An efficient algorithm for branching bisimulation and stuttering equivalence JF Groote, F Vaandrager International Colloquium on Automata, Languages, and Programming, 626-638, 1990	266	1990

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

Upload PDF

Follow this author

Cited by

Co-authors