Login
中文
Aarti Gupta
HIndex: 19
Follow
Share
I Know This Author
Publication
Citation
Affiliation
Research Interests
Anything in here will be replaced on browsers that support the canvas element
Satisfiability Modulo Theories
Program analysis
Computability
Static analysis
Data structure
Functional verification
Software bug
Boolean function
Satisfiability
Verification and validation
Model checking
Electronic circuit
Theory of computation
Logic
Verification
National Electrical Code
Software verification
Boolean satisfiability problem
Industrial design
Robustness
State space
Formal methods
Formal verification
Partial order reduction
Computer hardware
Co-author Map
More
Mentorship
More
Papers
Ranking by:
Time
Paper rank
Research Area:
All Area
Satisfiability Modulo Theories
Program analysis
Computability
Static analysis
Data structure
Functional verification
Software bug
Boolean function
Satisfiability
Verification and validation
Model checking
Electronic circuit
Theory of computation
Logic
Verification
National Electrical Code
Software verification
Boolean satisfiability problem
Industrial design
Robustness
State space
Formal methods
Formal verification
Partial order reduction
Computer hardware
Paper Recommendation
×
Match this author profile with one of the following researchers:
Author Name
Affiliation
Papers
Aarti Gupta
University Of Sao Paulo
183
Aarti Gupta
Wageningen University And Research Centre
20
Aarti Gupta
Wageningen University And Research Centre
10
Aarti Gupta
Banasthali Vidyapith
6
Aarti Gupta
Hindu College University Of Delhi
4
Aarti Gupta
All India Institute Of Medical Sciences
3
Aarti Gupta
Aiims New Delhi
2
Aarti Gupta
University Of Delhi
2
Aarti Gupta
All India Institute Of Medical Sciences
2
Aarti Gupta
Carleton University
1
×
Share to your followers
Submit