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 28 to 45 of 45 < previous 
Issue DateTitleAuthor(s)
2004Lazy rectangular hybrid automataAgrawal, M.; Thiagarajan, P.S. 
2004Model-driven SoC design via executable UML to systemCNguyen, K.D. ; Sun, Z. ; Thiagarajan, P.S. ; Wong, W.-F. 
2005Model-driven SoC design: The UML-SystemC bridgeNguyen, K.D. ; Sun, Z. ; Thiagarajan, P.S. ; Wong, W.-F. 
2012Modeling and analysis of biopathways dynamicsLiu, B. ; Thiagarajan, P.S. 
2012Modular discrete time approximations of distributed hybrid automataThiagarajan, P.S. ; Yang, S.
2003Netcharts: Bridging the gap between HMSCs and executable specificationsMukund, M.; Kumar, K.N.; Thiagarajan, P.S. 
2014OpenComet: An automated tool for comet assay image analysisGyori, B.M.; Venkatachalam, G. ; Thiagarajan, P.S. ; Hsu, D. ; Clement, M.-V. 
2011Probabilistic approximations of ODEs based bio-pathway dynamicsLiu, B. ; Hsu, D. ; Thiagarajan, P.S. 
2009Probabilistic approximations of signaling pathway dynamicsLiu, B. ; Thiagarajan, P.S. ; Hsu, D. 
2008Quasi-static scheduling of communicating tasksDarondeau, P.; Genest, B.; Thiagarajan, P.S. ; Yang, S.
2010Quasi-static scheduling of communicating tasksDarondeau, P.; Genest, B.; Thiagarajan, P.S. ; Yang, S.
2002Regular event structures and finite petri nets: The conflict-free caseNielsen, M.; Thiagarajan, P.S. 
2010Simulating calcineurin-centered calcium signaling network in cardiac myocytesCui, J.; Kaandorp, J.A.; Sloot, P.M.A.; Thiagarajan, P.S. 
2013Statistical model checking based calibration and analysis of bio-pathway modelsPalaniappan, S.K.; Gyori, B.M.; Liu, B.; Hsu, D. ; Thiagarajan, P.S. 
2010Succinct discrete time approximations of distributed hybrid automataThiagarajan, P.S. ; Yang, S.
2005The discrete time behavior of lazy linear hybrid automataAgrawal, M. ; Thiagarajan, P.S. 
2005The MSO theory of connectedly communicating processesMadhusudan, P.; Thiagarajan, P.S. ; Yang, S. 
2004Timed vs. Time-triggered automataKrčál, P.; Mokrushin, L.; Thiagarajan, P.S. ; Yi, W.