Alex Coto
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2020–2022
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | ISoLA | On Formal Choreographic Modelling: A Case Study in EU Business Processes. | Alex Coto, Franco Barbanera, Ivan Lanese, Davide Rossi, Emilio Tuosto |
| 2022 | TACAS | A Prototype for Data Race Detection in CSeq 3 - (Competition Contribution). | Alex Coto, Omar Inverso, Emerson Sales, Emilio Tuosto |
| 2020 | Coordination | Choreographic Development of Message-Passing Applications - A Tutorial. | Alex Coto, Roberto Guanciale, Emilio Tuosto |
| 2020 | ISoLA | On Testing Message-Passing Components. | Alex Coto, Roberto Guanciale, Emilio Tuosto |