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 × Germany
1 × Korea
2 × USA
Collaborated with:
R.J.v.Glabbeek C.Tankink L.J.Somers
Talks about:
algorithm (2) determinis (1) interact (1) document (1) transit (1) correct (1) automat (1) analysi (1) visual (1) system (1)

Person: Bas Ploeger

DBLP DBLP: Ploeger:Bas

Contributed to:

CAV 20082008
CIAA 20082008
SOFTVIS 20082008
SAC 20072007

Wrote 4 papers:

CAV-2008-GlabbeekP #algorithm #simulation
Correcting a Space-Efficient Simulation Algorithm (RJvG, BP), pp. 517–529.
CIAA-2008-GlabbeekP #algorithm #nondeterminism
Five Determinisation Algorithms (RJvG, BP), pp. 161–170.
SOFTVIS-2008-PloegerT #interactive #visualisation
Improving an interactive visualization of transition systems (BP, CT), pp. 115–124.
SAC-2007-PloegerS #analysis #automation #documentation #verification
Analysis and verification of an automatic document feeder (BP, LJS), pp. 1499–1505.

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.