Hendrik van Antwerpen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2015–2021
Best venue rank
A
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | ECOOP | Scope States: Guarding Safety of Name Resolution in Parallel Type Checkers. | Hendrik van Antwerpen, Eelco Visser |
| 2019 | ECOOP | Towards Language-Parametric Semantic Editor Services Based on Declarative Type System Specifications (Brave New Idea Paper). | Danil A. A. Pelsmaeker, Hendrik van Antwerpen, Eelco Visser |
| 2019 | OOPSLA | From definitional interpreter to symbolic executor. | Adrian D. Mensing, Hendrik van Antwerpen, Casper Bach Poulsen, Eelco Visser |
| 2019 | OOPSLA | Towards language-parametric semantic editor services based on declarative type system specifications. | Danil A. A. Pelsmaeker, Hendrik van Antwerpen, Eelco Visser |
| 2016 | PEPM | A constraint language for static semantic analysis based on scope graphs. | Hendrik van Antwerpen, Pierre Neron, Andrew P. Tolmach, Eelco Visser, Guido Wachsmuth |
| 2015 | MABS | Dynamic Data-Driven Experiments in the Smart Grid Domain with a Multi-agent Platform. | Zlkf Gen, Michel A. Oey, Hendrik van Antwerpen, Frances M. T. Brazier |