Author of the publication

Graspan: A Single-machine Disk-based Graph System for Interprocedural Static Analyses of Large-scale Systems Code.

, , , , and . ASPLOS, page 389-404. ACM, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A new method for stability analysis of recurrent neural networks with interval time-varying delay., , and . IEEE Trans. Neural Networks, 21 (2): 339-344 (2010)Dynamic event-triggered and self-triggered output feedback control of networked switched linear systems., , and . Neurocomputing, (2018)Stochastic Stabilization of Markovian Jump Systems with Partial Unknown Transition Probabilities and Actuator Saturation., , and . CSSP, 31 (1): 371-383 (2012)New Criteria of Reachable Set Estimation for Time Delay Systems Subject to Polytopic Uncertainties., , , and . ROCOND, page 231-235. International Federation of Automatic Control, (2012)Cooperative control in the presence of antagonistic reciprocity., , and . ASCC, page 745-749. IEEE, (2017)Novel Delay-Dependent Exponential Stability Analysis for a Class of Delayed Neural Networks., and . ICIC (1), volume 4113 of Lecture Notes in Computer Science, page 216-226. Springer, (2006)Grapple: A Graph System for Static Finite-State Property Checking of Large-Scale Systems Code., , , , , , , , and . EuroSys, page 38:1-38:17. ACM, (2019)An Improved Set Invariance Analysis and Gain-Scheduled Control of LPV Systems subject to Actuator Saturation., and . SMC, page 1308-1313. IEEE, (2005)Further Improvements on Delay-Dependent Absolute Stability of Delayed Systems with Sector-bounded Nonlinearity., , , and . ISIC, page 899-904. IEEE, (2008)Coordination for second-order multi-agent systems with velocity and communication constraints., , and . Neurocomputing, (2020)