Bas van den Heuvel
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2011–2024
Best venue rank
A
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ECOOP | Information Flow Control in Cyclic Process Networks. | Bas van den Heuvel, Farzaneh Derakhshan, Stephanie Balzer |
| 2023 | APLAS | Typed Non-determinism in Functional and Concurrent Calculi. | Bas van den Heuvel, Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Prez |
| 2023 | RV | Monitoring Blackbox Implementations of Multiparty Session Protocols. | Bas van den Heuvel, Jorge A. Prez, Rares A. Dobre |
| 2011 | ISCC | Towards a compatible Level-2 DSM algorithm to protect downstream multiuser xDSL legacy systems. | Hernn Crdova, Leo Van Biesen, Rob van den Brink, Bas van den Heuvel |