| No. | Title | Author | Year |
|---|---|---|---|
| 1 | Order-Invariant First-Order Logic over Hollow Trees | Grange, Julien et al. | 2020 |
| 2 | Constant Delay Enumeration for FO Queries over Databases with Local Bounded Expansion | Segoufin, Luc et al. | 2017 |
| 3 | The Power of Programs over Monoids in DA | Grosshans, Nathan et al. | 2017 |
| 4 | A glimpse on constant delay enumeration (Invited Talk) | Segoufin, Luc | 2014 |
| 5 | Foundations of distributed data management (Dagstuhl Seminar 11421) | Abiteboul, Serge et al. | 2012 |
| 6 | Automata based verification over linearly ordered data domains | Segoufin, Luc et al. | 2011 |
| 7 | Bottom-up automata on data trees and vertical XPath | Figueira, Diego et al. | 2011 |
| 8 | Unary negation | ten Cate, Balder et al. | 2011 |
| Current Page : | |
| Number of result pages: | 1 |
| Number of documents: | 8 |