Concepedia

P. S. Thiagarajan

PS

47

Publications

2.6K

Citations

24

H-Index

1973

Active since

Affiliations

National University of Singapore(Current)

Chennai Mathematical Institute

Aarhus University

Leiden University

Institute of Mathematical Sciences

P. S. Thiagarajan is an author at National University of Singapore specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationAutomated ReasoningSystems EngineeringVerificationProgram AnalysisFormal SpecificationComputer Engineering

Publications per year

1973–2023

47

Publications

47

OpenComet: An automated tool for comet assay image analysis

Benjamin M. Gyori, Gireedhar Venkatachalam, P. S. Thiagarajan et al. · Redox Biology · 2014 · 725 citations · Full text

Engineering, Automated Tool, Digital Pathology +16

Elementary transition systems

Morten S. Nielsen, Grzegorz Rozenberg, P. S. Thiagarajan · Theoretical Computer Science · 1992 · 155 citations

Engineering, Automated Reasoning, Elementary Transition Systems +4

Dynamic linear time temporal logic

Jesper G. Henriksen, P. S. Thiagarajan · Annals of Pure and Applied Logic · 1999 · 110 citations

Engineering, Automated Reasoning, Dynamic Logic +5

An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces

P. S. Thiagarajan, Igor Walukiewicz · Information and Computation · 2002 · 88 citations

Computational Logic, Engineering, Automated Reasoning +9

A theory of regular MSC languages

Jesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar et al. · Information and Computation · 2005 · 87 citations

Combinatorics On Word, Formal Language, Chomsky Hierarchy +2

Rows per page

1–5 of 47