P. S. Thiagarajan

Science for Life Laboratory — Sweden

Computer Science · Physical Sciences

34h-index4.4kcitations185works1.32yr avg
OpenAlex↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Formal Methods in Verification(100), Petri Nets in System Modeling(68), Logic, programming, and type systems(29), Distributed systems and fault tolerance(29), Advanced Database Systems and Queries(20)

Publications185 total

Spatial mapping of DNA synthesis reveals dynamics and geometry of human replication nanostructures
The EMBO Journal·2025Open Access
LPrL: An Asynchronous Linear Time Hyper Logic
arXiv (Cornell University)·2025Open Access
Spatial mapping of DNA synthesis reveals dynamics and geometry of human replication nanostructures
2025Open Access
Analysis of Long-term Average Behaviors of Probabilistic Task Systems
2024Open Access
Integrating AES-GCM, ECC, and Steganography for Enhanced Confidential Communication
2024· 2 cited
Statistical verification of autonomous system controllers under timing uncertainties
Real-Time Systems·2024· 6 cited
Safety-Aware Implementation of Control Tasks via Scheduling with Period Boosting and Compressing
2023· 7 cited
Safety-Aware Flexible Schedule Synthesis for Cyber-Physical Systems Using Weakly-Hard Constraints
Proceedings of the 28th Asia and South Pacific Design Automation Conference·2023· 15 cited
Statistical Hypothesis Testing of Controller Implementations Under Timing Uncertainties
2022· 11 cited
Corrigendum to OpenComet: An automated tool for comet assay image analysis [Redox Biol. Volume 2, 2014, Pages 457–465]
Redox Biology·2021· 7 citedOpen Access
A Theory of Distributed Markov Chains
IOS Press eBooks·2020
A Theory of Distributed Markov Chains
Fundamenta Informaticae·2020
Statistical Model Checking-Based Analysis of Biological Networks
Computational biology·2019· 5 cited
Statistical Model Checking based Analysis of Biological Networks
arXiv (Cornell University)·2018· 1 citedOpen Access
Abstract 1678: A flow-based immunoprofiling strategy for interrogating system-wide leukocyte composition in response to glioblastoma
Cancer Research·2017
Automated Property Synthesis of ODEs Based Bio-pathways Models
Lecture notes in computer science·2017· 8 cited
Innate immune memory and homeostasis may be conferred through crosstalk between the TLR3 and TLR7 pathways
Science Signaling·2016· 42 citedOpen Access
Development and validation of a fluorescent reporter system for ovarian cancer stem cells
Gynecologic Oncology·2016
An Iterative Decision-Making Scheme for Markov Decision Processes and Its Application to Self-adaptive Systems
Lecture notes in computer science·2016· 16 cited
Adipose Tissue-Derived Stem Cells in Regenerative Medicine and Impact on Cancer
Elsevier eBooks·2016· 5 cited
page 1 of 10Next →

Frequent Co-authors

Madhavan Mukund(6), Jesper G. Henriksen(5), P. Madhusudan(5), Bing Liu(5), David Hsu(4), Morten S. Nielsen(4), K. Narayan Kumar(4), Grzegorz Rozenberg(3), Kamal Lodaya(3), Sucheendra K. Palaniappan(3), Benjamin M. Gyori(2), Marie‐Véronique Clement(2), Hartmann J. Genrich(2), Peter W. Hoogers(2), H. C. M. Kleijn(2), Weng‐Fai Wong(2), Jeak Ling Ding(2), Samarjit Chakraborty(2), Linh Thi Xuan Phan(2), R. Ramanujam(2)