Autor der Publikation

Towards Verifying Ethereum Smart Contracts at Intermediate Language Level.

, , , , , und . ICFEM, Volume 11852 von Lecture Notes in Computer Science, Seite 121-137. Springer, (2019)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Transfer Learning With Neural Networks for Bearing Fault Diagnosis in Changing Working Conditions., , , und . IEEE Access, (2017)A Novel Architecture for Secure and Scalable Multicast over IP Network., , und . SecureComm, Volume 19 von Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, Seite 417-436. Springer, (2009)Variance estimation over sliding windows., und . PODS, Seite 225-232. ACM, (2007)Unsupervised Trajectory Segmentation and Promoting of Multi-Modal Surgical Demonstrations., , , , , und . IROS, Seite 777-782. IEEE, (2018)Multi-granularity Contrastive Siamese Networks for Abstractive Text Summarization., , , , und . ICONIP (12), Volume 1966 von Communications in Computer and Information Science, Seite 198-210. Springer, (2023)Score-based likelihood ratios for camera device identification., , , , und . Media Watermarking, Security, and Forensics, Society for Imaging Science and Technology, (2020)Integrating Semantic Scenario and Word Relations for Abstractive Sentence Summarization., , , , und . EMNLP (1), Seite 2522-2529. Association for Computational Linguistics, (2021)Frame Semantic-Enhanced Sentence Modeling for Sentence-level Extractive Text Summarization., , , , und . EMNLP (1), Seite 4045-4052. Association for Computational Linguistics, (2021)Research and Design of On-board Dynamic Reconfigurable Router., , und . NCM, Seite 733-738. IEEE Computer Society, (2009)Scattered Points Denoising of TC-Bezier Surface Fitting., , , und . WKDD, Seite 371-374. IEEE Computer Society, (2010)