From post

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.

 

Другие публикации лиц с тем же именем

Computing Imbalance-Minimal Orderings for Bipartite Permutation Graphs and Threshold Graphs.. COCOA, том 12577 из Lecture Notes in Computer Science, стр. 766-779. Springer, (2020)Change Propagation due to Uncertainty Change., , и . FASE, том 7793 из Lecture Notes in Computer Science, стр. 21-36. Springer, (2013)SoK: Not Quite Water Under the Bridge: Review of Cross-Chain Bridge Hacks., , , и . ICBC, стр. 1-14. IEEE, (2023)Partial Regularization of First-Order Resolution Proofs., , и . GCAI, том 72 из EPiC Series in Computing, стр. 34-45. EasyChair, (2020)Towards the Compression of First-Order Resolution Proofs by Lowering Unit Clauses., и . CADE, том 9195 из Lecture Notes in Computer Science, стр. 356-366. Springer, (2015)Ideal properties of rollup escape hatches., , и . DICG@Middleware, стр. 7-12. ACM, (2022)A Rollup Comparison Framework., и . CoRR, (2024)Imbalance, Cutwidth, and the Structure of Optimal Orderings., и . COCOON, том 11653 из Lecture Notes in Computer Science, стр. 219-231. Springer, (2019)A Methodology for Verifying Refinements of Partial Models., , , и . J. Object Technol., 14 (3): 3:1-31 (2015)Attacks on Rollups., , , , и . DICG@Middleware, стр. 25-30. ACM, (2023)