default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDVince Bárány
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2007
[b1]Vince Bárány:
Automatic presentations of infinite structures. RWTH Aachen University, Germany, 2007, pp. 1-146
Journal Articles
- 2018
- [j10]Vince Bárány, Michael Benedikt, Balder ten Cate:
Some Model Theory of Guarded Negation. J. Symb. Log. 83(4): 1307-1344 (2018) - 2017
- [j9]Vince Bárány, Balder ten Cate, Benny Kimelfeld, Dan Olteanu, Zografoula Vagena:
Declarative Probabilistic Programming with Datalog. ACM Trans. Database Syst. 42(4): 22:1-22:35 (2017) - 2015
- [j8]Vince Bárány, Balder ten Cate, Luc Segoufin:
Guarded Negation. J. ACM 62(3): 22:1-22:26 (2015) - 2014
- [j7]Vince Bárány, Georg Gottlob
, Martin Otto:
Querying the Guarded Fragment. Log. Methods Comput. Sci. 10(2) (2014) - 2012
- [j6]Vince Bárány, Mikolaj Bojanczyk:
Finite satisfiability for guarded fixpoint logic. Inf. Process. Lett. 112(10): 371-375 (2012) - [j5]Vince Bárány, Balder ten Cate, Martin Otto:
Queries with Guarded Negation. Proc. VLDB Endow. 5(11): 1328-1339 (2012) - 2011
- [j4]Vince Bárány, Lukasz Kaiser, Alexander Rabinovich:
Expressing cardinality quantifiers in monadic second-order logic over chains. J. Symb. Log. 76(2): 603-619 (2011) - 2010
- [j3]Vince Bárány, Lukasz Kaiser, Alexander Moshe Rabinovich:
Expressing Cardinality Quantifiers in Monadic Second-Order Logic over Trees. Fundam. Informaticae 100(1-4): 1-17 (2010) - 2009
- [j2]Vince Bárány:
Semi-synchronous transductions. Acta Informatica 46(1): 29-42 (2009) - 2008
- [j1]Vince Bárány:
A Hierarchy of Automatic $\omega$-Words having a Decidable MSO Theory. RAIRO Theor. Informatics Appl. 42(3): 417-450 (2008)
Conference and Workshop Papers
- 2016
- [c10]Vince Bárány, Balder ten Cate, Benny Kimelfeld, Dan Olteanu, Zografoula Vagena:
Declarative Probabilistic Programming with Datalog. ICDT 2016: 7:1-7:19 - 2013
- [c9]Vince Bárány, Michael Benedikt, Pierre Bourhis:
Access patterns and integrity constraints revisited. ICDT 2013: 213-224 - [c8]Vince Bárány, Michael Benedikt, Balder ten Cate:
Rewriting Guarded Negation Queries. MFCS 2013: 98-110 - 2012
- [c7]Vince Bárány, Mikolaj Bojanczyk, Diego Figueira, Pawel Parys:
Decidable classes of documents for XPath. FSTTCS 2012: 99-111 - 2011
- [c6]Vince Bárány, Balder ten Cate, Luc Segoufin:
Guarded Negation. ICALP (2) 2011: 356-367 - 2010
- [c5]Vince Bárány, Georg Gottlob, Martin Otto:
Querying the Guarded Fragment. LICS 2010: 1-10 - 2009
- [c4]Vince Bárány, Lukasz Kaiser, Alexander Rabinovich:
Cardinality Quantifiers in MLO over Trees. CSL 2009: 117-131 - 2008
- [c3]Lukasz Kaiser, Sasha Rubin, Vince Bárány:
Cardinality and counting quantifiers on omega-automatic structures. STACS 2008: 385-396 - 2006
- [c2]Vince Bárány:
Invariants of Automatic Presentations and Semi-synchronous Transductions. STACS 2006: 289-300 - [c1]Vince Bárány, Christof Löding, Olivier Serre:
Regularity Problems for Visibly Pushdown Languages. STACS 2006: 420-431
Parts in Books or Collections
- 2011
- [p1]Vince Bárány, Erich Grädel, Sasha Rubin:
Automata-based presentations of infinite structures. Finite and Algorithmic Model Theory 2011: 1-76
Informal and Other Publications
- 2020
- [i5]Vince Bárány, Michael Benedikt, Balder ten Cate:
Some Model Theory of Guarded Negation. CoRR abs/2005.06299 (2020) - 2014
- [i4]Vince Bárány, Balder ten Cate, Benny Kimelfeld, Dan Olteanu, Zografoula Vagena:
Declarative Statistical Modeling with Datalog. CoRR abs/1412.2221 (2014) - 2012
- [i3]Vince Bárány, Balder ten Cate, Martin Otto:
Queries with Guarded Negation (full version). CoRR abs/1203.0077 (2012) - 2011
- [i2]Vince Bárány, Mikolaj Bojanczyk:
Finite Satisfiability for Guarded Fixpoint Logic. CoRR abs/1104.2262 (2011) - 2008
- [i1]Lukasz Kaiser, Sasha Rubin, Vince Bárány:
Cardinality and counting quantifiers on omega-automatic structures. CoRR abs/0802.2866 (2008)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-09 13:15 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
