Author of the publication

Verification of Data-Value-Aware Processes and a Case Study on Spectrum Auctions.

, , and . CBI (1), page 181-190. IEEE, (2020)

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

Towards Concise Models of Grid Stability., , and . SmartGridComm, page 1-6. IEEE, (2018)Generating Artificial Outliers in the Absence of Genuine Ones - A Survey., and . ACM Trans. Knowl. Discov. Data, 15 (2): 30:1-30:37 (2021)Toward meaningful notions of similarity in NLP embedding models., , , and . Int. J. Digit. Libr., 21 (2): 109-128 (2020)Real-Time Object Specification Logic., and . DAISD, volume LSI/93-25-R of Report de recerca, page 159-173. Universitat Politecnica de Catalunya (UPC), (1993)Towards Dependable Agent Systems., , , , and . Multiagent Engineering, Springer, (2006)Unsupervised Artificial Neural Networks for Outlier Detection in High-Dimensional Data., , and . ADBIS, volume 11695 of Lecture Notes in Computer Science, page 3-19. Springer, (2019)Valuation-Aware Traffic Control., and . Multi-Agent Systems for Traffic and Transportation Engineering, IGI Global, (2009)Scalable and data-aware SQL query recommendations., and . Inf. Syst., (2021)A practical data-flow verification scheme for business processes., , and . Inf. Syst., (2019)Preserving Secrecy in Mobile Social Networks., , and . ACM Trans. Cyber Phys. Syst., 5 (1): 5:1-5:29 (2021)