BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
2 × USA
Collaborated with:
M.Kaufmann M.Siebenhaller C.Sinz W.Küchlin
Talks about:
parallel (2) sat (2) irregular (1) implement (1) structur (1) properti (1) exchang (1) visual (1) comput (1) applic (1)

Person: Wolfgang Blochinger

DBLP DBLP: Blochinger:Wolfgang

Contributed to:

SOFTVIS 20052005
SAT 20012001

Wrote 2 papers:

SOFTVIS-2005-BlochingerKS #parallel #visualisation
Visualizing structural properties of irregular parallel computations (WB, MK, MS), pp. 125–134.
SAT-2001-SinzBK #implementation #named #parallel
PaSAT — Parallel SAT-Checking with Lemma Exchange: Implementation and Applications (CS, WB, WK), pp. 205–216.

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.