F. Mogavero
发表
Massimo Benerecetti,
Marco Faella,
Daniele Dell'Erba,
2020,
ArXiv.
Moshe Y. Vardi,
Giuseppe Perelli,
A. Murano,
2012
.
G. Konstantinidis,
F. Mogavero,
Paolo Pareti,
2021,
Journal of Web Semantics.
G. Fontaine,
Giuseppe,
A. Murano,
2018
.
M. Benerecetti,
A. Peron,
F. Mogavero,
2023,
TIME.
M. Benerecetti,
Daniele Dell'Erba,
F. Mogavero,
2018,
Formal Methods in System Design.
Aniello Murano,
Fabio Mogavero,
A. Murano,
2009,
Developments in Language Theory.
Dario Della Monica,
M. Benerecetti,
F. Mogavero,
2021,
ACM Trans. Comput. Log..
Fabio Mogavero,
George Konstantinidis,
G. Konstantinidis,
2019,
PODS.
Giuseppe Perelli,
Fabio Mogavero,
Giuseppe Perelli,
2014,
ArXiv.
Aniello Murano,
Moshe Y. Vardi,
Fabio Mogavero,
2010,
J. Log. Comput..
Fabio Mogavero,
F. Mogavero,
2010
.
Alessio Lomuscio,
Aniello Murano,
Fabio Mogavero,
2017,
Inf. Comput..
Aniello Murano,
Giuseppe Perelli,
Moshe Y. Vardi,
2016,
Log. Methods Comput. Sci..
Aniello Murano,
Giuseppe Perelli,
Moshe Y. Vardi,
2011,
ArXiv.
Aniello Murano,
Giuseppe Perelli,
Gaëlle Fontaine,
2016,
GandALF.
Aniello Murano,
Fabio Mogavero,
Luigi Sauro,
2013,
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science.
Aniello Murano,
Giuseppe Perelli,
Moshe Y. Vardi,
2012,
CONCUR.
Aniello Murano,
Giuseppe Perelli,
Moshe Y. Vardi,
2012,
ArXiv.
Aniello Murano,
Fabio Mogavero,
Alessandro Bianco,
2010,
CSL.
Moshe Y. Vardi,
A. Murano,
F. Mogavero,
2010,
FSTTCS.
Aniello Murano,
Massimo Benerecetti,
Fabio Mogavero,
2015,
ACM Trans. Comput. Log..
Sven Schewe,
Massimo Benerecetti,
Fabio Mogavero,
2021,
ArXiv.
Massimo Benerecetti,
Fabio Mogavero,
Daniele Dell'Erba,
2019,
TACAS.
L. Bozzelli,
M. Benerecetti,
A. Peron,
2023,
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Massimo Benerecetti,
Fabio Mogavero,
Daniele Dell'Erba,
2017,
GandALF.
Massimo Benerecetti,
Daniele Dell'Erba,
Fabio Mogavero,
2016,
Haifa Verification Conference.
Massimo Benerecetti,
Fabio Mogavero,
Daniele Dell'Erba,
2016,
GandALF.
Massimo Benerecetti,
Daniele Dell'Erba,
Fabio Mogavero,
2016,
CAV.
Piero A. Bonatti,
Fabio Mogavero,
P. Bonatti,
2008,
2008 IEEE Workshop on Policies for Distributed Systems and Networks.
Massimo Benerecetti,
Fabio Mogavero,
Erman Acar,
2019,
AAAI.
Alessio Lomuscio,
Aniello Murano,
Fabio Mogavero,
2014,
CAV.
Aniello Murano,
Benjamin Aminof,
Fabio Mogavero,
2011,
Sci. Comput. Program..
Aniello Murano,
Fabio Mogavero,
Marco Faella,
2011,
Annals of Mathematics and Artificial Intelligence.
Aniello Murano,
Fabio Mogavero,
Luigi Sauro,
2014,
CLIMA.
Fabio Mogavero,
Simone Bova,
S. Bova,
2017,
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Aniello Murano,
Fabio Mogavero,
Marco Faella,
2009,
MFCS.
Aniello Murano,
Fabio Mogavero,
Marco Faella,
2012,
Theor. Comput. Sci..
Michael Benedikt,
Egor V. Kostylev,
Fabio Mogavero,
2017,
IJCAI.
Aniello Murano,
Fabio Mogavero,
Marco Faella,
2010,
QAPL.
Dario Della Monica,
M. Benerecetti,
F. Mogavero,
2023,
Annals of Pure and Applied Logic.