Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Vince Bárány
Observed names:
Barany, Vince,
Bárány Vince,
Bárány, Vince,
VINCE BÁRÁNY,
Vince BáRány
Observed institutions:
École Normale Supérieure Paris-Saclay,
Technische Universität Darmstadt,
University of Oxford,
Laboratoire Spécification et Vérification,
Laboratoire Bordelais de Recherche en Informatique,
Université Bordeaux-I,
University of Warsaw,
RWTH Aachen University
show all 8
OpenAlex ID:
A5042134900
Querying the Guarded Fragment
2010
·
Vince Bárány
, Georg Gottlob
, et al.
·
ACM/IEEE Symposium on Logic in Computer Science (LICS)
·
79
Querying the Guarded Fragment
2014
·
Vince Bárány
, Georg Gottlob
, et al.
·
Logical Methods in Computer Science
·
75
PDF
Queries with guarded negation
2012
·
Vince Bárány
, Balder ten Cate
, et al.
·
Proceedings of the VLDB Endowment
·
54
Guarded Negation
2015
·
Vince Bárány
, Balder Ten Cate
, et al.
·
Journal of the ACM
·
52
Rewriting Guarded Negation Queries
2013
·
Vince Bárány
, Michael Benedikt
, et al.
·
Lecture notes in computer science
·
47
Guarded Negation
2011
·
Vince Bárány
, Balder ten Cate
, et al.
·
Lecture notes in computer science
·
37
Regularity Problems for Visibly Pushdown Languages
2006
·
Vince Bárány
, Christof Löding
, et al.
·
Lecture notes in computer science
·
36
Declarative Probabilistic Programming with Datalog
2017
·
Vince BáRány
, Balder Ten Cate
, et al.
·
ACM Transactions on Database Systems
·
32
PDF
Access patterns and integrity constraints revisited
2013
·
Vince Bárány
, Michael Benedikt
, et al.
·
International Conference on Database Theory
·
25
Automata-based presentations of infinite structures
2011
·
Vince Bárány
, Erich Grädel
, et al.
·
Cambridge University Press eBooks
·
21
PDF
Cardinality and counting quantifiers on omega-automatic structures
2008
·
Kaiser, Lukasz
, Rubin, Sasha
, et al.
·
arXiv (Cornell University)
·
18
PDF
Finite satisfiability for guarded fixpoint logic
2012
·
Vince Bárány
, Mikołaj Bojańczyk
·
Information Processing Letters
·
15
Expressing Cardinality Quantifiers in Monadic Second-Order Logic over Trees
2010
·
Vince Bárány
, Łukasz Kaiser
, et al.
·
Fundamenta Informaticae
·
15
Automatic Presentations of Infinite Structures
2007
·
Vince Bárány
·
RWTH Publications (RWTH Aachen)
·
15
PDF
Declarative Probabilistic Programming with Datalog
2016
·
Barany, Vince
, ten Cate, Balder
, et al.
·
DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)
·
13
PDF
Some Model Theory of Guarded Negation
2018
·
VINCE BÁRÁNY
, MICHAEL BENEDIKT
, et al.
·
Journal of Symbolic Logic
·
12
Invariants of Automatic Presentations and Semi-synchronous Transductions
2006
·
Vince Bárány
·
Lecture notes in computer science
·
12
A Hierarchy of Automaticω-Words having a Decidable MSO Theory
2008
·
Vince Bárány
·
RAIRO - Theoretical Informatics and Applications
·
10
Regularity Problems for Visibly Pushdown Languages
2006
·
Vince Bárány
, Christof Löding
, et al.
·
10
Cardinality Quantifiers in MLO over Trees
2009
·
Vince Bárány
, Łukasz Kaiser
, et al.
·
Lecture notes in computer science
·
7
Queries with Guarded Negation (full version)
2012
·
Barany, Vince
, Cate, Balder ten
, et al.
·
arXiv (Cornell University)
·
5
PDF
Expressing cardinality quantifiers in monadic second-order logic over chains
2011
·
Vince Bárány
, Łukasz Kaiser
, et al.
·
Journal of Symbolic Logic
·
5
Decidable classes of documents for XPath
2012
·
Bárány, Vince
, Bojanczyk, Mikolaj
, et al.
·
DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)
·
1
PDF
Semi-synchronous transductions
2008
·
Vince Bárány
·
Acta Informatica
·
1
Some Model Theory of Guarded Negation
2020
·
Barany, Vince
, Benedikt, Michael
, et al.
·
arXiv (Cornell University)
PDF
Show more works
View as search
Works count:
36
Citation count:
597
H-index:
14
I10-index:
19
Year
Topic
Type
