Vince Bárány Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2013
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vince Bárány, Michael Benedikt, Pierre Bourhis: Access patterns and integrity constraints revisited. ICDT 2013: 213-224
2012
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vince Bárány, Mikolaj Bojanczyk: Finite satisfiability for guarded fixpoint logic. Inf. Process. Lett. 112(10): 371-375 (2012)
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vince Bárány, Balder ten Cate, Martin Otto: Queries with Guarded Negation. PVLDB 5(11): 1328-1339 (2012)
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vince Bárány, Mikolaj Bojanczyk, Diego Figueira, Pawel Parys: Decidable classes of documents for XPath. FSTTCS 2012: 99-111
i3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vince Bárány, Balder ten Cate, Martin Otto: Queries with Guarded Negation (full version). CoRR abs/1203.0077 (2012)
2011
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vince Bárány, Balder ten Cate, Luc Segoufin: Guarded Negation. ICALP (2) 2011: 356-367
i2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vince Bárány, Mikolaj Bojanczyk: Finite Satisfiability for Guarded Fixpoint Logic. CoRR abs/1104.2262 (2011)
2010
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vince Bárány, Lukasz Kaiser, Alexander Moshe Rabinovich: Expressing Cardinality Quantifiers in Monadic Second-Order Logic over Trees. Fundam. Inform. 100(1-4): 1-17 (2010)
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vince Bárány, Georg Gottlob, Martin Otto: Querying the Guarded Fragment. LICS 2010: 1-10
2009
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vince Bárány: Semi-synchronous transductions. Acta Inf. 46(1): 29-42 (2009)
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vince Bárány, Lukasz Kaiser, Alexander Rabinovich: Cardinality Quantifiers in MLO over Trees. CSL 2009: 117-131
2008
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vince Bárány: A Hierarchy of Automatic $\omega$-Words having a Decidable MSO Theory. ITA 42(3): 417-450 (2008)
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Lukasz Kaiser, Sasha Rubin, Vince Bárány: Cardinality and counting quantifiers on omega-automatic structures. STACS 2008: 385-396
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Lukasz Kaiser, Sasha Rubin, Vince Bárány: Cardinality and counting quantifiers on omega-automatic structures. CoRR abs/0802.2866 (2008)
2007
b1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vince Bárány: Automatic presentations of infinite structures. RWTH Aachen University 2007, pp. 1-146
2006
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vince Bárány: Invariants of Automatic Presentations and Semi-synchronous Transductions. STACS 2006: 289-300
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vince Bárány, Christof Löding, Olivier Serre: Regularity Problems for Visibly Pushdown Languages. STACS 2006: 420-431

Coauthor Index

1Michael Benedikt
[c8]
2Mikolaj Bojanczyk
[j6] [c7] [i2]
3Pierre Bourhis
[c8]
4Balder ten Cate
[j5] [i3] [c6]
5Diego Figueira
[c7]
6Georg Gottlob
[c5]
7Lukasz Kaiser
[j4] [j3] [c4] [c3] [i1]
8Christof Löding
[c1]
9Martin Otto
[j5] [i3] [c5]
10Pawel Parys
[c7]
11Alexander Moshe Rabinovich (Alexander Rabinovich)
[j4] [j3] [c4]
12Sasha Rubin
[c3] [i1]
13Luc Segoufin
[c6]
14Olivier Serre
[c1]
Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Sat May 25 11:28:21 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page