Author of the publication

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

Estimation and model selection of semiparametric copula-based multivariate dynamic models under copula misspecification, and . Journal of Econometrics, 135 (1-2): 125--154 (00 2006)Distance Measures for Hesitant Fuzzy Linguistic Sets and Their Applications in Multiple Criteria Decision Making., , and . Int. J. Fuzzy Syst., 20 (7): 2111-2121 (2018)A Language-Independent Approach to Smart Contract Verification., , and . ISoLA (4), volume 11247 of Lecture Notes in Computer Science, page 405-413. Springer, (2018)Ship Water Fire-Fighting System Survivability Simulation Based on Intelligent Reconfiguration Arithmetic., , and . AICI (1), volume 7002 of Lecture Notes in Computer Science, page 18-26. Springer, (2011)Runtime Verification of Spatio-Temporal Specification Language., , , , , , and . Mob. Networks Appl., 26 (6): 2392-2406 (2021)Selecting supplier combination based on fuzzy multicriteria analysis., , , and . Int. J. General Systems, 44 (5): 572-590 (2015)TimePF: A Tool for Modeling and Verifying Timing Requirements Based on Problem Frames., , and . APRES, volume 558 of Communications in Computer and Information Science, page 149-154. Springer, (2015)Programming Error Based on Ellipse Variable Programming., , and . ICICA (2), volume 392 of Communications in Computer and Information Science, page 479-487. Springer, (2013)Hyperspectral characteristics of seawater intrusion in Pearl River Delta, China based on laboratory experiments., , , , and . IGARSS, page 4825-4828. IEEE, (2012)Formally Verifying Sequence Diagrams for Safety Critical Systems., , and . TASE, page 217-224. IEEE, (2020)