Browsing by Author P. S. THIAGARAJAN

Select a letter below to browse by last name or type
0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Showing results 1 to 20 of 45  next >
Issue DateTitleAuthor(s)
2011A 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. 
2002A decidable class of asynchronous distributed controllersMadhusudan, P.; Thiagarajan, P.S. 
2006A 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. 
2011A hybrid factored frontier algorithm for dynamic Bayesian network models of biopathwaysPalaniappan, S.K.; Akshay, S.; Genest, B.; Thiagarajan, P.S. 
2012A hybrid factored frontier algorithm for dynamic bayesian networks with a biopathways applicationPalaniappan, S.K.; Akshay, S.; Liu, B. ; Genest, B.; Thiagarajan, P.S. 
2008A multi-mode real-time calculusPhan, L.T.X. ; Chakraborty, S. ; Thiagarajan, P.S. 
2005A theory of regular MSC languagesHenriksen, J.G.; Mukund, M.; Kumar, K.N.; Sohoni, M.; Thiagarajan, P.S. 
2007A UML-based design framework for time-triggered applicationsNguyen, K.D. ; Thiagarajan, P.S. ; Wong, W.-F. 
2002Abstract cyclic communicating processes: A logical viewThiagarajan, P.S. 
2003An executable specification language based on message sequence chartsRoychoudhnry, A. ; Thiagarajan, P.S. 
2012Approximate probabilistic analysis of biopathway dynamicsLiu, B. ; Hagiescu, A.; Palaniappan, S.K.; Chattopadhyay, B.; Cui, Z.; Wong, W.-F. ; Thiagarajan, P.S. 
2012Approximate verification of the symbolic dynamics of markov chainsAgrawal, M.; Akshay, S.; Genest, B.; Thiagarajan, P.S. 
2004Automatic generation of protocol converters from scenario-based specificationsRoychoudhury, A. ; Thiagarajan, P.S. ; Tran, T.-A.; Zvereva, V.A.
2006Behavioural approximations for restricted linear differential hybrid automataAgrawa, M.; Stephan, F. ; Thiagarajan, P.S. ; Yang, S. 
2009Causal Message Sequence ChartsGazagnaire, T.; Genest, B.; Hélouët, L.; Thiagarajan, P.S. ; Yang, S.
2007Causal message sequence chartsGazagnaire, T.; Genes, B.; Hélouët, L.; Thiagarajan, P.S. ; Shaofa, Y.
2004Communicating transaction processes: An MSC-based model of computation for reactive embedded systemsRoychoudhury, A. ; Thiagarajan, P.S. 
2011Component-based construction of bio-pathway models: The parameter estimation problemKoh, G.; Hsu, D. ; Thiagarajan, P.S. 
2007Composing functional and state-based performance models for analyzing heterogeneous real-time systemsPhan, L.T.X. ; Chakraborty, S. ; Thiagarajan, P.S. ; Thiele, L.
2007Composing globally consistent pathway parameter estimates through belief propagationKoh, G.; Tucker-Kellogg, L. ; Hsu, D. ; Thiagarajan, P.S.