VLDB 2026 Research / reviewers in the wild / expert
Horacio Mijail Anton Quiles
dblp:326/1488
· DBLP profile ↗
3ranked-venue papers
0as first author
3since 2021 · last 2024
0009-0009-7018-9711ORCID · reported
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 3 · 3 since 2021Theory of computation · 1 · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2024 | Deductive verification of smart contracts with Dafny
Franck Cassez, Joanne Fuller, Horacio Mijail Anton Quiles |
Int. J. Softw. Tools Technol. Transf. | 3 |
| 2023 | Formal and Executable Semantics of the Ethereum Virtual Machine in Dafny
Franck Cassez, Joanne Fuller, Milad K. Ghale, David J. Pearce 0001, Horacio Mijail Anton Quiles |
FM | 5 |
| 2022 | Deductive Verification of Smart Contracts with Dafny
Franck Cassez, Joanne Fuller, Horacio Mijail Anton Quiles |
FMICS | 3 |