Tephilla Prince
Scholar

Tephilla Prince

Google Scholar ID: IqTjrUEAAAAJ
Research Scholar, Indian Institute of Technology Dharwad
Formal VerificationModel CheckingAutomata TheoryConcurrency
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
9
 
H-index
2
 
i10-index
0
 
Publications
8
 
Co-authors
4
list available
Contact
No contact links provided.
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
Resume (English only)
Co-authors
4 total
Francesco Di Cosmo
Francesco Di Cosmo
Free University of Bozen-Bolzano
Soumodev Mal
Soumodev Mal
Chennai Mathematical Institute
Ramchandra Phawade
Ramchandra Phawade
Assistant Professor, Dept of Computer Science and Engineering, IIT Dharwad
S. Sheerazuddin
S. Sheerazuddin
NIT Calicut