Pablo Lamela Seijas
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2014–2021
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | FC | Standardized Crypto-Loans on the Cardano Blockchain. | Dmytro Kondratiuk, Pablo Lamela Seijas, Alexander Nemish, Simon J. Thompson |
| 2020 | FC | Marlowe: Implementing and Analysing Financial Contracts on Blockchain. | Pablo Lamela Seijas, Alexander Nemish, David Smith, Simon J. Thompson |
| 2020 | ISoLA | Efficient Static Analysis of Marlowe Contracts. | Pablo Lamela Seijas, David Smith, Simon J. Thompson |
| 2018 | ISoLA | Marlowe: Financial Contracts on Blockchain. | Pablo Lamela Seijas, Simon J. Thompson |
| 2016 | ICSE | Model extraction and test generation from JUnit test suites. | Pablo Lamela Seijas, Simon J. Thompson, Miguel Angel Francisco |
| 2014 | PEPM | Automating property-based testing of evolving web services. | Huiqing Li, Simon J. Thompson, Pablo Lamela Seijas, Miguel Angel Francisco |