Viviana Mascardi
ORCIDPublication Activity (10 Years)
Years Active: 1997-2023
Publications (10 Years): 73
Publications (10 Years): 73
Publications
- Andrea Gatti, Viviana Mascardi, Domenico Pellegrini
- Angelo Ferrando, Viviana Mascardi
- Daniela Briola, Angelo Ferrando, Viviana Mascardi
- Davide Ancona, Angelo Ferrando, Viviana Mascardi
- Davide Ancona, Angelo Ferrando, Viviana Mascardi
- Alessandro Biagetti, Angelo Ferrando, Viviana Mascardi
- Davide Ancona, Angelo Ferrando, Viviana Mascardi
- Viviana Mascardi, Danny Weyns, Alessandro Ricci
- Chiara Capone, Rafael H. Bordini, Viviana Mascardi, Giorgio Delzanno, Angelo Ferrando, Luca Gelati, Giovanna Guerrini
- Davide Ancona, Luca Franceschini, Angelo Ferrando, Viviana Mascardi
- Luca Ciccone, Angelo Ferrando, Davide Ancona, Viviana MascardiTimed Trace Expressions. CILC (2019)
- Davide Ancona, Angelo Ferrando, Viviana Mascardi
- Marco Maratea, Viviana Mascardi, Davide Ancona, Alberto Pettorossi
- Davide Ancona, Angelo Ferrando, Luca Franceschini, Viviana Mascardi
- Viviana Mascardi, Danny Weyns
- Angelo Ferrando, Davide Ancona, Viviana Mascardi
- Davide Ancona, Angelo Ferrando, Viviana Mascardi
- Daniela Briola, Vincenzo Deufemia, Viviana Mascardi, Luca Paolino
- Davide Ancona, Viviana Bono, Mario Bravetti, Joana Campos, Giuseppe Castagna, Pierre-Malo Deniélou, Simon J. Gay, Nils Gesbert, Elena Giachino, Raymond Hu, Einar Broch Johnsen, Francisco Martins, Viviana Mascardi, Fabrizio Montesi, Rumyana Neykova, Nicholas Ng, Luca Padovani, Vasco T. Vasconcelos, Nobuko Yoshida
- Davide Ancona, Daniela Briola, Angelo Ferrando, Viviana Mascardi
- Daniela Briola, Viviana Mascardi, Davide Ancona
- Viviana Mascardi, Davide AnconaAttribute Global Types for Dynamic Checking of Protocols in Logic-based Multiagent Systems. Theory Pract. Log. Program. 13 (4-5-Online-Supplement) (2013)
- Supriyo Ghosh, Animesh Dutta, Viviana Mascardi, Daniela Briola
- Viviana Mascardi, Angela Locoro
- Fela Winkelmolen, Viviana Mascardi
- Viviana Mascardi, Davide Ancona