Jeroen Bransen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
2010–2015
Best venue rank
C
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | PEPM | Linearly Ordered Attribute Grammars: with Automatic Augmenting Dependency Selection. | L. Thomas van Binsbergen, Jeroen Bransen, Atze Dijkstra |
| 2015 | PEPM | Incremental Evaluation of Higher Order Attributes. | Jeroen Bransen, Atze Dijkstra, S. Doaitse Swierstra |
| 2015 | TACAS | Linearly Ordered Attribute Grammar Scheduling Using SAT-Solving. | Jeroen Bransen, L. Thomas van Binsbergen, Koen Claessen, Atze Dijkstra |
| 2014 | PEPM | Lazy stateless incremental evaluation machinery for attribute grammars. | Jeroen Bransen, Atze Dijkstra, S. Doaitse Swierstra |
| 2013 | ICFP | Generic representations of tree transformations. | Jeroen Bransen, Jos Pedro Magalhes |
| 2012 | PADL | The Kennedy-Warren Algorithm Revisited: Ordering Attribute Grammars. | Jeroen Bransen, Arie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra |
| 2010 | FG | The Lambek-Grishin Calculus Is NP-Complete. | Jeroen Bransen |