# Vince Bárány

According to our database

Collaborative distances:

^{1}, Vince Bárány authored at least 18 papers between 2006 and 2018.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2018

Some Model Theory of Guarded Negation.

J. Symb. Log., 2018

2016

Declarative Probabilistic Programming with Datalog.

Proceedings of the 19th International Conference on Database Theory, 2016

2013

Rewriting Guarded Negation Queries.

Proceedings of the Mathematical Foundations of Computer Science 2013, 2013

Access patterns and integrity constraints revisited.

Proceedings of the Joint 2013 EDBT/ICDT Conferences, 2013

2012

Queries with Guarded Negation.

PVLDB, 2012

Finite satisfiability for guarded fixpoint logic.

Inf. Process. Lett., 2012

Decidable classes of documents for XPath.

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2012

2011

Expressing cardinality quantifiers in monadic second-order logic over chains.

J. Symb. Log., 2011

Guarded Negation.

Proceedings of the Automata, Languages and Programming - 38th International Colloquium, 2011

2010

Expressing Cardinality Quantifiers in Monadic Second-Order Logic over Trees.

Fundam. Inform., 2010

Querying the Guarded Fragment.

Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, 2010

2009

Semi-synchronous transductions.

Acta Inf., 2009

Cardinality Quantifiers in MLO over Trees.

Proceedings of the Computer Science Logic, 23rd international Workshop, 2009

2008

A Hierarchy of Automatic $\omega$-Words having a Decidable MSO Theory.

ITA, 2008

Cardinality and counting quantifiers on omega-automatic structures.

Proceedings of the STACS 2008, 2008

2007

Automatic presentations of infinite structures.

PhD thesis, 2007

2006

Regularity Problems for Visibly Pushdown Languages.

Proceedings of the STACS 2006, 2006

Invariants of Automatic Presentations and Semi-synchronous Transductions.

Proceedings of the STACS 2006, 2006