☰

P.S. Thiagarajan - Publications

Affiliations: 
Computer Science National University of Singapore, Singapore, Singapore 
Tree Info Similar researchers PubMed Report error

38 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2021 Gyori BM, Venkatachalam G, Thiagarajan PS, Hsu D, Clement MV. Corrigendum to OpenComet: An automated tool for comet assay image analysis [Redox Biol. Volume 2, 2014, Pages 457-465]. Redox Biology. 101876. PMID 33558181 DOI: 10.1016/j.redox.2021.101876  0.401
2015 Agrawal M, Akshay S, Genest B, Thiagarajan PS. Approximate verification of the symbolic dynamics of Markov chains Journal of the Acm. 62: 2. DOI: 10.1145/2629417  0.303
2014 Gyori BM, Venkatachalam G, Thiagarajan PS, Hsu D, Clement MV. OpenComet: an automated tool for comet assay image analysis. Redox Biology. 2: 457-65. PMID 24624335 DOI: 10.1016/J.Redox.2013.12.020  0.475
2014 Thiagarajan PS, Yang S. Rabin's theorem in the concurrency setting: A conjecture Theoretical Computer Science. 546: 225-236. DOI: 10.1016/J.Tcs.2014.03.010  0.337
2013 Hagiescu A, Liu B, Ramanathan R, Palaniappan SK, Cui Z, Chattopadhyay B, Thiagarajan PS, Wong W. GPU code generation for ODE-based applications with phased shared-data access patterns Acm Transactions On Architecture and Code Optimization. 10: 55. DOI: 10.1145/2541228.2555311  0.409
2013 Palaniappan SK, Gyori BM, Liu B, Hsu D, Thiagarajan PS. Statistical model checking based calibration and analysis of bio-pathway models Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8130: 120-134. DOI: 10.1007/978-3-642-40708-6_10  0.573
2012 Koh CH, Palaniappan SK, Thiagarajan PS, Wong L. Improved statistical model checking methods for pathway analysis. Bmc Bioinformatics. 13: S15. PMID 23282174 DOI: 10.1186/1471-2105-13-S17-S15  0.304
2012 Liu B, Thiagarajan PS. Modeling and analysis of biopathways dynamics. Journal of Bioinformatics and Computational Biology. 10: 1231001. PMID 22809413 DOI: 10.1142/S0219720012310014  0.414
2012 Palaniappan SK, Akshay S, Liu B, Genest B, Thiagarajan PS. A hybrid Factored Frontier algorithm for Dynamic Bayesian Networks with a biopathways application. Ieee/Acm Transactions On Computational Biology and Bioinformatics. 9: 1352-65. PMID 22529330 DOI: 10.1109/Tcbb.2012.60  0.376
2012 Liu B, Hagiescu A, Palaniappan SK, Chattopadhyay B, Cui Z, Wong WF, Thiagarajan PS. Approximate probabilistic analysis of biopathway dynamics. Bioinformatics (Oxford, England). 28: 1508-16. PMID 22492313 DOI: 10.1093/Bioinformatics/Bts166  0.44
2012 Thiagarajan PS, Yang S. Modular discrete time approximations of distributed hybrid automata Theoretical Computer Science. 429: 292-304. DOI: 10.1016/J.Tcs.2011.12.050  0.338
2011 Liu B, Zhang J, Tan PY, Hsu D, Blom AM, Leong B, Sethi S, Ho B, Ding JL, Thiagarajan PS. A computational and experimental study of the regulatory mechanisms of the complement system. Plos Computational Biology. 7: e1001059. PMID 21283780 DOI: 10.1371/Journal.Pcbi.1001059  0.553
2011 Koh G, Hsu D, Thiagarajan PS. Component-based construction of bio-pathway models: The parameter estimation problem Theoretical Computer Science. 412: 2840-2853. DOI: 10.1016/J.Tcs.2011.02.013  0.541
2011 Liu B, Hsu D, Thiagarajan PS. Probabilistic approximations of ODEs based bio-pathway dynamics Theoretical Computer Science. 412: 2188-2206. DOI: 10.1016/J.Tcs.2011.01.021  0.589
2010 Darondeau P, Genest B, Thiagarajan PS, Yang S. Quasi-static scheduling of communicating tasks Information & Computation. 208: 1154-1168. DOI: 10.1016/J.Ic.2009.09.005  0.317
2009 Goel A, Roychoudhury A, Thiagarajan PS. Interacting process classes Acm Transactions On Software Engineering and Methodology. 18: 13. DOI: 10.1145/1538942.1538943  0.306
2009 Gazagnaire T, Genest B, Hélouët L, Thiagarajan PS, Yang S. Causal Message Sequence Charts Theoretical Computer Science. 410: 4094-4110. DOI: 10.1016/J.Tcs.2009.06.013  0.306
2006 Koh G, Teong HF, Clément MV, Hsu D, Thiagarajan PS. A decompositional approach to parameter estimation in pathway modeling: a case study of the Akt and MAPK pathways and their crosstalk. Bioinformatics (Oxford, England). 22: e271-80. PMID 16873482 DOI: 10.1093/Bioinformatics/Btl264  0.53
2003 Roychoudhury A, Thiagarajan PS. An Executable Specification Language Based on Message Sequence Charts Lecture Notes in Computer Science. 226-241. DOI: 10.1007/978-3-540-40007-3_15  0.33
2002 D’souza D, Thiagarajan PS. Product interval automata Sadhana. 27: 181-208. DOI: 10.1007/Bf02717183  0.3
2002 Thiagarajan PS. Regular Event Structures and Finite Petri Nets: A Conjecture Lecture Notes in Computer Science. 244-256. DOI: 10.1007/3-540-45711-9_14  0.328
1999 Henriksen JG, Mukund M, Kumar KN, Thiagarajan PS. Towards a Theory of Regular MSC Languages Brics Report Series. 6. DOI: 10.7146/Brics.V6I52.20122  0.301
1999 Henriksen JG, Thiagarajan PS. Dynamic linear time temporal logic Annals of Pure and Applied Logic. 96: 187-207. DOI: 10.1016/S0168-0072(98)00039-6  0.318
1998 Thiagarajan PS, Henriksen JG. Distributed Versions of Linear Time Temporal Logic: A Trace Perspective Brics Report Series. 5: 643-681. DOI: 10.7146/Brics.V5I8.19280  0.336
1997 Henriksen JG, Thiagarajan PS. A Product Version of Dynamic Linear Time Temporal Logic Brics Report Series. 4. DOI: 10.7146/Brics.V4I9.18800  0.311
1997 Henriksen JG, Thiagarajan PS. Dynamic Linear Time Temporal Logic Brics Report Series. 4. DOI: 10.7146/Brics.V4I8.18798  0.309
1996 Thiagarajan PS. Regular Trace Event Structures Brics Report Series. 3. DOI: 10.7146/Brics.V3I32.20012  0.353
1996 Hoogers PW, Kleijn HCM, Thiagarajan PS. An event structure semantics for general Petri nets Theoretical Computer Science. 153: 129-170. DOI: 10.1016/0304-3975(95)00120-4  0.341
1995 Lodaya K, Parikh R, Ramanujam R, Thiagarajan PS. A logical study of distributed transition systems Information & Computation. 119: 91-118. DOI: 10.1006/Inco.1995.1078  0.347
1995 Nielsen M, Rozenberg G, Thiagarajan PS. Transition systems, event structures, and unfoldings Information & Computation. 118: 191-207. DOI: 10.1006/Inco.1995.1062  0.309
1992 Mukund M, Thiagarajan PS. A logical characterization of well branching event structures Theoretical Computer Science. 96: 35-72. DOI: 10.1016/0304-3975(92)90181-E  0.324
1992 Nielsen M, Rozenberg G, Thiagarajan PS. Elementary transition systems Theoretical Computer Science. 96: 3-33. DOI: 10.1016/0304-3975(92)90180-N  0.328
1992 Nielsen M, Rozenberg G, Thiagarajan PS. Elementary transition systems and refinement Acta Informatica. 29: 555-578. DOI: 10.1007/Bf01185561  0.309
1991 Rozoy B, Thiagarajan PS. Event structures and trace monoids Theoretical Computer Science. 91: 285-313. DOI: 10.1016/0304-3975(91)90087-I  0.375
1990 Nielsen M, Rozenberg G, Thiagarajan PS. Behavioural notions for elementary net systems Distributed Computing. 4: 45-57. DOI: 10.1007/Bf01783665  0.37
1984 Thiagarajan PS, Voss K. A fresh look at free choice nets Information & Computation. 61: 85-113. DOI: 10.1016/S0019-9958(84)80052-2  0.325
1983 Fernández C, Thiagarajan PS. D-continuous causal nets: A model of non-sequential processes Theoretical Computer Science. 28: 171-196. DOI: 10.1016/0304-3975(83)90070-1  0.326
1975 Jump JR, Thiagarajan PS. On the Interconnection of Asynchronous Control Structures Journal of the Acm. 22: 596-612. DOI: 10.1145/321906.321920  0.632
Show low-probability matches.