Cornelis A. Middelburg
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
1982–2009
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2009 | ICTAC | Transmission Protocols for Instruction Streams. | Jan A. Bergstra, Cornelis A. Middelburg |
| 2005 | CALCO | Strong Splitting Bisimulation Equivalence. | Jan A. Bergstra, Cornelis A. Middelburg |
| 2005 | CiE | A Thread Algebra with Multi-level Strategic Interleaving. | Jan A. Bergstra, Cornelis A. Middelburg |
| 1991 | FM | LPF and MPL | Cornelis A. Middelburg, Gerard R. Renardel de Lavalette |
| 1982 | ASPLOS | The Effect of the PDP-11 Architecture on Code Generation for Chill. | Cornelis A. Middelburg |