N. Gigante
发表
Alessandro Gianola,
Luca Geatti,
N. Gigante,
2022,
ArXiv.
A. Montanari,
Mark Reynolds,
N. Gigante,
2016
.
C. Piazza,
N. Vitacolonna,
N. Rossi,
2022,
bioRxiv.
A. Cimatti,
S. Tonetta,
A. Montanari,
2022,
FoSSaCS.
A. Artale,
A. Montanari,
Luca Geatti,
2022,
Proceedings of the AAAI Conference on Artificial Intelligence.
Alessandro Gianola,
N. Gigante,
2022
.
Alberto Policriti,
Nicola Gigante,
Nicola Prezza,
2015,
LATA.
S. Toscano,
N. Gigante,
G. Distefano,
2003,
Minimally invasive neurosurgery : MIN.
Nicola Gigante,
N. Gigante,
2019,
ArXiv.
Angelo Montanari,
Mark Reynolds,
Marta Cialdea Mayer,
2018,
TIME.
A. Colamaria,
N. Gigante,
E. Pierangeli,
1999,
Minimally invasive neurosurgery : MIN.
N. Gigante,
E. Pierangeli,
2008,
Minimally invasive neurosurgery : MIN.
Angelo Montanari,
Alessandro Cimatti,
Stefano Tonetta,
2020,
2020 Formal Methods in Computer Aided Design (FMCAD).
Lucía Gómez Álvarez,
Tim S. Lyon,
N. Gigante,
2023,
Proceedings of the Twentieth International Conference on Principles of Knowledge Representation and Reasoning.
Albert Atserias,
A. Montalbán,
C. Piazza,
2019,
The Bulletin of Symbolic Logic.
A. Montanari,
Luca Geatti,
N. Gigante,
2022,
GandALF.
A. Cimatti,
A. Montanari,
Luca Geatti,
2021,
Formal Methods in System Design.
Angelo Montanari,
Alessandro Cimatti,
Stefano Tonetta,
2021,
SEFM.
Angelo Montanari,
Mark Reynolds,
Marta Cialdea Mayer,
2020,
Theor. Comput. Sci..
Guido Sciavicco,
Dario Della Monica,
Angelo Montanari,
2017,
IJCAI.
Angelo Montanari,
Marta Cialdea Mayer,
Nicola Gigante,
2017,
ICAPS.
Angelo Montanari,
Nicola Gigante,
Andrea Orlandini,
2016,
2016 23rd International Symposium on Temporal Representation and Reasoning (TIME).
Dario Della Monica,
Angelo Montanari,
Salvatore La Torre,
2020,
TIME.
Dario Della Monica,
Angelo Montanari,
Pietro Sala,
2018,
KR.
Angelo Montanari,
Luca Geatti,
Nicola Gigante,
2021,
OVERLAY@GandALF.
A. Trabacca,
M. De Rinaldis,
N. Gigante,
2017,
Acta Neurologica Belgica.