Old Web
English
Sign In
Acemap
>
authorDetail
>
Srinivasan Venkataramanan
Srinivasan Venkataramanan
Computer science
Assertion
Programming language
SystemVerilog
Database
4
Papers
5
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (4)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
An automated approach for finding spatio-temporal patterns in disease spread (Preprint)
2018
JMIR public health and surveillance
Prathyush Sambaturu
Parantapa Bhattacharya
Jiangzhuo Chen
Bryan Lewis
Madhav V. Marathe
Srinivasan Venkataramanan
Anil Vullikanti
Show All
Source
Cite
Save
Citations (0)
SystemVerilog Assertions Handbook: ... for Dynamic and Formal Verification
2015
Ben Cohen
Srinivasan Venkataramanan
Ajeetha Kumari
Lisa Piper
Show All
Source
Cite
Save
Citations (3)
Influence Dynamics on Social Networks
2014
Srinivasan Venkataramanan
Show All
Source
Cite
Save
Citations (0)
Power management in SoC using CPF
2011
ECT | International Conference on Electronics Computer Technology
M S Lakshmi
P.R. Vaya
Srinivasan Venkataramanan
Show All
Source
Cite
Save
Citations (2)
1
map