| OpenComet: an automated tool for comet assay image analysis BM Gyori, G Venkatachalam, PS Thiagarajan, D Hsu, MV Clement Redox biology 2, 457-465, 2014 | 439 | 2014 |
| Elementary transition systems M Nielsen, G Rozenberg, PS Thiagarajan DAIMI Report Series, 1990 | 252 | 1990 |
| Elements of general net theory HJ Genrich, K Lautenbach, PS Thiagarajan Net Theory and Applications, 21-163, 1980 | 241 | 1980 |
| Elementary net systems PS Thiagarajan Petri nets: central models and their properties, 26-59, 1987 | 221 | 1987 |
| Petri nets: Basic notions, structure, behaviour G Rozenberg, PS Thiagarajan Current trends in concurrency, 585-668, 1986 | 193 | 1986 |
| Dynamic linear time temporal logic JG Henriksen, PS Thiagarajan Annals of Pure and Applied logic 96 (1-3), 187-207, 1999 | 148 | 1999 |
| A trace based extension of linear time temporal logic PS Thiagarajan Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science, 438-447, 1994 | 130 | 1994 |
| Open systems in reactive environments: Control and synthesis O Kupferman, P Madhusudan, PS Thiagarajan, MY Vardi International Conference on Concurrency Theory, 92-107, 2000 | 129 | 2000 |
| A theory of regular MSC languages JG Henriksen, M Mukund, KN Kumar, M Sohoni, PS Thiagarajan Information and computation 202 (1), 1-38, 2005 | 124 | 2005 |
| Message sequence charts D Harel, PS Thiagarajan UML for Real, 77-105, 2003 | 120 | 2003 |
| An expressively complete linear time temporal logic for Mazurkiewicz traces PS Thiagarajan, I Walukiewicz Information and Computation 179 (2), 230-249, 2002 | 108 | 2002 |
| Distributed controller synthesis for local specifications P Madhusudan, PS Thiagarajan International Colloquium on Automata, Languages, and Programming, 396-407, 2001 | 104 | 2001 |
| A decompositional approach to parameter estimation in pathway modeling: a case study of the Akt and MAPK pathways and their crosstalk G Koh, HFC Teong, MV Clément, D Hsu, PS Thiagarajan Bioinformatics 22 (14), e271-e280, 2006 | 101 | 2006 |
| Model-driven SoC design via executable UML to SystemC KD Nguyen, Z Sun, PS Thiagarajan, WF Wong 25th IEEE International Real-Time Systems Symposium, 459-468, 2004 | 100 | 2004 |
| A fresh look at free choice nets PS Thiagarajan, K Voss Information and Control 61 (2), 85-113, 1984 | 97 | 1984 |
| On message sequence graphs and finitely generated regular MSC languages JG Henriksen, M Mukund, KN Kumar, PS Thiagarajan International Colloquium on Automata, Languages, and Programming, 675-686, 2000 | 95 | 2000 |
| An event structure semantics for general Petri nets PW Hoogers, HCM Kleijn, PS Thiagarajan Theoretical Computer Science 153 (1-2), 129-170, 1996 | 93 | 1996 |
| A theory of bipolar synchronization schemes HJ Genrich, PS Thiagarajan Theoretical Computer Science 30 (3), 241-318, 1984 | 84 | 1984 |
| Temporal logics for communicating sequential agents: I K Lodaya, R Ramanujam, PS Thiagarajan International Journal of Foundations of Computer Science 3 (02), 117-159, 1992 | 81 | 1992 |
| Degrees of non-determinism and concurrency: A Petri net view M Nielsen, PS Thiagarajan International Conference on Foundations of Software Technology and …, 1984 | 76 | 1984 |
