( en | de | ru )

 

Disambiguierung von "Beillahi, Sidi Mohamed"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
LMPTs: Eliminating Storage Bottlenecks for Processing Blockchain Transactions.

, , , , und . ICBC, Seite 1-9. IEEE, (2022)

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.

Mohamed-Ahmed Mohamed-Sidi

Sidi Mohamed el Yousfi Alaoui

Maria Sidirelli

Charalambos Sidiropoulos

Melanie Sidiropoulos

 

Weitere Publikationen von Autoren mit dem selben Namen

Assessing Code Generation with Intermediate Languages., , , , , , und . CoRR, (2024)Checking Robustness Against Snapshot Isolation., , und . CAV (2), Volume 11562 von Lecture Notes in Computer Science, Seite 286-304. Springer, (2019)LVMT: An Efficient Authenticated Storage for Blockchain., , , , , und . OSDI, Seite 135-153. USENIX Association, (2023)Automated Auditing of Price Gouging TOD Vulnerabilities in Smart Contracts., , , , und . ICBC, Seite 1-6. IEEE, (2022)Comparing Causal Convergence Consistency Models., , und . NETYS, Volume 14067 von Lecture Notes in Computer Science, Seite 62-77. Springer, (2023)Smart Contracts Refinement for Gas Optimization., , , und . BRAINS, Seite 229-236. IEEE, (2021)Safeguarding DeFi Smart Contracts against Oracle Deviations., , , , , und . ICSE, Seite 171:1-171:12. ACM, (2024)Automated Synthesis of Asynchronizations., , , und . SAS, Volume 13790 von Lecture Notes in Computer Science, Seite 135-159. Springer, (2022)Checking Robustness Between Weak Transactional Consistency Models., , und . ESOP, Volume 12648 von Lecture Notes in Computer Science, Seite 87-117. Springer, (2021)OpenTracer: A Dynamic Transaction Trace Analyzer for Smart Contract Invariant Generation and Beyond., , , , und . CoRR, (2024)