Follow
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
5052014
Elements of general net theory
HJ Genrich, K Lautenbach, PS Thiagarajan
Net theory and applications, 21-163, 1980
2561980
Elementary transition systems
M Nielsen, G Rozenberg, PS Thiagarajan
DAIMI Report Series, 1990
2521990
Elementary net systems
PS Thiagarajan
Petri nets: central models and their properties, 26-59, 1987
2291987
Petri nets: Basic notions, structure, behaviour
G Rozenberg, PS Thiagarajan
Current trends in concurrency, 585-668, 1986
1941986
Dynamic linear time temporal logic
JG Henriksen, PS Thiagarajan
Annals of Pure and Applied logic 96 (1-3), 187-207, 1999
1501999
Open systems in reactive environments: Control and synthesis
O Kupferman, P Madhusudan, PS Thiagarajan, MY Vardi
International Conference on Concurrency Theory, 92-107, 2000
1322000
A trace based extension of linear time temporal logic
PS Thiagarajan
Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science, 438-447, 1994
1321994
Message sequence charts
D Harel, PS Thiagarajan
UML for Real, 77-105, 2003
1292003
A theory of regular MSC languages
JG Henriksen, M Mukund, KN Kumar, M Sohoni, PS Thiagarajan
Information and computation 202 (1), 1-38, 2005
1242005
Distributed controller synthesis for local specifications
P Madhusudan, PS Thiagarajan
International Colloquium on Automata, Languages, and Programming, 396-407, 2001
1092001
An expressively complete linear time temporal logic for Mazurkiewicz traces
PS Thiagarajan, I Walukiewicz
Information and Computation 179 (2), 230-249, 2002
1082002
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
1042006
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
1022004
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
962000
A fresh look at free choice nets
PS Thiagarajan, K Voss
Information and Control 61 (2), 85-113, 1984
941984
An event structure semantics for general Petri nets
PW Hoogers, HCM Kleijn, PS Thiagarajan
Theoretical Computer Science 153 (1-2), 129-170, 1996
931996
A theory of bipolar synchronization schemes
HJ Genrich, PS Thiagarajan
Theoretical Computer Science 30 (3), 241-318, 1984
821984
Behavioural notions for elementary net systems
M Nielsen, G Rozenberg, PS Thiagarajan
Distributed Computing 4 (1), 45-57, 1990
801990
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
The system can't perform the operation now. Try again later.
Articles 1–20