Alex Abuin
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
1
Active years
2019–2020
Best venue rank
C
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | TIME | One-Pass Context-Based Tableaux Systems for CTL and ECTL. | Alex Abuin, Alexander Bolotov, Montserrat Hermo, Paqui Lucio |
| 2019 | TIME | Towards Certified Model Checking for PLTL Using One-Pass Tableaux. | Alex Abuin, Alexander Bolotov, Unai Daz-de-Cerio, Montserrat Hermo, Paqui Lucio |