Autori: Scholz Bernhard
| Naslov | Formal Verification of a Fail-Safe Cross-Chain Bridge (Proceedings Paper) |
| Autori | Maric Filip M  Scholz Bernhard Subotic Pavle
|
| Info | 6TH INTERNATIONAL WORKSHOP ON FORMAL METHODS FOR BLOCKCHAINS, FMBC 2025, (2025), vol. 129 br. , str. - |
| Ispravka | Web of Science Članak Elečas |
     |
| Naslov | Reusable Formal Verification of DAG-Based Consensus Protocols (Proceedings Paper) |
| Autori | Bertrand Nathalie Ghorpade Pranav Rubin Sasha Scholz Bernhard Subotic Pavle |
| Info | NASA FORMAL METHODS, NFM 2025, (2025), vol. 15682 br. , str. 138-158 |
| Projekat | Fantom Foundation; PaVeDyS project [ANR-23-CE48-0005] |
| Ispravka | Web of Science Članak Elečas Rang časopisa |
|
|
| Naslov | Building a Join Optimizer for Souffle (Proceedings Paper) |
| Autori | Arch Samuel Hu Xiaowen Zhao David Subotic Pavle Scholz Bernhard |
| Info | LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2022), (2022), vol. 13474 br. , str. 83-102 |
| Projekat | Fantom Foundation; Australian Government through the ARC [DP210101984] |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science Scopus |
|
|
