Francesco Belardinelli
ORCIDPublication Activity (10 Years)
Years Active: 2004-2024
Publications (10 Years): 94
Publications (10 Years): 94
Publications
- Francis Rhys Ward, Matt MacDermott, Francesco Belardinelli, Francesca Toni, Tom Everitt
- Francesco Belardinelli, Wojciech Jamroga, Munyque Mittelmann, Aniello Murano
- Francis Rhys Ward, Francesco Belardinelli, Francesca Toni, Tom Everitt
- Francesco Belardinelli, Ioana Boureanu, Vadim Malvone, Fortunat Rajaona
- Francis Ward, Francesca Toni, Francesco Belardinelli, Tom Everitt
- Alexander W. Goodall, Francesco Belardinelli
- Francis Rhys Ward, Francesca Toni, Francesco Belardinelli
- Francesco Belardinelli, Wojciech Jamroga, Munyque Mittelmann, Aniello Murano
- Aamal Abbas Hussain, Francesco Belardinelli, Georgios Piliouras
- Aamal Abbas Hussain, Francesco Belardinelli
- Aamal Abbas Hussain, Francesco Belardinelli, Georgios Piliouras
- Solofomampionona Fortunat Rajaona, Ioana Boureanu, Vadim Malvone, Francesco Belardinelli
- Francesco Belardinelli, Angelo Ferrando, Vadim Malvone
- Francesco Belardinelli, Angelo Ferrando, Wojciech Jamroga, Vadim Malvone, Aniello Murano
- Aamal Abbas Hussain, Dan Leonte, Francesco Belardinelli, Georgios Piliouras
- Hisham Unniyankal, Francesco Belardinelli, Angelo Ferrando, Vadim Malvone
- Alexander W. Goodall, Francesco Belardinelli
- Alexander W. Goodall, Francesco Belardinelli
- Francesco Belardinelli, Angelo Ferrando, Wojciech Jamroga, Vadim Malvone, Aniello Murano
- Aamal Abbas Hussain, Francesco Belardinelli, Georgios Piliouras
- Matt MacDermott, Tom Everitt, Francesco Belardinelli
- Aamal Abbas Hussain, Francesco Belardinelli, Georgios Piliouras
- Aamal Abbas Hussain, Francesco Belardinelli, Dario Paccagnan
- Francis Rhys Ward, Francesco Belardinelli, Francesca Toni
- Peter He, Borja G. León, Francesco Belardinelli
- Francis Rhys Ward, Francesca Toni, Francesco Belardinelli
- Francesco Belardinelli, Alessio Lomuscio, Vadim Malvone, Emily Yu
- Borja G. León, Murray Shanahan, Francesco Belardinelli
- Rui Li, Francesco Belardinelli
- Francesco Belardinelli, Borja G. León, Vadim Malvone
- Francesco Belardinelli, Wojtek Jamroga, Vadim Malvone, Munyque Mittelmann, Aniello Murano, Laurent Perrussel
- Francesco Belardinelli, Ioana Boureanu, Catalin Dima, Vadim Malvone
- Francesco Belardinelli, Wojtek Jamroga, Vadim Malvone, Munyque Mittelmann, Aniello Murano, Laurent Perrussel
- Francis Rhys Ward, Francesco Belardinelli, Francesca Toni
- Francis Rhys Ward, Francesca Toni, Francesco Belardinelli
- Peter He, Borja G. León, Francesco Belardinelli
- Borja G. León, Murray Shanahan, Francesco Belardinelli
- Pierre El Mqirmi, Francesco Belardinelli, Borja G. León
- Shibei Zhu, Francesco Belardinelli, Borja Gonzalez León
- Stefan Lauren, Francesco Belardinelli, Francesca Toni
- Francesco Belardinelli, Sophia Knight, Alessio Lomuscio, Bastien Maubert, Aniello Murano, Sasha Rubin
- Francesco Belardinelli, Stéphane Demri
- Pierre El Mqirmi, Francesco Belardinelli, Borja G. León
- Stefan Lauren, Francesco Belardinelli, Francesca Toni
- Borja G. León, Francesco Belardinelli
- Francesco Belardinelli, Vadim Malvone
- Francesco Belardinelli, Vadim Malvone
- Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin
- Francesco Belardinelli, Catalin Dima, Vadim Malvone, Ferucio Laurentiu Tiplea
- Borja G. León, Murray Shanahan, Francesco Belardinelli
- Francesco Belardinelli, Stéphane Demri
- Francesco Belardinelli, Catalin Dima, Vadim Malvone, Ferucio Laurentiu Tiplea
- Francesco Belardinelli, Alessio Lomuscio, Emily Yu
- Ria Jha, Francesco Belardinelli, Francesca Toni
- Borja G. León, Francesco Belardinelli
- Francesco Belardinelli, Umberto Grandi
- Francesco Belardinelli, Stéphane Demri
- Francesco Belardinelli, Catalin Dima, Ioana Boureanu, Vadim MalvoneModel Checking ATL* on vCGS. CoRR (2019)
- Ria Jha, Francesco Belardinelli, Francesca Toni
- Francesco Belardinelli, Wojciech Jamroga, Damian Kurpiewski, Vadim Malvone, Aniello Murano
- Francesco Belardinelli, Umberto Grandi
- Francesco Belardinelli, Vadim Malvone
- Francesco Belardinelli, Ioana Boureanu, Catalin Dima, Vadim Malvone
- Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin
- Francesco Belardinelli, Wiebe van der Hoek, Louwe B. Kuijer
- Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin
- Francesco Belardinelli, Catalin Dima, Aniello Murano
- Francesco Belardinelli, Umberto GrandiDatabase Aggregation. CoRR (2018)
- Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin
- Francesco Belardinelli, Alessio Lomuscio, Vadim Malvone
- Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin
- Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin
- Francesco Belardinelli, Umberto Grandi, Andreas Herzig, Dominique Longin, Emiliano Lorini, Arianna Novaro, Laurent Perrussel
- Francesco Belardinelli, Andreas Herzig
- Francesco Belardinelli, Panagiotis Kouvaros, Alessio Lomuscio
- Francesco Belardinelli, Rodica Condurache, Catalin Dima, Wojciech Jamroga, Andrew V. Jones
- Francesco Belardinelli, Hans van Ditmarsch, Wiebe van der Hoek
- Francesco Belardinelli, Alessio Lomuscio
- Francesco Belardinelli, Alessio Lomuscio
- Francesco Belardinelli, Hans van Ditmarsch, Wiebe van der Hoek
- Francesco Belardinelli, Alessio Lomuscio, Jakub Michaliszyn
- Francesco Belardinelli, Alessio Lomuscio
- Francesco Belardinelli, Wiebe van der Hoek
- Francesco Belardinelli, Andreas Herzig
- Francesco Belardinelli, Wiebe van der Hoek
- Francesco Belardinelli, Davide Grossi, Alessio Lomuscio
- Francesco Belardinelli, Davide Grossi
- Francesco Belardinelli, Davide Grossi, Nicolas Maudet
- Francesco Belardinelli
- Francesco Belardinelli
- Francesco Belardinelli
- Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi
- Francesco Belardinelli