Bas Ploeger
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2007–2008
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2008 | CAV | Correcting a Space-Efficient Simulation Algorithm. | Rob J. van Glabbeek, Bas Ploeger |
| 2008 | ICTAC | Instantiation for Parameterised Boolean Equation Systems. | Alexander van Dam, Bas Ploeger, Tim A. C. Willemse |
| 2007 | CONCUR | Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems. | Taolue Chen, Bas Ploeger, Jaco van de Pol, Tim A. C. Willemse |
| 2007 | SAC | Analysis and verification of an automatic document feeder. | Bas Ploeger, Lou J. Somers |