Login
中文
Lori A Clarke
HIndex: 25
Follow
Share
I Know This Author
Publication
Citation
Affiliation
Research Interests
Anything in here will be replaced on browsers that support the canvas element
Model of computation
Software Testing
Distributed computing
Formal methods
Theory of computation
Software system
Verification
Finite-state machine
Concurrency
Data flow diagram
Programming language
Software Engineering
Software verification
Information science
Programming
Static analysis
Model checking
Logic
Software development
Computer Science
Satisfiability
Data-flow analysis
Process modeling
Verification and validation
Data analysis
Co-author Map
More
Mentorship
More
Papers
Ranking by:
Time
Paper rank
Research Area:
All Area
Model of computation
Software Testing
Distributed computing
Formal methods
Theory of computation
Software system
Verification
Finite-state machine
Concurrency
Data flow diagram
Programming language
Software Engineering
Software verification
Information science
Programming
Static analysis
Model checking
Logic
Software development
Computer Science
Satisfiability
Data-flow analysis
Process modeling
Verification and validation
Data analysis
Paper Recommendation
×
Match this author profile with one of the following researchers:
Author Name
Affiliation
Papers
Lori A Clarke
University Of Massachusetts Amherst
217
×
Share to your followers
Submit