S. Frittella
发表
N. Wijnberg,
M. Piazzai,
A. Tzimoulis,
2017
.
Sabine Frittella,
S. Frittella,
2014
.
Ondrej Majer,
S. Nazari,
S. Frittella,
2022,
ArXiv.
Benjamin Nguyen,
S. Anantharaman,
S. Frittella,
2022,
ArXiv.
Ondrej Majer,
S. Frittella,
M. Bílková,
2022,
Int. J. Approx. Reason..
S. Frittella,
M. Bílková,
D. Kozhemiachenko,
2022,
2211.01882.
Alessandra Palmigiano,
Sabine Frittella,
Luigi Santocanale,
2014,
J. Log. Comput..
Ondrej Majer,
S. Nazari,
S. Frittella,
2022,
2203.01060.
Sabine Frittella,
Daniil Kozhemiachenko,
Marta B'ilkov'a,
2021,
TABLEAUX.
Ondrej Majer,
S. Nazari,
S. Frittella,
2020,
ArXiv.
Sabine Frittella,
Ondrej Majer,
Sajad Nazari,
2020,
DaLí.
Willem Conradie,
Alessandra Palmigiano,
Sabine Frittella,
2015,
LORI.
Alessandra Palmigiano,
Giuseppe Greco,
Alexander Kurz,
2016,
J. Log. Comput..
Alessandra Palmigiano,
Giuseppe Greco,
Alexander Kurz,
2016,
J. Log. Comput..
Sabine Frittella,
Hans van Ditmarsch,
Zeinab Bakhtiari,
2016,
Advances in Modal Logic.
Alessandra Palmigiano,
Giuseppe Greco,
Alexander Kurz,
2016,
ArXiv.
Alessandra Palmigiano,
Krishna Manoorkar,
Sabine Frittella,
2019,
Int. J. Approx. Reason..
S. Frittella,
M. Bílková,
D. Kozhemiachenko,
2022,
2211.01882.
S. Frittella,
M. Bílková,
D. Kozhemiachenko,
2023,
ArXiv.
S. Frittella,
M. Bílková,
D. Kozhemiachenko,
2023,
2303.14198.
S. Frittella,
M. Bílková,
D. Kozhemiachenko,
2022,
IJCAR.
S. Frittella,
D. Kozhemiachenko,
Marta B'ilkov'a,
2022
.
Willem Conradie,
Alessandra Palmigiano,
Krishna Manoorkar,
2019,
Inf. Sci..
Willem Conradie,
Alessandra Palmigiano,
Sabine Frittella,
2016,
WoLLIC.
N. Anciaux,
Benjamin Nguyen,
Guillaume Scerri,
2023,
EDBT.
Alessandra Palmigiano,
Giuseppe Greco,
Alexander Kurz,
2018,
ITP.
Willem Conradie,
Alessandra Palmigiano,
Sabine Frittella,
2017,
TARK.
Fan Yang,
Alessandra Palmigiano,
Giuseppe Greco,
2016,
WoLLIC.
Fan Yang,
Alessandra Palmigiano,
Giuseppe Greco,
2016,
ArXiv.