Author of the publication

A Refinement Calculus for Hybrid Systems.

, and . ICECCS, page 176-185. IEEE Computer Society, (2014)

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

Estimating Menu Costs in Electronic Markets., and . ICIS, page 106. Association for Information Systems, (2007)Tutorial on Latent Growth Models for Longitudinal Data Analysis., and . AMCIS, page 64. Association for Information Systems, (2010)More bilateral, more anterior: Alterations of brain organization in the large-scale structural network in Chinese dyslexia., , , , , , , and . NeuroImage, (2016)Towards Better Semantics Exploration for Browser Fuzzing., , , , , , , , and . Proc. ACM Program. Lang., 7 (OOPSLA2): 604-631 (October 2023)Corrigendum to "Identifying consumer consideration set at the purchase time from aggregate purchase data in online retailing" Decis. Support Syst. 53/3 (2012) 625-633., , and . Decis. Support Syst., 54 (1): 813 (2012)Identifying consumer consideration set at the purchase time from aggregate purchase data in online retailing., , and . Decis. Support Syst., 53 (3): 625-633 (2012)Chunk incremental learning for cost-sensitive hinge loss support vector machine., , , , and . Pattern Recognit., (2018)A kernel path algorithm for general parametric quadratic programming problem., , , and . Pattern Recognit., (2021)A Privacy-Preserved and User Self-Governance Blockchain-Based Framework to Combat COVID-19 Depression in Social Media., and . IEEE Access, (2023)Ordinal-Class Core Vector Machine., , and . J. Comput. Sci. Technol., 25 (4): 699-708 (2010)