PS

P. S. Thiagarajan

Science for Life Laboratory 0009-0007-6469-9243

182

Publications

4,347

Citations

34

h-index

88

i10-index

Loading papers...

Search by keywords

Filter by Type

Article (94)
Book Chapter (67)
Book (10)
Preprint (6)
Dissertation (2)

Filter by Open Access Type

Open Access (44)
Closed Access (138)

Filter by Authors

P. S. Thiagarajan (182)
Madhavan Mukund (15)
Shaofa Yang (13)
David Hsu (11)
Jesper G. Henriksen (10)

Filter by Topics

Formal Methods in Verification (101)
Petri Nets in System Modeling (69)
Distributed systems and fault tolerance (30)
Logic, programming, and type systems (29)
Gene Regulatory Network Analysis (20)