Alessandro Facchini

Cited by

	All	Since 2017
Citations	291	178
h-index	10	7
i10-index	11	6

2008200920102011201220132014201520162017201820192020202120223 8 14 6 11 9 20 24 14 28 20 39 28 50 12

Public access

View all

9 articles

1 article

available

not available

Based on funding mandates

Co-authors

Alessio BenavoliAssociate Professor in Statistics, SCSS, Trinity College DublinVerified email at tcd.ie
Marco ZaffalonIDSIA and Artificialy.comVerified email at idsia.ch
Filip MurlakAssociate Professor, University of WarsawVerified email at mimuw.edu.pl
Alessandro AntonucciSenior Lecturer-Researcher at IDSIAVerified email at idsia.ch
Fabio ZanasiAssociate Professor at University College LondonVerified email at ucl.ac.uk
Michał SkrzypczakUniwersytet WarszawskiVerified email at mimuw.edu.pl
Cristina RottondiDepartment of Electronics and Telecommunications, Politecnico di TorinoVerified email at polito.it
Facundo CarreiroGoogleVerified email at google.com
Denis Deratani MauáProfessor, Dept. of Computer Science, Institute of Mathematics and Statistics, Universidade de SãoVerified email at usp.br
Dario PigaSenior Researcher at IDSIA - Dalle Molle Institute for ArtificiaI Intelligence, SUPSI-USI, LuganoVerified email at supsi.ch
Balder ten CateCoordinating Senior Researcher, University of AmsterdamVerified email at uva.nl
Décio Lauro SoaresUniversity of São PauloVerified email at ime.usp.br
Henryk MichalewskiGoogleVerified email at google.com
Julissa Giuliana Villanueva LlerenaPhD student in Computer Science, Institute of Mathematics and Statistics, University of São PauloVerified email at ime.usp.br
Evgeny SherkhonovResearcher, University of OxfordVerified email at cs.ox.ac.uk
maarten marxAssistant Professor of Computer Science, University of AmsterdamVerified email at uva.nl
Linda C. van der GaagSenior researcher, Dalle Molle Institute for Artificial Intelligence Research, Lugano, SwitzerlandVerified email at idsia.ch
Silja RenooijUD Informatica, Universiteit UtrechtVerified email at uu.nl
Andrea-Emilio RizzoliIDSIA - USI/SUPSI Istituto Dalle Molle di Studi sull'Intelligenza ArtificialeVerified email at idsia.ch

Alessandro Facchini

IDSIA - USI/SUPSI (Dalle Molle Institute For Artificial Intelligence)

Verified email at idsia.ch - Homepage

Logic Artificial intelligence


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
The modal μ-calculus hierarchy over restricted classes of transition systems L Alberucci, A Facchini The journal of symbolic logic 74 (4), 1367-1400, 2009	37	2009
Quantum mechanics: The Bayesian theory generalised to the space of Hermitian matrices A Benavoli, A Facchini, M Zaffalon Physical Review A 94 (4), 2016	24	2016
On modal μ-calculus and Gödel-Löb logic L Alberucci, A Facchini Studia Logica 91 (2), 145-169, 2009	24	2009
Rabin-Mostowski index problem: a step beyond deterministic automata A Facchini, F Murlak, M Skrzypczak 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 499-508, 2013	22	2013
A polarity theory for sets of desirable gambles A Benavoli, A Facchini, M Zaffalon, J Vicente-Pérez Proceedings of the Tenth International Symposium on Imprecise Probability …, 2017	14	2017
The wadge hierarchy of max-regular languages J Cabessa, J Duparc, A Facchini, F Murlak FSTTCS, 121-132, 2009	14	2009
A characterization theorem for the alternation-free fragment of the modal µ-calculus A Facchini, Y Venema, F Zanasi 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 478-487, 2013	12	2013
Definable Operations On Weakly Recognizable Sets of Trees. J Duparc, A Facchini, F Murlak FSTTCS, 363-374, 2011	12	2011
Weak MSO: Automata and Expressiveness Modulo Bisimilarity F Carreiro, A Facchini, Y Venema, F Zanasi Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference …, 2014	11	2014
Evaluating the effects of social interactions on a distributed demand side management system for domestic appliances A Facchini, C Rottondi, G Verticale Energy Efficiency 10 (5), 1175-1188, 2017	10	2017
Index Problems for Game Automata A Facchini, F Murlak, M Skrzypczak ACM Transactions on Computational Logic 17 (4), 1-38, 2016	10	2016
A Gleason-type theorem for any dimension based on a gambling formulation of Quantum Mechanics A Benavoli, A Facchini, M Zaffalon Foundations of Physics 47 (7), 991–1002, 2017	9	2017
Characterizing EF over infinite trees and modal logic on transitive graphs B ten Cate, A Facchini Proceedings of the 36th international conference on Mathematical foundations …, 2011	9*	2011
Linear game automata: decidable hierarchy problems for stripped-down alternating tree automata J Duparc, A Facchini, F Murlak Proceedings of the 23rd CSL international conference and 18th EACSL Annual …, 2009	8	2009
Exploring the space of probabilistic sentential decision diagrams L Mattei, D Soares, A Antonucci, D Mauà, A Facchini 3rd Workshop of Tractable Probabilistic Modeling, 2019	7	2019
Tractable inference in credal sentential decision diagrams L Mattei, A Antonucci, DD Mauá, A Facchini, JV Llerena International Journal of Approximate Reasoning 125, 26-48, 2020	6	2020
Bernstein’s socks, polynomial-time provable coherence and entanglement A Benavoli, A Facchini, M Zaffalon International Symposium on Imprecise Probabilities: Theories and …, 2019	6*	2019
Sum-of-squares for bounded rationality A Benavoli, A Facchini, D Piga, M Zaffalon International Journal of Approximate Reasoning 105, 130-152, 2019	6	2019
SOS for bounded rationality A Benavoli, A Facchini, D Piga, M Zaffalon Proceedings of the Tenth International Symposium on Imprecise Probability …, 2017	6	2017
Deciding the Borel complexity of regular tree languages A Facchini, H Michalewski Conference on Computability in Europe, 163-172, 2014	6	2014

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow this author

Cited by

Co-authors