Full Name
P. S. Thiagarajan
(not current staff)
Thiagarajan, P.S.


Results 1-20 of 46 (Search time: 0.005 seconds).

Issue DateTitleAuthor(s)
12011A computational and experimental study of the regulatory mechanisms of the complement systemLiu, B. ; Zhang, J.; Tan, P.Y.; Hsu, D. ; Blom, A.M.; Leong, B.; Sethi, S.; Ho, B.; Ding, J.L. ; Thiagarajan, P.S. 
22002A decidable class of asynchronous distributed controllersMadhusudan, P.; Thiagarajan, P.S. 
32006A decompositional approach to parameter estimation in pathway modeling: A case study of the Akt and MAPK pathways and their crosstalkKoh, G.; Teong, H.F.C.; Clément, M.-V. ; Hsu, D. ; Thiagarajan, P.S. 
42011A hybrid factored frontier algorithm for dynamic Bayesian network models of biopathwaysPalaniappan, S.K.; Akshay, S.; Genest, B.; Thiagarajan, P.S. 
52012A hybrid factored frontier algorithm for dynamic bayesian networks with a biopathways applicationPalaniappan, S.K.; Akshay, S.; Liu, B. ; Genest, B.; Thiagarajan, P.S. 
62008A multi-mode real-time calculusPhan, L.T.X. ; Chakraborty, S. ; Thiagarajan, P.S. 
72005A theory of regular MSC languagesHenriksen, J.G.; Mukund, M.; Kumar, K.N.; Sohoni, M.; Thiagarajan, P.S. 
82007A UML-based design framework for time-triggered applicationsNguyen, K.D. ; Thiagarajan, P.S. ; Wong, W.-F. 
92002Abstract cyclic communicating processes: A logical viewThiagarajan, P.S. 
102003An executable specification language based on message sequence chartsRoychoudhnry, A. ; Thiagarajan, P.S. 
112012Approximate probabilistic analysis of biopathway dynamicsLiu, B. ; Hagiescu, A.; Palaniappan, S.K.; Chattopadhyay, B.; Cui, Z.; Wong, W.-F. ; Thiagarajan, P.S. 
122012Approximate verification of the symbolic dynamics of markov chainsAgrawal, M.; Akshay, S.; Genest, B.; Thiagarajan, P.S. 
132004Automatic generation of protocol converters from scenario-based specificationsRoychoudhury, A. ; Thiagarajan, P.S. ; Tran, T.-A.; Zvereva, V.A.
142006Behavioural approximations for restricted linear differential hybrid automataAgrawa, M.; Stephan, F. ; Thiagarajan, P.S. ; Yang, S. 
152009Causal Message Sequence ChartsGazagnaire, T.; Genest, B.; Hélouët, L.; Thiagarajan, P.S. ; Yang, S.
162007Causal message sequence chartsGazagnaire, T.; Genes, B.; Hélouët, L.; Thiagarajan, P.S. ; Shaofa, Y.
172004Communicating transaction processes: An MSC-based model of computation for reactive embedded systemsRoychoudhury, A. ; Thiagarajan, P.S. 
182011Component-based construction of bio-pathway models: The parameter estimation problemKoh, G.; Hsu, D. ; Thiagarajan, P.S. 
192007Composing functional and state-based performance models for analyzing heterogeneous real-time systemsPhan, L.T.X. ; Chakraborty, S. ; Thiagarajan, P.S. ; Thiele, L.
202007Composing globally consistent pathway parameter estimates through belief propagationKoh, G.; Tucker-Kellogg, L. ; Hsu, D. ; Thiagarajan, P.S.