Vince Bárány

	2012
15		Vince Bárány, Balder ten Cate, Martin Otto: Queries with Guarded Negation (full version) CoRR abs/1203.0077: (2012)
14		Vince Bárány, Mikolaj Bojanczyk: Finite satisfiability for guarded fixpoint logic. Inf. Process. Lett. 112(10): 371-375 (2012)
	2011
13		Vince Bárány, Balder ten Cate, Luc Segoufin: Guarded Negation. ICALP (2) 2011: 356-367
12		Vince Bárány, Mikolaj Bojanczyk: Finite Satisfiability for Guarded Fixpoint Logic CoRR abs/1104.2262: (2011)
11		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
10		Vince Bárány, Georg Gottlob, Martin Otto: Querying the Guarded Fragment. LICS 2010: 1-10
9		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)
	2009
8		Vince Bárány, Lukasz Kaiser, Alexander Rabinovich: Cardinality Quantifiers in MLO over Trees. CSL 2009: 117-131
7		Vince Bárány: Semi-synchronous transductions. Acta Inf. 46(1): 29-42 (2009)
	2008
6		Lukasz Kaiser, Sasha Rubin, Vince Bárány: Cardinality and counting quantifiers on omega-automatic structures. STACS 2008: 385-396
5		Lukasz Kaiser, Sasha Rubin, Vince Bárány: Cardinality and counting quantifiers on omega-automatic structures CoRR abs/0802.2866: (2008)
4		Vince Bárány: A Hierarchy of Automatic $\omega$-Words having a Decidable MSO Theory. ITA 42(3): 417-450 (2008)
	2007
3		Vince Bárány: Automatic presentations of infinite structures. RWTH Aachen University 2007: 1-146
	2006
2		Vince Bárány: Invariants of Automatic Presentations and Semi-synchronous Transductions. STACS 2006: 289-300
1		Vince Bárány, Christof Löding, Olivier Serre: Regularity Problems for Visibly Pushdown Languages. STACS 2006: 420-431

Coauthor Index

1	Mikolaj Bojanczyk	[12] [14]
2	Balder ten Cate	[13] [15]
3	Georg Gottlob	[10]
4	Lukasz Kaiser	[5] [6] [8] [9] [11]
5	Christof Löding	[1]
6	Martin Otto	[10] [15]
7	Alexander Moshe Rabinovich (Alexander Rabinovich)	[8] [9] [11]
8	Sasha Rubin	[5] [6]
9	Luc Segoufin	[13]
10	Olivier Serre	[1]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page