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 | 352 | 2014 |

Elements of general net theory HJ Genrich, K Lautenbach, PS Thiagarajan Net Theory and Applications, 21-163, 1980 | 243 | 1980 |

Elementary transition systems M Nielsen, G Rozenberg, PS Thiagarajan DAIMI Report Series, 1990 | 241 | 1990 |

Elementary net systems PS Thiagarajan Petri nets: central models and their properties, 26-59, 1987 | 215 | 1987 |

Petri nets: Basic notions, structure, behaviour G Rozenberg, PS Thiagarajan Current trends in concurrency, 585-668, 1986 | 187 | 1986 |

Dynamic linear time temporal logic JG Henriksen, PS Thiagarajan Annals of Pure and Applied logic 96 (1-3), 187-207, 1999 | 136 | 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 | 127 | 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 | 125 | 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 | 119 | 2005 |

Message sequence charts D Harel, PS Thiagarajan UML for Real, 77-105, 2003 | 115 | 2003 |

Distributed controller synthesis for local specifications P Madhusudan, PS Thiagarajan International Colloquium on Automata, Languages, and Programming, 396-407, 2001 | 102 | 2001 |

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 | 101 | 2004 |

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 | 97 | 2006 |

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 | 93 | 2000 |

An event structure semantics for general Petri nets PW Hoogers, HCM Kleijn, PS Thiagarajan Theoretical Computer Science 153 (1-2), 129-170, 1996 | 90 | 1996 |

A fresh look at free choice nets PS Thiagarajan, K Voss Information and Control 61 (2), 85-113, 1984 | 83 | 1984 |

A theory of bipolar synchronization schemes HJ Genrich, PS Thiagarajan Theoretical Computer Science 30 (3), 241-318, 1984 | 82 | 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 | 78 | 1992 |

A logical study of distributed transition systems K Lodaya, R Parikh, R Ramanujam, PS Thiagarajan Information and Computation 119 (1), 91-118, 1995 | 74 | 1995 |

An expressively complete linear time temporal logic for Mazurkiewicz traces PS Thiagarajan, I Walukiewicz Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science …, 1997 | 73 | 1997 |