Scholar

Pavle Subotic

Google Scholar ID: lGgrdKsAAAAJ

Formal Labs

Static AnalysisDatalog EnginesModel Checking

Google Scholar↗

Citations & Impact

All-time

Citations

891

H-index

15

i10-index

17

Publications

20

Co-authors

0

Contact

No contact links provided.

Publications

3 items

A Fast Ethereum-Compatible Forkless Database

2025

Cited

0

Efficient Forkless Blockchain Databases

2025

Cited

0

Formal Model Guided Conformance Testing for Blockchains

2025

Cited

0

Resume (English only)

Co-authors

0 total

Co-authors: 0 (list not available)