BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Czech Republic
1 × Denmark
1 × Hungary
1 × Norway
1 × Switzerland
2 × USA
Collaborated with:
G.Bagan Y.Strozecki F.Olive N.Schweikardt L.Segoufin F.Capelli S.Mengel M.Hermann G.Nordh E.Grandjean R.Fagin B.Loescher E.Filiot O.Gauwin
Talks about:
queri (5) enumer (4) order (3) function (2) conjunct (2) complex (2) unari (2) first (2) acycl (2) trichotomi (1)

Person: Arnaud Durand

DBLP DBLP: Durand:Arnaud

Facilitated 1 volumes:

CSL 2012Ed

Contributed to:

PODS 20142014
SAT 20142014
CSL 20112011
CSL 20102010
LICS 20092009
CSL 20072007
CSL 20062006
CSL 19971997

Wrote 8 papers:

PODS-2014-DurandSS #database #first-order #query
Enumerating answers to first-order queries over databases of low degree (AD, NS, LS), pp. 121–131.
SAT-2014-CapelliDM
Hypergraph Acyclicity and Propositional Model Counting (FC, AD, SM), pp. 399–414.
CSL-2011-DurandS #complexity #higher-order #logic #problem #query
Enumeration Complexity of Logical Query Problems with Second-order Variables (AD, YS), pp. 189–202.
CSL-2010-BaganDFG #performance #query
Efficient Enumeration for Conjunctive Queries over X-underbar Structures (GB, AD, EF, OG), pp. 80–94.
LICS-2009-DurandHN #complexity
Trichotomy in the Complexity of Minimal Inference (AD, MH, GN), pp. 387–396.
CSL-2007-BaganDG #constant #on the #query
On Acyclic Conjunctive Queries and Constant Delay Enumeration (GB, AD, EG), pp. 208–222.
CSL-2006-DurandO #first-order #query
First-Order Queries over One Unary Function (AD, FO), pp. 334–348.
CSL-1997-DurandFL
Spectra with Only Unary Function Symbols (AD, RF, BL), pp. 189–202.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.