World's Best Scientists 2026 revealed!
P. S. Thiagarajan

P. S. Thiagarajan

D-Index & Metrics

Computer Science

D-Index
39
Citations
5964
World Ranking
9815
National Ranking
4135

Overview

P. S. Thiagarajan is affiliated with Harvard University in the United States. Their research covers a range of topics at the intersection of computer science and molecular biology, with a focus on formal methods in verification, real-time systems scheduling, and molecular communication.

The scientist has contributed to several recent publications, including:

  • Safety-Aware Flexible Schedule Synthesis for Cyber-Physical Systems Using Weakly-Hard Constraints, 2023, Proceedings of the 28th Asia and South Pacific Design Automation Conference
  • Corrigendum to OpenComet: An automated tool for comet assay image analysis [Redox Biol. Volume 2, 2014, Pages 457-465], 2021, Redox Biology
  • Statistical verification of autonomous system controllers under timing uncertainties, 2024, Real-Time Systems
  • A Theory of Distributed Markov Chains, 2020, Fundamenta Informaticae
  • Spatial mapping of DNA synthesis reveals dynamics and geometry of human replication nanostructures, 2025, bioRxiv (Cold Spring Harbor Laboratory)

Co-authorship is a notable feature of their work. Frequent collaborators include:

  • Shengjie Xu
  • B. K. Ghosh
  • Clara Hobbs
  • Samarjit Chakraborty
  • Shaofa Yang

Thiagarajan's publication history spans across multiple venues, such as:

  • Proceedings of the 28th Asia and South Pacific Design Automation Conference
  • Redox Biology
  • Real-Time Systems
  • Fundamenta Informaticae
  • bioRxiv (Cold Spring Harbor Laboratory)

Their research spans two main fields of study:

  • Computer Science
  • Biochemistry, Genetics and Molecular Biology

Within these broad fields, their subfields include:

  • Computational Theory and Mathematics
  • Molecular Biology
  • Hardware and Architecture
  • Management Information Systems
  • Biomedical Engineering

Thiagarajan's work addresses specific topics that include:

  • Formal Methods in Verification
  • Real-Time Systems Scheduling
  • Petri Nets in System Modeling
  • Business Process Modeling and Analysis
  • Advanced biosensing and bioanalysis techniques
  • Molecular Communication and Nanonetworks
  • Embedded Systems Design Techniques

Best Publications

  • OpenComet: an automated tool for comet assay image analysis.

    Benjamin M. Gyori;Gireedhar Venkatachalam;P.S. Thiagarajan;David Hsu

  • Elementary transition systems

    M. Nielsen;G. Rozenberg;P. S. Thiagarajan

  • Elements of General Net Theory

    Hartmann J. Genrich;Kurt Lautenbach;P. S. Thiagarajan

  • Elementary net systems

    P. S. Thiagarajan

  • Petri nets: basic notions, structure, behaviour

    G Rozenberg;P S Thiagarajan

  • Message sequence charts

    David Harel;P. S. Thiagarajan

  • Dynamic linear time temporal logic

    Jesper G. Henriksen;P.S. Thiagarajan

  • Open Systems in Reactive Environments: Control and Synthesis

    Orna Kupferman;P. Madhusudan;P. S. Thiagarajan;Moshe Y. Vardi

  • A trace based extension of linear time temporal logic

    P.S. Thiagarajan

  • A theory of regular MSC languages

    Jesper G. Henriksen;Madhavan Mukund;K. Narayan Kumar;Milind Sohoni

  • A decompositional approach to parameter estimation in pathway modeling

    Geoffrey Koh;Huey Fern Carol Teong;Marie-Véronique Clément;David Hsu

  • Distributed Controller Synthesis for Local Specifications

    P. Madhusudan;P. S. Thiagarajan

  • Model-driven SoC design via executable UML to SystemC

    K.D. Nguyen;Zhenxin Sun;P.S. Thiagarajan;Weng-Fai Wong

  • A fresh look at free choice nets

    P.S. Thiagarajan;K. Voss

  • An event structure semantics for general Petri nets

    P. W. Hoogers;H. C. M. Kleijn;P. S. Thiagarajan

  • On Message Sequence Graphs and Finitely Generated Regular MSC Languages

    Jesper G. Henriksen;Madhavan Mukund;K. Narayan Kumar;P. S. Thiagarajan

  • Degrees of Non-Determinism and Concurrency: A Petri Net View

    Mogens Nielsen;P. S. Thiagarajan

  • A theory of bipolar synchronization schemes

    Hartmann J. Genrich;P. S. Thiagarajan

  • Temporal logics for communicating sequential agents: I

    Kamal Lodaya;Ramaswamy Ramanujam;P. S. Thiagarajan

  • An expressively complete linear time temporal logic for Mazurkiewicz traces

    P.S. Thiagarajan;I. Walukiewicz

Frequent Co-Authors

Mogens Nielsen
Mogens Nielsen Aarhus University
Grzegorz Rozenberg
Grzegorz Rozenberg Leiden University
Bing Liu
Bing Liu University of Illinois at Chicago
David Hsu
David Hsu National University of Singapore
P. Madhusudan
P. Madhusudan University of Illinois at Urbana-Champaign
Abhik Roychoudhury
Abhik Roychoudhury National University of Singapore
Samarjit Chakraborty
Samarjit Chakraborty University of North Carolina at Chapel Hill
Hanry Yu
Hanry Yu National University of Singapore
Anna M. Blom
Anna M. Blom Lund University

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Pursuing a Computer Science degree in the USA offers diverse options beyond traditional programs. Many students begin their journey at accessible institutions such as community colleges near me, which provide affordable associate's degrees and a smooth transfer path to four-year universities.

For those seeking flexible and budget-friendly options, a variety of cheap online master's programs in Computer Science and related fields are available. These programs allow you to balance work, life, and academics while gaining advanced technical skills.

If leadership or education is your goal, online doctoral programs can be a strategic choice. Specializations such as a phd organizational leadership or an ed d degree can open doors to roles in management, higher education, or research.

Exploring these affordable and accessible pathways can help you tailor your education to your career goals and budget, making a future in Computer Science more attainable than ever.

Best Scientists Citing P. S. Thiagarajan

Trending Scientists

Recently Published Articles