M. Zorzi
发表
L. Viganò,
Marco Volpe,
M. Zorzi,
2015
.
S. Martini,
A. Masini,
M. Zorzi,
2020
.
L. Viganò,
Francesco Olivieri,
M. Cristani,
2019
.
M. Zorzi,
Federico Aschieri,
2012
.
M. Zorzi,
Federico Aschieri,
2014
.
M. Zorzi,
D. Trotta,
2020,
2006.10604.
M. Piccolo,
Luca Paolini,
M. Zorzi,
2019,
Journal of Automated Reasoning.
Margherita Zorzi,
M. Zorzi,
2019,
Applied Sciences.
Ugo Dal Lago,
Margherita Zorzi,
M. Zorzi,
2011,
RAIRO Theor. Informatics Appl..
Margherita Zorzi,
M. Zorzi,
2014,
Mathematical Structures in Computer Science.
Luca Paolini,
Margherita Zorzi,
Mauro Piccolo,
2018,
Journal of Automated Reasoning.
Andrea Masini,
Margherita Zorzi,
Simone Martini,
2020,
ACM Trans. Comput. Log..
A journey in modal proof theory: From minimal normal modal logic to discrete linear temporal logic
pdf
Simone Martini,
Margherita Zorzi,
Andrea Masini,
2020,
ArXiv.
Luca Viganò,
Matteo Cristani,
Francesco Olivieri,
2019,
J. Comput. Inf. Technol..
Luca Viganò,
Marco Volpe,
Margherita Zorzi,
2017,
Inf. Comput..
Margherita Zorzi,
Luca Viganò,
Marco Volpe,
2014,
WoLLIC.
Luca Viganò,
Andrea Masini,
Margherita Zorzi,
2011,
J. Multiple Valued Log. Soft Comput..
Luca Viganò,
Andrea Masini,
Margherita Zorzi,
2008,
38th International Symposium on Multiple Valued Logic (ismvl 2008).
Matteo Cristani,
Francesco Olivieri,
Claudio Tomazzoli,
2018,
KES-AMSTA.
Luca Roversi,
Luca Paolini,
Margherita Zorzi,
2017,
Linearity-TLLA@FLoC.
Luca Paolini,
Margherita Zorzi,
Luca Paolini,
2017,
TAMC.
Carlo Combi,
Gabriele Pozzani,
Ugo Moretti,
2016,
J. Biomed. Informatics.
Margherita Pasini,
Ugo Solitro,
Margherita Brondino,
2017,
MIS4TEL.
Carlo Combi,
Gabriele Pozzani,
Ugo Moretti,
2017,
BCB.
Margherita Pasini,
Ugo Solitro,
Margherita Brondino,
2016,
MIS4TEL.
Matteo Cristani,
Claudio Tomazzoli,
Margherita Zorzi,
2019,
IEA/AIE.
Ugo Dal Lago,
Andrea Masini,
Margherita Zorzi,
2010,
Theor. Comput. Sci..
Federico Aschieri,
Margherita Zorzi,
M. Zorzi,
2016,
Theor. Comput. Sci..
Carlo Combi,
Gabriele Pozzani,
Ugo Moretti,
2019,
IEEE Journal of Biomedical and Health Informatics.
Margherita Zorzi,
Davide Trotta,
M. Zorzi,
2020,
ArXiv.
M. Zorzi,
D. Trotta,
2020,
2006.10604.
Federico Aschieri,
Margherita Zorzi,
M. Zorzi,
2012,
CL&C.
Federico Aschieri,
Margherita Zorzi,
M. Zorzi,
2013,
TYPES.
Federico Aschieri,
Margherita Zorzi,
M. Zorzi,
2013,
TLCA.
Andrea Masini,
Margherita Zorzi,
A. Masini,
2018,
Axioms.
Matteo Cristani,
Claudio Tomazzoli,
Margherita Zorzi,
2018,
KES.