P. S. Thiagarajan - Concepedia

Author

P. S. Thiagarajan

Also Known As

Elson, Heiner, M., P S Thiagarajan, P. S. THIAGARAJAN, P. S. Thiagarajan, P. Thiagarajan, P.S. THIAGARAJAN, P.S. Thiagarajan, Pazhamaneri S. Thiagarajan, Pazhamaneri Subramaniam Thiagarajan

185

Publications

4.4K

Citations

H-Index

101

Concepts

All Affiliations

National University of Singapore Chennai Mathematical Institute Aarhus University Leiden University Institute of Mathematical Sciences

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	21	34	2K
2	Management	3	3	62
3	Medicine	3	3	793
4	Business	1	1	68
5	Natural Sciences	1	1	27

P. S. Thiagarajan

Publications

2.6K

Citations

H-Index

Page 1

	Year	Citations
OpenComet: An automated tool for comet assay image analysis Benjamin M. Gyori, Gireedhar Venkatachalam, P. S. Thiagarajan, Redox Biology EngineeringAutomated ToolDigital PathologyMolecular BiologyOxidative Stress	2014	725
Elementary transition systems Morten S. Nielsen, Grzegorz Rozenberg, P. S. Thiagarajan Theoretical Computer Science EngineeringAutomated ReasoningElementary Transition SystemsFormal MethodsSystems Engineering	1992	155
Dynamic linear time temporal logic Jesper G. Henriksen, P. S. Thiagarajan Annals of Pure and Applied Logic EngineeringAutomated ReasoningDynamic LogicFormal MethodsComputer Science	1999	110
An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces P. S. Thiagarajan, Igor Walukiewicz Information and Computation Computational LogicEngineeringAutomated ReasoningVerificationFormal Methods	2002	88
A theory of regular MSC languages Jesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar, Information and Computation Combinatorics On WordFormal LanguageChomsky HierarchyRegular Msc LanguagesLinguistics	2005	87
A decompositional approach to parameter estimation in pathway modeling: a case study of the Akt and MAPK pathways and their crosstalk Geoffrey Koh, Huey Fern Carol Teong, Marie‐Véronique Clement, Bioinformatics	2006	86
A trace based extension of linear time temporal logic P. S. Thiagarajan Applied LogicEngineeringVerificationModel CheckingFormal Verification	2002	80
A Trace Semantics for Petri Nets Peter W. Hoogers, H. C. M. Kleijn, P. S. Thiagarajan Information and Computation Petri NetFormal SpecificationEngineeringAutomated ReasoningProgram Analysis	1995	72
A fresh look at free choice nets P. S. Thiagarajan Information and Control Fresh LookEconomicsChoice ModelChoice TheoryGame Theory	1984	68
Model-Driven SoC Design via Executable UML to SystemC Kathy Dang Nguyen, Zhenxin Sun, P. S. Thiagarajan, Hardware ModelingEmulation TechniqueEngineeringComputer ArchitectureSoftware Engineering	2005	63

Page 1