Old Web
English
Sign In
Acemap
>
authorDetail
>
Dharmendra K. Yadav
Dharmendra K. Yadav
Computer science
Programming language
Real-time computing
Software
Formal specification
5
Papers
14
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (5)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Modeling and Formally Verifying a Safety-Critical System Through MCRL2
2018
CLOUD | International Conference on Cloud Computing
Ram Chandra Bhushan
Dharmendra K. Yadav
Show All
Source
Cite
Save
Citations (0)
Development of Novel Docetaxel Phospholipid Nanoparticles for Intravenous Administration: Quality by Design Approach
2015
Aaps Pharmscitech
Dharmendra K. Yadav
Harish Pawar
Shrikant Wankhade
Sarasija Suresh
Show All
Source
Cite
Save
Citations (10)
Modeling and Verifying Web Services Composition Using Pi-Calculus
2011
Gopal Singh Kushwah
Dharmendra K. Yadav
Show All
Source
Cite
Save
Citations (0)
Cost and Profit Analysis of Markovian Queuing System with Two Priority Classes: A Computational Approach
2009
World Academy of Science, Engineering and Technology, International Journal of Mathematical, Computational, Physical, Electrical and Computer Engineering
Sirsendu Sekhar Mishra
Dharmendra K. Yadav
Show All
Source
Cite
Save
Citations (4)
Comparative drug resistance reversal potential of natural glycosides Synergy potential of niaziridin&niazirin
1969
Current Topics in Medicinal Chemistry
Gaurav Raj Dwivedi
Anupam Maurya
Dharmendra K. Yadav
Feroz Khan
Mahendra Kumar Gupta
Prashant Gupta
Mahendra P Darokar
Santosh Kumar Srivastava
Show All
Source
Cite
Save
Citations (0)
1