BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Thiagarajan:P=_S=

Contributed to:

VMCAI 20152015
LICS 20122012
ICSE 20062006
ICALP 20012001
ICALP 20002000
LICS 19971997
LICS 19941994
ICALP 19931993
ICALP 19921992
ICALP 19881988
ICALP 19871987
GG 19821982
ICALP 19821982
ICALP 19801980
FASE 20162016

Wrote 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.
Some Properties of D-Continuous Causal Nets (CF, PST), pp. 225–238.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.