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 5 to 24 of 45 < previous   next >
Issue DateTitleAuthor(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. 
2007Designing communicating transaction processes by supervisory control theoryFeng, L.; Wonham, W.M.; Thiagarajan, P.S. 
2012Dynamic bayesian networks: A factored model of probabilistic dynamicsPalaniappan, S.K.; Thiagarajan, P.S. 
2005Event count automata: A state-based model for stream processing systemsChakraborty, S. ; Phan, L.T.X. ; Thiagarajan, P.S. 
Dec-2013GPU code generation for ODE-based applications with phased shared-data access patternsHagiescu, A.; Bing, L.; Ramanathan, R.; Palaniappan, S.K.; Cui, Z.; Chattopadhyay, B.; Thiagarajan, P.S. ; Wong, W.-F.