Login
中文
Gethin Norman
HIndex: 26
Follow
Share
I Know This Author
Publication
Citation
Affiliation
Research Interests
Anything in here will be replaced on browsers that support the canvas element
Stochastic process
Model checking
Modeling and simulation
Markov process
Performance
Continuous-time Markov chain
Distributed algorithm
Verification and validation
Temporal logic
Statistical model
Markov chain
Communications protocol
Real-time computing
Model of computation
Markov decision process
Formal verification
Formal methods
Fault tolerance
Cryptographic protocol
Probability distribution
Timed automaton
Logic
Binary decision diagram
Theory of computation
Probabilistic logic
Co-author Map
More
Mentorship
More
Papers
Ranking by:
Time
Paper rank
Research Area:
All Area
Stochastic process
Model checking
Modeling and simulation
Markov process
Performance
Continuous-time Markov chain
Distributed algorithm
Verification and validation
Temporal logic
Statistical model
Markov chain
Communications protocol
Real-time computing
Model of computation
Markov decision process
Formal verification
Formal methods
Fault tolerance
Cryptographic protocol
Probability distribution
Timed automaton
Logic
Binary decision diagram
Theory of computation
Probabilistic logic
Paper Recommendation
×
Match this author profile with one of the following researchers:
Author Name
Affiliation
Papers
Gethin Norman
University Of Glasgow
119
Gethin Norman
University Of Glasgow
2
×
Share to your followers
Submit