| 2008 |
| 4 | EE | François Bry,
Tim Furche,
Clemens Ley,
Benedikt Linse,
Bruno Marnette:
Taming Existence in RDF Querying.
RR 2008: 236-237 |
| 2007 |
| 3 | EE | Bruno Marnette,
Viktor Kuncak,
Martin C. Rinard:
Polynomial Constraints for Sets with Cardinality Bounds.
FoSSaCS 2007: 258-273 |
| 2005 |
| 2 | EE | Viktor Kuncak,
Martin C. Rinard,
Bruno Marnette:
On Algorithms and Complexity for Sets with Cardinality Constraints.
Deduction and Applications 2005 |
| 1 | EE | Bruno Marnette,
Viktor Kuncak,
Martin C. Rinard:
On Algorithms and Complexity for Sets with Cardinality Constraints
CoRR abs/cs/0508123: (2005) |