Seuraa
Alex Coto
Alex Coto
PhD Student, Gran Sasso Science Institute
Vahvistettu sähköpostiosoite verkkotunnuksessa gssi.it
Nimike
Viittaukset
Viittaukset
Vuosi
A Prototype for Data Race Detection in CSeq 3: (Competition Contribution)
A Coto, O Inverso, E Sales, E Tuosto
International Conference on Tools and Algorithms for the Construction and …, 2022
132022
An abstract framework for choreographic testing
A Coto, R Guanciale, E Tuosto
Journal of Logical and Algebraic Methods in Programming 123, 100712, 2021
82021
On Testing Message-Passing Components
A Coto, E Tuosto, R Guanciale
International Symposium On Leveraging Applications of Formal Methods …, 2021
52021
Choreographic Development of Message-Passing Applications: A Tutorial
A Coto, R Guanciale, E Tuosto
International Conference on Coordination Languages and Models, 20-36, 2020
52020
ChorGram: tool support for choreographic deveelopment
A Coto, R Guanciale, J Lange, E Tuosto
52015
Minimum population search, an application to molecular docking
A Bolufé-Röhler, A Coto-Santiesteban, M Rosa-Soto, S Chen
GECONTEC: revista Internacional de Gestión del Conocimiento y la Tecnología …, 2014
42014
On formal choreographic modelling: a case study in EU business processes
A Coto, F Barbanera, I Lanese, D Rossi, E Tuosto
International Symposium on Leveraging Applications of Formal Methods, 205-219, 2022
32022
An Abstract Framework for Choreographic Testing
A Coto, R Guanciale, E Tuosto
Interaction and Concurrency Experience 324 (13), 43-60, 2020
32020
A time-sensitive model to predict topic popularity in news providers
MA Prado-Romero, A Coto-Santiesteban, A Celi, G Stilo
Intelligent Data Analysis 24 (1_suppl), 123-140, 2020
12020
Tstm: A model to predict topics’ popularity in news providers
MA Prado-Romero, A Celi, G Stilo, A Coto-Santiesteban
Iberoamerican Congress on Pattern Recognition, 96-106, 2019
12019
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–10