Concepedia

Simone Bova

SB

11

Publications

180

Citations

10

H-Index

2008

Active since

Affiliations

University of Siena(Current)

Vanderbilt University

TU Wien

University of Milan

Simone Bova is an author at University of Siena specializing in engineering, automated reasoning, and computer science.

ORCID

Top concepts

Publications per year

2008–2017

11

Publications

11

Knowledge Compilation Meets Communication Complexity

Simone Bova, Florent Capelli, Stefan Mengel et al. · HAL (Le Centre pour la Communication Scientifique Directe) · 2016 · 36 citations

, , +15

A logical analysis of Mamdani-type fuzzy inference, I theoretical bases

Simone Bova, Pietro Codara, Daniele Maccari et al. · 2010 · 18 citations

, , +22

The free <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" display="inline" overflow="scroll"><mml:mi>n</mml:mi></mml:math>-generated BL-algebra

Stefano Aguzzoli, Simone Bova · Annals of Pure and Applied Logic · 2010 · 17 citations

, , +1

Model Checking Existential Logic on Partially Ordered Sets

Simone Bova, Robert Ganian, Stefan Szeider · ACM Transactions on Computational Logic · 2015 · 16 citations

, , +13

The coherence of Łukasiewicz assessments is NP-complete

Simone Bova, Tommaso Flaminio · International Journal of Approximate Reasoning · 2009 · 15 citations

, , +4

Rows per page

1–5 of 11