Vince Brny
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
6
Active years
2006–2016
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | ICDT | Declarative Probabilistic Programming with Datalog. | Vince Brny, Balder ten Cate, Benny Kimelfeld, Dan Olteanu, Zografoula Vagena |
| 2013 | ICDT | Access patterns and integrity constraints revisited. | Vince Brny, Michael Benedikt, Pierre Bourhis |
| 2013 | MFCS | Rewriting Guarded Negation Queries. | Vince Brny, Michael Benedikt, Balder ten Cate |
| 2011 | ICALP | Guarded Negation. | Vince Brny, Balder ten Cate, Luc Segoufin |
| 2010 | LICS | Querying the Guarded Fragment. | Vince Brny, Georg Gottlob, Martin Otto |
| 2009 | CSL | Cardinality Quantifiers in MLO over Trees. | Vince Brny, Lukasz Kaiser, Alexander Rabinovich |
| 2008 | STACS | Cardinality and counting quantifiers on omega-automatic structures. | Lukasz Kaiser, Sasha Rubin, Vince Brny |
| 2006 | STACS | Invariants of Automatic Presentations and Semi-synchronous Transductions. | Vince Brny |
| 2006 | STACS | Regularity Problems for Visibly Pushdown Languages. | Vince Brny, Christof Lding, Olivier Serre |