Vince Bárány

According to our database1, Vince Bárány
  • authored at least 23 papers between 2006 and 2016.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2016
Declarative Probabilistic Programming with Datalog.
Proceedings of the 19th International Conference on Database Theory, 2016

2015
Guarded Negation.
J. ACM, 2015

2014
Querying the Guarded Fragment.
Logical Methods in Computer Science, 2014

Declarative Statistical Modeling with Datalog.
CoRR, 2014

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

Queries with Guarded Negation (full version)
CoRR, 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

Finite Satisfiability for Guarded Fixpoint Logic
CoRR, 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
CoRR, 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


  Loading...