| 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 | 8 | 2022 |
| An abstract framework for choreographic testing A Coto, R Guanciale, E Tuosto Journal of Logical and Algebraic Methods in Programming 123, 100712, 2021 | 5 | 2021 |
| On Testing Message-Passing Components A Coto, E Tuosto, R Guanciale International Symposium On Leveraging Applications of Formal Methods …, 2021 | 5 | 2021 |
| An Abstract Framework for Choreographic Testing A Coto, R Guanciale, E Tuosto Interaction and Concurrency Experience 324 (13), 43-60, 2020 | 3 | 2020 |
| Choreographic Development of Message-Passing Applications: A Tutorial A Coto, R Guanciale, E Tuosto International Conference on Coordination Languages and Models, 20-36, 2020 | 3 | 2020 |
| 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 | 2 | 2022 |
| 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 | 2 | 2014 |
| Tstm: A model to predict topics’ popularity in news providers MA Prado-Romero, A Celi, G Stilo, A Coto-Santiesteban Progress in Pattern Recognition, Image Analysis, Computer Vision, and …, 2019 | 1 | 2019 |
| 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 (S1), 123-140, 2020 | | 2020 |
Emilio TuostoGran Sasso Science InstituteVerified email at gssi.it
