Login
中文
Joostpieter Katoen
HIndex: 31
Follow
Share
I Know This Author
Publication
Citation
Affiliation
Research Interests
Anything in here will be replaced on browsers that support the canvas element
Formal methods
Probability
Markov chain
Temporal logic
Embedded system
Markov decision process
Probabilistic automaton
Theory of computation
Real-time computing
Discrete time and continuous time
Continuous-time Markov chain
Markov process
Verification
Automaton
Formal verification
Logic
Probabilistic logic
Spectrum
Stochastic process
Semantics
Probability and statistics
Steady state
Process calculus
Model checking
Operational semantics
Co-author Map
More
Mentorship
More
Papers
Ranking by:
Time
Paper rank
Research Area:
All Area
Formal methods
Probability
Markov chain
Temporal logic
Embedded system
Markov decision process
Probabilistic automaton
Theory of computation
Real-time computing
Discrete time and continuous time
Continuous-time Markov chain
Markov process
Verification
Automaton
Formal verification
Logic
Probabilistic logic
Spectrum
Stochastic process
Semantics
Probability and statistics
Steady state
Process calculus
Model checking
Operational semantics
Paper Recommendation
×
Match this author profile with one of the following researchers:
Author Name
Affiliation
Papers
Joostpieter Katoen
University Of Twente
320
×
Share to your followers
Submit