Laura Bozzelli
发表
Angelo Montanari,
Pietro Sala,
Adriano Peron,
2017,
ACM Trans. Comput. Log..
Salvatore La Torre,
Laura Bozzelli,
2007,
ICALP.
Angelo Montanari,
Pietro Sala,
Adriano Peron,
2016,
GandALF.
Sophie Pinchinat,
Laura Bozzelli,
S. Pinchinat,
2012,
Theor. Comput. Sci..
Laura Bozzelli,
L. Bozzelli,
2008,
2008 15th International Symposium on Temporal Representation and Reasoning.
Angelo Montanari,
Adriano Peron,
Laura Bozzelli,
2019,
TIME.
Angelo Montanari,
Adriano Peron,
Laura Bozzelli,
2018,
KR.
Sophie Pinchinat,
Bastien Maubert,
Laura Bozzelli,
2015,
Inf. Comput..
Angelo Montanari,
Adriano Peron,
Laura Bozzelli,
2018,
GandALF.
Sophie Pinchinat,
Bastien Maubert,
Laura Bozzelli,
2014,
ArXiv.
Angelo Montanari,
Adriano Peron,
Laura Bozzelli,
2020,
ICTCS.
Sophie Pinchinat,
Bastien Maubert,
Laura Bozzelli,
2011,
GandALF.
Axel Legay,
Sophie Pinchinat,
Laura Bozzelli,
2010,
Theor. Comput. Sci..
Giuseppe Perelli,
Loredana Sorrentino,
Laura Bozzelli,
2020,
Theor. Comput. Sci..
Angelo Montanari,
Adriano Peron,
Laura Bozzelli,
2020,
Inf. Comput..
Adriano Peron,
Massimo Benerecetti,
Laura Bozzelli,
2003,
ArXiv.
Laura Bozzelli,
2007,
Theor. Comput. Sci..
Angelo Montanari,
Adriano Peron,
Laura Bozzelli,
2019,
ICTCS.
Aniello Murano,
Bastien Maubert,
Laura Bozzelli,
2019,
IJCAI.
César Sánchez,
Laura Bozzelli,
2012,
FSTTCS.
Angelo Montanari,
Adriano Peron,
Laura Bozzelli,
2017,
GandALF.
Laura Bozzelli,
2004,
ArXiv.
Ruggero Lanotte,
Laura Bozzelli,
2010,
Theor. Comput. Sci..
Vojtech Rehák,
Laura Bozzelli,
Jan Strejcek,
2009,
Acta Informatica.
César Sánchez,
Laura Bozzelli,
2014,
IJCAR.
Laura Bozzelli,
L. Bozzelli,
2006,
Theor. Comput. Sci..
Salvatore La Torre,
Laura Bozzelli,
2009,
Formal Methods Syst. Des..
Laura Bozzelli,
2008,
FoSSaCS.
Aniello Murano,
Loredana Sorrentino,
Laura Bozzelli,
2018,
TIME.
Angelo Montanari,
Pietro Sala,
Adriano Peron,
2016,
FSTTCS.
Sophie Pinchinat,
Bastien Maubert,
Laura Bozzelli,
2014,
FoSSaCS.
Angelo Montanari,
Pietro Sala,
Adriano Peron,
2019,
Theor. Comput. Sci..
Adriano Peron,
Salvatore La Torre,
Laura Bozzelli,
2006,
VMCAI.
César Sánchez,
Laura Bozzelli,
2014,
RV.
Laura Bozzelli,
2009,
Electron. Notes Theor. Comput. Sci..
Adriano Peron,
Laura Bozzelli,
Aniello Murano,
2020,
KR.
Adriano Peron,
Salvatore La Torre,
Laura Bozzelli,
2006,
Theor. Comput. Sci..
Angelo Montanari,
Pietro Sala,
Adriano Peron,
2020,
MFCS.
Angelo Montanari,
Adriano Peron,
Laura Bozzelli,
2019,
FSTTCS.
Angelo Montanari,
Pietro Sala,
Adriano Peron,
2016,
IJCAR.
Laura Bozzelli,
Régis Gascon,
L. Bozzelli,
2006,
LPAR.
César Sánchez,
Laura Bozzelli,
2013,
Acta Informatica.
Angelo Montanari,
Pietro Sala,
Adriano Peron,
2018,
Inf. Comput..
Ruggero Lanotte,
Laura Bozzelli,
2011,
TABLEAUX.
Aniello Murano,
Adriano Peron,
Laura Bozzelli,
2005,
Formal Methods Syst. Des..
Aniello Murano,
Adriano Peron,
Laura Bozzelli,
2018,
LATA.
Laura Bozzelli,
2012,
LATA.
Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption
pdf
Angelo Montanari,
Pietro Sala,
Adriano Peron,
2017,
ICALP.
Axel Legay,
Sophie Pinchinat,
Laura Bozzelli,
2012,
Acta Informatica.
David Pearce,
Laura Bozzelli,
D. Pearce,
2016,
JELIA.
Axel Legay,
Sophie Pinchinat,
Laura Bozzelli,
2010,
LPAR.
Angelo Montanari,
Pietro Sala,
Adriano Peron,
2016,
ICTCS.
Aniello Murano,
Adriano Peron,
Laura Bozzelli,
2018,
GandALF.
Vojtech Rehák,
Laura Bozzelli,
Jan Strejcek,
2006,
FSTTCS.
Pierre Ganty,
Laura Bozzelli,
L. Bozzelli,
2011,
RP.
Gerhard J. Woeginger,
Angelo Montanari,
Adriano Peron,
2018,
ICTCS.
Aniello Murano,
Giuseppe Perelli,
Loredana Sorrentino,
2017,
TIME.
Sophie Pinchinat,
Bastien Maubert,
Laura Bozzelli,
2013,
SR.
Aniello Murano,
Laura Bozzelli,
2017,
GandALF.
Sophie Pinchinat,
Tim French,
Laura Bozzelli,
2012,
Inf. Comput..
Axel Legay,
Sophie Pinchinat,
Laura Bozzelli,
2009,
FSTTCS.
Loredana Sorrentino,
Laura Bozzelli,
Aniello Murano,
2020,
Theor. Comput. Sci..
Ruggero Lanotte,
Laura Bozzelli,
2008,
JELIA.
César Sánchez,
Laura Bozzelli,
2016,
Theor. Comput. Sci..
Sophie Pinchinat,
Laura Bozzelli,
Hans van Ditmarsch,
2012,
JELIA.
Sophie Pinchinat,
Laura Bozzelli,
Hans van Ditmarsch,
2012,
Theor. Comput. Sci..
Adriano Peron,
Laura Bozzelli,
Aniello Murano,
2020
.
Aniello Murano,
Adriano Peron,
Laura Bozzelli,
2010,
Formal Methods Syst. Des..
Angelo Montanari,
Adriano Peron,
Laura Bozzelli,
2017,
SEFM.
Gerhard J. Woeginger,
Angelo Montanari,
Adriano Peron,
2020,
Theor. Comput. Sci..
César Sánchez,
Laura Bozzelli,
2017,
Journal of Automated Reasoning.
Angelo Montanari,
Adriano Peron,
Laura Bozzelli,
2019,
FSTTCS.
Sophie Pinchinat,
Laura Bozzelli,
S. Pinchinat,
2014,
Theor. Comput. Sci..
Aniello Murano,
Adriano Peron,
Laura Bozzelli,
2018,
ArXiv.
Patricia Bouyer,
Laura Bozzelli,
Fabrice Chevalier,
2006,
CONCUR.
Laura Bozzelli,
2011,
GandALF.
Laura Bozzelli,
2005,
VMCAI.
David Pearce,
Laura Bozzelli,
D. Pearce,
2015,
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science.
Laura Bozzelli,
2007,
CONCUR.
Adding the Relation Meets to the Temporal Logic of Prefixes and Infixes makes it EXPSPACE-Complete
pdf
Angelo Montanari,
Pietro Sala,
Adriano Peron,
2021,
Electronic Proceedings in Theoretical Computer Science.
Angelo Montanari,
Pietro Sala,
Adriano Peron,
2021,
TIME.
Angelo Montanari,
Adriano Peron,
Laura Bozzelli,
2021,
Inf. Comput..
Adriano Peron,
Laura Bozzelli,
Cesar Sanchez,
2021,
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Laura Bozzelli,
Vojtěch Řehák,
Mojmír Křetínský,
2006
.