P.S. Thiagarajan
P.S. Thiagarajan
Visiting Professor, Laboratory of Systems Pharmacology, Harvard Medical School
Verified email at hms.harvard.edu
Title
Cited by
Cited by
Year
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
3522014
Elements of general net theory
HJ Genrich, K Lautenbach, PS Thiagarajan
Net Theory and Applications, 21-163, 1980
2431980
Elementary transition systems
M Nielsen, G Rozenberg, PS Thiagarajan
DAIMI Report Series, 1990
2411990
Elementary net systems
PS Thiagarajan
Petri nets: central models and their properties, 26-59, 1987
2151987
Petri nets: Basic notions, structure, behaviour
G Rozenberg, PS Thiagarajan
Current trends in concurrency, 585-668, 1986
1871986
Dynamic linear time temporal logic
JG Henriksen, PS Thiagarajan
Annals of Pure and Applied logic 96 (1-3), 187-207, 1999
1361999
A trace based extension of linear time temporal logic
PS Thiagarajan
Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science, 438-447, 1994
1271994
Open systems in reactive environments: Control and synthesis
O Kupferman, P Madhusudan, PS Thiagarajan, MY Vardi
International Conference on Concurrency Theory, 92-107, 2000
1252000
A theory of regular MSC languages
JG Henriksen, M Mukund, KN Kumar, M Sohoni, PS Thiagarajan
Information and computation 202 (1), 1-38, 2005
1192005
Message sequence charts
D Harel, PS Thiagarajan
UML for Real, 77-105, 2003
1152003
Distributed controller synthesis for local specifications
P Madhusudan, PS Thiagarajan
International Colloquium on Automata, Languages, and Programming, 396-407, 2001
1022001
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
1012004
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
972006
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
932000
An event structure semantics for general Petri nets
PW Hoogers, HCM Kleijn, PS Thiagarajan
Theoretical Computer Science 153 (1-2), 129-170, 1996
901996
A fresh look at free choice nets
PS Thiagarajan, K Voss
Information and Control 61 (2), 85-113, 1984
831984
A theory of bipolar synchronization schemes
HJ Genrich, PS Thiagarajan
Theoretical Computer Science 30 (3), 241-318, 1984
821984
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
781992
A logical study of distributed transition systems
K Lodaya, R Parikh, R Ramanujam, PS Thiagarajan
Information and Computation 119 (1), 91-118, 1995
741995
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
731997
The system can't perform the operation now. Try again later.
Articles 1–20