Login
中文
Kim Guldstrand Larsen
HIndex: 36
Follow
Share
I Know This Author
Publication
Citation
Affiliation
Research Interests
Anything in here will be replaced on browsers that support the canvas element
Semantics
Computer Science
Formal methods
Model checking
Formal verification
Automaton
Verification and validation
Data structure
Verification
Concurrency control
Process calculus
Real-time computing
Embedded system
Logic
Communications protocol
Satisfiability
Automata theory
Modeling and simulation
Scheduling
State space
Model of computation
Probabilistic logic
Theory of computation
Operating system
Process management
Co-author Map
More
Mentorship
More
Papers
Ranking by:
Time
Paper rank
Research Area:
All Area
Semantics
Computer Science
Formal methods
Model checking
Formal verification
Automaton
Verification and validation
Data structure
Verification
Concurrency control
Process calculus
Real-time computing
Embedded system
Logic
Communications protocol
Satisfiability
Automata theory
Modeling and simulation
Scheduling
State space
Model of computation
Probabilistic logic
Theory of computation
Operating system
Process management
Paper Recommendation
×
Match this author profile with one of the following researchers:
Author Name
Affiliation
Papers
Kim Guldstrand Larsen
Moscow State University
515
Kim Guldstrand Larsen
University Of Edinburgh
2
Kim Guldstrand Larsen
Statoil
1
×
Share to your followers
Submit