BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Finland
1 × Spain
2 × Austria
Collaborated with:
S.Szeider M.Roshchin I.A.Kanj
Talks about:
complex (2) parameter (1) tractabl (1) arithmet (1) process (1) problem (1) pattern (1) paramet (1) backbon (1) tempor (1)

Person: Ronald de Haan

DBLP DBLP: Haan:Ronald_de

Contributed to:

KR 20142014
SAT 20142014
SAT 20132013
KDIR 20122012

Wrote 4 papers:

KR-2014-HaanS #complexity #problem #reasoning
The Parameterized Complexity of Reasoning Problems Beyond NP (RdH, SS).
SAT-2014-HaanS #parametricity #reduction #satisfiability
Fixed-Parameter Tractable Reductions to SAT (RdH, SS), pp. 85–102.
Local Backbones (RdH, IAK, SS), pp. 377–393.
KDIR-2012-HaanR #detection
Detecting Temporally Related Arithmetical Patterns — An Extension of Complex Event Processing (RdH, MR), pp. 329–332.

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.