Scholar
Tephilla Prince
Google Scholar ID: IqTjrUEAAAAJ
Research Scholar, Indian Institute of Technology Dharwad
Formal Verification
Model Checking
Automata Theory
Concurrency
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
9
H-index
2
i10-index
0
Publications
8
Co-authors
4
list available
Publications
4 items
The Complexity of Coverability-Like Problems in Elementary Object Systems: Data-Nets to the Rescue
2026
Cited
0
Verification of Unbounded Client-Server Systems with Distinguishable Clients
2026
Cited
0
Nets-within-Nets through the Lens of Data Nets
2025
Cited
0
A Lower Bound on Conservative Elementary Object Systems Coverability
2025
Cited
0
Co-authors
4 total
Francesco Di Cosmo
Free University of Bozen-Bolzano
Soumodev Mal
Chennai Mathematical Institute
Ramchandra Phawade
Assistant Professor, Dept of Computer Science and Engineering, IIT Dharwad
S. Sheerazuddin
NIT Calicut
