Travelled to:1 × Austria
1 × Germany
1 × Switzerland
1 × USA
Collaborated with:B.Martin R.Ganian S.Szeider H.Chen M.Valeriote F.Capelli S.Mengel F.Slivovsky
Talks about:order (2) determinist (1) comparison (1) existenti (1) structur (1) partial (1) generic (1) formula (1) express (1) abelian (1)
Person: Simone Bova
DBLP: Bova:Simone
Contributed to:
2015
2015
2014
2011Wrote 4 papers:
- CSL-2015-BovaM #finite #first-order #query
- First-Order Queries on Finite Abelian Groups (SB, BM), pp. 41–59.
- SAT-2015-BovaCMS #compilation #on the
- On Compiling CNFs into Structured Deterministic DNNFs (SB, FC, SM, FS), pp. 199–214.
- LICS-CSL-2014-BovaGS #logic #model checking #order #set
- Model checking existential logic on partially ordered sets (SB, RG, SS), p. 10.
- ICALP-v2-2011-BovaCV #comparison
- Generic Expression Hardness Results for Primitive Positive Formula Comparison (SB, HC, MV), pp. 344–355.