Vince Barany
|
Dr
Vince
Barany
Room Room 358, Wolfson Building, Parks Road, Oxford OX1 3QD |
Interests
My research interests are centered around computational and algorithmic
problems in various logics over finitely presentable infinite structures. As
important tools I am also interested in automata theory, rewriting systems
and other formalism. My current work is in finite model theory for guarded
fragments of first-order logic, with areas of applications in data exchange,
description logics, and descriptive complexity.
Selected Publications
| Cardinality quantifiers in MLO over trees Vince Barany, Lukasz Kaiser and Alexander Rabinovich Vol. 5771 of LNCS. Pages 117-131. 2009. Details | BibTeX | Link (pdf) |
| Semi-synchronous transductions Vince Barany Acta Informatica. 2008. Details | BibTeX | Link (pdf) | DOI (10.1007/s00236-008-0083-2) |
| Invariants of Automatic Presentations and Semi-Synchronous Transductions Vince Barany In B. Durand and W. Thomas, editors, Proceedings of the 23rd Annual Symposioum on Theoretical Aspects of Computer Science, STACS 2006. Vol. 3884 of LNCS. Pages 289-300. Springer. 2006. Details | BibTeX | Link (pdf) |
Info
|
Themes |
|
|
Activities |