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: Ploeger:Bas
Contributed to:
2008
2008
2008
2007Wrote 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.