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
7122014
Elementary transition systems
M Nielsen, G Rozenberg, PS Thiagarajan
2661990
Elements of general net theory
HJ Genrich, K Lautenbach, PS Thiagarajan
Net Theory and Applications: Proceedings of the Advanced Course on General …, 2005
2532005
Elementary net systems
PS Thiagarajan
Petri Nets: Central Models and Their Properties: Advances in Petri Nets 1986 …, 1987
2311987
Petri nets: Basic notions, structure, behaviour
G Rozenberg, PS Thiagarajan
Current Trends in Concurrency: Overviews and Tutorials, 585-668, 1986
2101986
Dynamic linear time temporal logic
JG Henriksen, PS Thiagarajan
Annals of Pure and Applied logic 96 (1-3), 187-207, 1999
1621999
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
1382000
Message sequence charts
D Harel, PS Thiagarajan
UML for real: design of embedded real-time systems, 77-105, 2003
1322003
A trace based extension of linear time temporal logic
PS Thiagarajan
Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science, 438-447, 1994
1301994
A theory of regular MSC languages
JG Henriksen, M Mukund, KN Kumar, M Sohoni, PS Thiagarajan
Information and computation 202 (1), 1-38, 2005
1262005
Distributed controller synthesis for local specifications
P Madhusudan, PS Thiagarajan
International Colloquium on Automata, Languages, and Programming, 396-407, 2001
1182001
An expressively complete linear time temporal logic for Mazurkiewicz traces
PS Thiagarajan, I Walukiewicz
Information and Computation 179 (2), 230-249, 2002
1142002
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
1072006
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
1002004
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
982000
An event structure semantics for general Petri nets
PW Hoogers, HCM Kleijn, PS Thiagarajan
Theoretical Computer Science 153 (1-2), 129-170, 1996
961996
A fresh look at free choice nets
PS Thiagarajan, K Voss
Information and Control 61 (2), 85-113, 1984
901984
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
891992
Degrees of non-determinism and concurrency: A Petri net view
M Nielsen, PS Thiagarajan
International Conference on Foundations of Software Technology and …, 1984
851984
Behavioural notions for elementary net systems
M Nielsen, G Rozenberg, PS Thiagarajan
Distributed Computing 4, 45-57, 1990
831990
The system can't perform the operation now. Try again later.
Articles 1–20