Travelled to:1 × Portugal
1 × Switzerland
1 × United Kingdom
Collaborated with:B.t.Cate M.Otto L.Segoufin G.Gottlob L.Kaiser A.Rabinovich
Talks about:guard (3) queri (2) negat (2) quantifi (1) fragment (1) cardin (1) tree (1) mlo (1)
Person: Vince Bárány
DBLP: B=aacute=r=aacute=ny:Vince
Contributed to:
2012
2011
2010
2009Wrote 4 papers:
- VLDB-2012-BaranyCO #query
- Queries with Guarded Negation (VB, BtC, MO), pp. 1328–1339.
- ICALP-v2-2011-BaranyCS
- Guarded Negation (VB, BtC, LS), pp. 356–367.
- LICS-2010-BaranyGO #query
- Querying the Guarded Fragment (VB, GG, MO), pp. 1–10.
- CSL-2009-BaranyKR #quantifier
- Cardinality Quantifiers in MLO over Trees (VB, LK, AR), pp. 117–131.