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 | 718 | 2014 |
Elementary transition systems M Nielsen, G Rozenberg, PS Thiagarajan | 266 | 1990 |
Elements of general net theory HJ Genrich, K Lautenbach, PS Thiagarajan Net Theory and Applications: Proceedings of the Advanced Course on General …, 2005 | 253 | 2005 |
Elementary net systems PS Thiagarajan Petri Nets: Central Models and Their Properties: Advances in Petri Nets 1986 …, 1987 | 231 | 1987 |
Petri nets: Basic notions, structure, behaviour G Rozenberg, PS Thiagarajan Current Trends in Concurrency: Overviews and Tutorials, 585-668, 1986 | 210 | 1986 |
Dynamic linear time temporal logic JG Henriksen, PS Thiagarajan Annals of Pure and Applied logic 96 (1-3), 187-207, 1999 | 162 | 1999 |
Open systems in reactive environments: Control and synthesis O Kupferman, P Madhusudan, PS Thiagarajan, MY Vardi CONCUR 2000—Concurrency Theory: 11th International Conference University …, 2000 | 138 | 2000 |
Message sequence charts D Harel, PS Thiagarajan UML for real: design of embedded real-time systems, 77-105, 2003 | 133 | 2003 |
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 |
A theory of regular MSC languages JG Henriksen, M Mukund, KN Kumar, M Sohoni, PS Thiagarajan Information and computation 202 (1), 1-38, 2005 | 126 | 2005 |
Distributed controller synthesis for local specifications P Madhusudan, PS Thiagarajan International Colloquium on Automata, Languages, and Programming, 396-407, 2001 | 118 | 2001 |
An expressively complete linear time temporal logic for Mazurkiewicz traces PS Thiagarajan, I Walukiewicz Information and Computation 179 (2), 230-249, 2002 | 114 | 2002 |
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 Clement, D Hsu, PS Thiagarajan Bioinformatics 22 (14), e271-e280, 2006 | 108 | 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 |
On message sequence graphs and finitely generated regular MSC languages JG Henriksen, M Mukund, KN Kumar, PS Thiagarajan Automata, Languages and Programming: 27th International Colloquium, ICALP …, 2000 | 98 | 2000 |
An event structure semantics for general Petri nets PW Hoogers, HCM Kleijn, PS Thiagarajan Theoretical Computer Science 153 (1-2), 129-170, 1996 | 96 | 1996 |
A fresh look at free choice nets PS Thiagarajan, K Voss Information and Control 61 (2), 85-113, 1984 | 90 | 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 | 89 | 1992 |
Degrees of non-determinism and concurrency: A Petri net view M Nielsen, PS Thiagarajan International Conference on Foundations of Software Technology and …, 1984 | 85 | 1984 |
Behavioural notions for elementary net systems M Nielsen, G Rozenberg, PS Thiagarajan Distributed Computing 4, 45-57, 1990 | 83 | 1990 |