Travelled to:1 × Austria
1 × China
1 × Croatia
1 × Denmark
1 × Finland
1 × France
1 × Greece
1 × India
1 × Poland
1 × Sweden
1 × Switzerland
2 × Germany
Collaborated with:∅ K.Lodaya H.J.Genrich P.Madhusudan I.Walukiewicz C.Fernández M.Mukund P.W.Hoogers H.C.M.Kleijn M.Agrawal S.Akshay B.Genest A.Goel S.Meng A.Roychoudhury J.G.Henriksen K.N.Kumar D.Janssens G.Rozenberg R.Saha J.Esparza S.K.Jha G.Su T.Chen Y.F.0001 D.S.Rosenblum
Talks about:logic (4) net (4) tempor (3) markov (3) trace (3) distribut (2) process (2) system (2) linear (2) petri (2)
Person: P. S. Thiagarajan
DBLP: Thiagarajan:P=_S=
Contributed to:
2015
2012
2006
20012000199719941993199219881987
198219821980
2016Wrote 15 papers:
- VMCAI-2015-SahaEJMT #distributed #markov
- Distributed Markov Chains (RS, JE, SKJ, MM, PST), pp. 117–134.
- LICS-2012-AgrawalAGT #approximate #markov #verification
- Approximate Verification of the Symbolic Dynamics of Markov Chains (MA, SA, BG, PST), pp. 55–64.
- ICSE-2006-GoelMRT #process
- Interacting process classes (AG, SM, AR, PST), pp. 302–311.
- ICALP-2001-MadhusudanT #distributed #specification #synthesis
- Distributed Controller Synthesis for Local Specifications (PM, PST), pp. 396–407.
- ICALP-2000-HenriksenMKT #graph #on the #sequence
- On Message Sequence Graphs and Finitely Generated Regular MSC Languages (JGH, MM, KNK, PST), pp. 675–686.
- LICS-1997-ThiagarajanW #linear #logic
- An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces (PST, IW), pp. 183–194.
- LICS-1994-Thiagarajan #linear #logic
- A Trace Based Extension of Linear Time Temporal Logic (PST), pp. 438–447.
- ICALP-1993-LodayaT #decidability #logic #partial order
- Decidability of a Partial Order Based Temporal Logic (KL, PST), pp. 582–592.
- ICALP-1992-HoogersKT #petri net #semantics
- A Trace Semantics for Petri Nets (PWH, HCMK, PST), pp. 595–604.
- ICALP-1988-Thiagarajan #aspect-oriented #behaviour
- Some Behavioural Aspects of Net Theory (PST), pp. 630–653.
- ICALP-1987-LodayaT #logic #subclass
- A Modal Logic for a Subclass of Event Structures (KL, PST), pp. 290–303.
- GG-1982-GenrichJRT #graph grammar #petri net
- Petri nets and their relation to graph grammars (HJG, DJ, GR, PST), pp. 115–129.
- ICALP-1982-FernandezT
- Some Properties of D-Continuous Causal Nets (CF, PST), pp. 225–238.
- ICALP-1980-GenrichT
- Bipolar Synchronization Systems (HJG, PST), pp. 257–272.
- FASE-2016-SuCFRT #adaptation #markov #process #self
- An Iterative Decision-Making Scheme for Markov Decision Processes and Its Application to Self-adaptive Systems (GS, TC, YF0, DSR, PST), pp. 269–286.